Inequality Description

For computations involving a polytope $P$ described by a system of inequalities $Ax\leq b$ , where $A\in{\mathbb{Z}}^{m\times d}$ , $A=(a_{ij})$ , and $b\in{\mathbb{Z}}^m$ , the LattE readable input file would be as follows:

m d+1
b  -A

EXAMPLE. Let $P=\{(x,y): x\leq 1, y\leq 1, x+y\leq 1, x\geq 0, y\geq 0\}$ . Thus

$$\begin{array}{ccc} A=\left( \begin{array}{rr} 1 & 0 \\ 0... ... 1 \\ 1 \\ 1 \\ 0 \\ 0 \\ \end{array} \right) \end{array}$$

and the LattE input file would be as such:

5 3
1 -1  0
1  0 -1
1 -1 -1
0  1  0
0  0  1