16int testGB(ideal I, ideal GI);
Compatibility layer for legacy polynomial operations (over currRing)
poly reduce_poly_fct(poly p, ring r)
poly ringNF(poly f, ideal G, ring r)
poly plain_spoly(poly f, poly g)
poly ringRedNF(poly f, ideal G, ring r)
int testGB(ideal I, ideal GI)