Index: Tst/Short/intersect_s.tst
===================================================================
--- Tst/Short/intersect_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
+++ Tst/Short/intersect_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
@@ -0,0 +1,112 @@
+LIB "tst.lib";
+tst_init();
+//
+// test script for intersect command
+//
+pagelength = 10000;
+ring r1 = 32003,(x,y,z),(c,ds);
+r1;
+"-------------------------------";
+poly s1=x2y3+45x6y3+68x4z5+80y6x8;
+poly s2=6x5+3y6+8z6;
+poly s3=12xyz3+2y3z6;
+ideal i1=s1,s2,s3;
+ideal i2=s1+s2,s2,s1;
+vector v1=[s1,s2,s2*s3]+s1*gen(5);
+vector v2=[s1-s2,s3,s2]+s1*gen(5);
+module m1=v1,v2;
+module m2=v2,2*v1;
+intersect(i1,i2);
+"-------------------------";
+intersect(m1,m2);
+"-------------------------";
+listvar(all);
+kill r1;
+"--------------------------";
+ring r1=0,(x,y,z),(c,ds);
+poly s1=x2y3+45x6y3+68x4z5+80y6x8;
+poly s2=6x5+3y6+8z6;
+poly s3=12xyz3+2y3z6;
+ideal i1=s1,s2,s3;
+ideal i2=s1+s2,s2,s1;
+vector v1=[s1,s2,s2*s3]+s1*gen(5);
+vector v2=[s1-s2,s3,s2]+s1*gen(5);
+module m1=v1,v2;
+module m2=v2,2*v1;
+intersect(i1,i2);
+"-------------------------";
+intersect(m1,m2);
+"-------------------------";
+listvar(all);
+intersect(x,y,z);
+intersect(ideal(x),ideal(y),ideal(z2),ideal(z));
+intersect(x,y,z2,z);
+kill r1;
+//
+// test script for intersect command
+//
+pagelength = 10000;
+ring r1 = 32003,(x,y,z),(c,ds);
+r1;
+"-------------------------------";
+poly s1=x2y3+45x6y3+68x4z5+80y6x8;
+poly s2=6x5+3y6+8z6;
+poly s3=12xyz3+2y3z6;
+ideal i1=s1,s2,s3;
+ideal i2=s1+s2,s2,s1;
+vector v1=[s1,s2,s2*s3]+s1*gen(5);
+vector v2=[s1-s2,s3,s2]+s1*gen(5);
+module m1=v1,v2;
+module m2=v2,2*v1;
+intersect(i1,i2,1);
+"-------------------------";
+intersect(m2,freemodule(5),m1);
+intersect(m2);
+"-------------------------";
+listvar(all);
+kill r1;
+"--------------------------";
+ring r1=0,(x,y,z),(c,ds);
+poly s1=x2y3+45x6y3+68x4z5+80y6x8;
+poly s2=6x5+3y6+8z6;
+poly s3=12xyz3+2y3z6;
+ideal i1=s1,s2,s3;
+ideal i2=s1+s2,s2,s1;
+vector v1=[s1,s2,s2*s3]+s1*gen(5);
+vector v2=[s1-s2,s3,s2]+s1*gen(5);
+module m1=v1,v2;
+module m2=v2,2*v1;
+intersect(1,i1,i2);
+"-------------------------";
+intersect(m1,m2,freemodule(5));
+"-------------------------";
+listvar(all);
+kill r1;
+ring r=181,(x,y,z),(c,ls);
+ideal id1=maxideal(3);
+id1;
+ideal id2=x2+xyz,y2-z3y,z3+y5xz;
+id2;
+ideal id3=intersect(id1,id2);
+id3;
+ring rr=32003 ,(x, y),dp;
+ideal i=x;
+ideal j=y;
+ideal k=intersect(i,j);
+k;
+kill rr;
+ring r=0,(x,y,z),(c,lp);
+vector v(1)=[xy+y2,x,1];
+vector v(2)=[x2+z2,x-y,0,1];
+vector v(3)=[xz,y,0,0,1];
+module M=v(1),v(2),v(3);
+module Ms=std(M);
+Ms;
+module N=gen(3),gen(4),gen(5);
+module NN;
+intersect(Ms,N);
+intersect(Ms,NN);
+intersect(Ms,NN,N);
+kill r;
+
+$;
Index: Tst/Short/lift_s.tst
===================================================================
--- Tst/Short/lift_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
+++ Tst/Short/lift_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
@@ -0,0 +1,55 @@
+LIB "tst.lib";
+tst_init();
+//
+// test script for lift command
+//
+pagelength = 10000;
+ring r1 = 32003,(x,y,z),(c,dp);
+r1;
+"-------------------------------";
+poly s1=y7+x3+xyz+z2;
+ideal i1=jacob(s1);
+ideal i2=std(i1);
+ideal i=3x2+yz,7y6+2x2y+5xz;
+i;
+i1;
+i2;
+s1;
+matrix T=lift(i2,i);
+T;
+matrix(i)-matrix(i2)*T;
+"-----------------------------";
+poly s2=x4+y3+z6+2xyz;
+ideal i3=jacob(s2);
+ideal i4=std(i3);
+s2;
+i3;
+i4;
+matrix T1=lift(i4,i);
+T1;
+matrix(i)-matrix(i4)*T1;
+"-------------------------------";
+listvar(all);
+kill r1;
+//From:    Trond St|len Gustavsen <stolen@math.uio.no>
+
+ring r = 0, (x(1..5)), ds;
+matrix m[2][4]= x(1), x(2), x(3), x(4), x(2), x(3), x(4), x(5);
+
+ideal j = minor(m, 2);
+ideal i = std(j);
+
+mres(i, 2, ires);
+matrix jaco = jacob(ires(1));
+qring s = i;
+s;
+matrix mat = matrix(fetch(r,ires(2)));
+matrix imat = transpose(mat);
+matrix jac = fetch(r, jaco);
+
+res(module(imat),3,imatres);
+
+matrix T = lift(imatres(2), module(jac));
+T;
+kill r;
+$;
Index: Tst/Short/liftstd_s.tst
===================================================================
--- Tst/Short/liftstd_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
+++ Tst/Short/liftstd_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
@@ -0,0 +1,34 @@
+LIB "tst.lib";
+tst_init();
+//
+// test script for liftstd command
+//
+pagelength = 10000;
+ring r1 = 32003,(x,y,z),(c,ls);
+r1;
+LIB "lib0";
+"-------------------------------";
+ideal i1=maxideal(3);
+ideal i2=x6,y4,z5,xy,yz,xz;
+i2;
+matrix m1[3][3]=x,y,z,xz,yx,12zx,0,y2,3xy2;
+pmat(m1);
+liftstd(i2,m1);
+"---------------------------------";
+vector v1=[x4,y2,xz2];
+vector v2=[y3,x8,2z4];
+module m=v1,v2;
+m;
+pmat(m1);
+liftstd(m,m1);
+"--------------------------------";
+listvar(all);
+kill r1;
+ring R;
+poly f=x3+y7+z2+xyz;
+ideal i=jacob(f);
+matrix T;
+ideal sm=liftstd(i,T);
+matrix(sm)-matrix(i)*T;
+kill R;
+$;
Index: Tst/Short/minor_s.tst
===================================================================
--- Tst/Short/minor_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
+++ Tst/Short/minor_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
@@ -0,0 +1,31 @@
+LIB "tst.lib";
+tst_init();
+//
+// test script for minor command
+//
+pagelength = 10000;
+ring r1 = 32003,(x,y,z),(c,dp);
+r1;
+LIB "lib0";
+"-------------------------------";
+matrix m1[3][3]=maxideal(2);
+pmat(m1);
+minor(m1,3);
+"---------------------------------";
+ring r2=0,(x(1..9)),(dp);
+matrix m2[3][3]=maxideal(1);
+pmat(m2);
+minor(m2,2);
+"---------------------------------";
+ring r3=0,(x(1..64)),ds;
+matrix m3[8][8]= maxideal(1);
+pmat(m3);
+minor(m3,1);
+"----------------------------------";
+matrix m4[8][8]=maxideal(2);
+pmat(m4);
+minor(m4,1);
+"----------------------------------";
+listvar(all);
+kill r1,r2,r3;
+$;
Index: Tst/Short/modulo_s.tst
===================================================================
--- Tst/Short/modulo_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
+++ Tst/Short/modulo_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
@@ -0,0 +1,16 @@
+LIB "tst.lib";
+tst_init();
+//------------------------------------------
+ring r;
+matrix A[3][4]=1;
+module ma=module(A);
+ma;
+module mi=x*gen(1);
+module ml=lift(ma,mi);
+ma;
+//------------------------------------------
+matrix A[3][4]=1;
+matrix B[3][2]=0,x,y;
+modulo(A,B);
+syz(A)+module(lift(A,intersect(A,B)));
+$
Index: Tst/Short/quotient_s.tst
===================================================================
--- Tst/Short/quotient_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
+++ Tst/Short/quotient_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
@@ -0,0 +1,31 @@
+LIB "tst.lib";
+tst_init();
+//
+// test script for quotient command
+//
+ring r1 = 32003,(x,y,z),(c,ls);
+r1;
+"-------------------------------";
+ideal i1=maxideal(3);
+ideal i2=x2+xyz,y2-z4y,z3+y6x2z;
+ideal i3=quotient(i1,i2);
+i3;
+"---------------------------------";
+ideal i4=quotient(i2,i1);
+i4;
+"---------------------------------";
+ideal i5=quotient(i2,maxideal(2));
+i5;
+"--------------------------------";
+listvar(all);
+kill r1;
+ring r=181,(x,y,z),(c,ls);
+ideal id1=maxideal(3);
+id1;
+ideal id2=x2+xyz,y2-z3y,z3+y5xz;
+id2;
+ideal id6=quotient(id1,id2);
+id6;
+ideal id7=quotient(id2,id1);
+id7;
+$;
Index: Tst/Short/res_s.tst
===================================================================
--- Tst/Short/res_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
+++ Tst/Short/res_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
@@ -0,0 +1,92 @@
+LIB "tst.lib";
+tst_init();
+option(prot);
+//option(notRegularity);
+//ring r=31991,(t,x,y,z,w),(c,ls);
+//ideal i=x2+y2yz,y2+z2zw,t2+x2xy,x3+y3+t3,xyz;
+//ideal ii=x3+yzw,y3+zwt,z3+wtx,w3+txy,t2+xy;
+//ideal iii=x3+yzw,y3+zwt,z3+wtx,w2+txy,t2+xy;
+//ideal tt=t2x2+tx2y+x2yz,t2y2+ty2z+y2zw,t2z2+tz2w+xz2w,t2w2+txw2+xyw2;
+//test(17);
+//ideal T=std(tt);
+//timer = 1;
+//res(T,0,t1);
+//sres(T,0,t2);
+//mres(T,0,t3);
+//--------------------------------------------------------------
+ring an=32003,(w,x,y,z),(dp,C);
+ideal i=
+1w2xy+1w2xz+1w2yz+1wxyz+1x2yz+1xy2z+1xyz2,
+1w4x+1w4z+1w3yz+1w2xyz+1wx2yz+1x2y2z+1xy2z2,
+1w6+1w5z+1w4xz+1w3xyz+1w2xy2z+1wx2y2z+1x2y2z2;
+ideal j=std(i);
+list jres=sres(j,0);
+list jmin=minres(jres);
+print(betti(jmin),"betti");
+list jres1=mres(i,0);
+print(betti(jres1),"betti");
+list jres2=res(i,0);
+list jmin2=minres(jres2);
+print(betti(jmin2),"betti");
+kill an;
+//--------------------------------------------------------------
+ring pa2=32003,(w,t,u,x,y,z),(dp,C);
+ideal i=
+1w10t2u2-2w5tu2x6-2w5tu2y6+2w5tu2z6+1u2x12+2u2x6y6-2u2x6z6+1u2y12-2u2y6z6+1u2z12,
+-1w5t5u-1w5tux4-1w5tuy4-1w5tuz4+1t4ux6+1t4uy6-1t4uz6+1ux10+1ux6y4+1ux6z4
++1ux4y6-1ux4z6+1uy10+1uy6z4-1uy4z6-1uz10,
+1t8+2t4x4+2t4y4+2t4z4+1x8+2x4y4+2x4z4+1y8+2y4z4+1z8,
+1w5t3u-1w5tux2-1w5tuy2+1w5tuz2-1t2ux6-1t2uy6+1t2uz6+1ux8+1ux6y2-1ux6z2
++1ux2y6-1ux2z6+1uy8-1uy6z2-1uy2z6+1uz8,
+-1t6+1t4x2+1t4y2-1t4z2-1t2x4-1t2y4-1t2z4+1x6+1x4y2-1x4z2+1x2y4+1x2z4+1y6
+-1y4z2+1y2z4-1z6,
+1t4-2t2x2-2t2y2+2t2z2+1x4+2x2y2-2x2z2+1y4-2y2z2+1z4;
+ideal j=std(i);
+list jres=sres(j,0);
+list jmin=minres(jres);
+print(betti(jmin),"betti");
+list jres1=mres(i,0);
+print(betti(jres1),"betti");
+list jres2=res(i,0);
+list jmin2=minres(jres2);
+print(betti(jmin2),"betti");
+kill pa2;
+//--------------------------------------------------------------
+ring sw5=32003,(a,b,c,d,e,h),(dp,C);
+ideal i=
+-1ab-1b2-2de-2ch,
+-1ac-2bc-1e2-2dh,
+-1c2-1ad-2bd-2eh,
+-2cd-1ae-2be-1h2,
+-1d2-2ce-1ah-2bh;
+ideal j=std(i);
+list jres=sres(j,0);
+list jmin=minres(jres);
+print(betti(jmin),"betti");
+list jres1=mres(i,0);
+print(betti(jres1),"betti");
+list jres2=res(i,0);
+list jmin2=minres(jres2);
+print(betti(jmin2),"betti");
+kill sw5;
+//--------------------------------------------------------------
+ring r=32003,(t,x,y,z,w),(dp,C);
+ideal i=
+x2w+y2z,
+y2x+z2w,
+t2w+x2y,
+x3+y3+t3;
+ideal j=std(i);
+list jres=sres(j,0);
+list jmin=minres(jres);
+print(betti(jmin),"betti");
+list jres1=mres(i,0);
+print(betti(jres1),"betti");
+list jres2=res(i,0);
+list jmin2=minres(jres2);
+print(betti(jmin2),"betti");
+kill r;
+//--------------------------------------------------------------
+
+$
+
Index: Tst/Short/sres_s.tst
===================================================================
--- Tst/Short/sres_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
+++ Tst/Short/sres_s.tst	(revision b1ac992fea8b7ea9f63ddecdf4a92da005f900a5)
@@ -0,0 +1,27 @@
+LIB "tst.lib";
+tst_init();
+//
+// test script for sres command
+//
+pagelength = 10000;
+//option(prot);
+ring r1=32003,(a,b,x,y,z),ls;
+r1;
+"-------------------------";
+ideal i=a2x2+ax2y+x2yz,a2y2+ay2z+y2zb,a2z2+az2b+xz2b,a2b2+axb2+xyb2;
+i;
+ideal i1=std(i);
+i1;
+sres(i1,4,T);
+sres(i1,4);
+"------------------------";
+module m=[x2y,0],[1,x2z3];
+m;
+module m1=std(m);
+m1;
+sres(m1,0,M);
+sres(m1,0);
+"-----------------------";
+listvar(all);
+kill r1;
+$;
