D.4.5 mregular_lib

Library:

mregular.lib

Purpose:

Castelnuovo-Mumford Regularity of CM-Schemes and Curves

Authors:

I.Bermejo, ibermejo@ull.es
Ph.Gimenez, pgimenez@agt.uva.es
G.-M.Greuel, greuel@mathematik.uni-kl.de

Overview:

A library for computing the Castelnuovo-Mumford regularity of a subscheme of the projective n-space that DOES NOT require the computation of a minimal graded free resolution of the saturated ideal defining the subscheme. The procedures are based on two papers by Isabel Bermejo and Philippe Gimenez: ’On Castelnuovo-Mumford regularity of projective curves’ Proc.Amer.Math.Soc. 128(5) (2000), and ’Computing the Castelnuovo-Mumford regularity of some subschemes of Pn using quotients of monomial ideals’, Proceedings of MEGA-2000, J. Pure Appl. Algebra (to appear).
The algorithm assumes the variables to be in Noether position.

Procedures:

D.4.5.1 reg_CM		regularity of arith. C-M subscheme V(id_sat) of Pn
D.4.5.2 reg_curve		regularity of projective curve V(id_sat) in Pn
D.4.5.3 reg_moncurve		regularity of projective monomial curve defined by li