Revision b134331f84aeaed5ea4c8f1cea5a7a760128385c authored by Mohamed Barakat on 11 March 2022, 08:23:45 UTC, committed by GitHub on 11 March 2022, 08:23:45 UTC
Apply PackageJanitor
MainExample.g
LoadPackage( "RingsForHomalg" );
Qxyzt := HomalgFieldOfRationalsInDefaultCAS( ) * "x,y,z,t";
wmat := HomalgMatrix( "[ \
x*y, y*z, z*t, 0, 0, 0,\
x^3*z,x^2*z^2,0, x*z^2*t, -z^2*t^2, 0,\
x^4, x^3*z, 0, x^2*z*t, -x*z*t^2, 0,\
0, 0, x*y, -y^2, x^2-t^2, 0,\
0, 0, x^2*z, -x*y*z, y*z*t, 0,\
0, 0, x^2*y-x^2*t,-x*y^2+x*y*t,y^2*t-y*t^2,0,\
0, 0, 0, 0, -1, 1 \
]", 7, 6, Qxyzt );
LoadPackage( "GradedRingForHomalg" );
S := GradedRing( Qxyzt );
LoadPackage( "Modules" );
N := LeftPresentation( wmat );
LoadPackage( "GradedModules" );
M := LeftPresentation( S * wmat );
W := LeftPresentationWithDegrees( wmat, S );
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...