Name:           AERN-Real
Version:        0.9.7.2
Cabal-Version:  >= 1.2
Build-Type:     Simple
License:        BSD3
License-File:   LICENCE
Author:         Michal Konecny (Aston University)
Copyright:      (c) 2007-2008 Michal Konecny, Amin Farjudian, Jan Duracz 
Maintainer:     mik@konecny.aow.cz
Stability:      experimental
Category:       Data, Math
Synopsis:       arbitrary precision interval arithmetic for approximating exact real numbers
Tested-with:    GHC ==6.8.3
Description:
    Datatypes and abstractions for approximating exact real numbers
    and a basic arithmetic over such approximations.
    The main datatype is interval with arbitrary precision endpoints
    supported by safely rounding field and elementary operations
    whose precision can be increased arbitrarily, so that they
    all converge to the exact operations.
    .
    The design of the library is inspired to some degree 
    by Mueller's iRRAM and Lambov's RealLib
    (both are C++ libraries for exact real arithmetic).
    .
    For an architectural overview, see module "Data.Number.ER.Real".
    .
    Simple examples of usage can be found in module @Demo.hs@ in folder @tests@.
Extra-source-files:
    tests/Demo.hs tests/Pi.hs tests/Matrix.hs
Data-files:
    ChangeLog

Flag containers-in-base
    Default: False

Flag use-hmpfr
    Default: False

Library
  hs-source-dirs:  src
  if flag(containers-in-base)
    if flag(use-hmpfr)
      Build-Depends:
        base < 3, binary >= 0.4, hmpfr == 0.1.1
      cpp-options: -DUSE_MPFR
    else
      Build-Depends:
        base < 3, binary >= 0.4
  else
    if flag(use-hmpfr)
      Build-Depends:
        base >= 3, containers, binary >= 0.4, hmpfr == 0.1.1
      cpp-options: -DUSE_MPFR
    else
      Build-Depends:
        base >= 3, containers, binary >= 0.4
  Exposed-modules:
    Data.Number.ER,
    Data.Number.ER.Real,
    Data.Number.ER.Real.DefaultRepr,
    Data.Number.ER.Real.Base.MachineDouble,
    Data.Number.ER.Real.Base.CombinedMachineAP,
    Data.Number.ER.Real.Base.Rational,
    Data.Number.ER.Real.Base.Float,
    Data.Number.ER.Real.Base.MPFR,
    Data.Number.ER.Real.Base,
    Data.Number.ER.Real.Arithmetic.Elementary,
    Data.Number.ER.Real.Arithmetic.Integration,
    Data.Number.ER.Real.Arithmetic.LinearSolver,
    Data.Number.ER.Real.Arithmetic.Taylor,
    Data.Number.ER.Real.Arithmetic.Newton,
    Data.Number.ER.Real.Approx.Sequence,
    Data.Number.ER.Real.Approx.Elementary,
    Data.Number.ER.Real.Approx.Interval,
    Data.Number.ER.Real.Approx,
    Data.Number.ER.Real.DomainBox,
    Data.Number.ER.Real.DomainBox.IntMap,
    Data.Number.ER.PlusMinus,
    Data.Number.ER.BasicTypes,
    Data.Number.ER.Misc,
    Data.Number.ER.ExtendedInteger