The latest version of AERN-Real is 2011.1.0.1-0.
lib:AERN-Real
Modules
- Data.Number.ER
- Data.Number.ER.BasicTypes
- Data.Number.ER.ExtendedInteger
- Data.Number.ER.Misc
- Data.Number.ER.MiscSTM
- Data.Number.ER.PlusMinus
- Data.Number.ER.Real
- Data.Number.ER.Real.Approx
- Data.Number.ER.Real.Approx.Elementary
- Data.Number.ER.Real.Approx.Interval
- Data.Number.ER.Real.Approx.Sequence
- Data.Number.ER.Real.Arithmetic.Elementary
- Data.Number.ER.Real.Arithmetic.Integration
- Data.Number.ER.Real.Arithmetic.LinearSolver
- Data.Number.ER.Real.Arithmetic.Newton
- Data.Number.ER.Real.Arithmetic.Taylor
- Data.Number.ER.Real.Base
- Data.Number.ER.Real.Base.CombinedMachineAP
- Data.Number.ER.Real.Base.Float
- Data.Number.ER.Real.Base.MPFR
- Data.Number.ER.Real.Base.MachineDouble
- Data.Number.ER.Real.Base.Rational
- Data.Number.ER.Real.DefaultRepr
- Data.Number.ER.Real.DomainBox
- Data.Number.ER.Real.DomainBox.IntMap
- Data.Number.ER.ShowHTML
Dependencies
- base lib:base >=3 && >=3 && <3 && <3
- binary lib:binary >=0.4 && >=0.4 && >=0.4 && >=0.4
- containers lib:containers >=0 && >=0
- hmpfr lib:hmpfr ==0.1.3 && ==0.1.3
- html lib:html >=1.0 && >=1.0 && >=1.0 && >=1.0
- regex-compat lib:regex-compat >=0.71 && >=0.71 && >=0.71 && >=0.71
- stm lib:stm >=0 && >=0 && >=0 && >=0
Reverse dependencies
Direct only. Not exhaustive.
- AERN-Net lib:AERN-Net
- AERN-RnToRm lib:AERN-RnToRm
- AERN-RnToRm-Plot lib:AERN-RnToRm-Plot
- acme-everything lib:acme-everything