Math.Algebra.Commutative.Monomial

Documentation

newtype Monomial ord

Constructors

Monomial (Map String Int)

Instances

Eq (Monomial ord)

Fractional (Monomial ord)

Num (Monomial ord)

Ord (Monomial Elim)

Ord (Monomial Grevlex)

Ord (Monomial Glex)

Ord (Monomial Lex)

Show (Monomial ord)

data Lex

Phantom type representing lex term ordering

Instances

Ord (Monomial Lex)

data Glex

Phantom type representing glex term ordering

Instances

Ord (Monomial Glex)

data Grevlex

Phantom type representing grevlex term ordering

Instances

Ord (Monomial Grevlex)

data Elim

Phantom type for an elimination term ordering |In the ordering, xis come before yjs come before zks, but within the xis, or yjs, or zks, grevlex ordering is used

Instances

Ord (Monomial Elim)

convertM :: Monomial a -> Monomial b

supportM :: Monomial ord -> [Monomial ord]