Adding some comments on the function RECOG.SLn_godownfromd

[Till-Eisen]

As the title describes, I added some remarks for better understanding. I did not go into every detail though.

[Till-Eisen]

The function in question is used at the moment solely for d=4, i.e. the input group $g$ is isomorphic to $SL(4.q)$. If there are applications for the function for §d>q$ it would make sense to adjust the function in the following way:
Instead of searching random elements until $yy$ has order $q-1$, one could use either yy := y^(Order(y)/k) with k = lcd(order, q-1) or (If $d$ is to large to efficiently compute the order of $y$) yy := y^((q^(d-1)-1)/(q-1)).

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 88.06%. Comparing base (28cfec8) to head (6a25cef).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #521      +/-   ##
==========================================
+ Coverage   86.42%   88.06%   +1.63%     
==========================================
  Files          45       45              
  Lines       19289    19291       +2     
==========================================
+ Hits        16671    16988     +317     
+ Misses       2618     2303     -315     

Files with missing lines	Coverage Δ
gap/projective/sl.gi	98.41% <ø> (ø)

... and 14 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[SoongNoonien]

Why did you remove this comment?