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