Wrong degree limit in PrimitiveGroup()

[Peter Mueller]

Still in SageMath version 9.3.rc5, the call "PrimitiveGroup(2500, 1)" raises a "NotImplementedError: Only the primitive groups of degree less than 2500 are available in GAP's database", even though the primitive groups are available up to degree 4095.

The exception is raised by the wrong degree limit in  line 2489 of local/lib/python3.9/site-packages/sage/groups/perm_gps/permgroup_named.py

So replacing 2500 with 4096 there (and at a few places in the doc string) is a trivial fix. However, since I'm not familiar with the development, I suggest that someone else takes care of that.

-- Peter Mueller

[Vincent Delecroix]

Thanks for your report. Is there already a trac ticket opened about
that?

Vincent

[Peter Mueller]

I did not find anything about that. So I opened a new ticket at https://trac.sagemath.org/ticket/31774. (It is my first one, I hope I did not violate too many conventions.)

-- Peter Mueller

[Vincent Delecroix]

This is perfect. Thanks for your report!

Vincent