Top
Back: poly2zdd
Forward: disp_zdd
FastBack: phindex_lib
FastForward: Experimental libraries
Up: polybori_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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.


Top Back: poly2zdd Forward: disp_zdd FastBack: phindex_lib FastForward: Experimental libraries Up: polybori_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.