LIB "polybori.lib";
==> // ** args must be 1 in     system("install", "bideal",   "ideal",    bid\
   eal2ideal, 4);
ring r=0,(x,y,z),Dp;
pyobject rb=boolean_poly_ring(r);
poly f=x^2+2*y^3+3*z^3;
bpoly pp=f;
direct_from_boolean_poly(pp);
==> x+z
poly g=0;
bpoly pp=g;
==> // ** redefining pp **
direct_from_boolean_poly(pp);
==> 0