CoCalc -- HairyBall.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 / HairyBall.g

Views: ⁴¹⁸³⁴⁶

LoadPackage( "RingsForHomalg" );

R := HomalgFieldOfRationalsInDefaultCAS( ) * "x,y,z" / "x^2+y^2+z^2-1";

m := HomalgMatrix( "[ x, y, z ]", 1, 3, R );

LoadPackage( "Modules" );

M := LeftPresentation( m );

IsStablyFree( M );	## also figures out the rank