Magma V2.28-7全新发布:支持多平台运行,功能强大更稳定
Magma 是一个为代数、数论、代数几何和代数组合设计的大型、得到良好支持的软件包。它提供了一个数学上严谨的环境,用于定义和懆作群、环、域、模、代数、方案、曲线、图、设计、代码等结构。Magma 还支持多个数据库,帮助在本质上是代数性质的数学领域进行计算研究。
在Magma V2.28-7 现已支持 AMD64/Intel64 (Linux)、Mac OS X 和 i386/PC (Linux)。该版本优化了如下内容:
代数曲线
CurveQuotient 中的一个无关紧要的调试打印已被移除。由 D. Zureick-Brown 报告。
交换代数
对于具有多个组件的理想值,VarietySize 中的崩溃问题已被修正。由 M. Grassl 报告。
有限域
修正了在具有不同度数的几个有限域中计算离散对数时的崩溃问题。由 E. O’Brien 报告。
对于有限域元素的 Log(b, e) 函数,当底数 b 位于一个适当的子域中时,通过在子域中计算对数来改进了该函数。
有限呈现群
修正了对具有一个生成器的 FP-群进行 IsInfiniteFPGroup 检查时的问题。由 M. Grassl 报告。
线性规划
MinimalIntegerSolution 中的崩溃问题已被修正。由 A. Munemasa 报告。
矩阵群
修正了 RecognizeClassical 中的错误,其中 QuasisimpleMatrixGroup (“2L247”, 24, 7) 被错误地识别为 SL(24, 7)。由 E. O’Brien 报告并由 A. Niemeyer 修正。
添加了两个新函数 ProjectiveClassicalIsConjugate 和 ProjectiveClassicalCentraliser,用于决定经典群中伈商中的共轭性并构造中伈化子。由 D. Holt 和 E. O’Brien 准备。
通过避免一个困难的离散对数问题,在大型情况下计算酉群中元素中伈化子的算法已大幅改进。问题由 E. O’Brien 报告,改进由 G. de Franceschi 提供。
置换群
修正了非标准置换群中的 Subgroups 崩溃问题。由 M. Rodgers 报告。
表示论
修正了对在数域上定义的 G-模块进行 IsIrreducible 检查时的崩溃问题。由 S. Humphries 报告。