Text this: The general quasi-order algorithm in number theory