Statistiques
| Révision :

root / pobysoPythonSage / src / sageSLZ / sageSLZ.sage @ 252

Historique | Voir | Annoter | Télécharger (104,8 ko)

# Date Auteur Commentaire
249 18/01/2016 20:11 Serge Torres

Fixed: changes for reduction/projection
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.
243 08/01/2016 11:22 Serge Torres

Added: new function for Gram matrix usage.
233 28/11/2015 22:20 Serge Torres

Debug comments added.
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.
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.
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.
205 09/10/2015 22:21 Serge Torres

Nothing special.
195 07/10/2015 18:03 Serge Torres

Fixed: typos
190 05/10/2015 18:09 Serge Torres

Fixed: function blessing in scaled functions.
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.
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.
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.
170 27/08/2015 19:59 Serge Torres

Minor bug and type fixes.
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...
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.
106 08/01/2014 18:03 Serge Torres

Heavy debugging and in deepth overhaul of the matrix generation.
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.
94 15/11/2013 18:02 Serge Torres

ToDos done.
Functions added.
Typos fixed
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.
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.
79 12/08/2013 17:56 Serge Torres

Polynomial conversion functions added.
72 22/05/2013 17:52 Serge Torres

Added the scaled function computation function.

Several minor fixes.
71 15/05/2013 17:54 Serge Torres

Fixed interval shrinking with different formulas when
computing a list a Taylor polynomials.
66 11/03/2013 14:38 Serge Torres

Moved file sageSLZ.sage into it's own directory.
65 11/03/2013 14:37 Serge Torres

Typo in sageSLZ.sage.
sageSLZ directory creation.
64 08/03/2013 16:52 Serge Torres

Added variable change.
Added correct approximation precision management.
63 04/03/2013 17:48 Serge Torres

Typos in pobyso.sy.
More substantial changes in sageSLZ.sage
62 18/02/2013 18:05 Serge Torres

Lots of debugging in sageSLZ.sage.
Minor typo clean up in pobyso.py
61 15/02/2013 18:10 Serge Torres

Adding scaling (not finished).
60 15/02/2013 13:33 Serge Torres

sageSLZ file creation.