Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Domain.Math.Data.MultivariatePolynomial

Description

Documentation

multivariatePolynomialView :: View Expr (MultivariatePolynomial Expr) Source #

multivariatePolynomialViewWith :: View Expr a -> View Expr (MultivariatePolynomial a) Source #

toMultivariatePolynomial :: Expr -> Maybe (MultivariatePolynomial Expr) Source #

fromMultivariatePolynomial :: MultivariatePolynomial Expr -> Expr Source #

fromFactors :: Factors -> Expr Source #

multivariatePolynomialToMap :: MultivariatePolynomial a -> Map Factors a Source #

ex :: MultivariatePolynomial Expr Source #

type Var = String Source #

newtype MultivariatePolynomial a Source #

Constructors

Sum (Map Factors a)

Instances

Functor MultivariatePolynomial Source #
Instance details Defined in Domain.Math.Data.MultivariatePolynomial Methods fmap :: (a -> b) -> MultivariatePolynomial a -> MultivariatePolynomial b # (<$) :: a -> MultivariatePolynomial b -> MultivariatePolynomial a #
Foldable MultivariatePolynomial Source #
Instance details Defined in Domain.Math.Data.MultivariatePolynomial Methods fold :: Monoid m => MultivariatePolynomial m -> m # foldMap :: Monoid m => (a -> m) -> MultivariatePolynomial a -> m # foldr :: (a -> b -> b) -> b -> MultivariatePolynomial a -> b # foldr' :: (a -> b -> b) -> b -> MultivariatePolynomial a -> b # foldl :: (b -> a -> b) -> b -> MultivariatePolynomial a -> b # foldl' :: (b -> a -> b) -> b -> MultivariatePolynomial a -> b # foldr1 :: (a -> a -> a) -> MultivariatePolynomial a -> a # foldl1 :: (a -> a -> a) -> MultivariatePolynomial a -> a # toList :: MultivariatePolynomial a -> [a] # null :: MultivariatePolynomial a -> Bool # length :: MultivariatePolynomial a -> Int # elem :: Eq a => a -> MultivariatePolynomial a -> Bool # maximum :: Ord a => MultivariatePolynomial a -> a # minimum :: Ord a => MultivariatePolynomial a -> a # sum :: Num a => MultivariatePolynomial a -> a # product :: Num a => MultivariatePolynomial a -> a #
Traversable MultivariatePolynomial Source #
Instance details Defined in Domain.Math.Data.MultivariatePolynomial Methods traverse :: Applicative f => (a -> f b) -> MultivariatePolynomial a -> f (MultivariatePolynomial b) # sequenceA :: Applicative f => MultivariatePolynomial (f a) -> f (MultivariatePolynomial a) # mapM :: Monad m => (a -> m b) -> MultivariatePolynomial a -> m (MultivariatePolynomial b) # sequence :: Monad m => MultivariatePolynomial (m a) -> m (MultivariatePolynomial a) #
Eq a => Eq (MultivariatePolynomial a) Source #
Instance details Defined in Domain.Math.Data.MultivariatePolynomial Methods (==) :: MultivariatePolynomial a -> MultivariatePolynomial a -> Bool # (/=) :: MultivariatePolynomial a -> MultivariatePolynomial a -> Bool #
(Num a, Eq a, Field a) => Num (MultivariatePolynomial a) Source #
Instance details Defined in Domain.Math.Data.MultivariatePolynomial Methods (+) :: MultivariatePolynomial a -> MultivariatePolynomial a -> MultivariatePolynomial a # (-) :: MultivariatePolynomial a -> MultivariatePolynomial a -> MultivariatePolynomial a # (*) :: MultivariatePolynomial a -> MultivariatePolynomial a -> MultivariatePolynomial a # negate :: MultivariatePolynomial a -> MultivariatePolynomial a # abs :: MultivariatePolynomial a -> MultivariatePolynomial a # signum :: MultivariatePolynomial a -> MultivariatePolynomial a # fromInteger :: Integer -> MultivariatePolynomial a #
Show (MultivariatePolynomial Expr) Source #
Instance details Defined in Domain.Math.Data.MultivariatePolynomial Methods showsPrec :: Int -> MultivariatePolynomial Expr -> ShowS # show :: MultivariatePolynomial Expr -> String # showList :: [MultivariatePolynomial Expr] -> ShowS #

newtype Factors Source #

Constructors

Product (Map Var Integer)

Instances

Eq Factors Source #
Instance details Defined in Domain.Math.Data.MultivariatePolynomial Methods (==) :: Factors -> Factors -> Bool # (/=) :: Factors -> Factors -> Bool #
Ord Factors Source #
Instance details Defined in Domain.Math.Data.MultivariatePolynomial Methods compare :: Factors -> Factors -> Ordering # (<) :: Factors -> Factors -> Bool # (<=) :: Factors -> Factors -> Bool # (>) :: Factors -> Factors -> Bool # (>=) :: Factors -> Factors -> Bool # max :: Factors -> Factors -> Factors # min :: Factors -> Factors -> Factors #
Show Factors Source #
Instance details Defined in Domain.Math.Data.MultivariatePolynomial Methods showsPrec :: Int -> Factors -> ShowS # show :: Factors -> String # showList :: [Factors] -> ShowS #

mkSum :: (Eq a, Field a) => Map Factors a -> MultivariatePolynomial a Source #

var :: (Eq a, Field a) => Var -> MultivariatePolynomial a Source #

con :: (Eq a, Field a) => a -> MultivariatePolynomial a Source #

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 #

varF :: Var -> Factors Source #

oneF :: Factors Source #

timesF :: Factors -> Factors -> Factors Source #