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.27 Sekunden
]
