Changes between Version 4 and Version 11 of Ticket #31940


Ignore:
Timestamp:
06/30/21 10:15:34 (14 months ago)
Author:
gh-BarinderBanwait
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31940

    • Property Status changed from new to needs_review
    • Property Authors changed from Barinder S. Banwait and Davide Lombardo to Barinder S. Banwait, Davide Lombardo
    • Property Cc davide.lombardo@… added
    • Property Priority changed from blocker to major
    • Property Commit changed from a8a8a20832dcf8515186ef995f4e37b2a879a2a1 to ad600bb293ffc07c3fbdd25679bc581993787e01
  • Ticket #31940 – Description

    v4 v11  
    11This 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.
    22
    3 Corresponding attributes have been added to the Jacobian of the hyperelliptic curve: `is_absolutely_simple` and `is_generic`.
     3One corresponding attribute has been added to the Jacobian of the hyperelliptic curve: `is_generic`, which is a wrapper for `is_absolutely_trivial` above.
    44
    55The algorithms are based on Lombardo's paper "Computing the geometric endomorphism ring of a genus 2 Jacobian".
    66
    7 This is needed for trac ticket #30837, and in that sense is blocking this other work.
     7This is needed for trac ticket #30837.