Singular

LIB "polybori.lib";
ring rs=0,(x,y,z),Dp;
def rb3=boolean_poly_ring(rs);
poly f1=x+y;
poly f2=x+z;
bpoly pp =f1;
bpoly p = f2;
bideal Ib;
list K=(p,pp);
Ib=K;
from_boolean_ideal(Ib);
==> _[1]=x+z
==> _[2]=x+y
ring rs2=5,(x,y,z),Dp;
def rb4=boolean_poly_ring(rs2);
poly p1=x+y;
poly p2=x+z;
poly p3=y+z;
bpoly p = p1;
==> // ** redefining p **
bpoly pp = p2;
==> // ** redefining pp **
bpoly ppp = p3;
bideal Ib;
==> // ** redefining Ib **
list K=(p,pp,ppp);
==> // ** redefining K **
Ib=K;
from_boolean_ideal(Ib);
==> _[1]=x+y
==> _[2]=x+z
==> _[3]=y+z