GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
#############################################################################
##
## LocalizeRingAtPrime.gd LocalizeRingForHomalg package
##
## Copyright 2013, Mohamed Barakat, University of Kaiserslautern
## Vinay Wagh, Indian Institute of Technology Guwahati
##
## Declarations for localization at prime ideals
##
#############################################################################
DeclareOperation( "CreateHomalgTableForLocalizedRingsAtPrimeIdeals",
[ IsHomalgRing ] );