Quelle 2018-03-21-MagmaWithInversesByGenerators.tst
Sprache: unbekannt
|
|
Spracherkennung für: .tst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# GAP used to set the IsFinitelyGeneratedGroup property for every finitely
# generated magma-with-inverses, even those which are not groups.
gap> A:=[[1,2,3,4],[2,1,4,2],[3,4,1,3],[4,2,3,1]];
[ [ 1, 2, 3, 4 ], [ 2, 1, 4, 2 ], [ 3, 4, 1, 3 ], [ 4, 2, 3, 1 ] ]
gap> M:=MagmaWithInversesByMultiplicationTable(A);
<magma-with-inverses with 4 generators>
gap> IsFinitelyGeneratedGroup(M);
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 2nd choice method found for `IsFinitelyGeneratedGroup' on 1 argument\
s
gap> IsGroup(M);
false
[ Dauer der Verarbeitung: 0.137 Sekunden
]
|
2026-03-28
|
