Modulenumeric-prelude-0.4.4Haskell98

MathObj.PowerSeries2.Core

typetype T a = [[a]]

valuelift0fromPowerSeries :: [T a] -> T a

valuelift1fromPowerSeries :: ([T a] -> [T a]) -> T a -> T a

valuelift2fromPowerSeries :: ([T a] -> [T a] -> [T a]) -> T a -> T a -> T a

Series arithmetic

14 declarations

valueadd :: C a => T a -> T a -> T a

valuesub :: C a => T a -> T a -> T a

valuenegate :: C a => T a -> T a

valuescale :: C a => a -> T a -> T a

valuemul :: C a => T a -> T a -> T a

valuedivide :: C a => T a -> T a -> T a

valuesqrt :: C a => (a -> a) -> T a -> T a

valuepow :: C a => (a -> a) -> a -> T a -> T a

valueswapVariables :: T a -> T a

valuedifferentiate0 :: C a => T a -> T a

valuedifferentiate1 :: C a => T a -> T a

valueintegrate0 :: C a => [a] -> T a -> T a

valueintegrate1 :: C a => [a] -> T a -> T a

valuecompose :: C a => [a] -> T a -> T a

Since the inner series must start with a zero, the first term is omitted in y.