GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
############################################################################# ## ## MAGMAGroebner.gd RingsForHomalg package Markus Kirschmer ## ## Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen ## ## Declarations for Groebner basis related computations in MAGMA. ## #############################################################################