Install 4ti2-doc by entering the following commands in the terminal:
sudo apt update sudo apt install 4ti2-doc
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.