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