GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
3 module generators 4 Hilbert basis elements of recession monoid 2 vertices of polyhedron 4 extreme rays of recession cone 6 support hyperplanes of polyhedron (homogenized) embedding dimension = 4 affine dimension of the polyhedron = 3 (maximal) rank of recession monoid = 3 internal index = 1 size of triangulation = 4 resulting sum of |det|s = 4 dehomogenization: 0 0 0 1 grading: 1 1 1 0 module rank = 1 multiplicity = 1/3 *********************************************************************** 3 module generators: -2 0 1 1 -1 0 0 1 0 0 -1 1 4 Hilbert basis elements of recession monoid: 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 2 vertices of polyhedron: -2 0 1 1 0 0 -1 1 4 extreme rays of recession cone: 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 6 support hyperplanes of polyhedron (homogenized): -1 0 1 1 0 -1 1 1 0 0 0 1 0 1 0 0 1 -1 1 1 1 0 0 2