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