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)