author | Manuel Eberl <eberlm@in.tum.de> |

Fri May 05 11:16:13 2017 +0200 (2017-05-05) | |

changeset 65728 | 1019be449dbd |

parent 65727 | 33368a2296aa |

child 65749 | 99f4e4e03030 |

NEWS: totient 1 = 1 now

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,