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).

Usage:

mRegular(F,G)

mRegular(F)
Inputs:
- F, a coherent sheaf,
- G, a coherent sheaf,
Outputs:
- an integer,

Description

mRegular(F,G) utilizes a binary search to compute the smallest m such that F is m-regular with respect to G, utilizing the function isMRegular. mRegular(I) computes the regularity of O_X(D), where D is the associated divisor to I.

Ways to use mRegular:

mRegular(Ideal) (missing documentation)

For the programmer

The object mRegular is a method function.

The source of this document is in SectionRing.m2:455:0.