Historique | Voir | Annoter | Télécharger (9,9 ko)
Lots of fixes around polynomial coefficients rounding.
Added: several functions.
Lot's of new functions and fixes.
Added: serveral function for function and rationals manipulations.Fixed: a few bugs in parameters to functions.
pobyso.py: heavy update of Taylor model functions (and checked).sollya_lib.sage: new function (sollya_lib_abs) added.testPobyso.sage: new test functions added (and checked).sageSLZ.sage:minor changes.
Heavy patching to take into account the change in pointers format.
Extra functions added:- pobyso_error_so: generate a Sollya error object;- pobyso_is_error_so_sa: check if some Sollya object is an error object;- a new function (version 6) to compute polynomials for Coppersmith;- added entries in sollya_lib.sage for new Sollya functions used;...
Added function pobyso_guess_degree.Not tested yet.Some typos and comments fixed.
Lots of memory leaks fixed.
Test library started: testPobyso.sageNew Sollya functions added: sollya_lib.sageMemory leaks fixed: pobyso.py
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