Improve computation of canonical height for dynamical systems

sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.41k stars 475 forks source link

Improve computation of canonical height for dynamical systems #28771

Open 67c74138-1ca1-45a7-bae8-3eb17fc35cc7 opened 4 years ago

67c74138-1ca1-45a7-bae8-3eb17fc35cc7 commented 4 years ago

Currently, the canonical height computation is very slow over number fields. Implement a faster algorithm that allows for rounding. Also, we will implement a more accurate error bound.

CC: @pfili @bhutz

Component: dynamics

Keywords: sd104

Author: Paul Fili, Andrew O-Desky, Adam Towsley

Branch/Commit: u/gh-aodesky/improve_computation_of_canonical_height_for_dynamical_systems @ 8d83a1e

Issue created by migration from https://trac.sagemath.org/ticket/28771

aodesky commented 4 years ago

Branch: u/gh-aodesky/improve_computation_of_canonical_height_for_dynamical_systems

embray commented 4 years ago

comment:3

Ticket retargeted after milestone closed

mkoeppe commented 4 years ago

comment:4

Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.

tscrim commented 4 years ago

New commits:

`8ceed23`	`Added QpAlgebra class.`
`8d83a1e`	`canonical_height is running. Added valuation() method to QpAlgebra, modified some methods to allow for QpAlgebras.`

tscrim commented 4 years ago

Commit: 8d83a1e

mkoeppe commented 3 years ago

comment:7

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.