changeset 69791 | 195aeee8b30a |
parent 67165 | 22a5822f52f7 |
child 70817 | dd675800469d |
69790:154cf64e403e | 69791:195aeee8b30a |
---|---|
3 |
3 |
4 theory Computational_Algebra |
4 theory Computational_Algebra |
5 imports |
5 imports |
6 Euclidean_Algorithm |
6 Euclidean_Algorithm |
7 Factorial_Ring |
7 Factorial_Ring |
8 Formal_Power_Series |
8 Formal_Laurent_Series |
9 Fraction_Field |
9 Fraction_Field |
10 Fundamental_Theorem_Algebra |
10 Fundamental_Theorem_Algebra |
11 Group_Closure |
11 Group_Closure |
12 Normalized_Fraction |
12 Normalized_Fraction |
13 Nth_Powers |
13 Nth_Powers |