add .torsion_basis() method to EllipticCurve_finite_field

[yyyyx4]

Fixes #34718.

[codecov-commenter]

Codecov Report

❗ No coverage uploaded for pull request base (develop@9116c55). Click here to learn what that means.
Patch has no changes to coverable lines.

Additional details and impacted files

@@            Coverage Diff             @@
##             develop   #34982   +/-   ##
==========================================
  Coverage           ?   88.59%           
==========================================
  Files              ?     2136           
  Lines              ?   396146           
  Branches           ?        0           
==========================================
  Hits               ?   350952           
  Misses             ?    45194           
  Partials           ?        0           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

[roed314]

There are failing tests, but otherwise this looks good to me.

[yyyyx4]

The test failure is unrelated to the changes here. See #35017.

[JohnCremona]

Looks good to me and tests do now pass -- @roed314 can you do a positive review and change the label accordingly? (I can do the latter, but you are the official reviewer.)

[roed314]

Lgtm