Magma V2.29-3 版本更新：代数曲线、椭圆曲线与群论等功能修正与增强（2025年11月发布）

V2.29-3 版本更新日志（发布时间：2025年11月28日）

汇总功能

• 对于已指定默认值的关联数组 A，现已修正 IsDefined(A, x) 函数：当未为 x 显式赋值时，该函数将返回 true；而 IsInKeys(A, x) 则返回是否为 x 显式分配了值。在这两种情况下，如果结果为 true，第二个返回值均为 A[x] 的值。

代数曲线

• 增加了对微分相容性的错误检查。报告人：Jeremy Booher。

代数数域与序

• 涉及已知嵌入域的复合运算问题已修正。报告人：Abhijit Mudigonda。
• 新增 PrimeRepresentative 函数，用于计算给定理想类中的一个素理想。

编码理论

• 在函数 WeightDistribution 中使用对偶码时，现已正确处理参数 Nthreads。报告人：Markus Grassl。

PSL_2(R) 的同余子群

• 修正了函数 IsEquivalent 中的一个漏洞，该函数用于测试上半平面中点由同余子群作用的等价性。

椭圆曲线

• 提高了 p 进数域上椭圆曲线的功能，特别是在使用 IsogenyFromKernel 时。报告人：Sachi Hashimoto。
• DualIsogeny 函数返回的映射现在是一个同源映射，而非任意的概形映射。报告人：Ignasi Sánchez Rodríguez。

伽罗瓦群

• 增加了对有理数域上伽罗瓦群的分歧 p 进分裂域的支持。

群论

• 修正了一个漏洞：当向 Subgroups 函数提供无法整除群阶的阶数或指数过滤器时，会产生过多（即任意）子群。漏洞报告人：Tendai Shumba。
• 解决了计算 p 群自同构时出现的一个问题。报告人：Eamonn O'Brien。

超椭圆曲线

• 改进了涉及局部数据计算的相关功能。报告人：Ariel Pacetti。
• 修正了 MordellWeilGroupGenus2 函数中（源于阿贝尔群同态原像不一致导致的）崩溃问题。报告人：Drew Sutherland 和 Michael Stoll。

整数环

• 当 B > 2^30 时，TrialDivision(n, B) 函数的运行速度已提高。
• 修正了针对较小整数的 MPQS 算法中的一个故障。

语言

• 修正了在顶层调用无名称过程时导致的崩溃问题。
• 新增 -V（或 –version）选项，使 Magma 能够立即打印版本号并退出。建议人：Håvard Damm-Johnsen。

格

• 修正了 ClosestVectors 函数在处理具有较大实数条目时的崩溃问题。报告人：Stefano Marseglia。
• 解决了具有极大基底的格在进行短向量枚举时的一些问题（包括蕞小值被错误调整时的打印信息）。报告人：David Zuerick-Brown。
• 修正了 JordanDecomposition(L, p) 函数（适用于 LatNF 类型的 L），确保其返回矩阵的类型为 AlgMatElt。
• 修正了 Dual 函数中当格没有环境内积矩阵时断言失败的问题。报告人：Stefano Marseglia。

局部域

• 局部域的 GaloisGroup 函数作为第三个返回值返回的映射，现在当输入是群的单位元时，将返回一个映射（而非函数），这与输入为非单位元时返回映射的行为保持一致。报告人：Kevin Keating。
• 当非分歧扩张的剩余类域之间存在强制类型转换时，允许在这些扩张之间进行强制类型转换。报告人：Sachi Hashimoto。

虚二次域上的模形式

• 修正了 Eigenform 函数中文档与内部实现之间的类型不匹配问题。报告人：Håvard Damm-Johnsen。