1LoadPackage( "RingsForHomalg" );
2
3LoadPackage( "Modules" );
4
5R := HomalgRingOfIntegersInDefaultCAS( );
6
7Qxyz := HomalgFieldOfRationalsInDefaultCAS( R ) * "x,y,z";
8
9M := HomalgMatrix( "[ x, y, z ]", 1, 3, Qxyz );
10M := LeftPresentation( M );
11N := HomalgMatrix( "[ \
12  x,   y,   z, \
13x^3, y^3, z^3  \
14]", 2, 3, Qxyz );
15N := LeftPresentation( N );
16A := HomalgMap( HomalgIdentityMatrix( NrGenerators( M ), Qxyz ), M, N );
17map := Hom( A, Qxyz );
18