silverman bound, absolute heights, etc.

[William Stein]

Hi,

I was refereeing http://trac.sagemath.org/sage_trac/ticket/10973 and
noticed that it has an implementation of the general Silverman height
bound, absolute heights of points in project space, etc., which is
what Ari was working on at the end of the REU, and is needed for
provable saturation. There is also at least one surprising
correction to a mistake in Silverman's bound that is made in this
code.

Since this is one of the main outstanding issues with our project, I'm
pointing this out.

I won't be working on our project much until I finish writing a grant
proposal and a paper on Sage for FoCM (that Budapest conference)...
i.e., in about two weeks.

-- William

--
William Stein
Professor of Mathematics
University of Washington
http://wstein.org

[Ariah Klages-Mundt]

That sounds interesting. I'll take a look at it when I get the chance.

Ariah