GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
LoadPackage( "GradedRingForHomalg" ); S := GradedRing( HomalgFieldOfRationalsInDefaultCAS( ) * "x,y" ); LoadPackage( "GradedModules" ); m := MaximalGradedLeftIdeal( S ); k := ResidueClassRingAsGradedLeftModule( S ); I := GradedLeftSubmodule( "y", S ); M := FactorObject( I );