Counting the Integer Points of Parametric Polytopes: A Maple Implementation
摘要
We discuss the adaptation of Barvinok’s algorithm for integer point counting from non-parametric polytopes to parametric polytopes. We report on a Maple implementation of this adaptation. This includes a general framework in support of parametric system solving.