On Manipulating Z-Polyhedra Using a Canonical Representation
Patrice Quinton, Sanjay V. Rajopadhye, Tanguy Risset · Parallel Processing Letters · 1997
Z-polyhedra are intersections of polyhedra and integral lattices. They arise in the domain of automatic parallelization and VLSI array synthesis. In this paper, we address the problem of computation on Z-polyhedra. We introduce a canonical representation for Z-polyhedra which allows one to perform comparisons and transformations of Z-polyhedra with the help of a computational kernel on polyhedra.