Home Online Manual
Top
Back: from_boolean_set
Forward: poly2zdd
FastBack: phindex_lib
FastForward: Experimental libraries
Up: polybori_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.14.2.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
==> x
==> 
See also: boolean_poly_ring; var.