The latest version of AERN-Basics is 2011.1.0.1-0.
lib:AERN-Basics
Modules
- Numeric.AERN.Basics.Bench
- Numeric.AERN.Basics.Consistency
- Numeric.AERN.Basics.Effort
- Numeric.AERN.Basics.Exception
- Numeric.AERN.Basics.Laws.Operation
- Numeric.AERN.Basics.Laws.OperationRelation
- Numeric.AERN.Basics.Laws.PartialRelation
- Numeric.AERN.Basics.Laws.Relation
- Numeric.AERN.Basics.Laws.RoundedOpInPlace
- Numeric.AERN.Basics.Laws.RoundedOperation
- Numeric.AERN.Basics.Laws.Utilities
- Numeric.AERN.Basics.Mutable
- Numeric.AERN.Basics.NumericOrder
- Numeric.AERN.Basics.NumericOrder.InPlace.OpsDefaultEffort
- Numeric.AERN.Basics.NumericOrder.InPlace.OpsImplicitEffort
- Numeric.AERN.Basics.NumericOrder.OpsDefaultEffort
- Numeric.AERN.Basics.NumericOrder.OpsImplicitEffort
- Numeric.AERN.Basics.PartialOrdering
- Numeric.AERN.Basics.RefinementOrder
- Numeric.AERN.Basics.RefinementOrder.InPlace.OpsDefaultEffort
- Numeric.AERN.Basics.RefinementOrder.InPlace.OpsImplicitEffort
- Numeric.AERN.Basics.RefinementOrder.OpsDefaultEffort
- Numeric.AERN.Basics.RefinementOrder.OpsImplicitEffort
- Numeric.AERN.Basics.ShowInternals
- Numeric.AERN.Misc.Bool
- Numeric.AERN.Misc.Debug
- Numeric.AERN.Misc.List
- Numeric.AERN.Misc.Maybe
- Numeric.AERN.Misc.QuickCheck
Dependencies
- QuickCheck lib:QuickCheck >=2.1 && <3
- base lib:base >=4 && <5
- containers lib:containers >=0.3 && <0.4
- criterion lib:criterion >=0.5 && <0.6
- deepseq lib:deepseq >=1.1.0.0 && <1.2
- random lib:random >=1.0 && <2.0
- test-framework lib:test-framework >=0.2 && <0.4
- test-framework-quickcheck2 lib:test-framework-quickcheck2 >=0.2 && <0.4
Reverse dependencies
Direct only. Not exhaustive.
- AERN-Real lib:AERN-Real
- AERN-Real-Double exe:benchAERN-Real-Double
- AERN-Real-Double exe:demoAERN-Real-Double-Quadratic
- AERN-Real-Double exe:demoAERN-Real-Double-Riemann
- AERN-Real-Double exe:demoAERN-Real-Double-Zero
- AERN-Real-Double exe:testAERN-Real-Double
- AERN-Real-Double lib:AERN-Real-Double
- AERN-Real-Interval lib:AERN-Real-Interval
- acme-everything lib:acme-everything