Next: extension_syz( Syz s
Up: Reference Manual
Previous: expanded_rec( Word element
- Defined in:
- The version of the chain criterion (i.e. Criterion1 in ),
which is used in the variant of the Gröbner bases algorithm, where criteria are applied
before S-polynomial computation. It returns TRUE if there is a
polynomial p in G s.t.
- the least common multiple of the leading monomials of
lp1 and lp2 is a multiple of the leading monomial of p,
- and , and
- the pairs (p, lp1) and (p, lp2) are not
contained in B, which means that they have already been
considered for S-polynomial computation.
- See also:
- , criteria.
Thu Sep 3 14:50:07 MDT 1998