GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
#############################################################################
##
## LocalizeRingForHomalg.gi LocalizeRingForHomalg package
##
## Copyright 2013, Mohamed Barakat, University of Kaiserslautern
## Markus Lange-Hegermann, RWTH-Aachen University
## Vinay Wagh, Indian Institute of Technology Guwahati
##
## Implementation stuff for LocalizeRingForHomalg.
##
#############################################################################
####################################
#
# global variables:
#
####################################
# a central place for configuration variables:
##
InstallValue( HOMALG_LOCALIZE_RING,
rec(
)
);
##
InstallValue( CommonHomalgTableForLocalizedRings,
rec(
RingName :=
function( R )
local GlobalRing;
GlobalRing := AssociatedGlobalRing( R );
if HasName( R ) then
return Name( R );
fi;
if IsHomalgInternalRingRep( GlobalRing ) then
return Concatenation( RingName( GlobalRing ), "_< ", JoinStringsWithSeparator( EntriesOfHomalgMatrix( GeneratorsOfMaximalRightIdeal( R ) ), ", " ), " >" );
else
return Concatenation( RingName( GlobalRing ), "_< ", JoinStringsWithSeparator( List( EntriesOfHomalgMatrix( GeneratorsOfMaximalRightIdeal( R ) ), Name ), ", " ), " >" );
fi;
end,
)
);