SectionRing : Index

• convertScalarVect (missing documentation)
• dualToIdeal -- dual ideal
• 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 -- computing the section ring of a Weil Divisor
• 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.