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;
recursive_from_boolean_poly(pp);
ring rs2=2,(x,y,z),Dp;
def rsb2=boolean_poly_ring(rs2);
poly f2=(x+y)*x+x;
bpoly pp2=f2;
recursive_from_boolean_poly(pp);