void reduction(LList *sPolyList, CListOld *critPairs, LList *gPrev, RList *rules, LTagList *lTag, RTagList *rTag, ideal gbPrev, PList *rejectedGBList, int plus)
const Variable & v
< [in] a sqrfree bivariate poly
int M3ivSame(intvec *next_weight, intvec *u, intvec *v)
intvec * MivWeightOrderdp(intvec *ivstart)
ideal TranMImprovwalk(ideal Go, intvec *curr_weight, intvec *target_weight, int nP)
intvec * Mfpertvector(ideal G, intvec *iv)
intvec * MwalkNextWeight(intvec *curr_weight, intvec *target_weight, ideal G)
ideal MLiftLmalGMin(ideal L, ideal G)
intvec * Mivperttarget(ideal G, int ndeg)
intvec * MSimpleIV(intvec *iv)
intvec * MivMatrixOrderdp(int iv)
ideal Mfwalk(ideal G, intvec *ivstart, intvec *ivtarget, int reduction, int printout)
intvec * MPertVectors(ideal G, intvec *ivtarget, int pdeg)
intvec * TranMPertVectorslp(ideal G)
ideal MidLift(ideal Gomega, ideal M)
intvec * MivWeightOrderlp(intvec *ivstart)
ideal Mprwalk(ideal Go, intvec *orig_M, intvec *target_M, int weight_rad, int op_deg, int tp_deg, int nP, int reduction, int printout)
intvec * MivMatrixOrder(intvec *iv)
ideal MAltwalk2(ideal G, intvec *curr_weight, intvec *target_weight)
ideal MLiftLmalGNew(ideal Gomega, ideal M, ideal G)
ideal MLiftLmalG(ideal L, ideal G)
ideal Mrwalk(ideal Go, intvec *orig_M, intvec *target_M, int weight_rad, int pert_deg, int reduction, int printout)
ideal MAltwalk1(ideal G, int op, int tp, intvec *curr_weight, intvec *target_weight)
ideal Mfrwalk(ideal G, intvec *ivstart, intvec *ivtarget, int weight_rad, int reduction, int printout)
ideal Mwalk(ideal Go, intvec *orig_M, intvec *target_M, ring baseRing, int reduction, int printout)
ideal Mpwalk(ideal Go, int op_deg, int tp_deg, intvec *curr_weight, intvec *target_weight, int nP, int reduction, int printout)
int MivSame(intvec *u, intvec *v)
intvec * MivMatrixOrderlp(int nV)
intvec * MPertVectorslp(ideal G, intvec *ivtarget, int pdeg)
intvec * MkInterRedNextWeight(intvec *iva, intvec *ivb, ideal G)
intvec * MPertNextWeight(intvec *iva, ideal G, int deg)
ideal MwalkInitialForm(ideal G, intvec *curr_weight)