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

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