Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
403059 | Journal of Symbolic Computation | 2015 | 12 Pages |
Abstract
We describe an algorithm for the computation of generalized (or weighted) Ehrhart series based on Stanley decompositions as implemented in the offspring NmzIntegrate of Normaliz. The algorithmic approach includes elementary proofs of the basic results. We illustrate the computations by examples from combinatorial voting theory.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Winfried Bruns, Christof Söger,