A linear algebra over the integers package based on layered lattices.

This package implements a general way of solving integral linear systems. It computes kernels, images and particular solutions. It relies on the symbolic toolbox and on a class called LLattice which implements a layered lattice (see the description of the class for references) with methods for computing LLL reduced bases, computing intersections and direct sums. All computations are performed with exact rational numbers.