Magma V2.28-15 迎来更新，在多个关键领域实现优化。代数数域的吞吐署名匹配谬误得以建改，互换代数中的崩溃及谬误了局问题得到妥善处置，有限域、几何、群论、李理论、矩阵和矩阵群等方面也均有针对性的缝隙建改与职能改进，四元数代数的打印职能进一步优化，为用户提供更不变、精准的使用履历，满够数学推算与钻研等领域的多样化需要。

?

?

代数数域

针对利用于数域上界说的矩阵和位的 “求值”（Evaluate）运行中出现的吞吐署名匹配谬误已得到建改。

?

互换代数

有限特点下 “根式分化”（RadicalDecomposition）中极为罕见的崩溃问题已建改。由埃蒙?奥布赖恩（Eamonn O'Brien）汇报。

对于有限域上界说的多元多项式梦想的 “簇”（Variety）运算出现的一个隐晦的谬误了局已建改。由埃蒙?奥布赖恩（Eamonn O'Brien）汇报。

格罗比纳缓步（Groebner Walk）在处置拥有特殊单项式序的梦想时出现滞碍的情况已建改。由埃蒙?奥布赖恩（Eamonn O'Brien）汇报。

特点零情况下格罗比纳基推算中的一些内存泄漏问题已建改。由费伦茨?绍洛希（Ferenc Szollosi）汇报。

?

有限域

函数 “不成约低次 GF2 多项式”（IrreducibleLowTermGF2Polynomial (d)）已建改，使其能使用更大的表部数据库（“不成约多项式”（IrreduciblePolynomial (GF (2), d)）也会挪用该数据库），此刻变量 d 的上限为 120016。此问题由乔纳森?洛夫（Jonathan Love）汇报。

?

几何

与模大局有关的部门伽罗瓦暗示中 “可允许对”（AdmissiblePair）的一个缝隙已建改。由努诺?弗雷塔斯（Nuno Freitas）汇报。

希尔伯特模大局的 “本征大局”（Eigenform）的一个缝隙已建改。由贡萨洛?托尔纳里亚（Gonzalo Tornaría）汇报。

?

群论

针对以自动群为指标的 “是否满足”（IsSatisfied）职能被禁用的缝隙已建改。由斯特凡?威策尔（Stefan Witzel）汇报。

使用矩阵群换环同态推算子群原像时的一个缝隙已建改。

“鉴别群”（IdentifyGroup）运行中的崩溃问题已建改。由埃蒙?奥布赖恩（Eamonn O'Brien）汇报。

推算置换群的类映射和幂映射时出现的崩溃问题已建改。由大卫?罗（David Roe）汇报。

处置 pc - 群的 “自同构群”（AutomorphismGroup）时的一个谬误已建改。由大卫?罗（David Roe）汇报。

对由陪集表界说的 fp - 群使用 “关系子”（Relators）时出现的崩溃问题已建改。由斯特凡?威策尔（Stefan Witzel）汇报。

?

李理论

对李代数和李型群的 “尺度暗示”（StandardRepresentation）的实现进行了订正，使其能正确处置复合型根系数据以及根序非 “尺度” 的根系数据。因而，将 “尺度暗示” 利用于子系统子群返回的群时出现的缝隙已建改。由大卫?克雷文（David Craven）汇报。

?

矩阵

涉及标量矩阵与 GF (2) 上矩阵相减的一个缝隙已建改。由刘易斯?孔布（Lewis Combes）汇报。

?

矩阵群

针对整数环上界说的矩阵群的 “是否为 GL 共轭”（AreGLConjugate）函数中（对于某些共轭群谬误地返回 “否” 的情况）的一个缝隙已建改。由斯特凡诺?马尔塞利亚（Stefano Marseglia）汇报。

平庸矩阵群的 “单元群”（UnitGroup）运行中的崩溃问题已建改。

?

四元数代数

数域上界说的四元数代数的 Magma 级别打印职能已得到改进。

?

?

?

• ?