SectionRing -- computing the section ring of a Weil Divisor
Version
This documentation describes version 0.2 of SectionRing.
Source code
The source code from which this documentation is derived is in the file
SectionRing.m2.
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.