polybori.lib
LIB "polybori.lib"; ring rs=0,(x,y,z),Dp; def rsb=boolean_poly_ring(rs); poly f=(x+y)*x+z; bpoly pp=f; from_boolean_constant(0); from_boolean_constant(1); from_boolean_constant(pp);