Large base primitive groups recognition broken?

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

Closed ssiccha closed 4 years ago

ssiccha commented 4 years ago

I could not find an example of a large base primitive group which is recognized by FindHomMethodsPerm.LargeBasePrimitive. It always returns fail.

I'll try to find out whether that is due to the recognition function being broken.

ssiccha commented 4 years ago

Never mind. I read an inequality, which describes which groups are recognized, the wrong way round.