NEWS
changeset 65417 fc41a5650fb1
parent 65396 b42167902f57
child 65448 9bc3b57c1fa7
     1.1 --- a/NEWS	Thu Apr 06 08:33:37 2017 +0200
     1.2 +++ b/NEWS	Thu Apr 06 21:37:13 2017 +0200
     1.3 @@ -54,6 +54,11 @@
     1.4  fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Session "Computional_Algebra" covers many previously scattered
     1.8 +theories, notably Euclidean_Algorithm, Factorial_Ring, Formal_Power_Series,
     1.9 +Fraction_Field, Fundamental_Theorem_Algebra, Normalized_Fraction,
    1.10 +Polynomial_FPS, Polynomial, Primes.  Minor INCOMPATIBILITY.
    1.11 +
    1.12  * Constant "surj" is a full input/output abbreviation (again).
    1.13  Minor INCOMPATIBILITY.
    1.14