section \<open>Pieces of computational Algebra\<close> theory Computational_Algebra imports Euclidean_Algorithm Factorial_Ring Formal_Power_Series Fraction_Field Fundamental_Theorem_Algebra Normalized_Fraction Nth_Powers Polynomial_FPS Polynomial Primes Squarefree begin end