代数计算程序包

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）

Solaris （AMD64/Interl64，Sparc 64位）

Windows（32位）