Computing polylogarithmic Chabauty–Kim loci over number fields
Sage code for the papers:
- [LL26] "Polylogarithmic Chabauty–Kim loci over number fields" by X. Li and M. Lüdtke.
- [KLL26] "Nonabelian Chabauty for the Thrice-punctured Line over Cyclotomic Fields" by M. Kim, X. Li, and M. Lüdtke.
The files "Zproots.sage" and "RefinedCK.sage" from https://github.com/martinluedtke/RefinedCK and the file "Solve_p-adic_systems.sage" from https://github.com/steffenmueller/LinQC need to be placed in the working directory to run the code. The code was tested with Sage 10.9.