Dear Forum, Dear Paul Timmons,
Having downloaded Gap 4.9.3 I found there seems to be an issue with
computing orders of groups of greater than 1000 which were pretty immediate
in older versions.
Thank you for the report.
I looked through the (rewritten because of a lack of maintainer of the previous
version) code for the Modified Todd-Coxeter that is used in this calculations
and discovered a problem that leads to severe performance degradation in larger
examples. A fix is submitted for inclusion in a future release.
Regards,
Alexander Hulpke
-- Colorado State University, Department of Mathematics,
Weber Building, 1874 Campus Delivery, Fort Collins, CO 80523-1874, USA
email: hul...@colostate.edu<mailto:hul...@colostate.edu>,
http://www.math.colostate.edu/~hulpke
On Sep 12, 2018, at 2:24 PM, Paul Timmons
<pauloliver.timm...@gmail.com<mailto:pauloliver.timm...@gmail.com>> wrote:
Having downloaded Gap 4.9.3 I found there seems to be an issue with
computing orders of groups of greater than 1000 which were pretty immediate
in older versions. Is there some setting for coset size or other that needs
adding? e. g. the presentation for M22 in the Atlas. F:=FreeGroup("a",
"b");a:=F. 1;b:=F.2;rels:=<relators of the group>;G:=F/rels;Order(G) ;
<hangs>
_______________________________________________
Forum mailing list
Forum@gap-system.org<mailto:Forum@gap-system.org>
https://mail.gap-system.org/mailman/listinfo/forum
_______________________________________________
Forum mailing list
Forum@gap-system.org
https://mail.gap-system.org/mailman/listinfo/forum
