next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SectionRing :: SectionRing

SectionRing -- computing the section ring of a Weil Divisor

Author

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.