CoCoA | Computations in Commutative Algebra | Biblioteca C++

Características:

CoCoA es un programa para calcular con números y con polinomios.
Es gratuito.
Funciona en varios sistemas operativos.
Lo usan muchos investigadores, aunque también puede ser útil para cálculos más “simples”.
CoCoALib

Es una biblioteca C++ para hacer Cálculos computacionales de álgebra conmutativa

Instalando CoCoALib en linux

CoCoALib esta disponible como código fuente en C++, y debe ser compilado para poder usarse. En las siguientes instrucciones te indicare como hacerlo en Sistemas basados en Gnu/Linux.

Prerequisitos

Antes de la compilación tu necesitas asegurarte de tener disponible:

  • Un compilador c++ junto con las bibliotecas estándares (ej. g++)
  • GMP con la versión 4.2.1 o superior

Instalando Compilador c++

En terminal:

$ sudo apt-get install gcc

$ sudo apt-get install gcc-c++

Instalando The GNU Multiple Precision Arithmetic Library(GMP)

GMP es una biblioteca libre escrita en C para cálculos con precisión arbitraria con números enteros, racionales o números en coma flotante. No impone límites prácticos a la precisión, salvo los derivados de la memoria disponible en la máquina en que se ejecuta.

Pasos:

Descargamos el código fuente mediante el siguiente sitio: https://gmplib.org/#DOWNLOAD. Decomprimimos y luego en el terminal:

$ cd gmp-Version
$ sudo ./configure
$ sudo make

Si queremos hacer varios test tipeamos:

$ sudo make check

y podemos instalar (bajo /usr/local por defecto) con

$sudo make install

y verificamos si esta instalada con el comando:

ls /usr/local/lib

Debe salir una salida como esta:

libgmp.a libgmp.so libgmp.so.10.3.1 node_modules python2.7
libgmp.la libgmp.so.10 node python2.6

Instalando CoCoALib

Vamos a http://cocoa.dima.unige.it/cocoalib/ y descargamos la última versión estable

luego descomprimimos y vamos a la carpeta raíz de CoCoAlib

tar -xvzf CoCoALib-X.X.tgz

cd CoCoALib-X.X

Para finalizar ingresamos lo siguiente:

./configure
make

Luego si en el terminal te sale lo siguiente, lo has hecho bien:

 

Comprobamos con un ejemplo:

Abrimos los ejemplos que estan en la carpeta /example. Voy a elegir la dualidad de Alexander que esta disponible aquí http://cocoa.dima.unige.it/cocoalib/examples/ex-AlexanderDual.C

lo ejecutamos para comprobar:

 

y si corre bien lo has hecho bien.

 

Guardar