AERN-Real-0.10.0: AERN-Real.cabal

Name:           AERN-Real
Version:        0.10.0
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:      beta
Category:       Data, Math
Synopsis:       arbitrary precision interval arithmetic for approximating exact real numbers
Tested-with:    GHC ==6.10.1
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 folder @demos@.
    .
    There is a built-in test suite and it can be evoked using
    the module in the folder @tests@.

Extra-Source-Files:
    demos/Demo.hs demos/Pi.hs demos/Matrix.hs
    tests/RunERIntervalTests.hs
    ChangeLog

Flag use-hmpfr
    Default: False

Library
  hs-source-dirs:  src
  if flag(use-hmpfr)
      Build-Depends:
        base >= 3, base < 4, containers, binary, html >= 1.0, regex-compat >= 0.71, stm, time, QuickCheck == 1.2.0.0, filepath, directory, hmpfr == 0.2
      cpp-options: -DUSE_MPFR
  else
      Build-Depends:
        base >= 3, base < 4, containers, binary, html >= 1.0, regex-compat >= 0.71, stm, time, QuickCheck == 1.2.0.0, filepath, directory
  Exposed-modules:
        Data.Number.ER,
        Data.Number.ER.BasicTypes,
        Data.Number.ER.BasicTypes.DomainBox,
        Data.Number.ER.BasicTypes.DomainBox.IntMap,
        Data.Number.ER.BasicTypes.ExtendedInteger,
        Data.Number.ER.BasicTypes.PlusMinus,
        Data.Number.ER.BasicTypes.Tests.Generate,
        Data.Number.ER.Misc,
        Data.Number.ER.Misc.STM,
        Data.Number.ER.Misc.Tests,
        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.OI,
        Data.Number.ER.Real.Approx.Sequence,
        Data.Number.ER.Real.Approx.Tests.Generate,
        Data.Number.ER.Real.Approx.Tests.Properties,
        Data.Number.ER.Real.Approx.Tests.Reporting,
        Data.Number.ER.Real.Approx.Tests.Run,
        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.MachineDouble,
        Data.Number.ER.Real.Base.MPFR,
        Data.Number.ER.Real.Base.Rational,
        Data.Number.ER.Real.Base.Tests.Generate,
        Data.Number.ER.Real.DefaultRepr,
        Data.Number.ER.ShowHTML