summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

NEWS

changeset 65465 | 067210a08a22 |

parent 65451 | 5febea96902f |

child 65504 | b80477da30eb |

1.1 --- a/NEWS Wed Apr 12 13:48:07 2017 +0200 1.2 +++ b/NEWS Wed Apr 12 09:27:43 2017 +0200 1.3 @@ -66,6 +66,10 @@ 1.4 fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space. 1.5 INCOMPATIBILITY. 1.6 1.7 +* Theory Totient in session Number_Theory introduces basic notions 1.8 +about Euler's totient function previously hidden as solitary example 1.9 +in theory Residues. Minor INCOMPATIBILITY. 1.10 + 1.11 * Session "Computional_Algebra" covers many previously scattered 1.12 theories, notably Euclidean_Algorithm, Factorial_Ring, Formal_Power_Series, 1.13 Fraction_Field, Fundamental_Theorem_Algebra, Normalized_Fraction,