The latest version of aern2-mp is 0.2.16.1-0.
lib:aern2-mp
Modules
- AERN2.MP
- AERN2.MP.Accuracy
- AERN2.MP.Ball
- AERN2.MP.Ball.Tests
- AERN2.MP.Dyadic
- AERN2.MP.Enclosure
- AERN2.MP.ErrorBound
- AERN2.MP.Precision
- AERN2.MP.UseMPFR.Ball
- AERN2.MP.UseMPFR.Ball.Comparisons
- AERN2.MP.UseMPFR.Ball.Conversions
- AERN2.MP.UseMPFR.Ball.Elementary
- AERN2.MP.UseMPFR.Ball.Field
- AERN2.MP.UseMPFR.Ball.PreludeOps
- AERN2.MP.UseMPFR.Ball.Type
- AERN2.MP.UseMPFR.Dyadic
- AERN2.MP.UseMPFR.ErrorBound
- AERN2.MP.UseMPFR.Float
- AERN2.MP.UseMPFR.Float.Arithmetic
- AERN2.MP.UseMPFR.Float.Constants
- AERN2.MP.UseMPFR.Float.Conversions
- AERN2.MP.UseMPFR.Float.Operators
- AERN2.MP.UseMPFR.Float.RoundedAdaptor
- AERN2.MP.UseMPFR.Float.Tests
- AERN2.MP.UseMPFR.Float.Type
- AERN2.Norm
- AERN2.Normalize
- AERN2.Utils.Bench
Dependencies
- QuickCheck lib:QuickCheck >=0
- base lib:base >=4 && <5
- convertible lib:convertible >=0
- haskell-mpfr lib:haskell-mpfr >=0.1 && <0.2
- hmpfr lib:hmpfr >=0.4 && <0.5
- hspec lib:hspec >=0
- integer-gmp lib:integer-gmp <0.6 && >=1.0 && <1.1
- integer-logarithms lib:integer-logarithms >=0
- lens lib:lens >=0
- mixed-types-num lib:mixed-types-num >=0
- regex-tdfa lib:regex-tdfa >=0
- rounded lib:rounded >=0.1 && <0.2
- template-haskell lib:template-haskell >=0
Reverse dependencies
Direct only. Not exhaustive.
- aern2-mp test:aern2-mp-test
- aern2-mp test:spec
- aern2-real exe:aern2-generate-netlog-elm
- aern2-real exe:aern2-real-benchOp
- aern2-real lib:aern2-real