An instance v of the data type Variable has a type which is given by VAR, and a representation which has the following information : index or rank, a string which is the ``name'' of the variable (such as ``x1''), a field element which stores a (random) value (such as an integer value or integer mod a prime) and a pointer to its straight-line program representation.