The latest version of aern2-real is 0.2.16.1-0.
lib:aern2-real
Modules
- AERN2.Complex
- AERN2.Real
- AERN2.Real.CKleenean
- AERN2.Real.Comparisons
- AERN2.Real.Elementary
- AERN2.Real.Examples.ClosestPairDist
- AERN2.Real.Examples.Introduction
- AERN2.Real.Field
- AERN2.Real.FieldTH
- AERN2.Real.Limit
- AERN2.Real.Tests
- AERN2.Real.Type
Dependencies
- QuickCheck lib:QuickCheck >=0
- aern2-mp lib:aern2-mp >=0.2.10.0
- base lib:base >=4 && <5
- collect-errors lib:collect-errors >=0.1.5
- hspec lib:hspec >=0
- integer-logarithms lib:integer-logarithms >=0
- mixed-types-num lib:mixed-types-num >=0.5.10
Reverse dependencies
Direct only. Not exhaustive.
- aern2-fun lib:aern2-fun
- aern2-real exe:aern2-generate-netlog-elm
- aern2-real exe:aern2-real-benchOp
- aern2-real test:aern2-real-test
- aern2-real test:spec