D.14.2.17 zdd2poly
Procedure from library
polybori.lib
(see
polybori_lib
).
Usage:
zdd2poly(ss); zero-supressed decision diagram ss
Return:
zdd ss in polynomial representation
Example:
See also:
boolean_set
;
from_boolean_poly
.
User manual for
Singular
version 3-1-6, Dec 2012, generated by
texi2html
.