--- a/NEWS Thu Apr 06 08:33:37 2017 +0200
+++ b/NEWS Thu Apr 06 21:37:13 2017 +0200
@@ -54,6 +54,11 @@
fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.
INCOMPATIBILITY.
+* Session "Computional_Algebra" covers many previously scattered
+theories, notably Euclidean_Algorithm, Factorial_Ring, Formal_Power_Series,
+Fraction_Field, Fundamental_Theorem_Algebra, Normalized_Fraction,
+Polynomial_FPS, Polynomial, Primes. Minor INCOMPATIBILITY.
+
* Constant "surj" is a full input/output abbreviation (again).
Minor INCOMPATIBILITY.