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