GiNaCRA

	GiNaCRA
	GiNaC Real Algebra package

What is GiNaCRA?

GiNaCRA is a C++ library providing data structures and algorithms for real algebraic computations. GiNaCRA is based on the efficient C++ library GiNaC including support for symbolic manipulations on polynomials.

Features

Computation of a cylindrical algebraic decomposition (CAD).
Gröbner bases computations.
Real root computation and representation as real-algebraic numbers.
Object-oriented real-algebraic number arithmetic.
Shell application ginacraconsole providing:
- simple and easy-to-use commands to test major functions of GiNaCRA,
- command auto-completion and history,

The current list of changes to GiNaCRA can be viewed here.

Download

Get the last version on https://sourceforge.net/projects/ginacra/files/source/.

Philosophy

Our goal is to provide an as powerful as practical toolkit for computations in the context of real algebra with a view to applications.
Besides the functionality, an other important goal of this project is the development of new methods as well as the improvement of existing methods. Therefore, our source code shall be as transparent as possible for users and other developers. As an important measure in this respect, we use the source code formatter Jindent (from version 0.5 on).
Since version 0.5, GiNaCRA is licensed under GPLv3. The former license, LGPLv3, was changed, among others, because of these reasons (see here for further reasons):
- We use the header tree.hh licensed under GPLv3.
- Our project stands for free spreading, using, and enhancing real algebraic data structures and methods in equally free tools.

How to install GiNaCRA?

GiNaCRA has been tested under Xubuntu since 11.04, Gentoo, and ArchLinux.

Install the required packages: CMake, CLN, and GiNaC.

We recommend to build the project in a separate build directory. The following installation instructions are based on this recommendation.

Prepare the build directory:
tar xf ginacra-*.tar.gz
cd ginacra-*
mkdir build
cd build
Configure the source with cmake (alternatively with ccmake for a user interface variant)
cmake ..
Build:
make
Install (with superuser privileges):
make install

Thanks to Joachim Redies, we also provide installation instructions for MacOS X.

The console application ginacraconsole can be built by:

make ginacraconsole

Optionally, the Readline library can be installed to support command auto-completion and history in ginacraconsole.

In order to compile and run our test suite, type:

make check

How to use GiNaCRA?

There are several examples located in the folder examples/. These can be compiled using

make examples

or by specific make targets. The API documentation can be generated by executing

make doc

if doxygen is installed on your system. The documentation can be viewed here as well. An overview of all make targets can be obtained by this:

make help

We listed further information in the README file.

Contact: Ulrich Loup

Last Update: