GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
0 module generators 0 Hilbert basis elements of recession monoid embedding dimension = 4 dehomogenization: 0 0 0 1 *********************************************************************** 0 module generators: 0 Hilbert basis elements of recession monoid: