GiNaC

GiNaC es un sistema de álgebra computacional gratuito publicado bajo la Licencia Pública General de GNU . Su nombre es un acrónimo recursivo de "GiNaC no es un CAS" ( Sistema de Álgebra Computacional ). Esto es similar al acrónimo de GNU "GNU no es Unix". ^{[ 2 ]}

Lo que distingue a GiNaC de la mayoría de los demás sistemas de álgebra computacional es que no proporciona una interfaz de alto nivel para la interacción del usuario. En cambio, anima a sus usuarios a escribir algoritmos simbólicos directamente en C++ , que es el lenguaje de programación de implementación de GiNaC . La sintaxis algebraica se logra en C++ mediante la sobrecarga de operadores . El nombre GiNaC también se explica por la percepción de sus desarrolladores de que la mayoría de los "sistemas de álgebra computacional" hacen demasiado hincapié en una interfaz de alto nivel y muy poco en la interoperabilidad.

GiNaC utiliza la biblioteca CLN para implementar aritmética de precisión arbitraria . Simbólicamente, puede realizar aritmética polinómica multivariada, factorizar polinomios , calcular el máximo común divisor (MCD) , expandir series y realizar cálculos con matrices . Está equipado para manejar ciertas álgebras no conmutativas que se utilizan ampliamente en física teórica de altas energías —álgebras de Clifford , álgebras de Lie SU(3) y tensores de Lorentz— y puede evaluar una amplia gama de polilogaritmos múltiples . Debido a esto, se utiliza ampliamente en cálculos de regularización dimensional , pero no se limita a la física.

GiNaC es la base simbólica de varios proyectos de código abierto : existe una extensión simbólica para GNU Octave , ^{[ 3 ]} un simulador para imágenes por resonancia magnética , ^{[ 4 ]} y desde mayo de 2009, Pynac , una bifurcación de GiNaC, proporciona el backend para expresiones simbólicas en SageMath . ^{[ 5 ]}

• Comparación de sistemas de álgebra computacional

• Sitio web oficial