CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418386
6 module generators
7 Hilbert basis elements of recession monoid
2 vertices of polyhedron
3 extreme rays of recession cone
42 module generators over original monoid
6 support hyperplanes of polyhedron (homogenized)

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 = 68

dehomogenization:
0 0 0 1 


module rank = 1

***********************************************************************

6 module generators:
 -1  1  1 1
  0  0  0 1
  1 -1 -1 1
  1  2  3 1
  1  3  4 1
  2  1  2 1

7 Hilbert basis elements of recession monoid:
 0 1 0 0
 1 0 0 0
 1 1 1 0
 1 2 2 0
 1 3 3 0
 1 4 4 0
 1 4 5 0

2 vertices of polyhedron:
 -1  1  1 1
  2 -3 -2 2

3 extreme rays of recession cone:
 0 1 0 0
 1 0 0 0
 1 4 5 0

42 module generators over original monoid:
 -1  1  1 1
 -1  2  1 1
 -1  3  1 1
  0  0  0 1
  0  1  0 1
  0  1  1 1
  0  2  0 1
  0  2  1 1
  0  2  2 1
  0  3  1 1
  0  3  2 1
  0  3  3 1
  0  4  2 1
  0  4  3 1
  0  4  4 1
  0  5  3 1
  0  5  4 1
  0  5  5 1
  0  6  4 1
  0  6  5 1
  0  7  5 1
  1 -1 -1 1
  1  0 -1 1
  1  0  0 1
  1  1 -1 1
  1  1  0 1
  1  2  0 1
  1  2  2 1
  1  2  3 1
  1  3  2 1
  1  3  3 1
  1  3  4 1
  1  4  2 1
  1  4  3 1
  1  4  4 1
  1  5  4 1
  2 -1 -1 1
  2  0 -1 1
  2  1 -1 1
  2  1  2 1
  2  2  3 1
  3  1  2 1

6 support hyperplanes of polyhedron (homogenized):
 0  0  0 1
 0  0  1 1
 0 10 -8 7
 1  0  1 0
 3  8 -7 2
 5  0 -1 6