Opened 2 years ago

Last modified 13 days ago

#30294 needs_review enhancement

Minimal Resultant Locus

Reported by: Alexander Galarraga Owned by:
Priority: minor Milestone: sage-9.8
Component: dynamics Keywords: gsoc20
Cc: Ben Hutz, Paul Fili Merged in:
Authors: Alexander Galarraga Reviewers:
Report Upstream: N/A Work issues:
Branch: u/gh-EnderWannabe/min_res_locus (Commits, GitHub, GitLab) Commit: 06b98de2f05be754ad14b136466f45414f848eb9
Dependencies: Stopgaps:

Status badges

Description (last modified by Alexander Galarraga)

We aim to implement the algorithm given in https://arxiv.org/pdf/1304.1201.pdf to compute the minimal resultant locus using number fields.

Given a dynamical system, we can compute the resultant of the system as the resultant of the defining polynomials. The resultant, however, is not constant under conjugacy. We can therefore conjugate by appropriate linear maps to reduce the absolute value of the resultant. The minimal resultant locus is the segment of Berkovich space where the minimal order of the resultant is achieved.

This ticket depends heavily on the implementation of Berkovich space in #29844, the implementation of dynamical systems on Berkovich space in #29949, as well as the additional normalize_coordinates() functionality added in #30409.

Change History (17)

comment:1 Changed 2 years ago by Alexander Galarraga

Branch: u/gh-EnderWannabe/min_res_locus

comment:2 Changed 2 years ago by git

Commit: 4b25e19a2a8e95285d0b85f34fc5d49db64b5dcb

Branch pushed to git repo; I updated commit sha1. New commits:

71af81830294: added example
18cddd929949: added resultant and base_ring methods
4b25e1930294: Merge branch 'berkovich_dynamical' into min_res_locus

comment:3 Changed 2 years ago by git

Commit: 4b25e19a2a8e95285d0b85f34fc5d49db64b5dcbda49a8b9e81f57b3213bea5b58683a4236007084

Branch pushed to git repo; I updated commit sha1. New commits:

145c045Merge branch 'u/gh-EnderWannabe/berkovich_dynamical' of git://trac.sagemath.org/sage into berkovich_dynamical
b45cb40Merge branch 'u/gh-EnderWannabe/berkovich_dynamical' of git://trac.sagemath.org/sage into berkovich_dynamical
5db8e66Merge branch 'u/gh-EnderWannabe/min_res_locus' of git://trac.sagemath.org/sage into min_res_locus
894e1e1Merge branch 'u/gh-EnderWannabe/min_res_locus' of git://trac.sagemath.org/sage into min_res_locus
da49a8b30294: added step 4b

comment:4 Changed 2 years ago by git

Commit: da49a8b9e81f57b3213bea5b58683a4236007084085282bad8a3e86a8bc7772e4689dd4320f24d4d

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

650212629844: added more examples
bb264b1Merge branch 'berkovich_number_field' into min_res_locus
ad55ab729949: added matrix imports
fbfef60Merge branch 'berkovich_number_field' into berkovich_dynamical
2f7742bMerge branch 'develop' into berkovich_dynamical
cb0b8c6Merge branch 'berkovich_number_field' into berkovich_dynamical
3878f2e29949: added tests, removed unused imports
1523bd429949: fixed spacing issues, better error messages
42ed3abMerge branch 'u/gh-EnderWannabe/berkovich_dynamical' of git://trac.sagemath.org/sage into berkovich_dynamical
085282bMerge branch 'berkovich_dynamical' into min_res_locus

comment:5 Changed 2 years ago by Alexander Galarraga

Status: newneeds_review

comment:6 Changed 2 years ago by Alexander Galarraga

Description: modified (diff)

comment:7 Changed 2 years ago by Frédéric Chapoton

You should fill the "Author" field above here with your real name

First line of doc should use Return instead of Returns

comment:8 Changed 2 years ago by Alexander Galarraga

Authors: Alexander Galarraga

comment:9 Changed 2 years ago by git

Commit: 085282bad8a3e86a8bc7772e4689dd4320f24d4d51bae012c9ec56b291bf7309b2d95fcf3b7559fe

Branch pushed to git repo; I updated commit sha1. New commits:

c274cbeMerge branch 'develop' into berkovich_dynamical
c6fc21fMerge branch 'berkovich_dynamical' into min_res_locus
8cbbbc9Merge branch 'normalize_coordinates_enhancement' into min_res_locus
51bae0130294: merged in updated 29949 and 30409, fixed return

comment:10 Changed 2 years ago by Frédéric Chapoton

and do not import metaclass from six, but use python3 syntax for metaclass

Please look at the patchbot plugins for this kind of stuff.

comment:11 Changed 2 years ago by git

Commit: 51bae012c9ec56b291bf7309b2d95fcf3b7559fe06b98de2f05be754ad14b136466f45414f848eb9

Branch pushed to git repo; I updated commit sha1. New commits:

0cdf6e429949: fixed patchbot errors
06b98deMerge branch 'berkovich_dynamical' into min_res_locus

comment:12 Changed 2 years ago by Matthias Köppe

Milestone: sage-9.2sage-9.3

comment:13 Changed 19 months ago by Matthias Köppe

Milestone: sage-9.3sage-9.4

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

comment:14 Changed 15 months ago by Matthias Köppe

Milestone: sage-9.4sage-9.5

Setting a new milestone for this ticket based on a cursory review.

comment:15 Changed 10 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

Stalled in needs_review or needs_info; likely won't make it into Sage 9.5.

comment:16 Changed 6 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:17 Changed 13 days ago by Matthias Köppe

Milestone: sage-9.7sage-9.8
Note: See TracTickets for help on using tickets.