Historique | Voir | Annoter | Télécharger (6,74 ko)
Typos and comments fixing.
Comments and printing debug cleaning.Marginal algorithm alterations.
Bug fix in slz_compute_polynomial_and_interval: take the internal Sollya precision into account.Lots of memory management and variable renaming.
Lots of bug fixes and enhancements.Taylor expansions stuff added.
Added solly_lib_mid...
supnorm stuff added.
Bugs fixing.
Interval/Range stuff added.
Lots of change on pobyso.py: adding the suffixes to functions.
Start of Taylor model management for Coppersmith
Initial file loading