| 2.15.3 Commands and Functions returning MODULEELEM |
| CanonicalBasis | canonical basis of a free module |
| homog | homogenize wrt an indeterminate |
| LM | the leading monomial of a polynomial or ModuleElem |
| LT | the leading term of an object |
| ModuleElem | create a module element |
| NF | normal form |
| NR | normal reduction |
| ReducedGBasis | reduced Groebner basis |