| LIB "polybori.lib";
==> // ** args must be 1 in system("install", "bideal", "ideal", bid\
eal2ideal, 4);
ring r=0,x(1..5),Dp;
poly f=(x(1)+1)*(x(2)+1)*(x(3)+1)*x(4)*x(5);
poly2zdd(f);
==> zdd:
==> x1(x2(x3(x4(x5))+
==> x4(x5))+
==> x3(x4(x5))+
==> x4(x5))+
==> x2(x3(x4(x5))+
==> x4(x5))+
==> x3(x4(x5))+
==> x4(x5)
==>
poly g=x(3);
poly2zdd(g);
==> zdd:
==> x3
==>
|