| LIB "classify_aeq.lib";
ring R=0,t,ds;
ideal I=t8,t10+t13,t12+t15;
sagbiAlg(I);
==> _[1]=t8
==> _[2]=t10+t13
==> _[3]=t12+t15
==> _[4]=t23-t29
==> _[5]=t27
I=t8,t10+t13,t12+2t15;
sagbiAlg(I);
==> _[1]=t8
==> _[2]=t10+t13
==> _[3]=t12+2t15
==> _[4]=t27-3t33
==> _[5]=t29
|