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.