| author | Fabian Huch <huch@in.tum.de> |
| Tue, 21 Jun 2022 18:24:22 +0200 | |
| changeset 75628 | 6a5e4f17f285 |
| parent 70817 | dd675800469d |
| permissions | -rw-r--r-- |
section \<open>Pieces of computational Algebra\<close> theory Computational_Algebra imports Euclidean_Algorithm Factorial_Ring Formal_Laurent_Series Fraction_Field Fundamental_Theorem_Algebra Group_Closure Normalized_Fraction Nth_Powers Polynomial_FPS Polynomial Polynomial_Factorial Primes Squarefree begin end