GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
amb_space 1 inequalities 2 1 -1 polynomial 1/2+x[1]; VirtualMultiplicity
