| #### D.12.4.12 updatePairs Procedure from library `teachstd.lib` (see teachstd_lib). Usage: updatePairs(P,S,h); P list, S ideal or module, h poly or vector P a list of pairs of polys or vectors (obtained from pairset) Return: list Q, Q[1] = the pairset P enlarged by all pairs (f,h), f from S, without pairs for which the product or the chain criterion applies Q[2] = intvec v, v[1]= # product criterion, v[2]= # chain criterion Example:
    LIB "teachstd.lib";
    ring R1=0,(x,y,z),(c,dp);
    ideal S = x2y+x2,y3+xyz;
    poly h = x2y+xyz;
    list P = pairset(S)[1];
    P;"";
    ==> [1]:
    ==>    _[1]=x2y+x2
    ==>    _[2]=y3+xyz
    ==>
    updatePairs(P,S,h);"";
    ==> [1]:
    ==>    [1]:
    ==>       _[1]=x2y+x2
    ==>       _[2]=y3+xyz
    ==>    [2]:
    ==>       _[1]=x2y+x2
    ==>       _[2]=x2y+xyz
    ==> [2]:
    ==>    0,1
    ==>
    module T = [x2y3-z2,x2y],[x2y4+z3,x2+y2];
    P = pairset(T)[1];
    P;"";
    ==> [1]:
    ==>    _[1]=[x2y3-z2,x2y]
    ==>    _[2]=[x2y4+z3,x2+y2]
    ==>
    updatePairs(P,T,[x2+x2y,y3+xyz]);
    ==> [1]:
    ==>    [1]:
    ==>       _[1]=[x2y3-z2,x2y]
    ==>       _[2]=[x2y4+z3,x2+y2]
    ==>    [2]:
    ==>       _[1]=[x2y3-z2,x2y]
    ==>       _[2]=[x2y+x2,y3+xyz]
    ==> [2]:
    ==>    0,1

User manual for Singular version 4.4.0, 2024, generated by texi2html.