Magma是一款代数推算法式包
，该软件解决代数系统中的数论、代数几何和代数组合学的推算问题。它为界说和使用诸如组
，环
，域
，？
，代数
，打算
，曲线
，图形
，设计
，编码等结构提供了严格的数学环境。Magma还数据库
，这些数据库旨在辅助性质上为代数的数学领域的推算钻研。

?

Magma提供了严格的数学环境
，强调结构推算。关键是可能机关结构的规范暗示
，从而使诸如从属测试
，结构确定和同构性测试之类的操作成为可能。Magma的主题在代数的五个根本分支中沉要的具体结构类的实现
，即群论
，环论
，域论
，？槁酆痛。此表
，还代数几何和有限入射几何的某些结构族。

?

Magma系统的重要职能：

• 代数设计理想：用户说话和系统系统结构的设计道理均基于通用代数和类别理论的思想。该说话尝试尽可能靠近通常的数学思想方式和符号方式。是
  ，设置用户说话的重要结构
  ，（代数）结构和态射。

  ?

• 通用性：深刻涵盖代数、数论
  ，代数几何和有限入射几何的重要分支。

  ?

• 尽可能使用通用机关函数以方式设计区域的设施。设计使对逾越分歧类此外数学结构或涉及结构相互作用的推算进行编程变得。

  ?

• 机能：旨在使Magma在使用的算法及其实现方面提供能。该设计道理允许内核实现者在机械选择数据结构。当前在Magma内核中装置的大无数重要算法都是新技术
  ，其机能于或优于其法式。

?

Magma用户说话

?

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

• 高阶函数和部门求值的职能子集

• 基于代数概想的通例聚合数据类型：集中
  ，序列
  ，映射

• 通用结构机关函数提供了Magma和映射机关的通用机造

• 以天然的数学形状机关集中和序列的但职能的暗示法

• 设置和挨次操作注沉效能

• Magmas之间的强造（自动强造）

• 一种？榛ㄊ焦菇ɑ

?

Magma环境

?

• 号令实现和交互式行编纂

• 拥有前一行回顾和编纂职能的汗青系统

• 分级在线援手工具

• 拥有自动编译职能的用户界说内部函数的软件包

• 启动时的号令行选项

• 用于配置输出形状等的环境变量

• 获取/设置用于配置形状的函数和过程等

• 内置函数的具体选项

• 输出纪录
  ，I/O沉定向

• 保留和复原用户工作区的机造

• 用于文件I/O的文件类型

• 从Magma内部执行系统号令的能力

• 用于与表部法式通讯的输入/输出管路

• UNIX号令和函数
  ，如过程ID、警报设置等

• 用于与过程通讯的机造

?

?

Magma的重要平台：

?

Linux（i386/PC
，AMD64/Intel64
，IBM PowerPC64
，Intel IA64）

Mac OSX（64位Intel）

?