|
LoadPackage( "RingsForHomalg" );
LoadPackage( "Modules" );
Zx := HomalgRingOfIntegersInDefaultCAS( ) * "x";
R := Zx / "x^2 + 5";
I := HomalgMatrix( "[ 2, 1+x ]", 2, 1, R );
I := LeftSubmodule( I );
M := UnderlyingObject( I );
e := CoveringEpi( M );
s := PreInverse( e );
a := PreCompose( s, e );
IsIsomorphism( a );
DecideZero( a );
N := Hom( R, M );
f := CoveringEpi( N );
t := PreInverse( f );
b := PreCompose( t, f );
IsIsomorphism( b );
DecideZero( b );
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
