NEWS
changeset 65728 1019be449dbd
parent 65575 f8681c62959d
child 65841 82add6bf8a42
equal deleted inserted replaced
65727:33368a2296aa 65728:1019be449dbd
    80 fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.
    80 fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.
    81 INCOMPATIBILITY.
    81 INCOMPATIBILITY.
    82 
    82 
    83 * Theory Totient in session Number_Theory introduces basic notions
    83 * Theory Totient in session Number_Theory introduces basic notions
    84 about Euler's totient function previously hidden as solitary example
    84 about Euler's totient function previously hidden as solitary example
    85 in theory Residues.  Minor INCOMPATIBILITY.
    85 in theory Residues. Definition changed so that "totient 1 = 1" in
       
    86 agreement with the literature.  Minor INCOMPATIBILITY.
    86 
    87 
    87 * Session "Computional_Algebra" covers many previously scattered
    88 * Session "Computional_Algebra" covers many previously scattered
    88 theories, notably Euclidean_Algorithm, Factorial_Ring, Formal_Power_Series,
    89 theories, notably Euclidean_Algorithm, Factorial_Ring, Formal_Power_Series,
    89 Fraction_Field, Fundamental_Theorem_Algebra, Normalized_Fraction,
    90 Fraction_Field, Fundamental_Theorem_Algebra, Normalized_Fraction,
    90 Polynomial_FPS, Polynomial, Primes.  Minor INCOMPATIBILITY.
    91 Polynomial_FPS, Polynomial, Primes.  Minor INCOMPATIBILITY.