Changes between Initial Version and Version 1 of Ticket #26487


Ignore:
Timestamp:
10/14/18 07:05:59 (2 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #26487 – Description

    initial v1  
    1 Depending on how ambitious one is, this is either a documentation bug or a missing feature. It seems that `isogenies_prime_degree` only finds separable isogenies, so it never finds the Frobenius. It does find the Verschiebung for ordinary elliptic curves (where it's found multiple times somehow) but not for supersingular elliptic curves.
     1Depending on how ambitious one is, this is either a documentation bug or a missing feature. It seems that `isogenies_prime_degree` only finds separable isogenies, so it never finds the Frobenius. It does find the Verschiebung for ordinary elliptic curves but not for supersingular elliptic curves.
    22
    33Ordinary:
     
    77-3
    88sage: L = E.isogenies_prime_degree(5); L
    9 [Isogeny of degree 5 from Elliptic Curve defined by y^2 = x^3 + x + 1 over Finite Field of size 5 to Elliptic Curve defined by y^2 = x^3 + x + 4 over Finite Field of size 5,
    10  Isogeny of degree 5 from Elliptic Curve defined by y^2 = x^3 + x + 1 over Finite Field of size 5 to Elliptic Curve defined by y^2 = x^3 + x + 4 over Finite Field of size 5,
    11  Isogeny of degree 5 from Elliptic Curve defined by y^2 = x^3 + x + 1 over Finite Field of size 5 to Elliptic Curve defined by y^2 = x^3 + x + 4 over Finite Field of size 5,
    12  Isogeny of degree 5 from Elliptic Curve defined by y^2 = x^3 + x + 1 over Finite Field of size 5 to Elliptic Curve defined by y^2 = x^3 + x + 4 over Finite Field of size 5,
    13  Isogeny of degree 5 from Elliptic Curve defined by y^2 = x^3 + x + 1 over Finite Field of size 5 to Elliptic Curve defined by y^2 = x^3 + x + 4 over Finite Field of size 5]
    14 sage: L[0] == L[1]
    15 True
     9[Isogeny of degree 5 from Elliptic Curve defined by y^2 = x^3 + x + 1 over Finite Field of size 5 to Elliptic Curve defined by y^2 = x^3 + x + 4 over Finite Field of size 5]
    1610}}}
    1711