#8816: Bug in CPS_height_bound
-------------------------------+--------------------------------------------
Reporter: robertwb | Owner: cremona
Type: defect | Status: new
Priority: major | Milestone: sage-4.4.1
Component: elliptic curves | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
The documentation states that
{{{
Return the Cremona-Prickett-Siksek height bound. This is a
floating point number B such that if P is a rational point on
the curve, then `|h(P) - \hat{h}(P)| \leq B`, where `h(P)` is
the naive logarithmic height of `P` and `\hat{h}(P)` is the
canonical height.
}}}
But
{{{
sage: E = EllipticCurve("5077a")
sage: E.CPS_height_bound()
0.0
}}}
Clearly that can't be correct as the naive height is not exactly equal to
the canonical height. Either the documentation is incorrect, or the
function broken for higher rank curves (in which case we should raise an
error of some sort.)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8816>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
