A robust implementation for solving the $S$-unit equation and several applications

Alejandra Alvarado, Angelos Koutsianas, Beth Malmskog +3

Let $K$ be a number field, and $S$ a finite set of places in $K$ containing all infinite places. We present an implementation for solving the $S$-unit equation $x+y=1$, $x,y \i…