Name: AERN-Real-Interval Version: 2011.1.0.1 Cabal-Version: >= 1.8 Build-Type: Simple License: BSD3 License-File: LICENCE Author: Michal Konecny (Aston University) Copyright: (c) 2011 Michal Konecny, Jan Duracz Maintainer: mikkonecny@gmail.com Homepage: http://code.google.com/p/aern/ Stability: experimental Category: Data, Math Synopsis: arbitrary precision real interval arithmetic Tested-with: GHC ==6.12.3 Description: A concrete implementation for the refinement-order type classes from AERN-Real in the form of interval arithmetic. The arithmetic supports also anti-consistent intervals (ie @[l,r]@ with @l >= r@) and maintains monotonicity in the refinement order so that both inner and outer approximations of exact interval expressions can be safely computed. . The package AERN-Real-Double makes it possible to use ordinary machine 'Double' values as endpoints, although limited to its fixed granularity (ie precision). . A package AERN-Real-MPFR will be provided in future to facilitate (via package hmpfr) the use of the MPFR arbitrary granularity (ie precision) floating point numbers as endpoints. . This package does not compile with ghc 7.0.* due to a compiler bug that has been fixed for the 7.2.1 release. Haddock documentation can be found via . Extra-Source-Files: CHANGES Library hs-source-dirs: src ghc-options: -O2 Build-Depends: base >= 4 && < 4.3, QuickCheck >= 2.1 && < 3, test-framework >= 0.2 && < 0.4, test-framework-quickcheck2 >= 0.2 && < 0.4, deepseq >= 1.1 && < 2.0, AERN-Basics == 2011.1.0.1, AERN-Real == 2011.1.0.1 Exposed-modules: Numeric.AERN.Basics.Interval Numeric.AERN.RealArithmetic.Interval Numeric.AERN.RealArithmetic.Interval.Mutable Numeric.AERN.RealArithmetic.Interval.ElementaryFromBasis Numeric.AERN.RealArithmetic.Interval.ElementaryFromFieldOps Numeric.AERN.RealArithmetic.Interval.Mutable.ElementaryFromFieldOps Other-modules: Numeric.AERN.Basics.Interval.Basics Numeric.AERN.Basics.Interval.Consistency Numeric.AERN.Basics.Interval.NumericOrder Numeric.AERN.Basics.Interval.RefinementOrder Numeric.AERN.Basics.Interval.Mutable Numeric.AERN.RealArithmetic.Interval.ExactOps Numeric.AERN.RealArithmetic.Interval.Measures Numeric.AERN.RealArithmetic.Interval.Conversion Numeric.AERN.RealArithmetic.Interval.FieldOps Numeric.AERN.RealArithmetic.Interval.MixedFieldOps Numeric.AERN.RealArithmetic.Interval.Mutable.ExactOps Numeric.AERN.RealArithmetic.Interval.Mutable.FieldOps Numeric.AERN.RealArithmetic.Interval.Mutable.MixedFieldOps Numeric.AERN.RealArithmetic.Interval.SpecialConst Numeric.AERN.RealArithmetic.Interval.Floating Numeric.AERN.RealArithmetic.Interval.ElementaryFromFieldOps.Sqrt