Merge pull request #208 from CohenCyril/companionmx

Companion matrix of a polynomial

1 files changed, 4 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 13045e9..d59a140 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+??/??/???? - version 1.7.1
+	* Added companion matrix of a polynomial `companionmx p` and the
+	  theorems: companionmxK, map_mx_companion and companion_map_poly
+
 24/04/2018 - compatibility with Coq 8.8 and several small fixes - version 1.7
 
 	* Added compatibility with Coq 8.8 and lost compatibility with