This serves as a reminder, so we don't forget.
The functions provided in PR#371 do not cover SL(3,q) yet, only $n>3$. However, using PR#508 (which provides a function that computes a subgroup of SL(3,q) that is isomorphic to SL(2,q)) one is able to adjust RECOG.SLn_constructsl2 covering $n>1$. Afterwards, in theory, the Going-Up-Step in R#371 , i.e. "from SL(2,q) to SL(3,q)", should work without any major changes.
This serves as a reminder, so we don't forget.$n>3$ . However, using PR#508 (which provides a function that computes a subgroup of SL(3,q) that is isomorphic to SL(2,q)) one is able to adjust $n>1$ . Afterwards, in theory, the Going-Up-Step in R#371 , i.e. "from SL(2,q) to SL(3,q)", should work without any major changes.
The functions provided in PR#371 do not cover SL(3,q) yet, only
RECOG.SLn_constructsl2covering