Top
Back: getData
Forward: reg_CM
FastBack: mprimdec_lib
FastForward: normal_lib
Up: Commutative algebra
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: Index
About: About this document

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


Top Back: getData Forward: reg_CM FastBack: mprimdec_lib FastForward: normal_lib Up: Commutative algebra Top: Singular 2-0-4 Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-4, May 2003, generated by texi2html.