PUBLIC / CYHOEDDUS

Hi GAP people,

I'm doing some coding where I process a long list of group presentations. For 
each presentation I'd like to calculate the order.

My problem is that I'm not 100% sure if all of the presentations yield finite 
groups. I'd like to ask GAP to first check to see if the group has order less 
than a 1000 (say) and, if not, then skip this presentation and move onto the 
next one.

My problem is that the Order command seems to ask GAP to give a full coset 
enumeration and so the loop keeps hanging when it hits possibly infinite groups.

So... Is there a GAP command that can do a partial coset enumeration to work 
out lower bounds for the size of a finitely presented group?(Or is there 
another way around this problem?)

Thanks!
Nick
_______________________________________________
Forum mailing list
Forum@gap-system.org
https://mail.gap-system.org/mailman/listinfo/forum

Reply via email to