|
D.14.7.15 bvar
Procedure from library polybori.lib (see polybori_lib).
- Usage:
- bvar(i); int i
- Return:
- i-th variable of Boolean ring corresponding to current basering
Example:
| LIB "polybori.lib";
ring r = 2,(x,y,z),Dp;
bvar(1); // -> x
| See also:
boolean_poly_ring;
var.
|