超级会员免费看
关于Normaliz与Singular的代数计算技术解析
1. Normaliz概述
Normaliz是一款功能强大的工具，它拥有与Sage、CoCoA、polymake、Regina和GAP等的C++级接口，并且在不久的将来会有与Sage的C++级接口。此外，还有GUI接口jNormaliz。它在多个领域有着广泛的应用，如交换代数、环面几何、组合数学、整数规划、不变量理论、消元理论、群论、数理逻辑、代数拓扑甚至理论物理等。
2. 核心功能
2.1 希尔伯特基与希尔伯特级数
为了简化，我们主要关注齐次线性系统，也就是格$L \subset Z^d$和有理锥$C \subset R^d$的交集。相关定义如下：
- （有理）多面体$P$是有限个（有理）半空间的交集。若它有界，则称为多面体；若所有半空间都是线性的，则$P$是一个锥。
- 多面体$P$的维度是包含$P$的最小仿射子空间$aff(P)$的维度。
- 仿射幺半群是$Z^d$的有限生成子幺半群。
根据Minkowski - Weyl定理，$C \subset R^d$是（有理）锥当且仅当存在有限个（有理）向量$x_1, \ldots, x_n$，使得$C = cone(x_1, \ldots, x_n) = {a_1x_1 + \cdots + a_nx_n : a_1, \ldots, a_n \in R^+}$。若$x_1, \ldots, x_n$线性无关，则称$C$为单纯形。
对于Normaliz，锥$C$和格$L$可以通过生成元$x_1, \ldots, x_n \in Z^d$或约束条件（即丢番图线性不等式、方程和同余
订阅专栏 解锁全文
扫一扫
2261
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
