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