add the algorithms in 31 Number-Theoretic Algorithms:
  GcdEuclid
  GcdEuclid extend
  ModularLinearEquationSolver