D.5.20 JMSConst_lib

Library:

JMSConst.lib

Purpose:

A library for Singular which constructs J-Marked Schemes.

Author:

Michela Ceria, email: michela.ceria@unito.it

Overview:

The library performs the J-marked computation, as described in [BCLR]. As in JMBTest.lib we construct the V polynomials and we reduce the EK polynomials w.r.t. them, putting the coefficients as results.

The algorithm terminates only if the ordering is rp. Anyway, the number of reduction steps is bounded.

References:

[CR] Francesca Cioffi, Margherita Roggero,Flat Families by Strongly Stable Ideals and a Generalization of Groebner Bases, J. Symbolic Comput. 46, 1070-1084, (2011).
[BCLR] Cristina Bertone, Francesca Cioffi, Paolo Lella, Margherita Roggero, Upgraded methods for the effective computation of marked schemes on a strongly stable ideal, Journal of Symbolic Computation
(2012), http://dx.doi.org/10.1016/j.jsc.2012.07.006

Procedures:

D.5.20.1 BorelCheck		checks whether the given ideal is Borel
D.5.20.2 JMarkedScheme		computes authomatically all the J-marked scheme