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 汇报。

?

?

• ?