Projected Brion's theorem

We present an analogue of Brion's theorem for the projected integer-point transform. Brion's theorem writes the integer-point transform of a rational polyhedron $P$ as the sum of the rational functions associated to its vertex cones. The pushforward $π_*$ along a lattice projection $π$ turns the tra