The $S$-unit equation has vast applications in number theory. We will discuss an implementation of an algorithm to solve the $S$-unit equation in the mathematical software Sage.  The mathematical foundation for this implementation and some applications will be outlined, including an asymptotic version of Fermat's Last Theorem for totally real cubic number fields with bounded discriminant in which 2 is totally ramified. We will conclude with a discussion on current and future work toward improving the existing Sage functionality.

[pre-talk at 1:20PM, in person only]