| 2.14.2 Commands and Functions returning MODULE |
| elim | eliminate variables |
| homog | homogenize wrt an indeterminate |
| IntersectionList | intersect lists, ideals, or modules |
| LT | the leading term of an object |
| 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 |
| SubmoduleOfMinGens | submodule generated by minimal generators |
| syz | syzygy modules |
| SyzOfGens | syzygy module for a given set of generators |