?

?

简介

Magma是一款由悉尼大学数学与统计学系推算代数学幼组开发的代数推算法式包，该软件用于解决代数系统中的数论、代数几何和代数组合学的推算问题。它提供了用户自界说或直接利用诸如群，环，域，？，代数，打算，曲线，图表，设计，编码和其他好多代数系统进行推算的一个数学环境。Magma还支持很无数据库，这些数据库旨在援手那些性质上是代数的数学领域的推算钻研。Magma的内核实现了代数系统五大分支结构的界说和有关操作，即组论，环论，场论，？槔砺酆痛砺，这也是其推算职能强的原因地点。当然，也有好多人将Magma软件中提供的编程说话称为Magma。Magma软件是一款收费软件，重要分为Institution Version（机构版）和Student Version（学生版）。

软件特点

下面是Magma软件的一些重要职能：

• 明确的界说：用户在推算的过程中必要明确的界说所使用的代数系统，由于后续的推算对象都是基于这些已界说系统的。

• 高度的集成：在Magma软件中的代数系统都选取了类似的类机关函数，这种统一的界说方式使得Magma软件能综合利用各类各样的代数系统，并利用它们进行各类运算。

• 关系：这是Magma软件提供的一种特殊机造，用它来治理系统天生的各类代数结构之间的逻辑关系。

• 丰硕的资料：Magma提供了丰硕的示例和有关算法，它里面蕴含了如对P^n+(-)1的因式分化，P是一个素数，模方程，强正则图，积分格，K3的表表等好多常用的代数问题及代码。

• 机能：Magma在算法和实现上都有不错的阐发，它对好多推算从硬件上进行了优化。

Magma软件的使用

Magma软件选取号令行的大局，在装置好之后，你能够直接输入Magma来运行软件。

Magma软件要求在每行号令实现的时辰输入"；"而后回陈反暗示该号令已输入结束，能够进行推算。当运算实现或软件期待输入时，它会在每行的左侧显示如下提醒符：

>

例如，当推算4+2时，你能够在提醒符后输入"print 4+2；"，而后回车，由于Magma是一种交互式说话，它就会立即进行推算，你的屏幕便会显示：

>print 4+2；

6

（切记：Magma说话的每行以"；"为实现标志，绝不成漏写）

其实，像上面的这种推算，print也能够不写，你直接输入

>4+2；

6

Magma同样会推算出正确了局。

另表，Magma软件提供了丰硕的参考文档和在线援手，使用Magma必要有扎实的数学基础，尤其是代数学，这样能力真正阐扬Magma的威力。

?

Magma用户说话

• 拥有尺度号令式语句和过程的号令式说话

• 提供关包、高阶函数和部门推算的一种职能子集

• 基于代数概想的通常聚合数据类型：集钟注序劣注映射、magma

• 通过结构机关提供了magmas和映射的通用机造

• 以天然数学大局机关集中和序列的单一但强的符号

• 设置和分列操作，沉点强调转换（蕴含自动强造转换）

• 一种支持？榛ㄊ交氐陌

?

?

是否支持Mac OS X？

Magma在全数最近的Macintosh推算机上得到了支持；也就是说，对于运行OS? X Leopard（10.5）或以上版本的64位Intel处置器。我们可以为32位Inetl和Power PC G4 / G5处置器提供旧版本的Magma，必要确定您的推算机是否拥有Intel处置器。

?

?

?