GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
amb_space 2 nonnegative inequalities 1 0 -1 congruences 1 0 1 2
