exp package:numeric-prelude

The first term needs a transcendent computation but the others do not. That's why we accept a function which computes the first term.

(exp . x)' =   (exp . x) * x'
(sin . x)' =   (cos . x) * x'
(cos . x)' = - (sin . x) * x'

equalTrunc 500 PSE.expExpl (PS.exp (\0 -> 1) [0,1])

equalTrunc 100 (1:1:repeat 0) (PS.exp (\0 -> 1) PSE.log)

checkHoles 30 (PS.exp (\0 -> 1)) 0

exp :: C a => [a]

numeric-prelude MathObj.PowerSeries.Example

exp :: C a => T a -> T a

numeric-prelude Number.Complex

Exponential of a complex number with minimal type class constraints.

exp :: Integer -> Integer -> Integer

numeric-prelude Number.FixedPoint

exp :: Basis -> T -> T

numeric-prelude Number.Positional

exponent :: C a => a -> Int

numeric-prelude Algebra.FloatingPoint

expon :: T a -> Int

numeric-prelude MathObj.LaurentPolynomial

expExpl :: C a => [a]

numeric-prelude MathObj.PowerSeries.Example

equalTrunc 500 PSE.expExpl PSE.expODE

expODE :: C a => [a]

numeric-prelude MathObj.PowerSeries.Example

expSmall :: Integer -> Integer -> Integer

numeric-prelude Number.FixedPoint

expSeries :: Basis -> T -> Series

numeric-prelude Number.Positional

expSeriesLazy :: Basis -> T -> Series

numeric-prelude Number.Positional

expSmall :: Basis -> T -> T

numeric-prelude Number.Positional

Absolute value of argument should be below 1.

expSmallLazy :: Basis -> T -> T

numeric-prelude Number.Positional

exponent :: T -> Int

numeric-prelude Number.Positional.Check

type Exponent = Int

numeric-prelude Number.Positional

propExpLog :: (Eq a, C a) => a -> Bool

numeric-prelude Algebra.Transcendental

propExpLogPower :: (Eq a, C a) => a -> a -> Bool

numeric-prelude Algebra.Transcendental

propExpNeg :: (Eq a, C a) => a -> Bool

numeric-prelude Algebra.Transcendental

propExpProduct :: (Eq a, C a) => a -> a -> Bool

numeric-prelude Algebra.Transcendental

propLogExp :: (Eq a, C a) => a -> Bool

numeric-prelude Algebra.Transcendental

showsExpressionPrec :: (Show a, C a, C a) => Int -> String -> T a -> String -> String

numeric-prelude MathObj.Polynomial

atanExpl :: C a => [a]

numeric-prelude MathObj.PowerSeries.Example

equalTrunc 500 PSE.atanExpl PSE.atanODE

atanhExpl :: C a => [a]

numeric-prelude MathObj.PowerSeries.Example

equalTrunc 500 PSE.atanhExpl PSE.atanhODE