MathObj.PowerSeries2.Core

Documentation

type T a = [[a]]

lift0fromPowerSeries :: [T a] -> T a

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

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

Series arithmetic

add :: C a => T a -> T a -> T a

sub :: C a => T a -> T a -> T a

negate :: C a => T a -> T a

scale :: C a => a -> T a -> T a

mul :: C a => T a -> T a -> T a

divide :: C a => T a -> T a -> T a

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

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

swapVariables :: T a -> T a

differentiate0 :: C a => T a -> T a

differentiate1 :: C a => T a -> T a

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

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

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

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