GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
############################################################################# ## ## GradedRingForHomalg.gi GradedRingForHomalg package Mohamed Barakat ## Markus Lange-Hegermann ## ## Copyright 2010, ## ## Implementation stuff for GradedRingForHomalg. ## ############################################################################# #################################### # # global variables: # #################################### # a central place for configuration variables: ## InstallValue( HOMALG_GRADED_RING, rec( ) ); HOMALG_IO.Pictograms.DegreesOfEntries := "doe"; ## degrees of entries HOMALG_IO.Pictograms.NonTrivialDegreePerRow := "dpr"; ## degree of the first non-trivial entry per row HOMALG_IO.Pictograms.NonTrivialDegreePerColumn := "dpc"; ## degree of the first non-trivial entry per column HOMALG_IO.Pictograms.LinearSyzygiesGenerators := "lsy"; ## linear syzygies HOMALG_IO.Pictograms.Diff := "dif"; ## differentiate a matrix M w.r.t. a matrix D ## InstallValue( CommonHomalgTableForGradedRings, rec( RingName := function( S ) local w; if HasName( S ) then return Name( S ); fi; w := WeightsOfIndeterminates( S ); if w <> [] then return Concatenation( RingName( UnderlyingNonGradedRing( S ) ), " (with weights ", String( WeightsOfIndeterminates( S ) ), ")" ); else return RingName( UnderlyingNonGradedRing( S ) ); fi; end, ) );