Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Documentation
multivariatePolynomialViewWith :: View Expr a -> View Expr (MultivariatePolynomial a) Source #
fromFactors :: Factors -> Expr Source #
newtype MultivariatePolynomial a Source #
Instances
plus :: (Eq a, Field a) => MultivariatePolynomial a -> MultivariatePolynomial a -> MultivariatePolynomial a Source #
negateMV :: (Eq a, Num a, Field a) => MultivariatePolynomial a -> MultivariatePolynomial a Source #
subtract :: (Eq a, Num a, Field a) => MultivariatePolynomial a -> MultivariatePolynomial a -> MultivariatePolynomial a Source #
times :: (Eq a, Field a) => MultivariatePolynomial a -> MultivariatePolynomial a -> MultivariatePolynomial a Source #
times2 :: (Eq a, Field a) => Factors -> MultivariatePolynomial a -> MultivariatePolynomial a Source #
times3 :: (Eq a, Field a) => a -> MultivariatePolynomial a -> MultivariatePolynomial a Source #
divide :: (Eq a, Field a) => MultivariatePolynomial a -> a -> Maybe (MultivariatePolynomial a) Source #
unsafeDivide :: (Eq a, Field a) => MultivariatePolynomial a -> a -> MultivariatePolynomial a Source #
expo :: (Eq a, Field a) => MultivariatePolynomial a -> Integer -> MultivariatePolynomial a Source #