| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 402969 | Journal of Symbolic Computation | 2016 | 24 Pages |
Abstract
We describe the use of pyramid decomposition in Normaliz, a software tool for the computation of Hilbert bases and enumerative data of rational cones and affine monoids. Pyramid decomposition in connection with efficient parallelization and streamlined evaluation of simplicial cones has enabled Normaliz to process triangulations of size ≈5⋅1011≈5⋅1011 that arise in the computation of Ehrhart series related to the theory of social choice.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Winfried Bruns, Bogdan Ichim, Christof Söger,