NEWS: totient 1 = 1 now
authorManuel Eberl <eberlm@in.tum.de>
Fri May 05 11:16:13 2017 +0200 (2017-05-05)
changeset 657281019be449dbd
parent 65727 33368a2296aa
child 65749 99f4e4e03030
NEWS: totient 1 = 1 now
NEWS
     1.1 --- a/NEWS	Thu May 04 22:19:59 2017 +0200
     1.2 +++ b/NEWS	Fri May 05 11:16:13 2017 +0200
     1.3 @@ -82,7 +82,8 @@
     1.4  
     1.5  * Theory Totient in session Number_Theory introduces basic notions
     1.6  about Euler's totient function previously hidden as solitary example
     1.7 -in theory Residues.  Minor INCOMPATIBILITY.
     1.8 +in theory Residues. Definition changed so that "totient 1 = 1" in
     1.9 +agreement with the literature.  Minor INCOMPATIBILITY.
    1.10  
    1.11  * Session "Computional_Algebra" covers many previously scattered
    1.12  theories, notably Euclidean_Algorithm, Factorial_Ring, Formal_Power_Series,