Opened 4 years ago

Last modified 4 years ago

#26462 new enhancement

move hyperelliptic curve reconstruction to invariant theory

Reported by: mstreng Owned by:
Priority: major Milestone: sage-8.4
Component: number theory Keywords: hyperelliptic, invariant, reconstruction, Mestre, curve
Cc: jnoordsij, florian Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #26370, #25508 Stopgaps:

Status badges

Description

As discussed in #22173, the genus-two hyperelliptic curve invariants are just binary sextic invariants. And the reconstruction is just binary sextic reconstruction. These can be applied more generally. Also, there will be too many things in the global namespace and too many classes if we continue in the old way.

  • Move the internal workings of the invariants and reconstruction to the same place as where the quintic case (#26370, #25508) is implemented.
  • Deprecate HyperellipticCurve_from_invariants and add its functionality to HyperellipticCurve (with keywords) in such a way that it is also ready for higher genus, move Mestre_conic from the global namespace to the invariant_theory module.
  • Add method invariants to a general class of (hyperelliptic?) curves regardless of genus, which accepts a keyword to select invariants, and does Igusa-Clebsch invariants in case of genus 2.

Change History (1)

comment:1 Changed 4 years ago by mstreng

  • Cc florian added
Note: See TracTickets for help on using tickets.