Macaulay2 » Documentation
Packages » FiniteFittingIdeals :: FiniteFittingIdeals
next | previous | forward | backward | up | index | toc

FiniteFittingIdeals -- Computing Fitting ideals and Quot schemes of points

Description

This package implements an algorithm for computing Fitting ideals of finite modules from the paper Gotzmann's persistence theorem for finite modules arXiv:1411.7940 by Gustav Sædén Ståhl.

The following is an example illustrating the main functions provided in the package.

Author

Version

This documentation describes version 1.0 of FiniteFittingIdeals.

Citation

If you have used this package in your research, please cite it as follows:

@misc{FiniteFittingIdealsSource,
  title = {{FiniteFittingIdeals: Fitting ideals of finite modules. Version~1.0}},
  author = {Gustav S{\ae}d{\'e}n St{\aa}hl},
  howpublished = {A \emph{Macaulay2} package available at
    \url{https://github.com/Macaulay2/M2/tree/master/M2/Macaulay2/packages}}
}

Exports

  • Functions and commands
    • affinePart -- Replaces columns in a matrix with an identity matrix
    • co1Fitting -- Calculates the (n-1)'th Fitting ideal of a finite module
    • gaussCol -- Makes column reductions of a matrix
    • gotzmannTest -- Checks if a set of monomials is a Gotzmann set
    • nextDegree -- Lifts the kernel to the next degree
    • quotScheme -- Calculates the defining equations for Quot schemes of points
  • Methods
    • affinePart(Matrix,List) -- see affinePart -- Replaces columns in a matrix with an identity matrix
    • affinePart(Matrix,ZZ) -- see affinePart -- Replaces columns in a matrix with an identity matrix
    • co1Fitting(Matrix) -- see co1Fitting -- Calculates the (n-1)'th Fitting ideal of a finite module
    • co1Fitting(Module) -- see co1Fitting -- Calculates the (n-1)'th Fitting ideal of a finite module
    • gaussCol(Matrix) -- see gaussCol -- Makes column reductions of a matrix
    • gaussCol(MutableMatrix) -- see gaussCol -- Makes column reductions of a matrix
    • gotzmannTest(List,RingElement) -- see gotzmannTest -- Checks if a set of monomials is a Gotzmann set
    • gotzmannTest(Module,ZZ,List) -- see gotzmannTest -- Checks if a set of monomials is a Gotzmann set
    • nextDegree(Matrix,ZZ,Ring) -- see nextDegree -- Lifts the kernel to the next degree
    • nextDegree(Module,ZZ,Ring) -- see nextDegree -- Lifts the kernel to the next degree
    • quotScheme(Module,ZZ,List) -- see quotScheme -- Calculates the defining equations for Quot schemes of points

For the programmer

The object FiniteFittingIdeals is a package, defined in FiniteFittingIdeals.m2.

The source of this document is in FiniteFittingIdeals.m2:199:0.