void id_DelDiv(ideal id, const ring r)
delete id[j], if LT(j) == coeff*mon*LT(i) and vice versa, i.e., delete id[i], if LT(i) == coeff*mon*L...
Compatiblity layer for legacy polynomial operations (over currRing)
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal gfanlib_kStd_wrapper(ideal I, ring r, tHomog h=testHomog)
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
void rChangeCurrRing(ring r)