Magma_(数式処理システム)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Magma_(数式処理システム)の意味・解説 

Magma (数式処理システム)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/03/19 06:50 UTC 版)

Magma
開発元 Computational Algebra Group, School of Mathematics and Statistics (豪シドニー大学)
最新版 2.23-9 / 2018年3月16日(3日前) (2018-03-16
対応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) と呼ばれるシステムを元に開発された。

Magma の最初の公式リリースは1993年8月であった (バージョン 1.0)。また1996年6月にバージョン 2.0 が公開され、以降おおよそ1年ごとにバージョン 2.X が公開されている。

カバーする分野

置換群行列群、有限表示を持つ群、可解群アーベル群 (有限および無限)、多重巡回群 (en)、組み紐群、straight-line プログラム (en)。群論のデータベースもいくつか用意している。
整数および多項式に対する基礎的な演算に対するランダウの記号 (たとえば整数と多項式の積を高速に求める Schönhage-Strassenアルゴリズム(en)、楕円曲線法 (en) を含む素因数分解、二次ふるい法、一般数体ふるい法が実装されている。
  • 代数的数論
KANT と呼ばれる数式処理システムが内蔵されており、これにより幅広い代数体の計算ができるようになっている。また体の代数的閉包の計算も行える。
Strassenのアルゴリズムなどの、密行列のランダウの記号による高速な基本演算を実装している。
離散対数index calculus (en)アルゴリズムで求める際に行う疎な系の簡約化をStructured gaussian elimination (en) およびランチョスアルゴリズムで行うことができる。他の疎な線形代数の問題には Markowitz の方法が使える。
整数行列に対するLLLアルゴリズム (グラム-シュミット係数の計算に浮動小数点を使うが、得られる結果は LLL 既約であることが証明されている) としてfpLLL [1] を実装している。
グレブナー基底の計算に Faugère の F4 アルゴリズム (en) が実装されている。
表現論の計算のために指標表と Meataxe のアルゴリズムが実装されている。
  • 不変式論
一次、二次および基本不変式のための不変式環を表すデータ型と、モジュール構造の計算をサポートしている。

関連項目

脚注

  1. ^ Cannon J. (2006年7月). “Magma 2.13 release notes”. 2009年8月26日閲覧。

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Magma_(数式処理システム)」の関連用語

Magma_(数式処理システム)のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Magma_(数式処理システム)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのMagma (数式処理システム) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS