#7266: implement computation of Silverman height bounds
-----------------------------+----------------------------------------------
Reporter: was | Owner: was
Type: enhancement | Status: positive_review
Priority: major | Milestone: sage-4.2.1
Component: number theory | Keywords:
Work_issues: | Author: wstein
Reviewer: | Merged:
-----------------------------+----------------------------------------------
Comment(by cremona):
Replying to [comment:3 robertwb]:
> Looks good to me. It's a simple enough formula that I'd say the
redundant implementation is worth it if just for the ease of
introspection.
>
> We're looking at using this for provable computations of Heegner points,
where the field of definition is not a priori known.
Fair point(s). One reason for getting better (usually) bounds for
*rational* points via the CPS method is precisely due to this restriction.
I have no objection!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7266#comment:4>
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
-~----------~----~----~----~------~----~------~--~---
