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 462 B image not shown  

Quelle  AMaximalIdealContaining.g   Sprache: unbekannt

 
LoadPackage( "RingsForHomalg" );

R := HomalgFieldOfRationalsInDefaultCAS( ) * "a,b,c,d,e,f,g,h";

indets := Indeterminates( R );

LoadPackage( "Modules" );

I := LeftSubmodule( "abc,bcd,cde,adf,cgh,b3f,a3g", R );

m := AMaximalIdealContaining( I );

Assert( 0, m = LeftSubmodule( indets, R ) );

J := RightSubmodule( EntriesOfHomalgMatrix( MatrixOfSubobjectGenerators( I ) ) );

n := AMaximalIdealContaining( J );

Assert( 0, n = RightSubmodule( indets, R ) );

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]