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