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:  sage9.8 
Component:  dynamics  Keywords:  gsoc20 
Cc:  Ben Hutz, Paul Fili  Merged in:  
Authors:  Alexander Galarraga  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  u/ghEnderWannabe/min_res_locus (Commits, GitHub, GitLab)  Commit:  06b98de2f05be754ad14b136466f45414f848eb9 
Dependencies:  Stopgaps: 
Description (last modified by )
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
Branch:  → u/ghEnderWannabe/min_res_locus 

comment:2 Changed 2 years ago by
Commit:  → 4b25e19a2a8e95285d0b85f34fc5d49db64b5dcb 

comment:3 Changed 2 years ago by
Commit:  4b25e19a2a8e95285d0b85f34fc5d49db64b5dcb → da49a8b9e81f57b3213bea5b58683a4236007084 

Branch pushed to git repo; I updated commit sha1. New commits:
145c045  Merge branch 'u/ghEnderWannabe/berkovich_dynamical' of git://trac.sagemath.org/sage into berkovich_dynamical

b45cb40  Merge branch 'u/ghEnderWannabe/berkovich_dynamical' of git://trac.sagemath.org/sage into berkovich_dynamical

5db8e66  Merge branch 'u/ghEnderWannabe/min_res_locus' of git://trac.sagemath.org/sage into min_res_locus

894e1e1  Merge branch 'u/ghEnderWannabe/min_res_locus' of git://trac.sagemath.org/sage into min_res_locus

da49a8b  30294: added step 4b

comment:4 Changed 2 years ago by
Commit:  da49a8b9e81f57b3213bea5b58683a4236007084 → 085282bad8a3e86a8bc7772e4689dd4320f24d4d 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
6502126  29844: added more examples

bb264b1  Merge branch 'berkovich_number_field' into min_res_locus

ad55ab7  29949: added matrix imports

fbfef60  Merge branch 'berkovich_number_field' into berkovich_dynamical

2f7742b  Merge branch 'develop' into berkovich_dynamical

cb0b8c6  Merge branch 'berkovich_number_field' into berkovich_dynamical

3878f2e  29949: added tests, removed unused imports

1523bd4  29949: fixed spacing issues, better error messages

42ed3ab  Merge branch 'u/ghEnderWannabe/berkovich_dynamical' of git://trac.sagemath.org/sage into berkovich_dynamical

085282b  Merge branch 'berkovich_dynamical' into min_res_locus

comment:5 Changed 2 years ago by
Status:  new → needs_review 

comment:6 Changed 2 years ago by
Description:  modified (diff) 

comment:7 Changed 2 years ago by
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
Authors:  → Alexander Galarraga 

comment:9 Changed 2 years ago by
Commit:  085282bad8a3e86a8bc7772e4689dd4320f24d4d → 51bae012c9ec56b291bf7309b2d95fcf3b7559fe 

Branch pushed to git repo; I updated commit sha1. New commits:
c274cbe  Merge branch 'develop' into berkovich_dynamical

c6fc21f  Merge branch 'berkovich_dynamical' into min_res_locus

8cbbbc9  Merge branch 'normalize_coordinates_enhancement' into min_res_locus

51bae01  30294: merged in updated 29949 and 30409, fixed return

comment:10 Changed 2 years ago by
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
Commit:  51bae012c9ec56b291bf7309b2d95fcf3b7559fe → 06b98de2f05be754ad14b136466f45414f848eb9 

comment:12 Changed 2 years ago by
Milestone:  sage9.2 → sage9.3 

comment:13 Changed 19 months ago by
Milestone:  sage9.3 → sage9.4 

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.
comment:14 Changed 15 months ago by
Milestone:  sage9.4 → sage9.5 

Setting a new milestone for this ticket based on a cursory review.
comment:15 Changed 10 months ago by
Milestone:  sage9.5 → sage9.6 

Stalled in needs_review
or needs_info
; likely won't make it into Sage 9.5.
comment:16 Changed 6 months ago by
Milestone:  sage9.6 → sage9.7 

comment:17 Changed 13 days ago by
Milestone:  sage9.7 → sage9.8 

Branch pushed to git repo; I updated commit sha1. New commits:
30294: added example
29949: added resultant and base_ring methods
30294: Merge branch 'berkovich_dynamical' into min_res_locus