CoCalc -- SkyscraperOnP1.g

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Project: cocalc-sagemath-dev-slelievre

Path: gap4r8 / pkg / GradedModules-2017.09.10 / examples / SkyscraperOnP1.g

Views: ⁴¹⁸³⁴⁶

LoadPackage( "GradedRingForHomalg" );

S := GradedRing( HomalgFieldOfRationalsInDefaultCAS( ) * "x,y" );

LoadPackage( "GradedModules" );

m := MaximalGradedLeftIdeal( S );

k := ResidueClassRingAsGradedLeftModule( S );

I := GradedLeftSubmodule( "y", S );

M := FactorObject( I );