Statistiques
| Révision :

root @ 135

# Date Auteur Commentaire
135 10/11/2014 17:58 Serge Torres

Binary test file excluded from repository set.

134 10/11/2014 17:57 Serge Torres

Tested: pobyso_new_monomial function.
Added: pobyso_subpoly function wrapper;
doxygen configuration file.
Changed: clean up in return values of functions (no errors any more, NULL pointers
or 0 ints instead).

133 09/11/2014 20:06 Serge Torres

Added: pobyso_is_constant_expression (finished), and
pobyso_new_monomial (to be tested).

132 05/11/2014 17:59 Serge Torres

Lot's of changes, to complex to describe in details.

131 03/11/2014 17:59 Serge Torres

Small bug fix.

130 03/11/2014 17:52 Serge Torres

Changed pobyso_function_t type to pobyso_func_exp_t type.

129 15/09/2014 17:43 Serge Torres

Taking into account changes to Pobyso.

128 15/09/2014 17:42 Serge Torres

Lots of revisions of the C version of Pobyso.

127 04/04/2014 17:34 Serge Torres

Several adaptations to Sollya 4.x
Mainly in pobyso_parser_string

126 31/03/2014 17:46 Serge Torres

Project restarts.

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.

56 18/01/2013 18:08 Serge Torres

Lots of bug fixes and enhancements.
Taylor expansions stuff added.

55 21/12/2012 17:44 Serge Torres

Added solly_lib_mid...

54 14/12/2012 18:08 Serge Torres

supnorm stuff added.

Bugs fixing.

53 12/12/2012 16:36 Serge Torres

Interval/Range stuff added.

52 11/12/2012 10:30 Serge Torres

Remez and Tayloform updates

51 05/12/2012 16:24 Serge Torres

Mainly, new min_rn_size function added to sageMpfr.spyc.
New #define constants and function declaration added.

50 30/11/2012 11:21 Serge Torres

Nothing

49 29/11/2012 17:04 Serge Torres

A

48 29/11/2012 16:46 Serge Torres

A

47 29/11/2012 16:45 Serge Torres

A

46 29/11/2012 16:37 Serge Torres

A

45 29/11/2012 16:35 Serge Torres

A

44 29/11/2012 16:32 Serge Torres

A

43 29/11/2012 16:10 Serge Torres
42 29/11/2012 16:07 Serge Torres

Del test.

41 29/11/2012 16:06 Serge Torres

Ajout du dossier test.

40 29/11/2012 15:16 Serge Torres

Suppression du dossier test.

39 29/11/2012 15:14 Serge Torres

Ajout du dossier test.

38 28/11/2012 18:07 Serge Torres

Lots of change on pobyso.py: adding the suffixes to functions.

37 27/11/2012 14:32 Serge Torres

Start of Taylor model management for Coppersmith

36 27/11/2012 14:31 Serge Torres