monoid [...] -- make a polynomial ring or monoid ring
Synopsis:
monoid [a,b,c,...] -- makes a free ordered commutative monoid on the variables listed.
Optional arguments (placed between the brackets):
Inverses -- specify whether generators are invertible
MonomialOrder -- monomial ordering
WeylAlgebra -- make a Weyl algebra
MonomialSize -- specify maximum exponent size
SkewCommutative -- make a skewcommutative (alternating) ring
VariableBaseName -- base name for variables
Variables -- specify the variable names
Weights -- specify monomial ordering by weights
Degrees -- specify the degrees
VariableOrder
Adjust -- adjust the multi-degree
Repair -- repair the multi-degree
NewMonomialOrder
See also:
Ring [...] -- the standard way to make a polynomial ring