The latest version of aern2-mp is 0.2.16.1-0.
lib:aern2-mp
Modules
- AERN2.Kleenean
- AERN2.Limit
- AERN2.MP
- AERN2.MP.Accuracy
- AERN2.MP.Ball
- AERN2.MP.Ball.Comparisons
- AERN2.MP.Ball.Conversions
- AERN2.MP.Ball.Elementary
- AERN2.MP.Ball.Field
- AERN2.MP.Ball.Limit
- AERN2.MP.Ball.PreludeOps
- AERN2.MP.Ball.Tests
- AERN2.MP.Ball.Type
- AERN2.MP.Dyadic
- AERN2.MP.Enclosure
- AERN2.MP.ErrorBound
- AERN2.MP.Float
- AERN2.MP.Float.Arithmetic
- AERN2.MP.Float.Auxi
- AERN2.MP.Float.Conversions
- AERN2.MP.Float.Operators
- AERN2.MP.Float.Tests
- AERN2.MP.Float.Type
- AERN2.MP.Precision
- AERN2.MP.WithCurrentPrec
- AERN2.Norm
- AERN2.Normalize
- AERN2.Utils.Bench
Dependencies
- QuickCheck lib:QuickCheck >=0
- base lib:base >=4 && <5
- cdar-mBound lib:cdar-mBound >=0.1.0.0
- collect-errors lib:collect-errors >=0.1.3
- deepseq lib:deepseq >=0
- hspec lib:hspec >=0
- integer-logarithms lib:integer-logarithms >=0
- mixed-types-num lib:mixed-types-num >=0.5.4
- reflection lib:reflection >=0
- regex-tdfa lib:regex-tdfa >=0
- template-haskell lib:template-haskell >=0
Reverse dependencies
Direct only. Not exhaustive.
- aern2-mp test:aern2-mp-test
- aern2-mp test:spec
- aern2-real lib:aern2-real
- aern2-real test:aern2-real-test