id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
10745,bug in elliptic curve gens(),rlm,cremona,"[See #15608 for a list of open simon_two_descent tickets]
{{{
sage: a = [1, 0, 1, -1751, -31352]
sage: F = EllipticCurve(a)
sage: K. = QuadraticField(5)
sage: FK = EllipticCurve(K, a)
sage: F.gens()
[(52 : 111 : 1)]
sage: FK.gens()
[]
}}}
This isn't very good, because the default in Sage is proof=True, so one would expect this to be a provable result (until reading the docs of course).
Over Q, if the result is not provable an error is raised or a warning is printed, depending on the `proof` flag. This should be the same here.",defect,closed,major,,elliptic curves,fixed,,aly.deines cremona gagansekhon weigandt was wuthrich robertwb,,Peter Bruin,Chris Wuthrich,N/A,,42c563c4b4e834adb39d75b3b02e21ab1c3da372,42c563c4b4e834adb39d75b3b02e21ab1c3da372,#10735,