Singular

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