ギナック

GiNaC は、 GNU 一般公衆利用許諾書に基づいて公開されている無料の コンピュータ代数システムです。名前は「GiNaC は CAS ではない」(コンピュータ代数システム) の再帰的な頭字語です。これは、 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]

• コンピュータ代数システムの比較

• 公式サイト