Opened 4 years ago

Last modified 3 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) 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 4 years ago by akoutsianas

  • Cc akoutsianas added

comment:2 Changed 4 years ago by cremona

  • 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 4 years ago by git

  • Commit changed from 64b0e741b33dbd6969971b0cf17138208a67e9a2 to f97b22f7621fc466c2dda3ebf454f79a50190c24

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

​b1709e9Merge branch 'develop' into S_unit
​f97b22fremove redundant import from S_unit.py which caused startup crash

comment:4 Changed 4 years ago by cremona

The above commit (f97b22f) includes 7.1.beta1, and the new file passes its tests.

comment:5 Changed 4 years ago by cremona

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 4 years ago by git

  • Commit changed from f97b22f7621fc466c2dda3ebf454f79a50190c24 to 42d97882fc5f0e08cf180f96a256903eccda8261

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

​42d9788progress on documentation of S-unit code

comment:7 Changed 4 years ago by cremona

Docs now build without errors, I will work on the text a bit.

comment:8 Changed 4 years ago by git

  • Commit changed from 42d97882fc5f0e08cf180f96a256903eccda8261 to d0fb02b2c6ff2420e1452a02d69eeea67e942f50

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

​d0fb02bfix some docstring formatting in S-unit eqn code

comment:9 Changed 4 years ago by cremona

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 3 years ago by mwest

  • Branch changed from u/cremona/19887 to u/mwest/19887
Note: See TracTickets for help on using tickets.