GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
amb_space 2 constraints 3 symbolic x[2] >= -1/2; x[2] <= 3/2; x[2] <= x[1] + 3/2; grading unit_vector 1 LongLong
