Nonnegativity Constraints

For bigger examples it quickly becomes cumbersome to state all nonnegativity constraints for the variables one by one. Instead, you may use another short-hand.

EXAMPLE. Let $P$ be as in the previous example, then the LattE input file that describes $P$ could also be described as such:

3  3
1 -1  0
1  0 -1
1 -1 -1
linearity 1 3
nonnegative 2 1 2

The last line states that there are two nonnegativity constraints and that the first and second variables are required to be nonnegative. NOTE that the first line reads ``3 3'' and not ``5 3'' as above!