Top
Back: zdd2poly
Forward: Experimental libraries
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.18 disp_zdd

Procedure from library polybori.lib (see polybori_lib).

Usage:
disp_zdd(ss); zero-supressed decision diagram ss

Return:
string containing visualization of ss

Note:
the resulting string is the visualization of the polynomial that corresponds to ss, but with a additional structure that comes from the zdd. Every reached else- Branch induces a new line in the string.

Example:
 
See also: poly2zdd; zdd2poly.


Top Back: zdd2poly Forward: Experimental libraries 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.