Magma

Magma是一款由悉尼大學數學與統計學系計算代數學小組開發的功能強大的代數計算程式包，該軟體專門解決代數系統中的數論、代數幾何和代數組合學的計算問題。

基本介紹

• 外文名：Magma
• 性質：功能強大的代數計算程式包
• 開發人：悉尼大學數學與統計學係數學小組
• 作用：解決代數系統中的數論、代數幾何

軟體簡介

它提供了用戶自定義或直接利用諸如群，環，域，模組，代數，計畫，曲線，圖表，設計，編碼和其他許多代數系統進行計算的一個數學環境。Magma的核心實現了代數系統五大分支結構的定義和相關操作，即群論，環論，域論，模論和代數理論，這也是其計算功能非常強大的原因所在。當然，也有很多人將Magma軟體中提供的程式語言稱為Magma。Magma軟體是一款收費軟體，主要分為Institution Version（機構版）和Student Version（學生版），目前最新版本為V2.17-6。

軟體特點

下面是Magma軟體的一些主要特色：

1、明確的定義：用戶在計算的過程中需要明確的定義所使用的代數系統，因為後續的所有計算對象都是基於這些已定義系統的。

2、高度的集成：在Magma軟體中的每個代數系統都採用了相似的類構造函式，這種統一的定義方式使得Magma軟體能綜合利用各種各樣的代數系統，並利用它們進行各種運算。

3、關係：這是Magma軟體提供的一種特殊機制，用它來管理系統生成的各種代數結構之間的“關係”。

4、豐富的資料：Magma提供了非常豐富的示例和相關算法，它裡面包含了如對P^n+(-)1的因式分解，P是一個素數，模方程，強正則圖，極大子群的單群，積分格，K3的表面等許多常用的代數問題及代碼。

5、優異的性能：Magma在算法和實現上都有非常優異的表現，它對很多計算從硬體上進行了 最佳化。

軟體使用

Magma軟體採用命令行的形式，在安裝好之後，你可以直接輸入Magma來運行軟體。

Magma軟體要求在每行命令結束的時候輸入‘；’然後回車來表示該命令已輸入完畢，可以進行計算。當運算結束或軟體等待輸入時，它會在每行的左側顯示如下提示符：

>

例如，當計算4+2時，你可以在提示符後輸入‘print 4+2；’，然後回車，由於Magma是一種互動式語言，它就會立即進行計算，你的螢幕便會顯示：

>print 4+2；

6

（切記：Magma語言的每行以‘；’為結束標誌，絕不可漏寫）

其實，像上面的這種計算，print也可以不寫，你直接輸入

>4+2；

6

Magma同樣會計算出正確結果。

另外，Magma軟體提供了豐富的參考文檔和線上幫助（見參考資料），使用Magma需要有紮實的數學基礎，特別是代數學，只有這樣，才能真正發揮Magma的威力。