1 \section{\texorpdfstring{\protect\Omegalib/ interface
}
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:
11 P :=
{ [i,j
] :
0 <= i <= n and i <= j <= m
};
16 \begin{tabular
}{llp
{0.7\textwidth}}
17 Name & Syntax & Explanation
20 Card &
\ai[\tt]{card
} $r$ & Computes the number of integer points in $r$ and
21 prints the result to standard output
23 Ranking &
\ai[\tt]{ranking
} $r$ & Computes the rank function of $r$ and
24 prints the result to standard output
25 \shortcite{Loechner2002,Turjan2002
}
27 \caption{Extra relational operations of
{\tt occ
}}