Opened 5 years ago
Last modified 4 years ago
#19887 new enhancement
Solution of S-unit equations over Q
Reported by: | cremona | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-7.1 |
Component: | number theory | Keywords: | S-unit equation |
Cc: | akoutsianas | Merged in: | |
Authors: | Angelos Koutsianas, John Cremona | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | u/mwest/19887 (Commits, GitHub, GitLab) | Commit: | d0fb02b2c6ff2420e1452a02d69eeea67e942f50 |
Dependencies: | Stopgaps: |
Description
Angelos Koutsianas has written code to solve general 3-term S-unit equations over Q, i.e. to find all solutions to x+y=1 where x,y are rationals supported on the primes in a given finite set S. This is based on de Weger's thesis.
The code is currently being tested, and will be made into a new branch here.
Change History (10)
comment:1 Changed 5 years ago by
- Cc akoutsianas added
comment:2 Changed 5 years ago by
- Branch set to u/cremona/19887
- Commit set to 64b0e741b33dbd6969971b0cf17138208a67e9a2
- Component changed from PLEASE CHANGE to number theory
- Milestone changed from sage-7.0 to sage-7.1
comment:3 Changed 5 years ago by
- Commit changed from 64b0e741b33dbd6969971b0cf17138208a67e9a2 to f97b22f7621fc466c2dda3ebf454f79a50190c24
comment:4 Changed 5 years ago by
The above commit (f97b22f) includes 7.1.beta1, and the new file passes its tests.
comment:5 Changed 5 years ago by
I think we need to added the new file S_unit_equation.py to the reference manual, and I will try to do that. Also, the file aith.py was moved and I am not sure that the reference manual has been adjusted correctly.
comment:6 Changed 5 years ago by
- Commit changed from f97b22f7621fc466c2dda3ebf454f79a50190c24 to 42d97882fc5f0e08cf180f96a256903eccda8261
Branch pushed to git repo; I updated commit sha1. New commits:
42d9788 | progress on documentation of S-unit code
|
comment:7 Changed 5 years ago by
Docs now build without errors, I will work on the text a bit.
comment:8 Changed 5 years ago by
- Commit changed from 42d97882fc5f0e08cf180f96a256903eccda8261 to d0fb02b2c6ff2420e1452a02d69eeea67e942f50
Branch pushed to git repo; I updated commit sha1. New commits:
d0fb02b | fix some docstring formatting in S-unit eqn code
|
comment:9 Changed 5 years ago by
The docstrings now look OK, though perhaps not all functions are explained adequately (and the specific reference should be checked as I was not sure which were to Smart and which to de Weger). I am finished with this code for now.
comment:10 Changed 4 years ago by
- Branch changed from u/cremona/19887 to u/mwest/19887
Branch pushed to git repo; I updated commit sha1. New commits:
Merge branch 'develop' into S_unit
remove redundant import from S_unit.py which caused startup crash