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; recursive_from_boolean_poly(pp); ==> xy+x+z 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); ==> xy+x+z