Magma (数式処理システム)
| 開発元 | Computational Algebra Group, School of Mathematics and Statistics (豪シドニー大学) |
|---|---|
| 最新版 |
2.25-5
/ 2020年4月29日 |
| 対応OS | クロスプラットフォーム |
| 種別 | 計算機代数 |
| ライセンス | Cost recovery (非営利なプロプライエタリ・ライセンス) |
| 公式サイト | http://magma.maths.usyd.edu.au/ |
Magmaは代数学、数論、代数幾何学、組合せ数学の問題を解くために開発された計算機代数ソフトウェアである。Magmaという名前は代数的構造のマグマから取られている。MagmaはUnix系あるいはLinuxで実行できる。またはWindowsでも利用することができる。
はじめに
[編集]Magmaはオーストラリアシドニー大学数学統計科 (School of Mathematics and Statistics) の計算機代数グループ (Computational Algebra Group) により開発と公開が行われている。
開発の経緯
[編集]MagmaはCayley (1982-1993) と呼ばれる群論を扱うシステムを元に開発された[1]。
Magmaの最初の公式リリースは1993年8月であった（バージョン 1.0）。また1996年6月にバージョン 2.0が公開され、以降おおよそ1年ごとにバージョン 2.Xが公開されている。
カバーする分野
[編集]- 整数および多項式に対する基礎的な演算に対するランダウの記号（たとえば整数と多項式の積を高速に求めるSchönhage-Strassenアルゴリズム (en)、楕円曲線法 (en) を含む素因数分解、二次ふるい法、一般数体ふるい法が実装されている。
- 代数的数論
- KANT と呼ばれる数式処理システムが内蔵されており、これにより幅広い代数体の計算ができるようになっている。また体の代数的閉包の計算も行える。
- Strassenのアルゴリズムなどの、密行列のランダウの記号による高速な基本演算を実装している。
- 離散対数をindex calculus (en)アルゴリズムで求める際に行う疎な系の簡約化をStructured gaussian elimination (en) およびランチョスアルゴリズムで行うことができる。他の疎な線形代数の問題にはMarkowitzの方法が使える。
- 一次、二次および基本不変式のための不変式環を表すデータ型と、モジュール構造の計算をサポートしている。
関連項目
[編集]- Sage - 数学関連のフリーソフトウェアのパッケージ
- 数式処理システムの一覧
脚注
[編集]- ^ 原田 昌晃、木田 雅成 (2012年). “計算機代数のためのソフトウェアMagma”. 一般社団法人 日本数式処理学会. 2020年7月3日閲覧。
- ^ Cannon J. (2006年7月). “Magma 2.13 release notes”. 2009年8月26日閲覧。
外部リンク
[編集]- 公式ウェブサイト
- Magma Free Online Calculator
- Magma's High Performance for computing Groebner Bases
- Magma's High Performance for computing Hermite Normal Forms of integer matrices
- Magma V2.12 is apparently "Overall Best in the World at Polynomial GCD" :-)
- Magma example code
| オープンソース | |
|---|---|
| フリー/シェアウェア | |
| リテール |
|
| 開発終了 | |
| 典拠管理データベース: 国立図書館 |
|---|
