mathematical tool suite for problems on linear spaces -- user guide

 4ti2 is a mathematical software package for algebraic, geometric
 and combinatorial problems on linear spaces.
 .
 This package provides the user guide for the 4ti2 tool suite;
 it also contains examples.