Changes between Initial Version and Version 1 of Ticket #26677


Ignore:
Timestamp:
Nov 11, 2018, 9:27:43 AM (4 years ago)
Author:
Alex J. Best
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #26677 – Description

    initial v1  
    4545}}}
    4646
    47 Not clear the exact issue right now, but it looks like a bad prime is being used.
    4847
    4948Miraculously this works for the curve that is currently doctested `37a`,
    5049
     50The issue is that elliptic curves don't like to be base changed to bad primes, however for the purposes of sieving this is fine. So elliptic curves need to be convinced they are just curves for the purposes of sieving for points.
     51
     52Precisely
     53
     54{{{
     55Curve(E).rational_points(bound=5)
     56}}}
     57
     58works even when `E.rational_points(bound=5)` does not. Not sure if a change should be made to elliptic curves (to have a special rational_points method, or to the generic sieving code to first change the input to a rather generic type of scheme. I like the former more as the latter causes friction if people want to add special methods that speed up base_change or whatever.