[GAP Forum] Order of a group presentation

[Nick Gill]

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