Safe Haskell | None |
---|---|

Language | Haskell98 |

Power series, either finite or unbounded. (zipWith does exactly the right thing to make it work almost transparently.)

- newtype T a = Cons {
- coeffs :: [a]

- fromCoeffs :: [a] -> T a
- lift0 :: [a] -> T a
- lift1 :: ([a] -> [a]) -> T a -> T a
- lift2 :: ([a] -> [a] -> [a]) -> T a -> T a -> T a
- const :: a -> T a
- appPrec :: Int
- truncate :: Int -> T a -> T a
- evaluate :: C a => T a -> a -> a
- evaluateCoeffVector :: C a v => T v -> a -> v
- evaluateArgVector :: (C a v, C v) => T a -> v -> v
- approximate :: C a => T a -> a -> [a]
- approximateCoeffVector :: C a v => T v -> a -> [v]
- approximateArgVector :: (C a v, C v) => T a -> v -> [v]
- compose :: (C a, C a) => T a -> T a -> T a
- shrink :: C a => a -> T a -> T a
- dilate :: C a => a -> T a -> T a

# Documentation

Functor T Source # | |

C T Source # | |

C a b => C a (T b) Source # | |

(C a, C a b) => C a (T b) Source # | |

(Eq a, C a) => Eq (T a) Source # | |

(C a, Ord a) => Ord (T a) Source # | |

Show a => Show (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

(C a, C a) => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

fromCoeffs :: [a] -> T a Source #

evaluateCoeffVector :: C a v => T v -> a -> v Source #

Evaluate (truncated) power series.

approximate :: C a => T a -> a -> [a] Source #

Evaluate approximations that is evaluate all truncations of the series.

approximateCoeffVector :: C a v => T v -> a -> [v] Source #

Evaluate approximations that is evaluate all truncations of the series.

approximateArgVector :: (C a v, C v) => T a -> v -> [v] Source #

Evaluate approximations that is evaluate all truncations of the series.