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.
Cosmetic change.
File sageNumericalOperations.sage added for particular operations non presentin Sage. Function added in sageSLZ to check HTRN cases.Typos and comments fixes.
Small changes...
Minor bug and type fixes.
Added: an new basis generation. Is the same as in version 7 butgeneration order is not different.After preliminary tests, nothing changes.