This package browser is in early development. Mind the rough edges.


Mathematical tool suite for problems on linear spaces

4ti2 implements algorithms for solving algebraic, geometric and combinatorial problems on linear spaces. Among others, it solves systems of linear equations, computes extreme rays of polyhedral cones, solves integer programming problems and computes Markov bases for statistics.


Install the latest version of 4ti2 as follows:

guix install 4ti2

Or install a particular version:

guix install 4ti2@1.6.9

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.