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:
* reg_CM:: regularity of arith. C-M subscheme V(id_sat) of Pn
* reg_curve:: regularity of projective curve V(id_sat) in Pn
* reg_moncurve:: regularity of projective monomial curve defined by li

<font size="-1">
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; User manual for <a href="http://www.singular.uni-kl.de/"><i>Singular</i></a> version 2-0-4, October 2002,
generated by <a href="http://www.gnu.org/software/texinfo/"><i>texi2html</i></a>.
</font>

</body>
</html>
