equal
deleted
inserted
replaced
3 listed as an author in one of the source files of this Isabelle distribution. |
3 listed as an author in one of the source files of this Isabelle distribution. |
4 |
4 |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * February 2019: Manuel Eberl |
|
10 Exponentiation by squaring, used to implement "power" in monoid_mult and |
|
11 fast modular exponentiation. |
8 |
12 |
9 * February 2019: Manuel Eberl |
13 * February 2019: Manuel Eberl |
10 Carmichael's function, primitive roots in residue rings, more properties |
14 Carmichael's function, primitive roots in residue rings, more properties |
11 of the order in residue rings. |
15 of the order in residue rings. |
12 |
16 |