next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
InvolutiveBases :: InvolutiveBases

InvolutiveBases -- Methods for Janet bases and Pommaret bases in Macaulay 2

Description

InvolutiveBases is a package which provides routines for dealing with Janet and Pommaret bases.

Janet bases can be constructed from given Gröbner bases. It can be checked whether a Janet basis is a Pommaret basis. Involutive reduction modulo a Janet basis can be performed. Syzygies and free resolutions can be computed using Janet bases. A convenient way to use this strategy is to use an optional argument for resolution, see Involutive.

Some references:

Author

Version

This documentation describes version 1.10 of InvolutiveBases.

Source code

The source code from which this documentation is derived is in the file InvolutiveBases.m2.

Exports

  • Types
  • Functions and commands
    • basisElements -- extract the matrix of generators from an involutive basis or factor module basis
    • factorModuleBasis -- enumerate standard monomials
    • invNoetherNormalization -- Noether normalization
    • 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)
    • pommaretMultVar -- return table of multiplicative variables for given module elements as determined by Pommaret division
  • Methods
    • basisElements(FactorModuleBasis), see basisElements -- extract the matrix of generators from an involutive basis or factor module basis
    • 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(FactorModuleBasis), see multVar -- extract the sets of multiplicative variables for each generator (in several contexts)
    • multVar(InvolutiveBasis), see multVar -- extract the sets of multiplicative variables for each generator (in several contexts)
  • Symbols
    • Involutive -- compute a (usually non-minimal) resolution using involutive bases
    • 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