Cacao

CoCoA ( Computations in Computative Algebra ) ^{[ 6 ]} es un sistema de álgebra computacional gratuito desarrollado por la Universidad de Génova , Italia , utilizado para realizar cálculos con números y polinomios . La biblioteca CoCoA (CoCoALib ^{[ 7 ]} ) está disponible bajo la Licencia Pública General GNU . CoCoA se ha adaptado a muchos sistemas operativos, incluyendo Macintosh en PPC y x86, Linux en x86, Unix x86-64 y PPC, Solaris en SPARC y Windows en x86. CoCoA es utilizado principalmente por investigadores (véanse las citas en ^{[ 8 ]} y ^{[ 9 ]} ), pero puede ser útil incluso para cálculos "simples".

Las características de CoCoA incluyen:

• Números enteros muy grandes y números racionales mediante la biblioteca de precisión múltiple de GNU.
• Polinomios multivariables
• Base de Gröbner
• Interfaces de usuario: texto; basadas en Emacs ; basadas en Qt

Es capaz de realizar operaciones simples y sofisticadas con polinomios multivariados y diversos datos relacionados con ellos (ideales, módulos, matrices, funciones racionales). Por ejemplo, puede calcular fácilmente bases de Gröbner , sizigias y resoluciones libres mínimas , intersección, división, el radical de un ideal, el ideal de esquemas cero-dimensionales, series de Poincaré y funciones de Hilbert , factorización de polinomios e ideales tóricos . Las capacidades de CoCoA y la flexibilidad de su uso se ven aún más potenciadas por su lenguaje de programación de alto nivel.

Su núcleo matemático, CoCoALib, ha sido diseñado como una biblioteca C++ de código abierto, centrándose en la facilidad de uso y la flexibilidad. Está disponible en GitHub: https://github.com/cocoa-official/CoCoALib

CoCoALib se basa en la biblioteca GNU Multi-Precision .

CoCoALib es utilizado por ApCoCoA ^{[ 10 ]} y NmzIntegrate ^{[ 11 ].}

• Lista de sistemas de álgebra computacional
• Biblioteca de plantillas estándar

• Sitio web oficial
• ApCoCoA, una extensión de CoCoA