ギナック

コンピュータ代数システム
ギナック
開発者Christian Bauer、Richard B. Kreckel、Alexei Sheplyakov、Jens Vollinga 他
初回リリース1999年11月26日; 25年前[1] (1999年11月26日
安定版リリース
1.8.9  / 2025年5月15日; 5か月前 (2025年5月15日
リポジトリ
  • www.ginac.de/ginac.git
書かれたC++
オペレーティング·システムクロスプラットフォーム
タイプ数学ソフトウェア
ライセンスGNU一般公衆利用許諾契約書
Webサイトwww.ginac.de 

GiNaCは、GNU一般公衆利用許諾書(GNU General Public License )に基づいて公開されているフリーの コンピュータ代数システムです。この名称は、「GiNaCはCASではない」(Computer Algebra System )の再帰的な頭字語です。これは、 GNUの頭字語「GNUはUnixではない」に似ています[2]

GiNaC が他のほとんどのコンピュータ代数システムと異なる点は、ユーザーインタラクションのための高水準インターフェースを提供しないことです。むしろ、GiNaC の実装プログラミング言語であるC++で、ユーザーが記号 アルゴリズムを直接記述することを推奨しています。代数構文は、C++ における演算子オーバーロードによって実現されています。GiNaC という名前は、多くの「コンピュータ代数システム」が高水準インターフェースを重視しすぎて相互運用性を軽視しているという開発者の認識にも由来しています。

GiNaCは、任意精度演算を実装するためにCLNライブラリを使用しています。シンボリックな表現としては、多変数多項式演算、多項式の因数分解、 GCDの計算、級数展開行列の計算が可能です。高エネルギー理論物理学で広く用いられる特定の非可換代数、すなわちクリフォード代数SU(3)リー代数ローレンツテンソルを扱うことができます。そのため、次元正則化計算で広く使用されていますが、物理学に限定されるものではありません。

GiNaCは、いくつかのオープンソースプロジェクトのシンボリック基盤となっています。GNU Octaveのシンボリック拡張[3]磁気共鳴画像シミュレータ[4]があり、2009年5月以降、 GiNaCのフォークであるPynacがSageMathのシンボリック式のバックエンドを提供しています[5]

参照

参考文献

  1. ^ 「GiNaC News & Announcements」 . 2024年2月1日閲覧
  2. ^ 「GiNaCのミニFAQ」 。 2024年2月1日閲覧
  3. ^ 「Octave 'symbolic' package」. 2011年10月5日閲覧。
  4. ^ 「JEMRIS – MRIシミュレーションソフトウェア」。2010年12月19日時点のオリジナルよりアーカイブ2011年10月5日閲覧。
  5. ^ 「Pynac FAQ」 . 2015年9月27日閲覧
  • 公式サイト
「https://en.wikipedia.org/w/index.php?title=GiNaC&oldid=1305057033」から取得