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).
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 OX(D), where D is the associated divisor to I.