Statistiques
| Révision :

root / pobysoPythonSage @ 181

# Date Auteur Commentaire
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).
164 07/05/2015 18:26 Serge Torres

Pointer size change (last one?)
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.
162 06/05/2015 18:05 Serge Torres

Heavy patching to take into account the change in pointers format.
161 06/05/2015 14:19 Serge Torres

Changed all pointer coercions to unsigned long int. Previous int coercion was not wide enough as of Sage 6.6.
160 04/05/2015 18:30 Serge Torres

New files for tests.
Some new functions in sageMpfr for intervals.
Fixing unnoticed bugs (no return type in function declarations).
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;...
154 01/04/2015 16:10 Serge Torres

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.
153 30/03/2015 18:12 Serge Torres

Added function pobyso_guess_degree.
Not tested yet.
Some typos and comments fixed.
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.
118 03/03/2014 09:07 Serge Torres

Changes in pobyso_get_list_elements_so_so to:
- minimize memory manipulations;
- enhance documentation
117 28/02/2014 18:14 Serge Torres

Lots of memory leaks fixed.
116 26/02/2014 18:16 Serge Torres

Test library started: testPobyso.sage
New Sollya functions added: sollya_lib.sage
Memory leaks fixed: pobyso.py
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.
84 30/09/2013 18:24 Serge Torres

Lot's of changes in pobyso.
Memory management in taylor form and others.
New functions.
83 27/09/2013 18:52 Serge Torres

Lots of typos.
Some memory management in pobyso.
Row and column matices for LLL.
82 18/09/2013 16:09 Serge Torres

Added: cimport of malloc and free to fix compilation errors as of
Sage 5.11.
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.
78 12/08/2013 10:38 Serge Torres

Many comment updates.
77 08/08/2013 15:03 Serge Torres

Main functions of sagePolynomialOperations completed and checked
against the preliminary versions in Sage notebook polynomialsForCoppersmith.
76 08/08/2013 09:59 Serge Torres

Typos fixing
75 07/08/2013 17:54 Serge Torres

Function naming scheme changed.
74 07/08/2013 17:50 Serge Torres

Initial versions of sageMatrixOperations.sage and sagePolynomialMatrixOperations.sage
73 31/05/2013 18:06 Serge Torres

Create new conversion function header to get Sollya polynomials
from Sage polynomials.
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.
70 12/04/2013 09:18 Serge Torres

Réaménagement des répertoires.

Réaménagment du code dans sageRelationalOperations.sage
69 15/03/2013 17:49 Serge Torres

numerators and denominators function added.
Typos fixed in notes.
68 15/03/2013 15:48 Serge Torres

sageRationalOperation file creation.
67 11/03/2013 15:29 Serge Torres

Approximation interval problem notes added.
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.
59 14/02/2013 18:22 Serge Torres

Polynomila conversion stuff. Still in progress...
58 11/02/2013 17:28 Serge Torres

Added (untested) function pobyso_taylor_form_with_function_change_so_so
57 08/02/2013 17:56 Serge Torres

New functions added for polynomials conversion from Sollya to Sage.