Magma是一个大型、支持优良的软件包，专为代数、数论、代数几何和代数组合数学的推算而设计。它提供了一个数学上严格的环境来界说和处置结构，如群、环、域、模、代数、规划、曲线、图、设计、代码和很多其他结构。Magma还支持许无数据库，这些数据库旨在援手那些性质上是代数的数学领域的推算钻研。

目前版本已经更新到V2.28-3，一路看一下新版本的职能：

代数数论

IsIsomorphic此刻选择导致子域和同构关系的系数嵌入，而不是那些没有的系数嵌入。

算术几何

当LSetPrecision提高精度时，Hilbert模大局的函数L序列已经被建改(欧拉因子的环境环没有增长其精度)。E. Costa提供问题汇报和建改。

建改了在零度时推算微模量特点的谬误。由E.Costa报路。

互换代数

建改了的代数函数域上梦想的根函数及有关函数的谬误了局。由M. Grassl报路。

群论

幂零商中的一个谬误，即对于很大的商给出了谬误的了局，该谬误已经建改。由M.Newman、M.Vaughan Lee和A.Previtali报路。

已建改幼组的“标识组”中的崩溃问题。M.Newman报路。

Ext天生器天生的一些矩阵不是共循环的，由于对阿贝尔群的基的推算不正确。Primo?Poto?niz识此外Bug。

E.O'Brien更新了用驯服属的p-群进行推算的法式包。

矩阵

SmithForm在单独要求RHS转换矩阵时产生崩溃的问题已得到建改。E.Costa报路。

表部功率（A，0）此刻返回1x1矩阵。E.Rains报路的问题。

在某些类型的矩阵逐步殖民化中，一些效能低下的问题已经得到解决。C.Rito报路。

规划

投影空间的放坡此刻会转移到坐标环，即便该放坡蕴含零条款。C.Rito报路。

系统

建改了当统一个多元多项式环（或梦想）在要序列化或传输的对象中屡次出现时的序列化谬误。天生的序列化流无效，无法检索对象。L.Finotti报路。

?

?

• ?