Changes between Initial Version and Version 2 of Ticket #31940


Ignore:
Timestamp:
06/09/21 11:21:37 (14 months ago)
Author:
gh-BarinderBanwait
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31940

    • Property Authors changed from to Barinder S. Banwait and Davide Lombardo
    • Property Priority changed from major to blocker
    • Property Branch changed from to u/gh-BarinderBanwait/absolutely_simple_endomorphism_rings
    • Property Keywords hyperelliptic curves jacobians endomorphism rings added
    • Property Commit changed from to a8a8a20832dcf8515186ef995f4e37b2a879a2a1
    • Property Type changed from PLEASE CHANGE to enhancement
  • Ticket #31940 – Description

    initial v2  
     1This commit adds the first functionality for endomorphism rings of jacobians of genus 2 curves over Q. There is a new class `EndomorphismRing`, and two methods of this class: `is_absolutely_field` which determines whether or not the endomorphism algebra is a field; and `is_absolutely_trivial`, which determines whether or not the ring is just the integer ring Z.
     2
     3Corresponding attributes have been added to the Jacobian of the hyperelliptic curve: `is_absolutely_simple` and `is_generic`.
     4
     5This is needed for trac ticket #30837, and in that sense is blocking this other work.