Historique | Voir | Annoter | Télécharger (90,12 ko)
Multiple fixed :- less noisy module loading;- debug printing fixes;- run time scripts enhancement (window title update);- added a new run time script (should replace all the old ones soon);
Bug fix and debugging options.
Added: more debug code.
Some bug fixes on precision setting and retrieval.
Lots of fixes.Extra functions added for ranges management.
Minor changes on run time files.Completed: function for polynomials coefficients rounding.Added: debug code in several places.
Some typos and debugging code added. A new (unfinished) polynomial rounding function.
Added: code for polynomial coefficients rounding. Stand alone programs can use the new functionality. Some testing done as well. Fixed: a few bugs and typos. Refactored: precision management in a few function, in a clearer, more systematic and less error prone mode (much more to do).
Lots of fixes around polynomial coefficients rounding.
Lot's of new functions and fixes.
Fixed: typos and minor bugs.
Extra functions and driver added to compute lattice volume and immediate display of reduction timings.
Nothing special.
Fixed: typos
Fixed: function blessing in scaled functions.
Added: function for exact conversion of floating-point to rational coefficients polynomials. In fact, it does not belong here but in sagePolynomialOperation.sage. Transfer has been made.Fixed: typos and comments.
Fixed: some typos and outdated comments.
Fixed: typos.
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.
changed: empty resultant tuple condition (only when resultant is 0).
Added: sno operation for floating-point conversion to rationals sothat denominator is a power of 2.Fixed: several little bug : - expression to function transformation (function(varList) method); - return values (None for invalid calls or internal errors, empty tuples...
Deleted: function slz_check_htrn_value.This function was never finished and is superseded by slz_is_htrn.
Fixed: function calls.Added: new function for reduced polynomials
Fixeed:compute_polynomial_and_interval: interval shrinkingget_intervals_and_polynomials: full rewriteslz_compute_binade: fix for integer log2() (rounding effect)
Fixed: typos and cosmetic changes.
Minor typos.
File sageNumericalOperations.sage added for particular operations non presentin Sage. Function added in sageSLZ to check HTRN cases.Typos and comments fixes.
Minor bug and type fixes.
Added a new base generating function.
Minor changes.
Lots of fixes, too long to detail. Mainly on the scaling andapproximation computing areas.
Added: binade function (not thoroughly tested)Changed: slz_interval_scaling_expression function (mirroring relatively to 0 for negative bounded intervals instead of translation).
Changed fp option when calling LLL from 'fp' to None in orderto comply with error message issued by Sage 6.6.
Lots of fixes due to changes in Sage 6.6.Mainly :- changed (and deprecated) behaviour of "load";- changed behaviour of assume_str (adds "_SAGE_VAR" to variable names).
Some testing & typos.
Typos fixed.Playing around with version 6.
Some typos...
Comments modifications
Fixes in scaling.
Code reorganizing for coppersmith roots finding.More or less tested.
Comments fixes and marginal code fixes.
Function for integer polynomial modular roots almost completed.Function for coppersmith reduced polynomials created and almost completed.
New function to compute the modular roots. Unfinished.
Debugging slz_compute_binade_bounds.Integrating emax (with a disputable solution).
Lots of small fixes.
Added funtion slz_compute_binade_bounds().This version does not deal with emax yet.
Cosmetic changes.
Heavy debugging and in deepth overhaul of the matrix generation.
Bug fixing.
Heavy refactoring of the interval splitting sections.
Bug fixes.
Bug fixed in slz_compute_reduced_polynomials
Function compute_reduced_polynomials created.Still needs debugging.
ToDos done.Functions added.Typos fixed
Comments and printing debug cleaning.Marginal algorithm alterations.
Column stuff addedTypos and comments fixed.
Lots of bug fixes in matrix operations.Typos in others.Return value changed int spo_polynomial_to_proto_matrix: returnthe known monomials list as well (necessary to rebuild the polynomialsfrom the matrices).Unplugging custom LCM computations for lists: the native...
Abortion on null interval added.
Bug fix in slz_compute_polynomial_and_interval: take the internal Sollya precision into account.Lots of memory management and variable renaming.
Lots of typos.Some memory management in pobyso.Row and column matices for LLL.
- Norm function for multivariate polynomials create (a lot of TODOs remaining);- sageSLZ-Notes updated, after new ideas (see below).- Total transformation of interval/polynomial building (with some checks done to validate the new "adaptative" system and tweak the constants;...
Massive functions update:- new functions added for polynomial transformation;- many changes in variable management for expressions and functions;- function issues (warning about deprecated syntax) fixed.
Polynomial conversion functions added.
Added the scaled function computation function.
Several minor fixes.
Fixed interval shrinking with different formulas whencomputing a list a Taylor polynomials.
Moved file sageSLZ.sage into it's own directory.
Typo in sageSLZ.sage.sageSLZ directory creation.
Added variable change.Added correct approximation precision management.
Typos in pobyso.sy.More substantial changes in sageSLZ.sage
Lots of debugging in sageSLZ.sage.Minor typo clean up in pobyso.py
Adding scaling (not finished).
sageSLZ file creation.