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