Macaulay2 » Documentation
Packages » SectionRing :: SectionRing
next | previous | forward | backward | up | index | toc

# 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 <thelongdivider@gmail.com>

## Version

This documentation describes version 0.2 of SectionRing, released September 21 2016.

## 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/stable/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 /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/SectionRing.m2:377:0.