Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/matricesforhomalg/tst/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 7.8.2025 mit Größe 585 B image not shown  

Quelle  UniqueRightDivide.tst   Sprache: unbekannt

 
gap> START_TEST( "UniqueRightDivide" );

#
gap> LoadPackage( "MatricesForHomalg", false : OnlyNeeded );
true
gap> old_assertion_level := AssertionLevel( );;
gap> SetAssertionLevel( 5 );
gap> zz := HomalgRingOfIntegers( );;
gap> A := HomalgMatrix( [ [ 3 ] ], 1, 1, zz );;
gap> B := HomalgMatrix( [ [ 6 ] ], 1, 1, zz );;
gap> T := UniqueRightDivide( B, A );;
gap> Display( T );
[ [  2 ] ]
gap> T * A = B;
true
gap> T := UniqueLeftDivide( A, B );;
gap> Display( T );
[ [  2 ] ]
gap> A * T = B;
true
gap> SetAssertionLevel( old_assertion_level );

#
gap> STOP_TEST( "UniqueRightDivide" );

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]