### Global variables

The public read-only global variables initialized by the function
`polka_initialize`

are the following ones:
__Variable:__ bool **polka_strict**
- True iff. strict inequalities are enable. This requires an additional
dimension in vectors and matrices, and modifies emptiness and
universality tests.

__Variable:__ const **int** *polka_cst*
- Indicates the index of the constant coefficient. Should be always 1, weather strict inequalities are enabled or not.

__Variable:__ const **int** *polka_eps*
- Indicates the index of the epsilon coefficient. Should be 2.

__Variable:__ int **polka_dec**
- Indicates the index of the first "normal" coefficient; 2 if
`polka_strict`

is false, 3 otherwise.

__Variable:__ int **polka_maxnbdims**
- Maximum number of dimensions allowed in polyhedra

__Variable:__ int **polka_maxnbrows**
- Maximum number of rows allowed in matrices.

__Variable:__ int **polka_maxcolumns**
- Maximum number of columns allowed in vectors and matrices.

This document was generated
on *October, 27 2006*
using *texi2html*