AERN-Real-0.9.4: datatypes and abstractions for approximating exact real numbers

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.Real.Arithmetic.Taylor

Description

Taylor series related functions.

Synopsis

Documentation

erTaylor_RSource

Arguments

:: ERIntApprox ira 
=> EffortIndex 
-> (Int -> ira)

coefficients of the Taylor series

-> (Int -> ira)

function to estimate the n'th derivative between a and x

-> ira

centre of the Taylor Expansion

-> ira 
-> ira 

erTaylor_R_FullArgsSource

Arguments

:: ERIntApprox ira 
=> (Int -> ira)

coefficients of the Taylor series

-> (Int -> ira)

function to estimate the n'th derivative between a and x

-> Int

use this many elements of the series (+ account for error appropriately)

-> ira

centre of the Taylor Expansion

-> Granularity

make all constants have this granularity, thus influencing rounding errors

-> ira 
-> ira 

erExp_Tay_Opt_R :: ERIntApprox ira => EffortIndex -> ira -> iraSource

A Taylor series for exponentiation.

erSine_Tay_Opt_R :: ERIntApprox ira => EffortIndex -> ira -> iraSource

A Taylor series for sine.

erCosine_Tay_Opt_R :: ERIntApprox ira => EffortIndex -> ira -> iraSource

A Taylor series for cosine.