Skip to main content

Browse the archive

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 
Merge pull request #468 from zickgraf/PackageJanitor
 
Apply PackageJanitor
2 parent s ffbeb0c + 7c6b864
Raw File
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 );
back to top