LIB "polybori.lib";
ring r=0,x(1..5),Dp;
poly f=(x(1)+1)*(x(2)+1)*(x(3)+1)*x(4)*x(5);
zdd2poly(poly2zdd(f));
poly g=x(3);
zdd2poly(poly2zdd(g));
poly g=0;
zdd2poly(poly2zdd(0));
poly g=1;
zdd2poly(poly2zdd(01));