From 6318d196d9e2e7d4638a6d8bb3dc720317de76ee Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 21 Jun 2006 20:13:35 +0200 Subject: [PATCH] doc: describe vertices based input specification --- doc/Usage.tex | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/doc/Usage.tex b/doc/Usage.tex index 03fc6e8..b2d3b90 100644 --- a/doc/Usage.tex +++ b/doc/Usage.tex @@ -20,6 +20,7 @@ of integer points in the polytope. The \PolyLib/ notation corresponds to the internal representation of \ai[\tt]{Polyhedron}s as explained in Section~\ref{a:existing}. +\index{input format!constraints} The first line of the input contains the number of rows and the number of columns in the \ai[\tt]{Constraint} matrix. The rest of the input is composed of the elements of the matrix. @@ -59,6 +60,29 @@ The program \ai[\tt]{latte2polylib.pl} can be used to convert a polytope from \ai[\tt]{LattE} \shortcite{latte1.1} notation to \PolyLib/ notation. +\index{input format!vertices} +As an alternative to the constraints based input, the input polytope +may also be specified by its \ai[\tt]{Ray} matrix. +The first line of the input contains the single word \ai[\tt]{vertices}. +The second line contains the number of rows +and the number of columns in the \ai[\tt]{Ray} matrix. +The rest of the input is composed of the elements of the matrix. +Recall that the number of columns is two more than the number +of variables, where the extra first columns is one or zero +depending on whether the ray is a line or not. +The next columns contain +the numerators of the coordinates and the final column contains +the denominator of the vertex or $0$ for a ray. +E.g., the above set can also be described as +\begin{verbatim} +vertices + +2 3 + +1 0 1 +1 13 2 +\end{verbatim} + \subsection{\texorpdfstring{\protect\ai[\tt]{barvinok\_enumerate}} {barvinok\_enumerate}} -- 2.11.4.GIT