| 2.14.2 Commands and Functions returning MODULE |
| elim | eliminate variables |
| homog | homogenize with respect to an indeterminate |
| IntersectList | intersect lists, ideals, or modules |
| LT | the leading term of an object |
| minimalized | ideal, submodule with minimal generators |
| ModuleOf | the module environment of the object |
| NewFreeModule | create a new FreeModule |
| submodule | submodule generated by list |
| SubmoduleCols, SubmoduleRows | convert a matrix into a module |
| syz | syzygy modules |
| SyzOfGens | syzygy module for a given set of generators |