|
D.14.2.1 boolean_std
Procedure from library polybori.lib (see polybori_lib).
- Usage:
- boolean_std(Is); Is ideal
- Return:
- Singular ideal of the boolean groebner basis of Is
Example:
See also:
boolean_ideal;
boolean_poly;
boolean_poly_ring;
from_boolean_ideal;
from_boolean_poly.
|