Update riverian_universal_number_theory_basics_tools.sage