Spracherkennung für: .tst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#@local G,inv,phi
gap> START_TEST("triviso.tst");
gap> G := Group(());
Group(())
gap> phi := IsomorphismPermGroup(G);
IdentityMapping( Group(()) )
gap> HasIsBijective(phi);
true
gap> inv := InverseGeneralMapping(phi);
IdentityMapping( Group(()) )
gap> HasIsMapping(inv);
true
gap> STOP_TEST("triviso.tst");
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-06-15]
