Home Online Manual
Top
Back: bvar
Forward: zdd2poly
FastBack:
FastForward:
Up: polybori_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.14.4.16 poly2zdd

Procedure from library polybori.lib (see polybori_lib).

Usage:
poly2zdd(poly ps); polynomial ps

Return:
polynomial ps in zdd representation

Example:
 
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);
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
==>
See also: boolean_poly; from_boolean_set.