SCMAlgebras -- sequentially Cohen-Macaulay modules or ideals

Description

SCMAlgebras is a package to check whether a module or an ideal is sequentially Cohen-Macaulay, by computing the modules of deficiency and the filter ideals.

Author

Ernesto Lax <[email protected]>

Version

This documentation describes version 1.0 of SCMAlgebras.

Source code

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

Exports

Functions and commands
- canonicalModule -- computes the canonical module of a module $M$ or an ideal $I$.
- deficiencyModule -- computes the $i$th module of deficiency of a module $M$ or an ideal $I$.
- filterIdeal -- computes the $i$th filter ideal of $I$.
- isSCM -- checks whether a module or an ideal is sequentially Cohen-Macaulay
- minimumDimension -- computes the minimum dimension of $I$.
Methods
- canonicalModule(Ideal) -- see canonicalModule -- computes the canonical module of a module $M$ or an ideal $I$.
- canonicalModule(Module) -- see canonicalModule -- computes the canonical module of a module $M$ or an ideal $I$.
- deficiencyModule(Ideal,ZZ) -- see deficiencyModule -- computes the $i$th module of deficiency of a module $M$ or an ideal $I$.
- deficiencyModule(Module,ZZ) -- see deficiencyModule -- computes the $i$th module of deficiency of a module $M$ or an ideal $I$.
- filterIdeal(Ideal,ZZ) -- see filterIdeal -- computes the $i$th filter ideal of $I$.
- isSCM(Ideal) -- see isSCM -- checks whether a module or an ideal is sequentially Cohen-Macaulay
- isSCM(Module) -- see isSCM -- checks whether a module or an ideal is sequentially Cohen-Macaulay
- minimumDimension(Ideal) -- see minimumDimension -- computes the minimum dimension of $I$.

For the programmer

The object SCMAlgebras is a package.