Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
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
Project: cocalc-sagemath-dev-slelievre
Views: 4183860 Hilbert basis elements of degree 1 19 extreme rays 134 support hyperplanes embedding dimension = 9 rank = 9 (maximal) external index = 1 internal index = 4 size of triangulation = 281 resulting sum of |det|s = 1700 grading: 1 1 1 1 1 1 1 1 1 degrees of extreme rays: 4: 19 multiplicity = 425/65536 Hilbert series: 1 -1 0 0 11 -11 6 -4 58 -34 33 -12 150 -30 60 14 117 2 29 16 16 0 3 1 denominator with 9 factors: 1: 1 4: 8 degree of Hilbert Series as rational function = -10 Hilbert series with cyclotomic denominator: -1 1 0 0 -11 11 -6 4 -58 34 -33 12 -150 30 -60 -14 -117 -2 -29 -16 -16 0 -3 -1 cyclotomic denominator: 1: 9 2: 8 4: 8 Hilbert quasi-polynomial of period 4: 0: 2642411520 2334916608 885112832 195743744 28698880 2949632 225568 13136 425 1: 47747385 -21245592 -21642612 -4398408 -543130 33432 41132 7368 425 2: -55883520 -47314944 397056 9730560 3110240 491904 69104 8160 425 3: -6462855 -15019176 -5887796 3363080 543270 -162904 -6804 5240 425 with common denominator = 2642411520 *********************************************************************** 0 Hilbert basis elements of degree 1: 19 extreme rays: 0 0 0 0 1 1 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 134 support hyperplanes: -11 5 9 -3 5 13 1 9 -7 -7 -3 1 9 17 5 -7 1 5 -7 1 5 1 1 9 5 5 -3 -7 1 9 -3 13 17 -7 9 -11 -5 3 5 -1 1 5 1 3 -3 -3 1 -3 5 5 1 -3 5 1 -3 1 1 1 1 1 1 1 1 -3 1 3 -1 1 3 1 3 -1 -3 1 3 1 -1 3 3 1 -1 -3 3 -1 1 3 5 -3 -1 5 -3 5 -3 5 1 -3 1 9 1 -3 5 -3 5 1 1 -3 5 1 -1 -5 -1 7 7 3 -1 -1 3 -1 -3 1 3 5 -1 -1 1 5 -1 -1 -1 3 3 -1 -1 3 3 -1 -1 1 1 1 -1 1 1 3 -1 -1 2 0 0 1 2 2 1 -1 -1 3 -1 -1 3 3 3 3 -1 -1 3 -1 1 1 1 3 1 -1 0 1 0 0 1 1 1 0 -1 1 -1 1 1 -1 1 3 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 3 -1 -1 1 -1 1 1 3 -1 -1 3 -1 1 -1 1 1 3 -1 5 -3 -1 1 -1 2 1 0 -1 2 0 -1 1 -1 3 1 -1 -1 3 1 -1 1 0 0 1 2 -1 3 -2 -1 1 0 1 0 0 0 1 0 -1 1 0 2 0 -1 0 2 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 3 -1 1 -1 -1 1 1 0 0 1 0 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 2 0 0 1 0 0 -1 -1 1 2 1 0 0 0 -1 0 -1 1 4 2 0 -1 0 -2 1 -1 3 -5 3 3 -1 -1 7 -1 -1 3 -1 -1 3 -1 3 3 -1 -1 3 -1 1 1 -1 1 3 -1 -1 3 -1 3 -1 -1 -1 3 3 -1 3 -1 3 -1 -1 3 3 -1 -1 3 3 -1 -1 3 -1 -1 -1 0 -2 3 -1 2 1 0 3 1 0 -1 0 1 1 0 0 0 1 0 -1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 -1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 -1 0 0 0 0 1 -1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 -1 0 -1 0 0 1 1 -1 0 1 -1 0 0 0 1 1 1 0 -1 -1 0 0 1 0 -1 1 0 1 0 0 0 1 0 -1 1 0 1 1 -1 0 1 0 0 0 1 -1 -1 1 0 1 0 1 -1 0 2 1 -1 0 2 0 -1 1 0 1 2 -2 0 2 1 0 -1 1 -1 -2 1 1 -7 1 5 5 9 1 1 -3 1 -3 -1 3 3 1 1 -1 1 1 -3 1 1 1 1 1 1 1 1 -3 1 1 5 -3 1 1 5 1 -3 1 5 1 1 1 -3 1 1 -3 1 5 5 1 -3 -3 1 1 -3 5 -1 3 1 -1 3 1 1 -3 5 9 13 1 -11 -7 1 1 -1 -1 1 1 1 1 -1 1 1 -1 0 1 1 0 0 -1 0 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 3 -1 1 1 -1 -1 1 -1 3 0 2 1 -2 0 -1 1 -1 3 3 5 1 -5 -3 -1 1 0 0 -1 2 -1 1 0 0 1 0 0 0 0 0 0 -1 0 1 0 0 0 1 -1 0 0 0 1 1 -3 1 1 1 1 1 1 1 1 -3 1 1 1 1 5 -3 1 1 -3 1 1 5 1 -3 5 1 1 -3 5 5 -3 -3 5 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -3 1 1 1 1 1 1 1 1 -3 3 -1 3 1 -1 1 1 1 -3 5 -3 5 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -3 1 1 -3 1 1 1 1 1 -1 -1 3 -1 -1 1 1 1 1 1 -3 1 1 1 1 1 1 1 1 1 -3 -3 1 1 1 5 1 1 -3 1 -3 1 1 2 0 -3 2 1 1 0 -1 1 2 1 -1 -1 3 -2 -2 0 1 3 -1 -3 3 1 1 -1 1 1 3 1 -5 5 -1 5 1 -3 1 3 1 -1 -1 1 -1 -3 1 1 3 1 -1 -1 3 -3 -3 1 1 5 -3 -3 5 1 1 9 -7 1 5 1 -7 5 1 5 1 -3 1 5 1 -7 9 -3 9 1 -3 1 5 3 -3 -1 7 -5 -3 -1 2 -1 0 1 1 0 0 -1 -1 2 1 0 -3 4 -1 2 0 -2 3 -5 -1 3 3 3 3 -1 -1 3 -5 3 7 -1 3 3 -5 -1 3 -1 -1 -1 3 -1 3 -1 -1 3 -1 -1 -1 7 -5 3 3 3 3 -1 -1 3 3 -1 -1 -1 -1 3 -1 3 -1 3 -1 -1 -1 -1 3 -1 3 3 7 -1 -5 -5 -1 3 1 1 -1 1 -1 -1 -3 1 3 3 -1 -5 3 3 3 -1 -1 3 3 -1 -1 -1 3 -1 -5 3 3 3 1 -1 -1 1 -3 -5 3 3 3 3 -1 -1 -1 -1 -5 3 3 7 3 -5 -1 3 -1 -5 -1 3 7 3 -1 -5 3 -5 -9 7 3 11 3 -1 -5 7 -9 -13 7 5 1 1 -7 9 -3 5 1 -3 5 1 1 -3 5 -3 1 -3 -3 5 5 1 -3 -3 5 -3 -7 1 5 9 1 -3 -3 5 -7 -11 5 7 -1 3 -1 7 -5 -1 -5 -1 7 3 -1 -9 15 -5 7 -1 -5 7 11 3 -9 -1 7 -5 -9 -1 9 -7 1 5 5 1 1 -7 -3 9 -3 1 1 5 -3 1 -7 -3 11 -1 -1 -1 7 -5 3 -5 -5