Vectors

Vectors consist of several elements, an element is either a value or a variable. The number of elements of the vector is either Fib element specific or is determined by an associated domain (see section 21.2.4 on page ).

For each element there are two fields:

• one 1 bit field, which determines, if the element is a value (the bit is 0) or a variable (the bit is 1)
• the field with the value for the element (the genuine value or number / identifier for the variable)

If the element is a value, then follows after the 1 bit field with $0$ directly a value. The number of bits of the value is determined by the corresponding domain. The value comes from the unscaled domain and is scaled after restoring.

If the element is a variable, then follows after the 1 bit field with $1$ directly the variable identifier (which is the same natural number as in the variable definition) of the variable, which was defined above the current Fib element. The number of bits of the variable is determined by the appropriate domain for variables "variable" (see section 21.2.4 on page ).

The in a particular Fib object-branch highest defined variable has the variable value respectively variable identifier $1$ . All other variables have the value $i+1$, where $i$ is the value of the variable, which is defined next above variable. So the variables are numbered in the Fib object-branches from the top (starting from the root) to bottom (the leaves), with the starting value of $1$.