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