The computation of generalized Ehrhart series in normaliz (Q480673)

Let \(P\subset\mathbb R^n\) be a rational convex polytope, and \(L\subset\mathbb Z^n\) a sublattice. The \textit{Ehrhart function} \(E(P,k)\) with respect to \(L\) counts the number of \(L\)-points in the multiple \(kP\). The generating function \[ E_P(t):=\sum_{k=0}^{\infty}E(P,k)t^k \] is called the \textit{Ehrhart series} of \(P\). Let \(f\) be a polynomial function on \(\mathbb R^n\). \textit{Generalized (or weighted) Ehrhart series} is defined as \[ E_{P,f}(t):=\sum_{k=0}^{\infty}\left(\sum_{x\in L\cap kP}f(x)\right)t^k. \] It is well-known that \(E_{P,f}(t)\) is a power series expansion of a rational function. In the present paper, the authors describe the computation of generalized Ehrhart series based on Stanley decomposition. They implement this computation in an offspring of Normaliz called NmzIntegrate.