equal
deleted
inserted
replaced
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. |