FactorModuleBasis -- the class of all factor module bases
Functions and methods returning an object of class FactorModuleBasis :
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)