7 Criteria

In ginv the following criteria implemented to detect zero-reducibility of prolongations (S-polynomials):

Without criteria:
"Without"

Partial involutive criteria:
"C1", "CritPartially"

Full involutive criteria:
"C1C2C3", "C1C2C3C4"
Note: Criterion C1 is Buchberger's co-prime criterion. Criteria C2, C3 and C4 in the aggregate are equivalent to the second (chain) Buchberger's criterion. For module orders only the last Buchberger's criterion is applicable.



Subsections