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 <http://code.google.com/p/aern/wiki/Main>.

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