| LIB "elim.lib";
ring r=0,(x,y,u,v,w),dp;
ideal i=x-u,y-u2,w-u3,v-x+y3;
elim(i,3,4);
→ _[1]=y2-xw
→ _[2]=xy-w
→ _[3]=x2-y
module m=i*gen(1)+i*gen(2);
m=elim(m,3,4);show(m);
→ // module, 6 generator(s)
→ [y2-xw]
→ [0,y2-xw]
→ [xy-w]
→ [0,xy-w]
→ [x2-y]
→ [0,x2-y]
|