軟體簡介
它提供了用戶自定義或直接利用諸如群,環,域,模組,代數,計畫,曲線,圖表,設計,編碼和其他許多代數系統進行計算的一個數學環境。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的威力。