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: 418384amb_space 45 inhom_inequalities 78 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 0 0 0 0 0 1 0 0 0 -1 -1 -1 1 1 -1 1 1 -1 0 0 1 0 0 0 0 0 0 -1 -1 1 0 0 0 0 0 0 1 -1 -1 1 0 0 1 -1 -1 1 0 0 0 0 0 -1 0 0 0 1 1 1 -1 -1 1 -1 -1 1 0 0 -1 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 0 -1 1 1 -1 0 0 -1 1 1 -1 0 0 0 0 0 -1 0 0 0 1 -1 -1 1 1 -1 1 1 -1 0 0 -1 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 0 -1 1 1 -1 0 0 -1 -1 -1 1 0 0 0 0 0 1 0 0 0 -1 1 1 -1 -1 1 -1 -1 1 0 0 1 0 0 0 0 0 0 -1 -1 1 0 0 0 0 0 0 1 -1 -1 1 0 0 1 -1 1 1 0 0 0 0 0 0 0 0 0 0 -1 -1 -1 1 1 -1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 -1 1 -1 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 1 0 1 -1 -1 0 0 0 0 0 0 0 0 0 0 1 1 1 -1 -1 1 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 -1 1 0 0 0 0 0 0 -1 1 -1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 -1 -1 1 -1 1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 -1 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 1 1 -1 1 -1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 1 0 0 0 0 0 0 -1 -1 1 0 0 0 0 0 0 0 -1 0 0 -4 -4 -4 0 4 4 0 0 -4 4 4 0 -4 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 2 2 2 0 -2 -2 0 0 2 -2 -2 0 2 -3 2 -3 -3 -3 2 2 2 3 3 -3 3 3 -2 3 3 -2 -3 -3 2 3 -2 -2 3 -2 -2 -3 2 2 2 -2 -2 -2 2 2 2 0 -2 -2 0 0 2 -2 -2 0 2 2 -3 2 2 2 -3 -3 -3 -2 -2 2 -2 -2 3 -2 -2 3 2 2 -3 -2 3 3 -2 3 3 2 -3 -3 -3 3 3 3 4 4 4 0 -4 4 0 0 -4 -4 4 0 -4 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -2 -2 -2 0 2 -2 0 0 2 2 -2 0 2 -2 3 -2 -2 -2 3 3 3 2 -2 2 2 2 -3 -2 -2 3 2 2 -3 2 -3 -3 -2 3 3 2 -3 -3 -3 -3 3 3 -2 -2 -2 0 2 -2 0 0 2 2 -2 0 2 3 -2 3 3 3 -2 -2 -2 -3 3 -3 -3 -3 2 3 3 -2 -3 -3 2 -3 2 2 3 -2 -2 -3 2 2 2 2 -2 -2 4 4 -4 0 0 0 0 0 4 0 0 0 -4 1 1 -1 -1 1 -1 -1 1 0 0 -1 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 0 -1 1 1 -1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 0 1 1 0 1 1 0 0 0 0 -1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 -1 0 0 0 0 1 1 0 1 1 0 0 0 0 -1 -1 0 -2 -2 2 0 0 0 0 0 -2 0 0 0 2 -3 2 3 3 -3 -2 -2 2 0 0 3 0 0 0 0 0 0 -3 -3 -2 0 0 0 0 0 0 3 2 2 -2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 -1 -1 0 -1 -1 0 0 0 0 1 1 0 -2 -2 2 0 0 0 0 0 -2 0 0 0 2 2 -3 -2 -2 2 3 3 -3 0 0 -2 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 -2 -3 -3 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 -1 -1 0 -1 -1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 -4 -4 4 0 0 0 0 0 4 0 0 0 -4 -1 -1 1 1 -1 1 1 -1 0 0 -1 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 0 -1 1 1 -1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 1 0 -1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 2 2 -2 0 0 0 0 0 -2 0 0 0 2 -2 3 2 2 -2 -3 -3 3 0 0 -2 0 0 0 0 0 0 2 2 3 0 0 0 0 0 0 -2 -3 -3 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 1 0 -1 -1 0 0 0 0 -1 1 0 2 2 -2 0 0 0 0 0 -2 0 0 0 2 3 -2 -3 -3 3 2 2 -2 0 0 3 0 0 0 0 0 0 -3 -3 -2 0 0 0 0 0 0 3 2 2 -2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 -1 0 1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 -1 0 1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 -3 5 0 0 0 -3 3 2 5 -5 0 0 0 0 3 2 -2 -5 0 0 0 0 -2 0 0 0 0 0 0 -2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 3 -5 0 0 0 3 -3 -2 -5 5 0 0 0 0 -3 -2 2 5 0 0 0 0 2 0 2 -2 -2 0 0 0 0 0 0 0 0 0 0 2 -3 2 -2 -2 -3 3 3 0 0 0 0 0 5 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 -5 0 0 0 0 0 0 0 4 0 0 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 -1 1 -1 0 0 0 0 0 0 1 -1 1 0 0 0 0 0 1 0 2 -2 -2 0 0 0 0 0 0 0 0 0 0 -3 2 -3 3 3 2 -2 -2 5 0 0 5 -5 0 0 0 0 0 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 3 5 0 0 0 3 -3 -2 5 -5 0 0 0 0 -3 -2 2 -5 0 0 0 0 2 0 -4 4 4 0 0 0 0 0 0 0 0 0 0 1 1 1 -1 -1 1 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 0 0 -2 2 3 0 0 5 0 0 0 2 3 -3 0 5 -5 -5 0 -3 5 2 -2 -2 0 0 0 0 0 0 0 0 0 0 -3 2 -3 3 3 2 -2 -2 -5 0 0 -5 5 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 -1 1 0 0 0 0 0 0 -1 1 -1 0 0 0 0 0 -1 0 0 0 0 0 0 -2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 0 0 -2 2 3 0 0 -5 0 0 0 2 3 -3 0 -5 5 5 0 -3 5 2 -2 -2 0 0 0 0 0 0 0 0 0 0 2 -3 2 -2 -2 -3 3 3 0 0 0 0 0 -5 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 2 0 0 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 -3 -5 0 0 0 -3 3 2 -5 5 0 0 0 0 3 2 -2 5 0 0 0 0 -2 0 4 4 4 0 4 -4 0 0 -4 4 -4 0 -4 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -2 -2 -2 0 -2 2 0 0 2 -2 2 0 2 -2 3 -2 -2 -2 3 3 3 -2 2 2 -2 -2 3 2 2 -3 2 2 -3 -2 3 3 2 -3 -3 2 -3 -3 -3 3 -3 3 -2 -2 -2 0 -2 2 0 0 2 -2 2 0 2 3 -2 3 3 3 -2 -2 -2 3 -3 -3 3 3 -2 -3 -3 2 -3 -3 2 3 -2 -2 -3 2 2 -3 2 2 2 -2 2 -2 -4 -4 -4 0 -4 -4 0 0 -4 -4 -4 0 -4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 2 2 2 0 2 2 0 0 2 2 2 0 2 -3 2 -3 -3 -3 2 2 2 -3 -3 -3 -3 -3 2 -3 -3 2 -3 -3 2 -3 2 2 -3 2 2 -3 2 2 2 2 2 -2 2 2 2 0 2 2 0 0 2 2 2 0 2 2 -3 2 2 2 -3 -3 -3 2 2 2 2 2 -3 2 2 -3 2 2 -3 2 -3 -3 2 -3 -3 2 -3 -3 -3 -3 -3 3 0 0 0 0 2 0 0 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 -3 0 5 3 -3 2 0 0 0 -5 5 0 3 -2 2 0 0 0 -5 0 0 0 -2 0 0 0 0 0 0 -2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 3 0 -5 -3 3 -2 0 0 0 5 -5 0 -3 2 -2 0 0 0 5 0 0 0 2 0 0 -2 2 -2 0 0 0 0 0 0 0 0 0 0 2 -3 -2 2 -2 3 -3 3 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 -5 0 0 0 0 0 4 0 0 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 -1 0 0 0 0 0 0 1 1 -1 0 0 0 0 0 0 0 1 0 0 -2 2 -2 0 0 0 0 0 0 0 0 0 0 -3 2 3 -3 3 -2 2 -2 0 5 0 0 0 0 -5 5 0 0 0 0 0 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 3 0 5 -3 3 -2 0 0 0 -5 5 0 -3 2 -2 0 0 0 -5 0 0 0 2 0 0 4 -4 4 0 0 0 0 0 0 0 0 0 0 1 1 -1 1 -1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 -2 3 0 0 0 0 0 5 2 -3 3 0 0 0 0 -5 5 -5 -3 0 5 -2 2 -2 0 0 0 0 0 0 0 0 0 0 -3 2 3 -3 3 -2 2 -2 0 -5 0 0 0 0 5 -5 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 1 0 0 0 0 0 0 -1 -1 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 -2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 -2 3 0 0 0 0 0 -5 2 -3 3 0 0 0 0 5 -5 5 -3 0 5 -2 2 -2 0 0 0 0 0 0 0 0 0 0 2 -3 -2 2 -2 3 -3 3 0 0 0 0 0 0 0 0 -5 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 5 0 0 0 0 0 2 0 0 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 -3 0 -5 3 -3 2 0 0 0 5 -5 0 3 -2 2 0 0 0 5 0 0 0 -2 0 0