next up previous contents index
Next: extension_syz( Syz s Up: Reference Manual Previous: expanded_rec( Word element

explicit_chain_criterion( LP lp1, LP lp2, PS G, PaS B)

Type:
Predicate
Defined in:
reductions.c.trace
tex2html_wrap_inline6634
The version of the chain criterion (i.e. Criterion1 in [1]), 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.
tex2html_wrap_inline6780
the least common multiple of the leading monomials of lp1 and lp2 is a multiple of the leading monomial of p,
tex2html_wrap_inline6780
tex2html_wrap_inline6786 and tex2html_wrap_inline6788 , and
tex2html_wrap_inline6780
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:
[1], criteria.



windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998