Top
Back: from_boolean_ideal
Forward: bvar
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.14 from_boolean_set

Procedure from library polybori.lib (see polybori_lib).

Usage:
from_boolean_set(sb); sb boolean set

Return:
Boolean set sb in the representation of a zdd

Example:
 
See also: boolean_ideal; boolean_std.


Top Back: from_boolean_ideal Forward: bvar 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.