|
D.14.2.3 boolean_constant
Procedure from library polybori.lib (see polybori_lib).
- Usage:
- boolean_constant(const[, rb]); const constant and rb boolean ring
- Return:
- default: constant const in the representation of the boolean ring
rb==boolean_poly_ring(basering); optional input: rb=boolean ring rb
Example:
See also:
boolean_ideal;
boolean_std.
|