D.14.2.16 poly2zdd
Procedure from library
polybori.lib
(see
polybori_lib
).
Usage:
poly2zdd(poly ps); polynomial ps
Return:
polynomial ps in zdd representation
Example:
See also:
boolean_poly
;
from_boolean_set
.
User manual for
Singular
version 3-1-6, Dec 2012, generated by
texi2html
.