4ti2 tutorial
Input Auxiliary functions Output management
Hilbert bases Graver bases Gröbner bases Markov bases Minimization
Matrix fileName

 2 4
1 1 1 1
1 2 3 4
Lattice generators fileName.lat

 3 4
-2 1 0 0
-3 0 1 0
-4 0 0 1
Cost vector

Upper bounds vector

Feasible solution

fileName.cost

fileName.tru

fileName.feas

1 5
3 4 11 22 17
Generators of symmetry group (permutations of columns) fileName.sym 4 9
2 3 1 5 6 4 8 9 7
2 1 3 5 4 6 8 7 9
4 5 6 7 8 9 1 2 3
4 5 6 1 2 3 7 8 9
Simplicial complex for hierachical model given by
- number of nodes and number of levels attached to them, and
- number of faces, and
- list of faces, where each face is given by number of nodes and the list of nodes.

Example here: binary model on bipartite graph K_{2,3}.

5
2 2 2 2 2
6
2 1 3
2 1 4
2 1 5
2 2 3
2 2 4
2 2 5
back to www.4ti2.de