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.
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).
Pointer size change (last one?)
Changed fp option when calling LLL from 'fp' to None in orderto comply with error message issued by Sage 6.6.
Heavy patching to take into account the change in pointers format.
Changed all pointer coercions to unsigned long int. Previous int coercion was not wide enough as of Sage 6.6.
New files for tests.Some new functions in sageMpfr for intervals.Fixing unnoticed bugs (no return type in function declarations).
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...
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_sa_sa, tested but still has memory leaks.Function pobyso_guess_degree_so_sa tested OK.Several typos and very local optimizations.
Added function pobyso_guess_degree.Not tested yet.Some typos and comments fixed.
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.
Changes in pobyso_get_list_elements_so_so to:- minimize memory manipulations;- enhance documentation
Lots of memory leaks fixed.
Test library started: testPobyso.sageNew Sollya functions added: sollya_lib.sageMemory leaks fixed: pobyso.py
Cosmetic changes.
New polynomials generating function
Slight changes in comment
Very heavy refactoring. Mostly tested.
Bug fix.
New to_polynomials function added.Major synchronization problem!
A new polynomials generating function is created. No new code yet.
Some changes on spo_norm.
Heavy debugging and in deepth overhaul of the matrix generation.
New version of the polynomials building function. Still needs work.
Comments added.
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.
Bugs fixed smo_zero_rows_index_list
Added function smo_zero_rows_index_list
New function related to tranform matrix.
ToDos done.Functions added.Typos fixed
Typos and comments fixing.
Added the polynomial strings to the return value of spo_polynomial_to_proto_matrix()
Comments and printing debug cleaning.Marginal algorithm alterations.
Column stuff addedTypos and comments fixed.
Monomials evaluation added in spo_proto_to_row_matrix
Adding expression evaluation at bounds to matrix building.
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.
Lot's of changes in pobyso.Memory management in taylor form and others.New functions.
Lots of typos.Some memory management in pobyso.Row and column matices for LLL.
Added: cimport of malloc and free to fix compilation errors as ofSage 5.11.
- 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.
Many comment updates.