CoCalc -- FreeHom.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 / ExamplesForHomalg-2017.09.02 / examples / FreeHom.g

Views: ⁴¹⁸³⁴⁶

LoadPackage( "RingsForHomalg" );

R := HomalgFieldOfRationalsInDefaultCAS( ) * "x,y";

M := HomalgMatrix( "[x^3,y^3,x+y,x-y, y,x,x,y]", 2, 4, R );

LoadPackage( "Modules" );

M := LeftPresentation( M );

H := Hom( M, R );

# NrRelations( H );