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); poly g=0; bpoly pp=g; direct_from_boolean_poly(pp);