List of notions in the Poly CD
-
data-structure constructors
-
DMP (Distributive Multivariate Polynomials)
-
DMPL (DMP List)
-
SDMP (Simple DMP, no indication of varnames)
-
Monom(coeff, deg1, deg 2 , ... , degn)
example: the polynomial x2y6 + 3y5
is encoded as
DMP(PolyRing(Z,2),SDMP(Momon(1,2,6),Monom(3,0,5)) )
-
polynomial ring constructors
-
PolyRing(CoeffsRing, #vars)
-
Z
-
Q
-
Zm
-
Zp
-
orderings
-
ordering (used as attribute to polynomials)
-
lexicographic
-
reverseLexicographic
-
gradedLexicographic
-
gradedReverseLexicographic
-
other constructors
-
factored
-
squarefreed
-
groebnerBasis
-
operations
-
+
-
*
-
^
-
degree
-
degreeWrt
-
factor
-
squarefree
-
gcd
-
lcm
-
resultant
-
groebner
-
convert