gap> LoadPackage( "FreydCategoriesForCAP" );
true
gap> LoadPackage( "SubcategoriesForCAP" );
true
gap> zz := HomalgRingOfIntegers( );;
gap> rows := CategoryOfRows( zz );
Rows( Z )
gap> A := FreydCategory( rows );
Freyd( Rows( Z ) )
gap> Proj_A := FullSubcategoryOfProjectiveObjects( A );
FullSubcategoryOfProjectiveObjects( Freyd( Rows( Z ) ) )
gap> M1 := HomalgMatrix( [ [ 1, 0 ], [ 0, 0 ] ], 2, 2, zz ) / rows / A / Proj_A;;
gap> M2 := HomalgMatrix( [ [ 2, 0 ], [ 0, 0 ] ], 2, 2, zz ) / rows / A / Proj_A;;
gap> IsWellDefinedForObjects( M1 );
true
gap> IsWellDefinedForObjects( M2 );
false