溫馨提示：需求數(shù)量不同，價(jià)格不同。請(qǐng)聯(lián)系我們，確認(rèn)當(dāng)前新的報(bào)價(jià)！
Magma是一款由悉尼大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)系計(jì)算代數(shù)學(xué)小組開(kāi)發(fā)的代數(shù)計(jì)算程序包，該軟件用于解決代數(shù)系統(tǒng)中的數(shù)論、代數(shù)幾何和代數(shù)組合學(xué)的計(jì)算問(wèn)題。它提供了用戶自定義或直接利用諸如群，環(huán)，域，模塊，代數(shù)，計(jì)劃，曲線，圖表，設(shè)計(jì)，編碼和其他很多代數(shù)系統(tǒng)進(jìn)行計(jì)算的一個(gè)數(shù)學(xué)環(huán)境。Magma還支持很多數(shù)據(jù)庫(kù)，這些數(shù)據(jù)庫(kù)旨在幫助那些本質(zhì)上是代數(shù)的數(shù)學(xué)領(lǐng)域的計(jì)算研究。Magma的內(nèi)核實(shí)現(xiàn)了代數(shù)系統(tǒng)五大分支結(jié)構(gòu)的定義和相關(guān)操作，即組論，環(huán)論，場(chǎng)論，模塊理論和代數(shù)理論，這也是其計(jì)算功能強(qiáng)的原因所在。當(dāng)然，也有很多人將Magma軟件中提供的編程語(yǔ)言稱為Magma。Magma軟件是一款收費(fèi)軟件，主要分為Institution Version（機(jī)構(gòu)版）和Student Version（學(xué)生版）。
軟件特點(diǎn)
下面是Magma軟件的一些主要功能：
明確的定義：用戶在計(jì)算的過(guò)程中需要明確的定義所使用的代數(shù)系統(tǒng)，因?yàn)楹罄m(xù)的計(jì)算對(duì)象都是基于這些已定義系統(tǒng)的。
高度的集成：在Magma軟件中的代數(shù)系統(tǒng)都采用了相似的類構(gòu)造函數(shù)，這種統(tǒng)一的定義方式使得Magma軟件能綜合利用各種各樣的代數(shù)系統(tǒng)，并利用它們進(jìn)行各種運(yùn)算。
關(guān)系：這是Magma軟件提供的一種特殊機(jī)制，用它來(lái)管理系統(tǒng)生成的各種代數(shù)結(jié)構(gòu)之間的邏輯關(guān)系。
豐富的資料：Magma提供了豐富的示例和相關(guān)算法，它里面包含了如對(duì)P^n+(-)1的因式分解，P是一個(gè)素?cái)?shù)，模方程，強(qiáng)正則圖，積分格，K3的表面等很多常用的代數(shù)問(wèn)題及代碼。
性能：Magma在算法和實(shí)現(xiàn)上都有不錯(cuò)的表現(xiàn)，它對(duì)很多計(jì)算從硬件上進(jìn)行了優(yōu)化。
Magma軟件的使用
Magma軟件采用命令行的形式，在安裝好之后，你可以直接輸入Magma來(lái)運(yùn)行軟件。
Magma軟件要求在每行命令結(jié)束的時(shí)候輸入"；"然后回車來(lái)表示該命令已輸入完畢，可以進(jìn)行計(jì)算。當(dāng)運(yùn)算結(jié)束或軟件等待輸入時(shí)，它會(huì)在每行的左側(cè)顯示如下提示符：
>
例如，當(dāng)計(jì)算4+2時(shí)，你可以在提示符后輸入"print 4+2；"，然后回車，由于Magma是一種交互式語(yǔ)言，它就會(huì)立即進(jìn)行計(jì)算，你的屏幕便會(huì)顯示：
>print 4+2；
6
（切記：Magma語(yǔ)言的每行以"；"為結(jié)束標(biāo)志，絕不可漏寫）
其實(shí)，像上面的這種計(jì)算，print也可以不寫，你直接輸入
>4+2；
6
Magma同樣會(huì)計(jì)算出正確結(jié)果。
另外，Magma軟件提供了豐富的參考文檔和在線幫助，使用Magma需要有扎實(shí)的數(shù)學(xué)基礎(chǔ)，尤其是代數(shù)學(xué)，這樣才能真正發(fā)揮Magma的威力。
Magma用戶語(yǔ)言
具有標(biāo)準(zhǔn)命令式語(yǔ)句和過(guò)程的命令式語(yǔ)言
提供閉包、高階函數(shù)和部分計(jì)算的一種功能子集
基于代數(shù)概念的一般聚合數(shù)據(jù)類型：集合、序列、映射、magma
通過(guò)結(jié)構(gòu)構(gòu)造提供了magmas和映射的通用機(jī)制
以自然數(shù)學(xué)形式構(gòu)造集合和序列的簡(jiǎn)單但強(qiáng)的符號(hào)
設(shè)置和排列操作，重點(diǎn)強(qiáng)調(diào)轉(zhuǎn)換（包括自動(dòng)強(qiáng)制轉(zhuǎn)換）
一種支持模塊化程序構(gòu)造的包機(jī)制
Magma支持的主要平臺(tái)：
Linux（i386 / PC , AMD64 / Intel64 ， IBM PowerPC64 ， Intel IA64）
Mac OS X（64位Intel）
Solaris（AMD64 / Intel64 ， Sparc 64位）
Windows（32位）
是否支持Mac OS X？
Magma在全部近來(lái)的Macintosh計(jì)算機(jī)上得到了支持；也就是說(shuō)，對(duì)于運(yùn)行OS X Leopard（10.5）或以上版本的64位Intel處理器。
我們可以為32位Inetl和Power PC G4 / G5處理器提供舊版本的Magma
要確定您的計(jì)算機(jī)是否具有Intel處理器。
