summaryrefslogtreecommitdiff
path: root/AERN-RnToRm.cabal
blob: 2e5b14129b47f5aeef4ca0544309ccdfc10919ec (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
Name:           AERN-RnToRm
Version:        0.5.0.1
Cabal-Version:  >= 1.2
Build-Type:     Simple
License:        BSD3
License-File:   LICENCE
Author:         Michal Konecny (Aston University)
Copyright:      (c) 2007-2009 Michal Konecny, Jan Duracz
Maintainer:     mikkonecny@gmail.com
Homepage:       http://www-users.aston.ac.uk/~konecnym/DISCERN
Stability:      experimental
Category:       Data, Math
Synopsis:       polynomial function enclosures (PFEs) approximating exact real functions
Tested-with:    GHC ==6.10.1
Description:
    AERN-RnToRm provides
    datatypes and abstractions for approximating functions
    of type @D -> R^m@ where @D@ is a bounded interval in @R^n@
    with non-empty interior.
    .
    The main datatype are function enclosures whose boundaries are
    piece-wise polynomial with a bounded degree.  (This degree can
    be set arbitrarily high or as low as 0.)
    This datatype is supported by safely rounding operations
    whose precision can be increased arbitrarily, so that they
    all converge to the exact operations.
    Field operations, integration, maximisation and some elementary operations 
    (namely exp, sin, cos) are among those already implemented.
    .
    For an architectural overview, see module "Data.Number.ER.RnToRm".
    .
    A mathematical description of the very basics as well as a brief comparison
    with Taylor Models is included in the
    paper <http://www-users.aston.ac.uk/~konecnym/papers/cfv08.html>.
    .
    Simple examples of usage can be found in folder @examples@
    and a test suite can be run via the module in the folder @tests@.

Extra-source-files:
    examples/Demo.hs examples/ISin3.hs
    tests/RunPolynomTests.hs
    ChangeLog

Library
  hs-source-dirs:  src
  Build-Depends:
    AERN-Real >= 0.10, AERN-Real < 0.10.1, base >= 3, base < 4, containers, binary >= 0.4, html >= 1.0, QuickCheck >= 1.2, QuickCheck < 2, time, filepath, directory
  Exposed-modules:
        Data.Number.ER.RnToRm,
        Data.Number.ER.RnToRm.Approx,
        Data.Number.ER.RnToRm.Approx.DomEdges,
        Data.Number.ER.RnToRm.Approx.DomTransl,
        Data.Number.ER.RnToRm.Approx.PieceWise,
        Data.Number.ER.RnToRm.Approx.Tuple,
        Data.Number.ER.RnToRm.BisectionTree,
        Data.Number.ER.RnToRm.BisectionTree.Integration,
        Data.Number.ER.RnToRm.BisectionTree.Path,
        Data.Number.ER.RnToRm.DefaultRepr,
        Data.Number.ER.RnToRm.TestingDefs,
        Data.Number.ER.RnToRm.UnitDom.Approx,
        Data.Number.ER.RnToRm.UnitDom.Approx.Interval,
        Data.Number.ER.RnToRm.UnitDom.Approx.IntervalOI,
        Data.Number.ER.RnToRm.UnitDom.Base,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Generate,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Bounds,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Common,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Compose,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Division,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Elementary,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Enclosure,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Integration,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Reduce,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Ring,
        Data.Number.ER.RnToRm.UnitDom.Base.Tests.Run,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Compose,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Derivative,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Division,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.DivisionInner,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.ElementaryInner,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.EnclosureInner,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Integration,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Reduce,
        Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring