Statistiques
| Révision :

root / pobysoPythonSage / src / sageSLZ @ 282

  • 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 runSLZ-05-10-02.sage runSLZ-05-29-08.sage.py runSLZ-05-17-06.sage.py runSLZ-05-03-02.sage.py runSLZ-113.sage.py runSLZ-05-10-02.sage.py runSLZ-05-06-02.sage.py runSLZ-113proj.sage.py runSLZ-53proj.sage.py runSLZ-53proj-binade.sage.py runSLZ-53-binade.sage.py
# Date Auteur Commentaire
280 04/01/2017 17:12 Serge Torres

Several bug fixes in pobyso.py and testPobyso.sage files.
Minor cosmetic changes in sollya_lib.sage.
New scripts created.
279 11/05/2016 10:35 Serge Torres

Minor fixes.
278 22/04/2016 17:42 Serge Torres

Fixed: initial polynomial approximation accuracy to take into account polynomial shaving.
277 18/04/2016 18:02 Serge Torres

Added: new functions to support projections matrices with elements other than -1 and 1.
276 17/04/2016 22:04 Serge Torres

More comments.
275 03/04/2016 22:37 Serge Torres

Added: new function for weak Coppersmith condition.
274 03/04/2016 21:45 Serge Torres

Added: new function for weak Coppersmith condition.
273 03/04/2016 21:44 Serge Torres

File creation for weak Coppersmith condition.
272 30/03/2016 16:26 Serge Torres

Fixed: lots of memory bugs and comments.
Reordered: statements in several functions.
Appended: arguments to functions.
270 30/03/2016 11:08 Serge Torres

Fixed: different initializations for 6.6 and 7.1 Sage versions.
269 29/03/2016 16:54 Serge Torres

Fixed: a few bugs in variables names and some reformatting.
268 29/03/2016 16:54 Serge Torres

Fixed: is_power_of_two built-in only works with integers now ; generic solution implemented.
266 25/03/2016 18:40 Serge Torres

Removed: garbage collector invocation (did not fix the segfault crash).
265 25/03/2016 14:18 Serge Torres

Added: a garbage collection at the beginning of the "while" statement in order to fix the segfault crash. To be tested."
264 21/03/2016 17:30 Serge Torres

Changed: data for chasing the bug.
260 08/02/2016 17:53 Serge Torres

Tweaked polynomial approximation accuracy in runtime function.
254 03/02/2016 17:58 Serge Torres

Fixed: argument for run time, operation for intervals in the negative numbers.
253 29/01/2016 17:57 Serge Torres

Add: more runtime scripts. Fixed: mainly typos in comments.
252 28/01/2016 22:43 Serge Torres

Added: runSLZ-53proj-binade.sage.
251 25/01/2016 22:57 Serge Torres

Arguments for 53-bit runtime created. Needs fixing.
250 25/01/2016 22:55 Serge Torres

53-bit runtime create.
249 18/01/2016 20:11 Serge Torres

Fixed: changes for reduction/projection
248 17/01/2016 22:42 Serge Torres

Added: arguments generator shell script.
247 17/01/2016 22:40 Serge Torres

Added: projection reduction functions and program
246 10/01/2016 17:23 Serge Torres

Changed: messages are printed out to stderr.
245 08/01/2016 11:23 Serge Torres

New runtime script that uses Gram matrix for reduction.
244 08/01/2016 11:23 Serge Torres

Added: new function for Gram matrix usage.
243 08/01/2016 11:22 Serge Torres

Added: new function for Gram matrix usage.
237 15/12/2015 18:25 Serge Torres

Too upset to comment.
236 08/12/2015 10:40 Serge Torres

Changed: interval is specified in number of floating-point numbers instead of a radius or a width.
234 05/12/2015 23:54 Serge Torres

Fixed: bugs on calls eval (use sage_eval instead, with globals() argument for
variables).
Added: new functions.
233 28/11/2015 22:20 Serge Torres

Debug comments added.
231 28/11/2015 22:16 Serge Torres

Fixed: set the name of the free variable in Sollya to that used in the scripts.
Removes a warning.
230 27/11/2015 18:23 Serge Torres

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);
229 25/11/2015 22:22 Serge Torres

Bug fix and debugging options.
228 24/11/2015 22:53 Serge Torres

Added: more debug code.
227 24/11/2015 03:08 Serge Torres

Some bug fixes on precision setting and retrieval.
226 23/11/2015 18:32 Serge Torres
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.