Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/tst/testbugfix/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 18.9.2025 mit Größe 750 B image not shown  

Quelle  2018-03-21-IsFinitelyGeneratedGroup.tst   Sprache: unbekannt

 
# There was an incorrect method for IsFinitelyGeneratedGroup which assumed
# that a group given by an infinite generating set is not finitely generated,
# which is of course false: any finitely generated infinite group is generated
# by its set of elements.
#
# Test that this is not the case anymore:
gap> F:=FreeGroup(1);;
gap> G:=SubgroupShell(F);
Group(<free, no generators known>)
gap> SetGeneratorsOfGroup(G, Enumerator(F));

# We are defensive: GAP should either not know that G is finitely generated
# (that's the situation right now), or, if it ever is improved to handle this
# case, it should correctly determine that G = F is finitely generated (even
# cyclic)
gap> not HasIsFinitelyGeneratedGroup(G) or IsFinitelyGeneratedGroup(G);
true

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]