SectionRing -- computing the section ring of a Weil Divisor

Description

This package provides a method for computing the section ring of a Weil divisor.

Author

Andrew Bydlon <[email protected]>

Version

This documentation describes version 0.2 of SectionRing.

Citation

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

@misc{SectionRingSource,
  title = {{SectionRing: the section ring of a Weil Divisor. Version~0.2}},
  author = {Andrew Bydlon},
  howpublished = {A \emph{Macaulay2} package available at
    \url{https://github.com/Macaulay2/M2/tree/master/M2/Macaulay2/packages}}
}

Exports

Functions and commands
- convertScalarVect (missing documentation)
- globallyGenerated -- globallyGenerated(D) produces a smallest integer a such that O_X(aD) is globally generated.
- isMRegular -- isMRegular(F,G,m) tests where F is m-regular with respect to G (globally generated) in the sense of Castelnuovo-Mumford. Omitting G assumes G=O_X(1).
- isVectScalar (missing documentation)
- mRegular -- mRegular(F,G) computes the regularity of F with respect to G (globally generated), in the sense of Castelnuovo-Mumford. Omitting G assumes G=O_X(1).
- sectionRing -- sectionRing(I) produces the section ring of an ample divisor. If I is an ideal, one can input I to get the section ring of the corresponding divisor.
Methods
- globallyGenerated(Ideal) (missing documentation)
- globallyGenerated(Module) (missing documentation)
- mRegular(Ideal) (missing documentation)
- sectionRing(Ideal) (missing documentation)

For the programmer

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

The source of this document is in SectionRing.m2:377:0.