:: [a] package:numeric-prelude

powersOfTwo :: C a => [a]
numeric-prelude Algebra.RealRing
progression :: C a => [a]
numeric-prelude MathObj.Polynomial.Core MathObj.PowerSeries.Core
recipProgression :: C a => [a]
numeric-prelude MathObj.PowerSeries.Core
solveDiffEq0 :: C a => [a]
numeric-prelude MathObj.PowerSeries.DifferentialEquation
Example for a linear equation: Setup a differential equation for y with 
y   t = (exp (-t)) * (sin t)
y'  t = -(exp (-t)) * (sin t) + (exp (-t)) * (cos t)
y'' t = -2 * (exp (-t)) * (cos t)
Thus the differential equation 
y'' = -2 * (y' + y)
holds. The following function generates a power series for exp (-t) * sin t by solving the differential equation.
verifyDiffEq0 :: C a => [a]
numeric-prelude MathObj.PowerSeries.DifferentialEquation
recip :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
exp :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
sin :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
cos :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
log :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
asin :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
atan :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
sqrt :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
acos :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
sinh :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
cosh :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
atanh :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
recipExpl :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
expExpl :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
equalTrunc 500 PSE.expExpl PSE.expODE
sinExpl :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
equalTrunc 500 PSE.sinExpl PSE.sinODE
cosExpl :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
equalTrunc 500 PSE.cosExpl PSE.cosODE
logExpl :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
equalTrunc 500 PSE.logExpl PSE.logODE
atanExpl :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
equalTrunc 500 PSE.atanExpl PSE.atanODE
sinhExpl :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
equalTrunc 500 PSE.sinhExpl PSE.sinhODE
coshExpl :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
equalTrunc 500 PSE.coshExpl PSE.coshODE