Copyright | (c) Masahiro Sakai 2012 |
---|---|

License | BSD-style |

Maintainer | masahiro.sakai@gmail.com |

Stability | provisional |

Portability | non-portable (Rank2Types) |

Safe Haskell | None |

Language | Haskell2010 |

Manipulating polynomials for corresponding operations for algebraic numbers.

Reference:

# Documentation

rootSimpPoly :: (a -> UPolynomial Rational) -> UPolynomial a -> UPolynomial Rational Source

lift2 :: (forall a. Num a => a -> a -> a) -> UPolynomial Rational -> UPolynomial Rational -> UPolynomial Rational Source

findPoly :: Polynomial Rational Var -> [Polynomial Rational Var] -> UPolynomial Rational Source