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
-
-
-
Involutive -- compute a (usually non-minimal) resolution using involutive bases
-
invReduce -- compute normal form modulo involutive basis by involutive reduction
-
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