polybori.lib
LIB "polybori.lib"; 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 (bpoly pp=g;) direct_from_boolean_poly(pp); ==> 0