### D.5.12 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.12.1 BorelCheck |  | checks whether the given ideal is Borel
> D.5.12.2 JMarkedScheme |  | computes authomatically all the J-marked scheme

See also: JMBTest_lib; JMSConst_lib.

User manual for Singular version 4-0-3, 2016, generated by texi2html.