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 ] );