doc/omega.tex

   1 \section{\texorpdfstring{\protect\Omegalib/ interface}
   2 {Omega interface}}
   3
   4 The \ai[\tt]{barvinok} distribution includes an interface
   5 to \Omegalib/ \shortcite{Omega_lib} \ai[\tt]{occ}, an extension
   6 of \ai[\tt]{oc} \shortcite{Omega_calc}.
   7 The extension adds the operations shown in Figure~\ref{f:unary}.
   8 The following is an example:
   9 \begin{verbatim}
  10 symbolic n, m;
  11 P := { [i,j] : 0 <= i <= n and i <= j <= m };
  12 card P;
  13 \end{verbatim}
  14
  15 \begin{figure}
  16 \begin{tabular}{llp{0.7\textwidth}}
  17 Name & Syntax & Explanation
  18 \\
  19 \hline
  20 Card & \ai[\tt]{card} $r$ & Computes the number of integer points in $r$ and
  21 prints the result to standard output
  22 \\
  23 Ranking & \ai[\tt]{ranking} $r$ & Computes the rank function of $r$ and
  24 prints the result to standard output
  25 \shortcite{Loechner2002,Turjan2002}
  26 \end{tabular}
  27 \caption{Extra relational operations of {\tt occ}}
  28 \label{f:unary}
  29 \end{figure}