FactorModuleBasis -- the class of all factor module bases

Functions and methods returning an object of class FactorModuleBasis:

• factorModuleBasis -- enumerate standard monomials

Methods that use an object of class FactorModuleBasis:

• basisElements(FactorModuleBasis) -- see basisElements -- extract the matrix of generators from an involutive basis or factor module basis
• multVar(FactorModuleBasis) -- see multVar -- extract the sets of multiplicative variables for each generator (in several contexts)

For the programmer

The object FactorModuleBasis is a type, with ancestor classes HashTable < Thing.