Safe Haskell | Safe-Infered |
---|
- 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
- add, 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
- 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