Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/gradedmodules/examples/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.11.2024 mit Größe 498 B image not shown  

Quelle  Triangle.g   Sprache: unbekannt

 
ReadPackage( "GradedModules", "examples/ReducedBasisOfModule.g" );

triangle := RGradedHom( C, T );
lecs := LongSequence( triangle );
IsExactSequence( lecs );
Triangle := LTensorProduct( C, T );
lehs := LongSequence( Triangle );
IsExactSequence( lehs );
ByASmallerPresentation( lecs );
homalgResetFilters( lecs );
Assert( 0, IsExactSequence( lecs ) );
ByASmallerPresentation( lehs );
homalgResetFilters( lehs );
Assert( 0, IsExactSequence( lehs ) );

#Display( StringTime( homalgTime( Qxyzt ) ) );

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]