Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/examplesforhomalg/examples/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 5.9.2023 mit Größe 657 B image not shown  

Quelle  RHom_Z.g   Sprache: unbekannt

 
LoadPackage( "RingsForHomalg" );

LoadPackage( "Modules" );

## Define the ring of integers:
R := HomalgRingOfIntegersInDefaultCAS( );
#Display( R );
m := HomalgMatrix( "[ 8, 0,    0, 2 ]", 2, 2, R );
#Display( m );
M := LeftPresentation( m );
#Display( M );
a := HomalgMatrix( "[ 2, 0 ]", 1, 2, R );
alpha := HomalgMap( a, "free", M );
pi := CokernelEpi( alpha );
#Display( pi );
iota := KernelEmb( pi );
#Display( iota );
N := Kernel( pi );
#Display( N );
C := HomalgComplex( pi );
Add( C, iota );
ByASmallerPresentation( C );
#Display( C );
T := RHom( C, N );
ByASmallerPresentation( T );
L := LongSequence( T );
#Display( L );
IsExactSequence( L );
#L;

[ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ]