|
D.14.2.8 boolean_set
Procedure from library polybori.lib (see polybori_lib).
- Usage:
- boolean_set(ss[, rb]); ss zdd, rb boolean ring
- Return:
- default: boolean set ss in the representation of a Polybori boolean set
in the ring rb==boolean_poly_ring(basering); optional input: boolean ring rb
Example:
See also:
boolean_ideal;
boolean_std.
|