| ring r=32003,(x,y,u,v,w),dp;
ideal I=xyw,yvw,uyw,xv;
attrib(I,"isSB",1);
indepSet(I);
==> 1,1,1,0,0
eliminate(I,vw);
==> _[1]=0
indepSet(I,0);
==> [1]:
==> 1,1,1,0,0
==> [2]:
==> 0,1,1,1,0
==> [3]:
==> 1,0,1,0,1
==> [4]:
==> 0,0,1,1,1
indepSet(I,1);
==> [1]:
==> 1,1,1,0,0
==> [2]:
==> 0,1,1,1,0
==> [3]:
==> 1,0,1,0,1
==> [4]:
==> 0,0,1,1,1
==> [5]:
==> 0,1,0,0,1
eliminate(I,xuv);
==> _[1]=0
|