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.