Euclid's_algorithm_for_polynomials loading ...