GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
############################################################################# ## ## SingularTools.gi LocalizeRingForHomalg package ## ## Copyright 2013, Mohamed Barakat, University of Kaiserslautern ## Markus Lange-Hegermann, RWTH-Aachen University ## Vinay Wagh, Indian Institute of Technology Guwahati ## ## Declarations for the rings provided by Singular. ## ############################################################################# DeclareGlobalVariable( "LocalizeRingMacrosForSingular" ); DeclareGlobalVariable( "LocalizeRingWithMoraMacrosForSingular" ); DeclareGlobalVariable( "CommonHomalgTableForSingularBasicMoraPreRing" ); DeclareGlobalVariable( "CommonHomalgTableForSingularToolsMoraPreRing" ); DeclareGlobalVariable( "HomalgTableForLocalizedRingsForSingularTools" ); DeclareGlobalVariable( "CommonHomalgTableForHomalgFakeLocalRing" ); DeclareGlobalVariable( "FakeLocalizeRingMacrosForSingular" );