CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

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

| Download

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

Views: 418346
Tweet
Share
Share
LoadPackage( "RingsForHomalg" );

LoadPackage( "Modules" );

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

YI := HomalgMatrix( "[ \
y^2-x*(x-1)*(x+1), 0, 0, \
0, x, 0, \
0, y, 0, \
0, 0, x, \
0, 0, y-1 \
]", 5, 3, Qxy );

Y := LeftPresentation( Involution( YI ) );

Yt := TorsionObject( Y );

Ann := Annihilator( Yt );