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