Statistiques
| Révision :

root / pobysoPythonSage / src / sageSLZ @ 225

  • svn:ignore: runSLZ-01.sage.py runSLZ-dummy.sage.py runSLZ-02.sage.py runSLZ-03.sage.py runSLZ-dummy.sage runSLZlv-01.sage.py runSLZ-04.sage.py runSLZ-05.sage.py runSLZ-08.sage.py runHtrn-01.sage.py runSLZ-05-11-03.sage runSLZ-05-11-03.sage.py runSLZ-05-12-03.sage runSLZ-05-12-03.sage.py
# Date Auteur Commentaire
225 22/11/2015 22:48 Serge Torres

Lots of fixes.
Extra functions added for ranges management.
224 21/11/2015 22:29 Serge Torres

Minor changes on run time files.
Completed: function for polynomials coefficients rounding.
Added: debug code in several places.
223 20/11/2015 22:55 Serge Torres

Some typos and debugging code added. A new (unfinished) polynomial rounding function.
222 19/11/2015 22:00 Serge Torres

Created: extra verbose function for debugging.
Added: debug option to several functionsK
221 19/11/2015 16:34 Serge Torres

Code for 6*p test
220 17/11/2015 18:18 Serge Torres

Added: new stand alone programs.
219 17/11/2015 18:14 Serge Torres

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).
218 17/11/2015 02:05 Serge Torres

Lots of fixes around polynomial coefficients rounding.
215 15/11/2015 19:45 Serge Torres

Lot's of new functions and fixes.
214 12/11/2015 08:47 Serge Torres

File added to run volume computation tests.
213 12/11/2015 08:46 Serge Torres

Fixed: typos and minor bugs.
212 09/11/2015 17:54 Serge Torres

Extra functions and driver added to compute lattice volume and immediate display of reduction timings.
211 17/10/2015 22:52 Serge Torres

Changed: limited clean-up.
207 09/10/2015 22:25 Serge Torres
206 09/10/2015 22:21 Serge Torres

Nothing special.
205 09/10/2015 22:21 Serge Torres

Nothing special.
203 09/10/2015 22:19 Serge Torres

New execution parameters. Nothing special.
202 09/10/2015 22:19 Serge Torres

Fixed: typos
199 09/10/2015 22:14 Serge Torres

Filed added for tests.
197 08/10/2015 00:15 Serge Torres

Finished: runtime function v2 with minimal resultants and roots search.
Testing is still needed.
196 07/10/2015 18:04 Serge Torres

Changed: runtime function is not embedded any more but loaded from
a specific module.
195 07/10/2015 18:03 Serge Torres

Fixed: typos
194 07/10/2015 18:02 Serge Torres

Added new file for runtime SLZ functions.
A first one comes from runSLZ.
Another is under development.
193 06/10/2015 23:36 Serge Torres

Fixed: typos.
Changed: hard coded numerical values changed for constants.
192 06/10/2015 18:02 Serge Torres

Fixed: typos.
191 06/10/2015 17:48 Serge Torres

Completed: main loop. Needs testing.
190 05/10/2015 18:09 Serge Torres

Fixed: function blessing in scaled functions.
189 05/10/2015 18:08 Serge Torres

Added: populated the function with the context of the main loop.
188 05/10/2015 15:59 Serge Torres

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.
187 05/10/2015 15:56 Serge Torres

Fixed: useless code in floating-point to rational exact conversion (with
a power of 2 denominator).
186 05/10/2015 15:54 Serge Torres

Added: floating-point coefficients polynomials to rational coefficients polynomials. Functions copied from sageSLZ.sage since the rather belong
here than in the previous file. Prefix changed accordingly.
184 05/10/2015 09:52 Serge Torres
183 02/10/2015 17:37 Serge Torres

Fixed: some typos and outdated comments.
182 30/09/2015 10:00 Serge Torres

Fixed: typos.
181 23/09/2015 18:06 Serge Torres

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.
180 15/09/2015 09:52 Serge Torres

changed: empty resultant tuple condition (only when resultant is 0).
179 14/09/2015 18:01 Serge Torres

Added: sno operation for floating-point conversion to rationals so
that 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...
178 14/09/2015 10:17 Serge Torres

Deleted: function slz_check_htrn_value.
This function was never finished and is superseded by slz_is_htrn.
177 13/09/2015 22:44 Serge Torres

Fixed: function calls.
Added: new function for reduced polynomials
176 12/09/2015 23:30 Serge Torres

Fixeed:
compute_polynomial_and_interval: interval shrinking
get_intervals_and_polynomials: full rewrite
slz_compute_binade: fix for integer log2() (rounding effect)
175 11/09/2015 18:07 Serge Torres

Fixed: typos and cosmetic changes.
174 09/09/2015 16:20 Serge Torres

Minor typos.
173 07/09/2015 18:12 Serge Torres

Cosmetic change.
172 02/09/2015 17:59 Serge Torres

File sageNumericalOperations.sage added for particular operations non present
in Sage.
Function added in sageSLZ to check HTRN cases.
Typos and comments fixes.
171 28/08/2015 18:19 Serge Torres

Small changes...
170 27/08/2015 19:59 Serge Torres

Minor bug and type fixes.
169 24/08/2015 18:33 Serge Torres

Added: an new basis generation. Is the same as in version 7 but
generation order is not different.
After preliminary tests, nothing changes.
168 21/08/2015 19:31 Serge Torres

Added a new base generating function.
167 19/08/2015 18:01 Serge Torres

Minor changes.
166 18/08/2015 17:40 Serge Torres

Lots of fixes, too long to detail. Mainly on the scaling and
approximation computing areas.
165 31/07/2015 16:01 Serge Torres

Added: binade function (not thoroughly tested)
Changed: slz_interval_scaling_expression function (mirroring
relatively to 0 for negative bounded intervals instead of translation).
163 07/05/2015 13:33 Serge Torres

Changed fp option when calling LLL from 'fp' to None in order
to comply with error message issued by Sage 6.6.
159 29/04/2015 18:18 Serge Torres

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).
158 27/04/2015 17:50 Serge Torres

Some testing & typos.
157 15/04/2015 17:53 Serge Torres

Typos fixed.
Playing around with version 6.
156 10/04/2015 18:19 Serge Torres

Some typos...
155 08/04/2015 17:33 Serge Torres

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;...
152 20/03/2015 18:17 Serge Torres

Comments modifications
151 11/03/2015 18:06 Serge Torres

Fixes in scaling.
125 14/03/2014 18:03 Serge Torres

Code reorganizing for coppersmith roots finding.
More or less tested.
124 12/03/2014 18:07 Serge Torres

Comments fixes and marginal code fixes.
123 10/03/2014 17:51 Serge Torres

Function for integer polynomial modular roots almost completed.
Function for coppersmith reduced polynomials created and almost completed.
122 07/03/2014 17:51 Serge Torres

New function to compute the modular roots. Unfinished.
121 05/03/2014 18:32 Serge Torres

Debugging slz_compute_binade_bounds.
Integrating emax (with a disputable solution).
120 03/03/2014 18:16 Serge Torres

Lots of small fixes.
119 03/03/2014 13:38 Serge Torres

Added funtion slz_compute_binade_bounds().
This version does not deal with emax yet.
115 24/02/2014 17:53 Serge Torres
114 31/01/2014 13:52 Serge Torres

Cosmetic changes.
113 27/01/2014 16:24 Serge Torres

New polynomials generating function
112 22/01/2014 17:59 Serge Torres

Slight changes in comment
111 20/01/2014 18:03 Serge Torres

Very heavy refactoring. Mostly tested.
110 20/01/2014 10:39 Serge Torres

Bug fix.
109 17/01/2014 18:58 Serge Torres

New to_polynomials function added.
Major synchronization problem!
108 13/01/2014 17:57 Serge Torres

A new polynomials generating function is created. No new code yet.
107 10/01/2014 18:13 Serge Torres

Some changes on spo_norm.
106 08/01/2014 18:03 Serge Torres

Heavy debugging and in deepth overhaul of the matrix generation.
105 06/01/2014 17:14 Serge Torres

New version of the polynomials building function. Still needs work.
104 17/12/2013 17:18 Serge Torres

Comments added.
103 04/12/2013 17:52 Serge Torres

Bug fixing.
102 02/12/2013 17:52 Serge Torres

Bug fixing.
101 29/11/2013 18:12 Serge Torres

Heavy refactoring of the interval splitting sections.
100 27/11/2013 17:55 Serge Torres

Bug fixes.
99 27/11/2013 15:36 Serge Torres

Bug fixed in slz_compute_reduced_polynomials
98 25/11/2013 18:01 Serge Torres

Function compute_reduced_polynomials created.
Still needs debugging.
97 22/11/2013 17:42 Serge Torres

Bugs fixed smo_zero_rows_index_list
96 20/11/2013 16:49 Serge Torres

Added function smo_zero_rows_index_list
95 18/11/2013 17:54 Serge Torres

New function related to tranform matrix.
94 15/11/2013 18:02 Serge Torres

ToDos done.
Functions added.
Typos fixed
93 13/11/2013 17:45 Serge Torres

Typos and comments fixing.
92 23/10/2013 17:20 Serge Torres

Added the polynomial strings to the return value of spo_polynomial_to_proto_matrix()
91 21/10/2013 17:53 Serge Torres

Comments and printing debug cleaning.
Marginal algorithm alterations.
90 18/10/2013 11:30 Serge Torres

Column stuff added
Typos and comments fixed.
89 16/10/2013 17:37 Serge Torres

Monomials evaluation added in spo_proto_to_row_matrix
88 14/10/2013 17:58 Serge Torres

Adding expression evaluation at bounds to matrix building.
87 09/10/2013 17:59 Serge Torres

Lots of bug fixes in matrix operations.
Typos in others.
Return value changed int spo_polynomial_to_proto_matrix: return
the known monomials list as well (necessary to rebuild the polynomials
from the matrices).
Unplugging custom LCM computations for lists: the native...
86 04/10/2013 18:14 Serge Torres

Abortion on null interval added.
85 02/10/2013 17:49 Serge Torres

Bug fix in slz_compute_polynomial_and_interval: take the internal Sollya precision into account.
Lots of memory management and variable renaming.
83 27/09/2013 18:52 Serge Torres

Lots of typos.
Some memory management in pobyso.
Row and column matices for LLL.
81 14/08/2013 17:56 Serge Torres

- 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;...
80 13/08/2013 17:55 Serge Torres

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.