|
D.14.2.11 direct_from_boolean_poly
Procedure from library polybori.lib (see polybori_lib).
- Usage:
- from_boolean_poly(pb); pb boolean polynomial
- Return:
- polynomial in Singular
Example:
See also:
boolean_ideal;
boolean_poly;
boolean_poly_ring;
boolean_std;
from_boolean_ideal.
|