search

gap-packages / recog

The GAP package recog to collect methods for constructive recognition
https://gap-packages.github.io/recog/
GNU General Public License v3.0
6 stars 14 forks source link

Implement sporadic naming as in magma #196

Closed ssiccha closed 3 years ago

ssiccha commented 4 years ago

See the discussion in #195. Implementing the RecognizeSporadic function from magma is straight-forward. In magma it is called with the orders of at least 500 random group elements. So it might be a little bit slower then SporadicsByOrders which we currently use and which uses about 120 random elements. If the magma function turns out to be a lot more accurate though, we could get rid of SporadicsByOrders.

fingolfin commented 4 years ago

It would be good to find out (e.g. by asking Eamonn) what the provenance of RecognizeSporadic is -- is there e.g. a paper reference? And what are the assumptions this function makes exactly? From a glance at it, I'd guess that it assumes that one already ruled out (probabilistically at least) that the group is alternativ, symmetric etc. Correct?

Also, it's not clear to me how the Magma code deals with Schur covers of the sporadic groups? It seems to me that RecognizeSporadic assumes there is no center? I may be misunderstanding here something, though?

ssiccha commented 4 years ago

I've asked Eamonn. Let's see. :)