AERN-Real-0.9.8: 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

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