//SINGULAR Example 2.8.1


ring R=0,(x,y,z),(c,dp);
module M=[-z,-y,x+y,x],[yz+z2,yz+z2,-xy-y2-xz-z2];
vector v=[-xz-z2,-xz+z2,x2+xy-yz+z2];
reduce(v,std(M));
v=M[1]-x5*M[2];
v;

reduce(v,std(M));
syz(v+M);
lift(M,v);

ring S=0,(x,y),(c,ds);
vector v=[x2,xy];
module M=[x+x3+y2,y3+y],[y,-x2+y2];
list L=division(v,M);
L;