The structure of the library

The library is divided into modules which share the following structure:

 module 
    |-bin
    |-doc
    |-include
    |-src
    |-test
    |-....

where the directory

• bin contains the commands which will be provided by the package (make),

• doc contains the documentation (.tex) and examples files (.cc) used in the test phase ({make check})

• include contains the header files,

• src contains the source file, which are compiled (make),

• test contains the test files (make check).

Here is the list of modules

• base: common and basic implementations shared by the other packages;

• arithm: arithmetic, including extended arithmetic, interval arithmetic, modular numbers, relation between number types;

• linalg: linear algebra, including tools for vectors, dense, sparse and structured matrices;

• upol: univariate polynomials, including resultant constructions, Sturm sequences, gcd;

• mpol: multivariate polynomials, including resultant constructions;

• usolve: solving univariate equations and the manipulation of algebraic numbers;

• shape: representation of algebraic geometric objects;

• topology: tools for computing the topology of algebraic curves and surfaces