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