 ring R = (0,v),(x,y,z,u),dp;
qring Q = std(x2y3);
ideal i = x+y2,xy+yz+zu+u*v,xyzu*v1;
ideal j = qslimgb(i); j;
==> j[1]=y1
==> j[2]=x+1
==> j[3]=(v)*z+(v2)*u+(v1)
==> j[4]=(v2)*u2+(v+1)*u+1
module m = [x+y2,1,0], [1,1,x2+y2+xyz];
print(qslimgb(m));
==> y2+x,x2+xy,1, 0, 0, x, xyxzx,
==> 1, y, 1, y3x2,0, y21, y2zxyxz,
==> 0, 0, xyz+x2+y2,0, y3x2,x2y2+x3z+x2y,x3z2x3y2*x3xy2
