Project Filelist for Coquelicot
File Release Notes and Changelog
Release Name: 2.0.0
Change Log
Version 2.0: - removed "is_derive" as a notation for "derivable_pt_lim" - renamed some compatibility theorems from "_equiv" to "_Reals" - introduced a hierarchy of number structures and topological spaces - added complex numbers - generalized "is_RInt", "is_derive", "is_domin", etc, from reals to arbitrary left-modules