InvolutiveBasis -- the class of all involutive bases

Functions and methods returning an object of class InvolutiveBasis :

• invSyzygies -- compute involutive basis of syzygies
• janetBasis -- compute Janet basis for an ideal or a submodule of a free module

Methods that use an object of class InvolutiveBasis :

• "basisElements(InvolutiveBasis)" -- see basisElements -- extract the matrix of generators from an involutive basis or factor module basis
• "factorModuleBasis(InvolutiveBasis)" -- see factorModuleBasis -- enumerate standard monomials
• "invNoetherNormalization(InvolutiveBasis)" -- see invNoetherNormalization -- Noether normalization
• "invReduce(Matrix,InvolutiveBasis)" -- see invReduce -- compute normal form modulo involutive basis by involutive reduction
• "invReduce(RingElement,InvolutiveBasis)" -- see invReduce -- compute normal form modulo involutive basis by involutive reduction
• "invSyzygies(InvolutiveBasis)" -- see invSyzygies -- compute involutive basis of syzygies
• "isPommaretBasis(InvolutiveBasis)" -- see isPommaretBasis -- check whether or not a given Janet basis is also a Pommaret basis
• "janetResolution(InvolutiveBasis)" -- see janetResolution -- construct a free resolution for a given ideal or module using Janet bases
• "multVar(InvolutiveBasis)" -- see multVar -- extract the sets of multiplicative variables for each generator (in several contexts)

For the programmer

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