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

`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`

).

`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