diff options
| author | Florent Hivert | 2016-11-17 01:33:36 +0100 |
|---|---|---|
| committer | Florent Hivert | 2016-11-17 01:33:36 +0100 |
| commit | 84cc11db01159b17a8dcf4d02dbe0549067d228f (patch) | |
| tree | 964ee247bbf305022235217e716578a37be0bf62 /etc/ChangeLog | |
| parent | 5daf14d44b9cd22c6b51b2b23b4eebe5f3aee79f (diff) | |
| parent | 23e57fb47874331c5feaace883513b7abecdff28 (diff) | |
Merge remote-tracking branch 'upstream/master' into fixdoc
Diffstat (limited to 'etc/ChangeLog')
| -rw-r--r-- | etc/ChangeLog | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/etc/ChangeLog b/etc/ChangeLog index ee28d7d..e33edb4 100644 --- a/etc/ChangeLog +++ b/etc/ChangeLog @@ -1,3 +1,16 @@ +25/08/2016 - refactoring of algC and complex in ssrnum - development version + * ssrnum's interface numClosedFieldType factors some theory from + both complex and algC. Because of that Re, Im, 'i, conjC, n.-root + and sqrtC are not specialized to algC anymore. In case of + ambiguity, they should be instanciated with algC using typing + constraints. Moreoever some lemmas from the theory like conjCK + have an extra nonmaximal implicit argument (C : + numClosedFieldType) which could break some proofs. Additionally, + ad-hoc constructions from complex.v like -*+ or complex.Re are now + deprecated and one should rely solely on the ssrnum interface. The + next revision might definietly hide those constructions under a + module. + 24/11/2015 - major reorganization of the archive - version 1.6 * Files split into subdirectories: ssreflect, algebra, fingroup, solvable, field and character. In this way the user can decide |