| author | haftmann |
| Fri, 08 Dec 2017 19:25:47 +0000 | |
| changeset 67165 | 22a5822f52f7 |
| parent 66805 | 274b4edca859 |
| child 69791 | 195aeee8b30a |
| permissions | -rw-r--r-- |
section \<open>Pieces of computational Algebra\<close> theory Computational_Algebra imports Euclidean_Algorithm Factorial_Ring Formal_Power_Series Fraction_Field Fundamental_Theorem_Algebra Group_Closure Normalized_Fraction Nth_Powers Polynomial_FPS Polynomial Polynomial_Factorial Primes Squarefree begin end