Magma (数式処理システム)
| 開発元 | Computational Algebra Group, School of Mathematics and Statistics (豪シドニー大学) |
|---|---|
| 最新版 |
2.15
/ December 2008 |
| 対応OS | クロスプラットフォーム |
| 種別 | 計算機代数 |
| ライセンス | Cost recovery (非営利なプロプライエタリ・ライセンス) |
| 公式サイト | http://magma.maths.usyd.edu.au/ |
Magma は代数、数論、代数幾何学、組合せ数学の問題を解くために開発された計算機代数ソフトウェアである。Magma という名前は代数的構造のマグマ (en) から取られている。Magma は Unix 系あるいは Linux で実行できる。または Windows でも利用することができる。
はじめに
Magma はオーストラリアシドニー大学数学統計科 (School of Mathematics and Statistics) の計算機代数グループ (Computational Algebra Group) により開発と公開が行われている。
開発の経緯
Magma は Cayley (1982-1993) と呼ばれるシステムを元に開発された。
Magma の公式リリースは1993年8月であった (バージョン 1.0)。また1996年6月にバージョン 2.0 が公開され、以降おおよそ1年ごとにバージョン 2.X が公開されている。
カバーする分野
- 置換、行列、有限指標、可解群、アーベル群 (有限および無限)、polycyclic群 (en)、braid群 (en)、straight-line プログラム群 (en)。群論のデータベースもいくつか用意している。
- 整数および多項式に対する基礎的な演算に対するランダウの記号 (たとえば整数と多項式の積を高速に求める Schönhage-Strassenアルゴリズム(en)、楕円曲線法 (en) を含む素因数分解、二次ふるい法、一般数体ふるい法が実装されている。
- 代数的数論
- KANT と呼ばれる数式処理システムが内蔵されており、これにより幅広い代数体の計算ができるようになっている。また体の代数的閉包の計算も行える。
- Strassenのアルゴリズムなどの、密行列のランダウの記号による高速な基本演算を実装している。
- 離散対数を index calculus (en)アルゴリズムで求める際に行う疎な系の簡約化をStructured gaussian elimination (en) およびランチョスアルゴリズムで行うことができる。他の疎な線形代数の問題には Markowitz の方法が使える。
- 一次、二次および基本不変式のための不変環を表すデータ型と、モジュール構造の計算をサポートしている。
関連項目
- Sage - 数学関連のフリーソフトウェアのパッケージ
- 数式処理システムの一覧
脚注
- ^ Cannon J. (2006年7月). “Magma 2.13 release notes”. 2009年8月26日閲覧。