GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
gap4r8 / pkg / NormalizInterface-1.0.2 / Normaliz.git / test / test-mm / future / SquareMinusVertexPolyh.ref
563644 views3 module generators 4 Hilbert basis elements of recession monoid 3 vertices of polyhedron 4 extreme rays of recession cone 6 support hyperplanes of polyhedron embedding dimension = 4 affine dimension of the polyhedron = 3 (maximal) rank of recession monoid = 3 internal index = 2 size of triangulation = 5 resulting sum of |det|s = 10 dehomogenization: 0 0 0 1 grading: 0 0 1 0 module rank = 1 *********************************************************************** 3 module generators: 0 1 1 1 1 0 1 1 1 1 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 3 vertices of polyhedron: 0 1 0 2 1 0 0 2 1 1 0 2 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: -2 0 2 1 0 -2 2 1 0 0 1 0 0 1 0 0 1 0 0 0 2 2 0 -1