aern2-real 0.1.1.0 → 0.1.2

raw patch · 4 files changed

+19/−8 lines, 4 filesdep ~aern2-mpdep ~containersdep ~mixed-types-num

Dependency ranges changed: aern2-mp, containers, mixed-types-num

Files

• aern2-real.cabal +5/−6
• changelog.md +2/−0
• src/AERN2/Limit.hs +11/−2
• src/AERN2/Sequence.hs +1/−0

@@ -1,16 +1,15 @@ name:           aern2-real-version:        0.1.1.0+version:        0.1.2 cabal-version:  >= 1.9.2 build-type:     Simple homepage:       https://github.com/michalkonecny/aern2 author:         Michal Konecny maintainer:     Michal Konecny <mikkonecny@gmail.com>-copyright:      (c) 2015-2017 Michal Konecny+copyright:      (c) 2015-2019 Michal Konecny license:        BSD3 license-file:   LICENSE extra-source-files:  changelog.md stability:      experimental-tested-with:    GHC==7.10.3, GHC==8.0.2 category:       Math synopsis:       Exact real numbers via Cauchy sequences and MPFR Description:@@ -28,7 +27,7 @@   hs-source-dirs:  src   build-depends:     base == 4.*-    , containers == 0.5.*+    , containers >= 0.5     , convertible >= 1.1.1.0     , hspec >= 2.1     -- , hspec-smallcheck >= 0.3 && < 0.5@@ -38,8 +37,8 @@     , stm >= 2.4     , bytestring >= 0.10     , aeson >= 0.11-    , mixed-types-num >= 0.3.1-    , aern2-mp == 0.1.*+    , mixed-types-num >= 0.3.2+    , aern2-mp >= 0.1.4   ghc-options:     -Wall -fno-warn-orphans   extensions:     RebindableSyntax,

@@ -1,3 +1,5 @@+* v 0.1.2 2019-03-19+  * adapts to mixed-types-num 0.3.2 (new divI, mod) * v 0.1.1.0 2017-12-06   * disable aern2-generate-netlog-elm for now * v 0.1.0.3 2017-12-06

@@ -36,6 +36,15 @@       where       e = 0.5^!(fromAccuracy acS + 1) +instance HasLimits Rational CauchyRealCN where+  type LimitType Rational CauchyRealCN = CauchyRealCN+  limit s = newCRCN "limit" [] makeQ+    where+    makeQ (me, _src) ac@(AccuracySG acS _acG) =+      lift1CE (updateRadius (+ (errorBound e))) $ (s e ?<- me) (ac + 1)+      where+      e = 0.5^!(fromAccuracy acS + 1)+ instance HasLimits Rational (CauchyReal -> CauchyRealCN) where   type LimitType Rational (CauchyReal -> CauchyRealCN) = (CauchyReal -> CauchyRealCN)   limit fs x = newCRCN "limit" [AnyProtocolQA x] makeQ@@ -65,7 +74,7 @@     accuracies = aux (fromAccuracy acX)       where       aux a-        | a >= 4 = bits a : aux ((100 * a) `div` 105)+        | a >= 4 = bits a : aux ((100 * a) `divINoCN` 105)         | otherwise = [bits a]     xPNext = setPrecision (increaseP $ getPrecision x) x     increaseP p =@@ -102,7 +111,7 @@     accuracies = aux (fromAccuracy acX)       where       aux a-        | a >= 4 = bits a : aux ((100 * a) `div` 105)+        | a >= 4 = bits a : aux ((100 * a) `divINoCN` 105)         | otherwise = [bits a]     x = increasePrec xPre       where

@@ -18,6 +18,7 @@   , SequenceP(..), pSeq   , SuitableForSeq   , SequenceA, Sequence, newSeq, newSeqSimple+  , fmapSeq   , seqName, seqId, seqSources, seqRename   , seqWithAccuracy, (?), seqWithAccuracyA, seqsWithAccuracyA   , (-:-), (-:-||), (-:-|)