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

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.Real.Approx.Elementary

Description

To be imported qualified, usually with the synonym RAEL.

Synopsis

Documentation

class (ERIntApprox ra, Ord ra) => ERApproxElementary ra whereSource

A class defining various common real number operations in a approximation-aware fashion, ie introducing effort indices.

All operations here have default implementations based on Data.Number.ER.Real.Arithmetic.Elementary.

Methods

abs :: EffortIndex -> ra -> raSource

min :: EffortIndex -> ra -> ra -> raSource

max :: EffortIndex -> ra -> ra -> raSource

sqrt :: EffortIndex -> ra -> raSource

exp :: EffortIndex -> ra -> raSource

log :: EffortIndex -> ra -> raSource

(**) :: EffortIndex -> ra -> ra -> raSource

pi :: EffortIndex -> raSource

sin :: EffortIndex -> ra -> raSource

cos :: EffortIndex -> ra -> raSource

tan :: EffortIndex -> ra -> raSource

atan :: EffortIndex -> ra -> raSource

class (ERIntApprox ra, ERInnerOuterApprox ra, Ord ra) => ERInnerOuterApproxElementary ra whereSource

A class defining various common real number operations in a approximation-aware fashion, ie introducing effort indices.

All operations here have default implementations based on Data.Number.ER.Real.Arithmetic.Elementary.

Methods

absInner :: EffortIndex -> ra -> raSource

minInner :: EffortIndex -> ra -> ra -> raSource

maxInner :: EffortIndex -> ra -> ra -> raSource

sqrtInner :: EffortIndex -> ra -> raSource

expInner :: EffortIndex -> ra -> raSource

logInner :: EffortIndex -> ra -> raSource

(**:) :: EffortIndex -> ra -> ra -> raSource

sinInner :: EffortIndex -> ra -> raSource

cosInner :: EffortIndex -> ra -> raSource

tanInner :: EffortIndex -> ra -> raSource

atanInner :: EffortIndex -> ra -> raSource