JMSConst.lib. A library for singular which constructs J-marked schemes. 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 in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Ceria, Michela; Mora, Teo; Roggero, Margherita: Term-ordering free involutive bases (2015)