File creation for weak Coppersmith condition.
Fixed: lots of memory bugs and comments.Reordered: statements in several functions.Appended: arguments to functions.
Fixed: typo in function pobyso_taylor_expansion_with_change_var_so_so.
Fixed: different initializations for 6.6 and 7.1 Sage versions.
Fixed: a few bugs in variables names and some reformatting.
Fixed: is_power_of_two built-in only works with integers now ; generic solution implemented.
Fixed: use type mpfr_rnd_t instead of deprecated mp_rnd_t.
Removed: garbage collector invocation (did not fix the segfault crash).
Added: a garbage collection at the beginning of the "while" statement in order to fix the segfault crash. To be tested."
Changed: data for chasing the bug.
Changed: path to Sollya library.
Added: function to lists of ranges in Sollya into lists of intervals in Sage. Adaptation of evaluation function to take into account 2 possible output (number, range).
Added functions for conversion of Sollya lists of ranges into Sage lists of intervals.
Tweaked polynomial approximation accuracy in runtime function.
Changed: comment.
Changed: a comment.
Fixed: argument for run time, operation for intervals in the negative numbers.
Add: more runtime scripts. Fixed: mainly typos in comments.
Added: runSLZ-53proj-binade.sage.
Arguments for 53-bit runtime created. Needs fixing.
53-bit runtime create.
Fixed: changes for reduction/projection
Added: arguments generator shell script.
Added: projection reduction functions and program
Changed: messages are printed out to stderr.
New runtime script that uses Gram matrix for reduction.
Added: new function for Gram matrix usage.
Added: functions. Fixed: minute bugs and comments.
Added: a few functions.
Added: new function. Fixed: mostly typos and some marginal bugs.
Hardened pobyso_float_list_so_so when empty lists are processed.
Fixed: extraneous console output.
Too upset to comment.
Changed: interval is specified in number of floating-point numbers instead of a radius or a width.
Added: new function.
Fixed: bugs on calls eval (use sage_eval instead, with globals() argument forvariables).Added: new functions.
Debug comments added.
Fixed a bug in the rounding function: does not return, under no circumstance, the initial parameters as return values. Always returns copies since the caller may free its arguments after call.
Fixed: set the name of the free variable in Sollya to that used in the scripts.Removes a warning.
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.
Created: extra verbose function for debugging.Added: debug option to several functionsK
Code for 6*p test
Added: new stand alone programs.
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.
Added: several functions.
Lot's of new functions and fixes.
File added to run volume computation tests.
Fixed: typos and minor bugs.
Extra functions and driver added to compute lattice volume and immediate display of reduction timings.
Changed: limited clean-up.
Changed: some old test converted to new version.Added: tests for new functions.
Changed: many things related to constants.Added : functions for polynomials conversion from Sage to Sollya.
Fixed: a fex tests.
Nothing special.
Fixed: typos and details, nothing important.
New execution parameters. Nothing special.
Fixed: typos
Added: serveral function for function and rationals manipulations.Fixed: a few bugs in parameters to functions.
Fixed: lots of typos and function ordering.Added: new function for rationals constants into Sollya, stubs for functions to export Sage rational polynomials into Sollya.
Filed added for tests.
File added for mpq rationals direct manipulations.
Finished: runtime function v2 with minimal resultants and roots search.Testing is still needed.
Changed: runtime function is not embedded any more but loaded froma specific module.
Added new file for runtime SLZ functions.A first one comes from runSLZ.Another is under development.
Fixed: typos.Changed: hard coded numerical values changed for constants.
Fixed: typos.
Completed: main loop. Needs testing.
Fixed: function blessing in scaled functions.
Added: populated the function with the context of the main loop.
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: useless code in floating-point to rational exact conversion (witha power of 2 denominator).
Added: floating-point coefficients polynomials to rational coefficients polynomials. Functions copied from sageSLZ.sage since the rather belonghere than in the previous file. Prefix changed accordingly.
Fixed: some typos and outdated comments.
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.