#17067: Canonical height over number fields for projective morphisms
-------------------------------------+-------------------------------------
       Reporter:  bhutz              |        Owner:  bhutz
           Type:  enhancement        |       Status:  new
       Priority:  minor              |    Milestone:  sage-6.4
      Component:  algebraic          |   Resolution:
  geometry                           |    Merged in:
       Keywords:  canonical height   |    Reviewers:
        Authors:                     |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  bc111997c874e67e09dfbfe29e71118924fe4f9b
  u/bhutz/ticket/17067               |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by bhutz):

 * commit:   => bc111997c874e67e09dfbfe29e71118924fe4f9b


Comment:

 ok. I've now taken the original code from Adam Towsley and Paul Fili from
 sage-days 55 and made it mesh with the current functionality in Sage. It
 should be noted that I left QQ using RR and Qp so that the flip trick
 works better. However, over number fields, the size of the point is
 growing quite quickly so N cannot be too large. I didn't see a way to get
 a good use of the residue field (with precision) as with QQ.

 Please take a look and see what you think. I've run many more examples
 there are in the docs where I pullback rational points to a number field
 and haven't run into any issues there. Another way to get valid tests
 would be nice.

 I'm also considering adding the error bound computation for dimension >1
 to this ticket as well, but I've haven't yet looked into how complicated
 that will be.
 ----
 New commits:
 
||[http://git.sagemath.org/sage.git/commit/?id=bc111997c874e67e09dfbfe29e71118924fe4f9b
 bc11199]||{{{implement canonical heights over number fields}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/17067#comment:2>
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/d/optout.

Reply via email to