GiNaC

GiNaC是一個自由的計算機代數系統 ， 在 GNU通用公共許可證下發布 。 GiNaC這個名字是一個遞歸縮寫 ： GiNaC is Not a CAS （ CAS ， 計算機代數系統 ） 。 這樣的命名方式源於GNU計劃 。 GiNaC與其他計算機代數系統不同的是 ， 它並沒有提供一個上層的用戶互動界面 ， 而是鼓勵用戶直接用C + + 語言和GiNaC的庫編寫符號計算的程序 。 其中的代數語法是通過C + + 的運算符重載實現的 。 開發者解釋說之所以以GiNaC命名是因爲大多數的代數系統都把重點放在了用戶界面上 ， 而不是與程序員的互操作性 。 GiNaC使用了CLN庫用於任意精度的數值計算 。 具有象徵意義的是 ， 它可以計算帶有多個變量的代數式 、 因式分解 、 計算最大公約數 、 展開洛朗級數和利用矩陣計算等 。 它將能夠處理非交換性代數 — — 這在理論上的高能物理 ： 克利福德代數 、 特殊酉群 、 李代數 、 和電磁張量中有廣泛應用 。 由於這樣 ， 它在緯度正則化計算中廣泛被應用 — — 但是它並不被限制在物理學中 。