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
Polynomial_FPS
Polynomial
Primes
begin
end