LIB "polybori.lib";
==> // ** args must be 1 in     system("install", "bideal",   "ideal",    bid\
   eal2ideal, 4);
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);
==> 0
from_boolean_constant(1);
==> 1
from_boolean_constant(pp);
==> 1