Home Online Manual
Top
Back: TestJMark
Forward: BorelCheck
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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
See also: JMBTest_lib; JMSConst_lib.