| LIB "stanleyreisner.lib";
ring r=0,(x,y,z),lp;
ideal i=xy;
qring Q=std(i);
poly p=x*y+z;
QPoly q=makeQPoly(p);
q.over;
==> // coefficients: QQ
==> // number of vars : 3
==> // block 1 : ordering lp
==> // : names x y z
==> // block 2 : ordering C
==> // quotient ring from ideal
==> _[1]=xy
q.value;
==> z
|