Travaux pratiques
correspondant à l’ajout de l’élément g, puis une procédure sgf:=proc(SG,n) renvoyant le système générateur fort demandé.
Remarque. Le lecteur motivé pourra consulter [16], paragraphe 6, pour une preuve
(théorème 6.8) ainsi qu’une discussion de la complexité de cet algorithme.
Enfin, tester l’efficacité du calcul du cardinal et des éléments, via celui d’un
système générateur fort, en comparant les temps de calcul avec ceux des commandes grouporder et elements de Maple, ainsi qu’avec la procédure naïve
elements1 du TP.I. Conclusion ? Ces commandes Maple sont, en fait, basées
sur des variantes de l’algorithme de Schreier-Sims.
63
correspondant à l’ajout de l’élément g, puis une procédure sgf:=proc(SG,n) renvoyant le système générateur fort demandé.
Remarque. Le lecteur motivé pourra consulter [16], paragraphe 6, pour une preuve
(théorème 6.8) ainsi qu’une discussion de la complexité de cet algorithme.
Enfin, tester l’efficacité du calcul du cardinal et des éléments, via celui d’un
système générateur fort, en comparant les temps de calcul avec ceux des commandes grouporder et elements de Maple, ainsi qu’avec la procédure naïve
elements1 du TP.I. Conclusion ? Ces commandes Maple sont, en fait, basées
sur des variantes de l’algorithme de Schreier-Sims.
63