- 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
- sub :: C a => T a -> T a -> T a
- add :: 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
- 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

# Documentation

lift0fromPowerSeries :: [T a] -> T aSource

# Series arithmetic

swapVariables :: T a -> T aSource

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

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

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

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