Macaulay2 » Documentation
Packages » InvolutiveBases :: Table of Contents
next | previous | forward | backward | up | index | toc

# InvolutiveBases : Table of Contents

- InvolutiveBases -- Methods for Janet bases and Pommaret bases in Macaulay 2
- basisElements -- extract the matrix of generators from an involutive basis or factor module basis
- FactorModuleBasis -- the class of all factor module bases
- factorModuleBasis -- enumerate standard monomials
- invNoetherNormalization -- Noether normalization
- Involutive -- compute a (usually non-minimal) resolution using involutive bases
- InvolutiveBasis -- the class of all involutive bases
- invReduce -- compute normal form modulo involutive basis by involutive reduction
- invSyzygies -- compute involutive basis of syzygies
- isPommaretBasis -- check whether or not a given Janet basis is also a Pommaret basis
- janetBasis -- compute Janet basis for an ideal or a submodule of a free module
- janetMultVar -- return table of multiplicative variables for given module elements as determined by Janet division
- janetResolution -- construct a free resolution for a given ideal or module using Janet bases
- multVar -- extract the sets of multiplicative variables for each generator (in several contexts)
- multVars -- key in the cache table of a differential in a Janet resolution
- PermuteVariables -- ensure that the last dim(I) var's are algebraically independent modulo I
- pommaretMultVar -- return table of multiplicative variables for given module elements as determined by Pommaret division