GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
2 3 -1 1 0 -1 0 1 inequalities 1 3 1 0 0 dehomogenization