polybori.lib
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