Math.Algebra.Commutative.MPoly

Documentation

newtype MPoly ord r

Type for multivariate polynomials. ord is a phantom type defining how terms are ordered, r is the type of the ring we are working over. For example, a common choice will be MPoly Grevlex Q, meaning polynomials over Q with the grevlex term ordering

Constructors

MP [(Monomial ord, r)]

Instances

Eq r => Eq (MPoly ord r)

(Ord (Monomial ord), Fractional r) => Fractional (MPoly ord r)

(Ord (Monomial ord), Num r) => Num (MPoly ord r)

(Ord (Monomial ord), Ord r) => Ord (MPoly ord r)

(Show r, Num r) => Show (MPoly ord r)

var :: String -> MPoly Grevlex Q

Create a variable with the supplied name. By convention, variable names should usually be a single letter followed by none, one or two digits.

b :: MPoly Grevlex Q

c :: MPoly Grevlex Q

d :: MPoly Grevlex Q

s :: MPoly Grevlex Q

t :: MPoly Grevlex Q

u :: MPoly Grevlex Q

v :: MPoly Grevlex Q

w :: MPoly Grevlex Q

x :: MPoly Grevlex Q

y :: MPoly Grevlex Q

z :: MPoly Grevlex Q

a :: MPoly Grevlex Q

x1 :: MPoly Grevlex Q

x2 :: MPoly Grevlex Q

x3 :: MPoly Grevlex Q

x0 :: MPoly Grevlex Q

toLex :: MPoly ord k -> MPoly Lex k

Convert a polynomial to lex term ordering

toGlex :: MPoly ord k -> MPoly Glex k

Convert a polynomial to glex term ordering

toGrevlex :: MPoly ord k -> MPoly Grevlex k

Convert a polynomial to grevlex term ordering

toElim :: MPoly ord k -> MPoly Elim k