# HG changeset patch
# User Manuel Eberl <eberlm@in.tum.de>
# Date 1493975773 -7200
# Node ID 1019be449dbd4355794557b8949317649d9fe699
# Parent  33368a2296aa85cf2a4189fee21defdfb3ae0616
NEWS: totient 1 = 1 now

diff -r 33368a2296aa -r 1019be449dbd NEWS
--- a/NEWS	Thu May 04 22:19:59 2017 +0200
+++ b/NEWS	Fri May 05 11:16:13 2017 +0200
@@ -82,7 +82,8 @@
 
 * Theory Totient in session Number_Theory introduces basic notions
 about Euler's totient function previously hidden as solitary example
-in theory Residues.  Minor INCOMPATIBILITY.
+in theory Residues. Definition changed so that "totient 1 = 1" in
+agreement with the literature.  Minor INCOMPATIBILITY.
 
 * Session "Computional_Algebra" covers many previously scattered
 theories, notably Euclidean_Algorithm, Factorial_Ring, Formal_Power_Series,