| author | paulson <lp15@cam.ac.uk> |
| Wed, 17 Jul 2019 16:32:06 +0100 | |
| changeset 70367 | 81b65ddac59f |
| parent 69791 | 195aeee8b30a |
| child 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