1LoadPackage( "RingsForHomalg" );
2
3LoadPackage( "Modules" );
4
5Qxyz := HomalgFieldOfRationalsInDefaultCAS( ) * "x,y,z";
6
7wmat := HomalgMatrix( "[ \
80, -2*x, z-2*y-x, -1, \
90, z-2*x, 2*y-3*x, 1, \
10z, -6*x, -2*y-5*x, -1, \
110, y-x, y-x, 0, \
12y, -x, -y-x, 0, \
13x, -x, -2*x, 0 \
14]", 6, 4, Qxyz );
15
16W := LeftPresentation( wmat );
17
18