Portability | non-portable (Rank2Types) |
---|---|

Stability | provisional |

Maintainer | masahiro.sakai@gmail.com |

Safe Haskell | None |

Manipulating polynomials for corresponding operations for algebraic numbers.

Reference:

# Documentation

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

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

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