The power of pyramid decomposition in Normaliz
The power of pyramid decomposition in Normaliz
复制标题
DOI：
10.1016/j.jsc.2015.09.003
复制
发表时间：
2016-05-01
影响因子：
0.7
通讯作者：
Soeger, Christof
中科院分区：
文献类型：
--
作者：
Bruns, Winfried;Ichim, Bogdan;Soeger, Christof
我们描述了金字塔分解在Normaliz中的使用，Normaliz是一个计算有理锥和仿射么半群的Hilbert基和计数数据的软件工具。金字塔分解与简单圆锥的高效并行化和简化计算相结合，使Normaliz能够处理大小约为5的三角剖分。10(11)在计算与社会选择理论有关的Ehrhart级数时出现的问题。(C)2015爱思唯尔有限公司。保留所有权利。
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 approximate to 5 . 10(11) that arise in the computation of Ehrhart series related to the theory of social choice. (C) 2015 Elsevier Ltd. All rights reserved.