Version 0.2.9.0-0 of aern2-mp is deprecated.
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.PreludeNum
- AERN2.MP.Float.Tests
- AERN2.MP.Float.Type
- AERN2.MP.Precision
- AERN2.MP.WithCurrentPrec
- AERN2.MP.WithCurrentPrec.Comparisons
- AERN2.MP.WithCurrentPrec.Elementary
- AERN2.MP.WithCurrentPrec.Field
- AERN2.MP.WithCurrentPrec.Limit
- AERN2.MP.WithCurrentPrec.PreludeInstances
- AERN2.MP.WithCurrentPrec.Type
- AERN2.Norm
- AERN2.Normalize
- AERN2.Select
- 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.5
- deepseq lib:deepseq >=0
- hspec lib:hspec >=0
- integer-logarithms lib:integer-logarithms >=0
- mixed-types-num lib:mixed-types-num >=0.5.9
- reflection lib:reflection >=0
- regex-tdfa lib:regex-tdfa >=0
- template-haskell lib:template-haskell >=0
Reverse dependencies
Direct only. Not exhaustive.
- aern2-fun lib:aern2-fun
- aern2-mfun exe:aern2-mfun-benchmark-optimisation
- aern2-mfun lib:aern2-mfun
- aern2-mp test:aern2-mp-test
- aern2-mp test:spec
- aern2-real lib:aern2-real
- aern2-real test:aern2-real-test