GB_criteria( PS F)

Type:

Function

Defined in:

gb_criteria.c.trace

Returns the reduced Gröbner basis of the ideal generated by the polynomials in the set F.

The algorithm used applies the criteria for a-priori detection of zero-reductions immediately before computation of the S-polynomial and keeps the pair set ordered s.t. ``lower pairs'' (w.r.t. the ordering chosen in gb.po.setup) are considered for S-polynomial computation first.

See also:

Section 5.1, Section 5.2, Section 5.3,
is_greater_mon, is_pa_greater, and
is_greater_mon_pair_order.