GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
#############################################################################
##
## LocalizeRingGroebner.gd LocalizeRingForHomalg package
##
## Copyright 2009-2011, Mohamed Barakat, University of Kaiserslautern
## Markus Lange-Hegermann, RWTH-Aachen University
##
## Declarations for Groebner basis related computations of local rings.
##
#############################################################################
DeclareOperation( "CreateHomalgTableForLocalizedRings",
[ IsHomalgRing ] );