#10745: bug in elliptic curve gens()
-----------------------------------+--------------------------
Reporter: rlm | Owner: cremona
Type: defect | Status: needs_info
Priority: major | Milestone:
Component: elliptic curves | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-----------------------------------+--------------------------
Description changed by jdemeyer:
Old description:
> [See #15608 for a list of open simon_two_descent tickets]
>
> {{{
> sage: a = [1, 0, 1, -1751, -31352]
> sage: F = EllipticCurve(a)
> sage: K.<d> = 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.
>
> In earlier versions of Sage (< 6.0), there was also a bug with caching:
> {{{
> sage: FK.gens(lim1=6)
> Traceback (most recent call last):
> ...
> KeyError: (6, 50, 10, 20, 30)
> }}}
New description:
[See #15608 for a list of open simon_two_descent tickets]
{{{
sage: a = [1, 0, 1, -1751, -31352]
sage: F = EllipticCurve(a)
sage: K.<d> = 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.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/10745#comment:10>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
