Top
Back: from_boolean_set
Forward: poly2zdd
FastBack:
FastForward:
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";
==> // ** args must be 1 in     system("install", "bideal",   "ideal",    bid\
   eal2ideal, 4);
ring r = 2,(x,y,z),Dp;
bvar(1); // -> x
==> x
==>
See also: boolean_poly_ring; var.

Top Back: from_boolean_set Forward: poly2zdd FastBack: FastForward: Up: polybori_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4-0-3, 2016, generated by texi2html.