AERN-Real-0.9.8: arbitrary precision interval arithmetic for approximating exact real numbers

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.Real.Arithmetic.Integration

Description

Simple integration methods for Haskell functions operating on real number approximations.

Synopsis

Documentation

integrateCont :: ERIntApprox ira => (EffortIndex -> ira -> ira) -> ConvergRealSeq ira -> ConvergRealSeq ira -> ConvergRealSeq iraSource

integrateCont_R :: ERIntApprox ira => (EffortIndex -> ira -> ira) -> EffortIndex -> ira -> ira -> iraSource

naive integration, using a partition of 2 * prec equally sized intervals

integrateContAdapt_R :: ERIntApprox ira => (EffortIndex -> ira -> ira) -> EffortIndex -> ira -> ira -> iraSource

integration using divide and conquer adaptive partitioning