| 1 | 2008_03-02 cpernet |
|---|
| 2 | linbox-1.1.5 released: |
|---|
| 3 | * drivers are back to the source code, |
|---|
| 4 | * shared libraries are enabled by default. |
|---|
| 5 | * new code in fflas-ffpack for rank profiles |
|---|
| 6 | * new double-determinant algorithm |
|---|
| 7 | * changed the rawIndexedIterator interface, fixing the broken previous one. |
|---|
| 8 | * many minor fixes, mostly memleaks. |
|---|
| 9 | 2007-10-27 cpernet |
|---|
| 10 | linbox-1.1.4 has been released including the following most important |
|---|
| 11 | changes: |
|---|
| 12 | * lots of memory leaks fixed |
|---|
| 13 | * better compliance with BLAS |
|---|
| 14 | * increased system solver functionalities (rectangular, rank deficient |
|---|
| 15 | matrices) |
|---|
| 16 | * support for g++/gcc v4.2 |
|---|
| 17 | 2007-09-28 cpernet |
|---|
| 18 | * Add support for more general dense system solving: |
|---|
| 19 | The system can be rectangular (over/underdetermined), singular. |
|---|
| 20 | 2007-09-07 bds |
|---|
| 21 | * This changelog is being widely ignored. Today buildbot test is on. |
|---|
| 22 | 2007-01-31 bds |
|---|
| 23 | * This entry is just to record that version 1.1.0 has been released by |
|---|
| 24 | Jean-Guillaume Dumas and the current svn version is just a couple of |
|---|
| 25 | steps from the release version. |
|---|
| 26 | 2006-08-08 bds |
|---|
| 27 | * examples/det.C, solutions/det.h, methods.h modified in preparation for |
|---|
| 28 | * mpi based paralle cra loop in algorithms/cra-domain.h (by Bryan Youse). |
|---|
| 29 | * also a stub of util/mpicpp.h added (will become the mpi interface). |
|---|
| 30 | 2006-07-27 Hui Wang and bds |
|---|
| 31 | * Add blackbox/quad-matrix.h which defines the ZOQuad matrix, |
|---|
| 32 | * which is a cache efficient {0,1}-matrix rep. |
|---|
| 33 | * Add it's tests, modify also blackbox/zo.h, |
|---|
| 34 | * and accumulate-special in field/modular.h to better support sums of field elements efficiently. |
|---|
| 35 | 2006-06-01 bds |
|---|
| 36 | * rank.h adjusted to work around faulty PIVOT_LINEAR code in sparse elim. |
|---|
| 37 | * test-rank.C now tests blackbox, elimination, hybrid methods as well as...:wq |
|---|
| 38 | 2006-04-18 bds and Hui Wang |
|---|
| 39 | * examples/smith.C minor changes |
|---|
| 40 | * linbox/blackbox/apply.h - don't recall what we did to wreck this. |
|---|
| 41 | * linbox/blackbox/archetype.h linbox/blackbox/scalar-matrix.h linbox/blackbox/zero-one.h linbox/randiter/modular.h linbox/vector/stream.h tests/Makefile.am tests/Matio.h - minor touches |
|---|
| 42 | * cvs thinks we changed just about everything in tests, but diff shows no change. We're checking in anyway |
|---|
| 43 | * Where are our added files blackbox/zo.h zo.inl quad-matrix.h ? - which are a new version of zero-one and a block decomposed sparse matrix, resp. |
|---|
| 44 | |
|---|
| 45 | 2006-01-20 bds and Hui Wang |
|---|
| 46 | * linbox/algorithms/gauss.inl - we think we made it better but it still isn't working :-) |
|---|
| 47 | 2005-12-13 Pascal Giorgi |
|---|
| 48 | * linbox/algorithms/Makefile.am: add new files |
|---|
| 49 | * linbox/algorithms/lifting-container.h: minor change |
|---|
| 50 | * linbox/algorithms/matpoly-mult.h: adding FFT and Karatsuba based polynomial matrix multiplication and middle product |
|---|
| 51 | * linbox/algorithms/rational-reconstruction.h: use macro to enable timing |
|---|
| 52 | * linbox/algorithms/rational-solver.h: minor change |
|---|
| 53 | * linbox/algorithms/rational-solver.inl: minor chane |
|---|
| 54 | * linbox/algorithms/short-vector.h: work in progress for ternary lattice reduction |
|---|
| 55 | * linbox/algorithms/sigma-basis.h: add muti sigma basis computation and special Pade solver. |
|---|
| 56 | * linbox/blackbox/block-hankel-inverse.h: enable use of new special Pade solver |
|---|
| 57 | * linbox/blackbox/block-hankel.h: use macro to enable timing |
|---|
| 58 | * linbox/randiter/{Makefile.am,random-fftprime.h}: add fftprime generator |
|---|
| 59 | |
|---|
| 60 | |
|---|
| 61 | |
|---|
| 62 | 2005-12-8 bds |
|---|
| 63 | * minor cleanups |
|---|
| 64 | 2005-11-17 Pascal Giorgi: |
|---|
| 65 | * macros/blas-check.m4: adding new support for blas libraries |
|---|
| 66 | * macros/linbox-opt.m4: adding new support for blas libraries |
|---|
| 67 | * macros/linbox-misc.m4: adding new support for blas libraries |
|---|
| 68 | * linbox/config-blas.h: linbox headers for BLAS |
|---|
| 69 | * linbox/Makefile.am: add new BLAS support |
|---|
| 70 | * linbox/fflas/Makefile.am: remove dependencies to ATLAS |
|---|
| 71 | * linbox/fflas/fflas.h: add new BLAS support |
|---|
| 72 | * linbox/ffpack.Makefile.am: remove dependencies to ATLAS |
|---|
| 73 | * configure.in: remove ATLAS checking and replace with BLAS checking |
|---|
| 74 | * linbox-config.in: remove ATLAS libs and replace with BLAS libs |
|---|
| 75 | * tests/Makefile.am: remove ATLAS dependencies |
|---|
| 76 | |
|---|
| 77 | 2005-10-26 Pascal Giorgi: |
|---|
| 78 | * linbox/algorithms/Makefile.am: add sigma-basis.h file |
|---|
| 79 | * linbox/algorithms/sigma-basis.h: make sigma basis algorithm available |
|---|
| 80 | * linbox/algorithms/blackbox-block-container.h: add support for special structured block |
|---|
| 81 | * linbox/algorithms/blas-domain.h: fix bug |
|---|
| 82 | * linbox/algorithms/lifting-container.h: add support for sparse solver using a Block Hankel inverse |
|---|
| 83 | * linbox/algorithms/rational-solver.h(.inl): add new algorithm for solving sparse system |
|---|
| 84 | * linbox/blackbox/Makefile.am: add block-hankel.h. block-toeplitz.h and block-hankel-inverse.h |
|---|
| 85 | * linbox/blackbox/apply.h: fix optimization compatibility |
|---|
| 86 | * linbox/blackbox/block-hankel.h : add a blackbox for block Hankel matrices |
|---|
| 87 | * linbox/blackbox/block-hankel-inverse.h: add blackbox to compute the inverse of a block Hankel blackbox |
|---|
| 88 | * linbox/blackbox/block-toeplitz.h: add a blackbox for block Toeplitz matrices |
|---|
| 89 | * linbox/element/gmp-rational.h: fix this stupid bug using signed long integer to convert rational !!! |
|---|
| 90 | * linbox/field/hom.h: add support for PID_integer homomorphism |
|---|
| 91 | * linbox/ring/givaro-polynomial.h: fix bug |
|---|
| 92 | * linbox/solutions/det.h: add handler for rational domain |
|---|
| 93 | * linbox/solutions/charpoly.h: add handler for rational domain |
|---|
| 94 | * linbox/solutions/minpoly.h: add handler for rational domain and hybrid method for blas blackbox |
|---|
| 95 | * linbox/solutions/rank.h: add handler for rational domain |
|---|
| 96 | * linbox/solutions/solve.h: add handler for rational domain and fix indentation |
|---|
| 97 | * linbox/solutions/methods.h: fix indentation and add block hankel method |
|---|
| 98 | |
|---|
| 99 | |
|---|
| 100 | 2005-09-01 Dan Roche |
|---|
| 101 | * linbox/algorithms/toeplitz-det.h: Forgot to add this before. |
|---|
| 102 | |
|---|
| 103 | 2005-08-31 Pascal Giorgi: |
|---|
| 104 | * linbox/algorithms/blas-domain.inl: add inverse specialization for multimod double domain |
|---|
| 105 | * linbox/algorithms/cia.h: call domain specialized minpoly instead of calling API and make code generic according to integer ring |
|---|
| 106 | * linbox/algorithms/lifting-container.h: support for multimod double domain |
|---|
| 107 | * linbox/algorithms/matrix-hom.h: support for multimod double domain |
|---|
| 108 | * linbox/algorithms/matrix-inverse.h: support for multimod double domain |
|---|
| 109 | * linbox/algorithms/rational-solver.inl: support for multimod double domain |
|---|
| 110 | * linbox/blackbox/apply.h: support for multimod double domain and new optimization |
|---|
| 111 | * linbox/blackbox/blas-blackbox.h: support for multimod double domain, add construction from MatrixReader and finalize apply function |
|---|
| 112 | * linbox/blackbox/submatrix.h: fixed indent style problem |
|---|
| 113 | * linbox/ffpack/ffpack.h: fix memory leak problem |
|---|
| 114 | * linbox/field/modular-double.h: add support for multimod double domain |
|---|
| 115 | * linbox/field/ntl-ZZ.h: fix indent style problem |
|---|
| 116 | * linbox/field/ntl-ZZ_p.h: set FieldTraits categoryTag |
|---|
| 117 | * linbox/matrix/blas-matrix.h: add constructor from MatrixStream |
|---|
| 118 | * linbox/matrix/dense-submatrix.h: add constructor from non const MatrixDenseBase |
|---|
| 119 | * linbox/matrix/dense-submatrix.inl: add constructor from non const MatrixDenseBase, fix bug in ConstRawIterator operator++(int) |
|---|
| 120 | * linbox/matrix/transpose.h: make the reference to the matrix to be non const |
|---|
| 121 | * linbox/ring/givaro-polynomial.h: add support for PID-integer and NTL-ZZ domain |
|---|
| 122 | * linbox/solutions/charpoly.h: throw an exception if matrix are not square |
|---|
| 123 | * linbox/solutions/det.h: fix indentation and throw an exception if matrix are not square |
|---|
| 124 | * linbox/solutions/minpoly.h: fix indentation, throw an exception if matrix are not square and make minpoly over the integer generic |
|---|
| 125 | * linbox/solutions/rank.h: fix indentation |
|---|
| 126 | * linbox/solutions/smith-form.h" fix indentation |
|---|
| 127 | * linbox/util/debug.h: allow the PreconditionFailed to be a real LinBox exception |
|---|
| 128 | |
|---|
| 129 | |
|---|
| 130 | 2005-08-19 Z. Wan |
|---|
| 131 | * linbox/element/gmp-rational.h Fixed the error which occurs duing conversion |
|---|
| 132 | between gmp integer and gmp rational |
|---|
| 133 | |
|---|
| 134 | 2005-08-18 Dan Roche |
|---|
| 135 | * Added functionality for computing the determinant of a toeplitz matrix |
|---|
| 136 | * Added field/ntl-ZZ_pX.h and field/ntl-lzz_pX.h, rings over the |
|---|
| 137 | respective NTL polynomial types |
|---|
| 138 | * Added functions pow and powin to field/ntl-ZZ_p.h and |
|---|
| 139 | field/ntl-lzz_p.h (could be added to all fields) |
|---|
| 140 | * Added blackbox/toeplitz.h and blackbox/toeplitz.inl, very similar to |
|---|
| 141 | the existing Toeplitz blackbox class, but generalized to use any |
|---|
| 142 | polynomial ring. Didn't delete the old blackbox/ntl-toeplitz.h, inl |
|---|
| 143 | so old code doesn't break |
|---|
| 144 | * Added tests/test-toeplitz-det.C to test all this |
|---|
| 145 | * Modified tests/test-ntl-toeplitz.C to use the new Toeplitz class |
|---|
| 146 | |
|---|
| 147 | 2005-08-1 bds |
|---|
| 148 | * numerous doc tweaks |
|---|
| 149 | 2005-07-15 bds and zw |
|---|
| 150 | * Now modular-balance-int.h and modular-int32.h define different classes. |
|---|
| 151 | * Modular-int had been replaced by modular-int32. |
|---|
| 152 | * Modular-int is now deprecated. |
|---|
| 153 | * Added randiter/modular-balance.h |
|---|
| 154 | |
|---|
| 155 | 2005-07-13 bds and zw |
|---|
| 156 | * solutions/solve.h call block-lanczos in bbsolve when cardinality small |
|---|
| 157 | * algorithms/bbsolve.h call mg-block-lanczos |
|---|
| 158 | * algorithms/mg-block-lanczos commentating number of trials. |
|---|
| 159 | |
|---|
| 160 | 2005-07-13 Bradford Hovinen <hovinen@localhost.localdomain> |
|---|
| 161 | |
|---|
| 162 | * linbox/solutions/solve.h: Cast A.coldim () to double before |
|---|
| 163 | calling log |
|---|
| 164 | (solve): Initialize status |
|---|
| 165 | |
|---|
| 166 | * linbox/algorithms/rational-solver.inl: Use std::max |
|---|
| 167 | |
|---|
| 168 | * linbox/blackbox/apply.h: Move #include ntl-ZZ.h into #ifdef |
|---|
| 169 | __LINBOX_HAVE_NTL |
|---|
| 170 | |
|---|
| 171 | * examples/solve.C: Add using namespace std |
|---|
| 172 | |
|---|
| 173 | 2005-07-13 bds and zw |
|---|
| 174 | * tests/Makefile.am move test-la-block-lanczos to failing tests list |
|---|
| 175 | * test-la-block-lanczos use case n = 10 to show problem |
|---|
| 176 | * test-mg-block-lanczos restore maxtries to default, comment out nullspace |
|---|
| 177 | test which has memory probs. |
|---|
| 178 | * test-solve change default blocking factor to 16 |
|---|
| 179 | |
|---|
| 180 | 2005-07-13 Bradford Hovinen <hovinen@math.utoronto.ca> |
|---|
| 181 | |
|---|
| 182 | * tests/Makefile.am (NTL_TESTS): Moved test-rational-solver, |
|---|
| 183 | test-rational-solver-adaptive, test-smith-form-binary, |
|---|
| 184 | test-last-invariant-factor here because they depend on NTL |
|---|
| 185 | (GIVARO_TESTS): Moved test-ffpack, test-blas-domain, |
|---|
| 186 | test-givaro-zpz here because they depend on Givaro |
|---|
| 187 | |
|---|
| 188 | * tests/Makefile.am (NTL_TESTS): Fix definition so that automake |
|---|
| 189 | does not complain |
|---|
| 190 | |
|---|
| 191 | 2005-07-13 Pascal Giorgi |
|---|
| 192 | fix and remove NTL dependencies |
|---|
| 193 | - remove NTL dependecies: use of PID_integer |
|---|
| 194 | * tests/test-last-invariant-factor.C |
|---|
| 195 | * tests/test-rational-solver.C |
|---|
| 196 | * tests/test-rational-solver-adaptive.C |
|---|
| 197 | * tests/test-smith-form-binary.C |
|---|
| 198 | |
|---|
| 199 | - fix NTL dependencies: by use of __LINBOX_HAVE_NTL preprocessing |
|---|
| 200 | * tests/test-smith-form.C |
|---|
| 201 | * tests/test-smith-form-iliopoulos.C |
|---|
| 202 | * tests/test-smith-form-local.C |
|---|
| 203 | * tests/test-smith-form-adaptive.C |
|---|
| 204 | * linbox/field/hom.h: specialization for NTL |
|---|
| 205 | * linbox/algorithms/smith-form-adaptative.h |
|---|
| 206 | |
|---|
| 207 | - linbox/ring/givaro-polynomial.h: to be done by Jean-Guillaume and Clement |
|---|
| 208 | |
|---|
| 209 | 2005-07-12 Pascal Giorgi |
|---|
| 210 | * linbox/matrix/factorized.inl: add support for singular system solving (inconsistent system is defined by the zero solution) |
|---|
| 211 | fix also bug in nonsingular solving |
|---|
| 212 | |
|---|
| 213 | 2005-07-11 Pascal Giorgi (authorized by dictator Dumas)) |
|---|
| 214 | * linbox/solutions/solve.h: change the interface for integer systems |
|---|
| 215 | |
|---|
| 216 | Make the solver interface working with Wiedemann method, Lanczos method |
|---|
| 217 | * linbox/algorithms/solve.h: add support for Lanczos method |
|---|
| 218 | * linbox/algorithms/bbsolve.h: fix compilation error |
|---|
| 219 | * linbox/algorithms/wiedemann.h: fix compilation error |
|---|
| 220 | * linbox/algorithmd/wiedemann.inl: fix compilation error |
|---|
| 221 | * linbox/algorithms/lanczos.h: fix compilation error |
|---|
| 222 | * linbox/algorithmd/lanczos.inl: fix compilation error |
|---|
| 223 | |
|---|
| 224 | 2005-07-07 Dan Roche |
|---|
| 225 | * linbox/blackbox/sparse.h |
|---|
| 226 | * linbox/blackbox/dense.h |
|---|
| 227 | * linbox/matrix/sparse.h: Changed the RawIndexedIterator code so that |
|---|
| 228 | dereferencing returns a reference to the value |
|---|
| 229 | (same as RawIterator) |
|---|
| 230 | * linbox/blackbox/lambda-sparse.h |
|---|
| 231 | * tests/test-matrix-stream.C |
|---|
| 232 | * linbox/algorithms/matrix-hom.h: Updated the code here to reflect |
|---|
| 233 | change above |
|---|
| 234 | |
|---|
| 235 | 2005-07-07 Dan Roche |
|---|
| 236 | * linbox/matrix/sparse.h: Went through and fixed more iterator problems that could be causing segfaults. |
|---|
| 237 | |
|---|
| 238 | 2005-07-06 bds and zw |
|---|
| 239 | * linbox/solutions/is-positive-definite.h, is-positive-semidefinite.h, added |
|---|
| 240 | functions isPositiveDefinite and isPositiveSemiDefinite. |
|---|
| 241 | * linbox/tests/test-isposdef.C, test-ispossemidef.C, Makefile.am, added |
|---|
| 242 | tests for them. |
|---|
| 243 | * linbox/field/hom.h, linbox/algorithms/signature.h, minor tweaks. |
|---|
| 244 | * linbox/algorithms/algorithms.doxy, docs related |
|---|
| 245 | |
|---|
| 246 | 2005-07-06 Dan Roche |
|---|
| 247 | * examples/rank.C |
|---|
| 248 | * examples/det.C: Modified these to use MatrixStream and thereby support multiple file formats. |
|---|
| 249 | * linbox/matrix/sparse.h |
|---|
| 250 | * linbox/matrix/sparse.inl: Fixed some problems with the iterators: seg faults were caused by poor handling of empty rows. |
|---|
| 251 | * linbox/util/matrix-stream.inl: minor clean-ups |
|---|
| 252 | |
|---|
| 253 | 2005-07-4 Pascal Giorgi |
|---|
| 254 | * linbox/blackbox/Makefile.am: add polynomial.h |
|---|
| 255 | * linbox/blackbox/apply.h: add optimization |
|---|
| 256 | * linbox/blackbox/blas-blackbox.h: add the use of BLAS asap |
|---|
| 257 | * linbox/solutions/methods.h: extend dixon method |
|---|
| 258 | * linbox/solutions/solve.h: add rational-solver and diophantine-solver support for BlasElimination method (need to fix denominator output). |
|---|
| 259 | also add support for BlasElimination over finite field (not fully implemented) |
|---|
| 260 | * linbox/algorithms/rational-reconstruction.h: define early termination according to threshold |
|---|
| 261 | (0 means no early termination, x > 0 means early termination with checking each x steps) |
|---|
| 262 | |
|---|
| 263 | 2005-07-01 Pascal Giorgi |
|---|
| 264 | * configure.in: add linbox/util/formats/Makefile.am support |
|---|
| 265 | * add linbox/util/formats/Makefile.am file |
|---|
| 266 | * linbox/util/Makefile.am: fixe comment problem |
|---|
| 267 | |
|---|
| 268 | 2005-07-01 Dan Roche |
|---|
| 269 | * linbox/blackbox/dense.h |
|---|
| 270 | * linbox/matrix/dense.inl |
|---|
| 271 | * linbox/matrix/dense.h: Added Constructors from a matrix-stream |
|---|
| 272 | * linbox/blackbox/sparse.h |
|---|
| 273 | * linbox/blackbox/sparse.inl |
|---|
| 274 | * linbox/matrix/sparse.h: Added Constructors from a matrix-stream |
|---|
| 275 | Changed to use size_t for indexing rather than ints: |
|---|
| 276 | * linbox/util/matrix-stream.h |
|---|
| 277 | * linbox/util/matrix-stream.inl |
|---|
| 278 | * linbox/util/formats/generic-dense.h |
|---|
| 279 | * linbox/util/formats/maple-dense1.h |
|---|
| 280 | * linbox/util/formats/maple-sparse1.h |
|---|
| 281 | * linbox/util/formats/matrix-market.h |
|---|
| 282 | * linbox/util/formats/sms.h |
|---|
| 283 | * linbox/util/formats/sparse-row.h |
|---|
| 284 | * tests/test-matrix-stream.C: Included sparse and dense blackbox matrix constructors in testing |
|---|
| 285 | * tests/data/sms.matrix: Fixed a formatting error |
|---|
| 286 | |
|---|
| 287 | 2005-07-01 W. J. Turner |
|---|
| 288 | * linbox/until/commentator.C: removed using namespace std directive |
|---|
| 289 | |
|---|
| 290 | 2005-06-30 Pascal Giorgi |
|---|
| 291 | resolve symbol error in libutil.a (commentator.o needed timer.o) |
|---|
| 292 | * linbox/util/commetator.C: include timer.C |
|---|
| 293 | * linbox/util/Makefile.am: remove timer.c from libutil.a source (included through commentator) |
|---|
| 294 | |
|---|
| 295 | 2005-06-29 W. J. Turner |
|---|
| 296 | Removed using declarations within several classes and replaced with |
|---|
| 297 | this->... to preserve backwards compatability and allow compilation |
|---|
| 298 | with gcc 3.4 and newer: |
|---|
| 299 | * linbox/algorithms/blackbox-block-container.h |
|---|
| 300 | * linbox/algorithms/blackbox-container-symmetric.h |
|---|
| 301 | * linbox/algorithms/blackbox-container-symmetrize.h |
|---|
| 302 | * linbox/algorithms/blackbox-container.h |
|---|
| 303 | * linbox/algorithms/lifting-container.h |
|---|
| 304 | * linbox/blackbox/frobenius.h |
|---|
| 305 | * linbox/blackbox/lambda-sparse.h |
|---|
| 306 | * linbox/blackbox/ntl-hankel.{h,inl} |
|---|
| 307 | * linbox/blackbox/submatrix.h |
|---|
| 308 | * linbox/field/givaro-zpz.h |
|---|
| 309 | * linbox/matrix/blas-matrix.h |
|---|
| 310 | * linbox/util/formats/generic-dense.h |
|---|
| 311 | * linbox/util/formats/maple-dense1.h |
|---|
| 312 | * linbox/util/formats/maple-sparse1.h |
|---|
| 313 | * linbox/util/formats/matrix-market.h |
|---|
| 314 | * linbox/util/formats/sms.h |
|---|
| 315 | * linbox/util/formats/sparse-row.h |
|---|
| 316 | |
|---|
| 317 | |
|---|
| 318 | 2005-06-27 W. J. Turner |
|---|
| 319 | * linbox/ffpack/ffpack_charpoly_kgfast.inl: removed using namespace |
|---|
| 320 | std directive |
|---|
| 321 | * linbox/*/lidia-gfq.h: removed using namespace LiDIA directives |
|---|
| 322 | * linbox/vector/sparse.h: removed using namespace LinBox directive |
|---|
| 323 | * linbox/util/formats/*.h: removed using declarations |
|---|
| 324 | * linbox/util/*.h: removed using declarations |
|---|
| 325 | * linbox/util/xml/*.h: removed using declarations |
|---|
| 326 | |
|---|
| 327 | 2005-06-25 Bradford Hovinen <hovinen@math.utoronto.ca> |
|---|
| 328 | |
|---|
| 329 | * tests/test-mg-block-lanczos.C (testRandomSolve, testSampleNullspace): |
|---|
| 330 | Use preconditioner SYMMETRIZE |
|---|
| 331 | (main): Use more sensible defaults |
|---|
| 332 | |
|---|
| 333 | * examples/dot-product.C (main): Declare v1 and v2 to be of length n |
|---|
| 334 | (fixes segfault) |
|---|
| 335 | |
|---|
| 336 | 2005-06-24 W. J. Turner |
|---|
| 337 | * linbox/blackbox/*: removed using declarations and directives |
|---|
| 338 | * linbox/field/*.h: removed using declarations and directives |
|---|
| 339 | * linbox/field/ntl-lzz_pE.h: added explicit call to namespace in NTL::BuildIrred_zz_pX |
|---|
| 340 | * linbox/field/ntl-GF2E.h: added explicit call to namespace in NTL::BuildSparseIrred_GF2X |
|---|
| 341 | * linbox/randiter/*.h: removed using declarations |
|---|
| 342 | |
|---|
| 343 | 2005-06-17 Pascal Giorgi |
|---|
| 344 | * /linbox/field/PID-integer.h: add sqrt function and homomorphism support |
|---|
| 345 | * /linbox/field/hom.h: identation fixed |
|---|
| 346 | * /example/solver/t-rdisove.C: comment givaro.h to fix compilation errors |
|---|
| 347 | |
|---|
| 348 | 2005-06-16 Pascal Giorgi |
|---|
| 349 | * /linbox/blackbox/apply.h: add blas-blackbox compatibility |
|---|
| 350 | * /linbox/blackbox/blas-blackbox.h: modify constructor and add category support |
|---|
| 351 | * /linbox/matrix/blas-matrix.h: new creator and add category support |
|---|
| 352 | * /linbox/matrix/matrix-category.h: move MatrixCategory from blas-matrix.h |
|---|
| 353 | * /linbox/algorithms/blas-domain.h: fancy indentation |
|---|
| 354 | * /linbox/algorithms/blas-domain.inl: add support for BlasBlackbox |
|---|
| 355 | * /linbox/algorithms/matrix-hom.h: add support for BlasBlackbox |
|---|
| 356 | * /linbox/algorithms/rational-solver.inl: use of MatrixHom and BlasBlackbox instead of MatrixMod and BlasMatrix |
|---|
| 357 | |
|---|
| 358 | |
|---|
| 359 | |
|---|
| 360 | 2005-06-15 Pascal Giorgi |
|---|
| 361 | * /linbox/blackbox/apply.h : compatiblity with 64bits architecture |
|---|
| 362 | |
|---|
| 363 | 2005-06-14 Pascal Giorgi |
|---|
| 364 | * /doc directory: modification to documentation (linbox.html become central) |
|---|
| 365 | * macros/linbox-doc.m4: new documentation checking (use of Doxygen) |
|---|
| 366 | * configure.in: take into consideration new doc checking |
|---|
| 367 | |
|---|
| 368 | 2005-06-10 bds |
|---|
| 369 | methods.h working for det.h in good form - other solutions may be broken: |
|---|
| 370 | Can consider det.h a good model for solutions funs now. |
|---|
| 371 | |
|---|
| 372 | 2005-06-07 Z. Wan |
|---|
| 373 | * linbox/blackbox/matrix-blackbox.h, linbox/matrix/dense.h, sparse.h, |
|---|
| 374 | added reind to DenseMatrixBase and SparseMatrixBase. |
|---|
| 375 | |
|---|
| 376 | 2005-05-02 Pascal Giorgi |
|---|
| 377 | * configure.in , macros/linbox-opt.m4 : add optimization process during linbox configuration |
|---|
| 378 | * linbox/fflas/fflas.h : allow the use of optimized Winograd threshold |
|---|
| 379 | |
|---|
| 380 | 2005-04-26 -bds |
|---|
| 381 | * Name changes *ntl-zz* --> *ntl-lzz* to avoid clashes with ZZ in case |
|---|
| 382 | insensitive situations. |
|---|
| 383 | * Also change test*.cpp to test*.C for consistency |
|---|
| 384 | 2005-03-32 Pascal Giorgi |
|---|
| 385 | * linbox/fflas/fflas_fgemm.inl: fix compilation error with WinoMain function call |
|---|
| 386 | * linbox/algorithms/Makefile.am, rational-solver.h,.inl: set default prime size to 20 bits and make number of prime to try as a user parameter |
|---|
| 387 | in function solve |
|---|
| 388 | * tests/Makefile.am, test-rational-solver.C : retrieve rational solver test (make commentator progress worrking) |
|---|
| 389 | |
|---|
| 390 | 2005-03-30 bds |
|---|
| 391 | * removed xml read/write code in numerous places |
|---|
| 392 | * misc small stuff (I forgot what I may have changed, to tell the truth!) |
|---|
| 393 | |
|---|
| 394 | 2005-03-17 PG and ZW |
|---|
| 395 | * linbox/algorithms/cra.h, cra-det-integer.h, minpoly-integer.h, Makefile.am, added |
|---|
| 396 | functionalities for integer cases using modular arithmetic and CRA |
|---|
| 397 | * linbox/solutions/det.h, minpoly.h, rank.h, unified the interface, added blas elimination |
|---|
| 398 | for det and rank |
|---|
| 399 | |
|---|
| 400 | 2005-03-15 bds |
|---|
| 401 | *tests/test-rank.C linbox/solutions/rank.h methods.h Introduce rank |
|---|
| 402 | by blas-elimination, together with check for too small prime in wiedemann rank. |
|---|
| 403 | |
|---|
| 404 | 2005-02-17 Zhendong Wan (wan@cis.udel.edu) |
|---|
| 405 | *linbox/algorithms/rational-reconstruction.h, implemented the fast early termination techniques, which was described |
|---|
| 406 | in a preprint paper submitted to ISSAC'05. |
|---|
| 407 | |
|---|
| 408 | 2005-02-16 Zhendong Wan (wan@cis.udel.edu) |
|---|
| 409 | *linbox/algorithms/rational-solver.h, rational-solver.inl, rational-solver-adaptive.h, Merged rational solver using numerical methods with others |
|---|
| 410 | |
|---|
| 411 | 2005-02-14 Clement Pernet (Clement.Pernet@imag.fr) |
|---|
| 412 | * Improvements to FFLAS::fgemm routine: Winograd's fast matrix |
|---|
| 413 | multiplication is now working for any operation of the type |
|---|
| 414 | C<-alpha.A*B + beta.C |
|---|
| 415 | * Dynamic pealing is now generic wrt the field |
|---|
| 416 | * The recursive block algorithm is now working over the field if the |
|---|
| 417 | BLAS condition is not met |
|---|
| 418 | 2005-02-07 Clement Pernet (Clement.Pernet@imag.fr) |
|---|
| 419 | * Change the name fflapack -> ffpack |
|---|
| 420 | * bug fixes in blackbox-block-container.h |
|---|
| 421 | * compilation failure of test-rational-solver due to "assert" in |
|---|
| 422 | rational-solver.h should be fixed |
|---|
| 423 | * compilation failuer in test-matrix-stream due to 888888888888888 being to big |
|---|
| 424 | should be fixed |
|---|
| 425 | 2005-02-04 Zhendong Wan (wan@cis.udel.edu) |
|---|
| 426 | *Add linbox/solutions/cra.h, minpoly-integer.h, add codes to compute the minpoly of an integer matrix. |
|---|
| 427 | *Modify linbox/test-minpoly.C, add test for minpoly of an integer matrix. |
|---|
| 428 | *Modify linbox/solutions/minpoly.h, it can hanle integer case. |
|---|
| 429 | ** linbox/solutions/cra.h and linbox/algorithms/cra.h should merge in future |
|---|
| 430 | ** minpoly-integer.h and minpoly.h should merge, and support blas in future |
|---|
| 431 | |
|---|
| 432 | 2005-02-03 Zhendong Wan (wan@cis.udel.edu) |
|---|
| 433 | *linbox/field/PID-double.h, PID-integer.h, PIR-modular-int.h, |
|---|
| 434 | PIR-modular-int32.h, PIR-ntl-ZZ_p.h, double-fmod.h, |
|---|
| 435 | field-traits.h gf2.h, givaro-gfq.h, givaro-montg.h, |
|---|
| 436 | givaro-rational.h, givaro-zpz.h, gmp-integers.h, gmp-rational.h, |
|---|
| 437 | lidia-gfq.h local2_32.h, modular-balance-int.h, |
|---|
| 438 | modular-balance-int32.h, modular-byte.h, modular-double.h, |
|---|
| 439 | modular-int.h, modular-int32.h, modular-short.h, modular.h, |
|---|
| 440 | ntl-GF2E.h ntl-RR.h, ntl-ZZ.h, ntl-ZZ_p.h, ntl-ZZ_pE.h, |
|---|
| 441 | ntl-pid-zz_p.h, ntl-zz_p.h, ntl-zz_pE.h, param-fuzzy.h, |
|---|
| 442 | unparametric.h, |
|---|
| 443 | added information in field traits in order to classify all rings. |
|---|
| 444 | |
|---|
| 445 | 2005-03 Zhendong Wan (wan@cis.udel.edu) |
|---|
| 446 | *linbox/algorithms/matrix-mod.h, change class MatrixMod to namespace, |
|---|
| 447 | so that some special mod functions can be addaed |
|---|
| 448 | *linbox/algorithms/rational-reconstruction.h, rational-solver.inl, fixed |
|---|
| 449 | compiling complaints |
|---|
| 450 | |
|---|
| 451 | 2005-01-28 Dan Roche |
|---|
| 452 | * examples/linbox-program.C - various fixes |
|---|
| 453 | * field/unparametric.h - was casting to long and then to integer - fixed |
|---|
| 454 | * field/hom.h - added mapping from UnparametricField to Modular |
|---|
| 455 | * util/matrix-stream.h Provides a new, generic way of reading matrices in multiple formats. |
|---|
| 456 | * util/formats New directory for matrix-stream format specifications |
|---|
| 457 | * util/formats/matrix-stream-readers.h Place to include all the different format specification files: |
|---|
| 458 | * util/formats/generic-dense.h |
|---|
| 459 | * util/formats/maple-dense1.h |
|---|
| 460 | * util/formats/maple-sparse1.h |
|---|
| 461 | * util/formats/matrix-market.h |
|---|
| 462 | * util/formats/matrix-stream-readers.h |
|---|
| 463 | * util/formats/sms.h |
|---|
| 464 | * randiter/gmp-random-prime.h Generates random numbers up to a given size |
|---|
| 465 | * tests/test-matrix-stream.C Tests to see if matrix-stream is working |
|---|
| 466 | * Sample matrices used by test-matrix-stream: |
|---|
| 467 | * tests/data/generic-dense.matrix |
|---|
| 468 | * tests/data/maple-dense1.matrix |
|---|
| 469 | * tests/data/maple-sparse1.matrix |
|---|
| 470 | * tests/data/matrix-market-array.matrix |
|---|
| 471 | * tests/data/matrix-market-coordinate.matrix |
|---|
| 472 | * tests/data/sms.matrix |
|---|
| 473 | * tests/data/sparse-row.matrix |
|---|
| 474 | |
|---|
| 475 | 2005-01-07 ZW |
|---|
| 476 | * linbox/field/gmp-integers.h, fixed init |
|---|
| 477 | * linbox/field/modular-double.h, implemented a fast init |
|---|
| 478 | |
|---|
| 479 | 2004-12-03 bds |
|---|
| 480 | * matrix/sparse.h .inl - add reading of Magma Compact form |
|---|
| 481 | * vector/vector-domain.h .inl - can't read into const vectors, so rm 'const |
|---|
| 482 | |
|---|
| 483 | 2004-10-08 bds |
|---|
| 484 | * examples/blackbox/Makefile.am smith.C - minor |
|---|
| 485 | * field/field-traits.h givaro-gfq.h ntl-GF2E.h - put in maxmodulus |
|---|
| 486 | * doc/Doxyfile mainpage - minor doc changes |
|---|
| 487 | |
|---|
| 488 | 2004-09-30 Pascal Giorgi |
|---|
| 489 | |
|---|
| 490 | * linbox/algorithms/lifting-container.h: take modification of MatrixApplyDomain setup function |
|---|
| 491 | * linbox/algorithms/rational-solver.inl: use of BlasMatrix instead of BlasBlackbox |
|---|
| 492 | * linbox/algorithms/rational-reconstruction.h: add lifting commentator progress in getRational3 function |
|---|
| 493 | * linbox/blackbox/apply.h: redefine MatrixApplyDomain s.t. specialization for dense storage is easier |
|---|
| 494 | * linbox/matrix/dense.inl: make reading with sparse format work and fix bug in writing over domain with non positive cardinality |
|---|
| 495 | |
|---|
| 496 | 2004-09-21 Pascal Giorgi |
|---|
| 497 | |
|---|
| 498 | * linbox/algorithms/Makefile.am: Add headers for (rationnal-solver.inl, diophantine-solver.inl, vector-fraction.h) |
|---|
| 499 | * linbox/algorithms/blackbox-block-container-base.h: Use BlasDomain and BlasMatrix |
|---|
| 500 | * linbox/algorithms/blackbox-block-container.h: Make BlackboxBlockContainerRecord class (handling precomputed sequence and row-colum updating) |
|---|
| 501 | * linbox/algorithms/block-massey-domain.h: Compute generating matrix polynomial using Sigma Basis through algorithm of GJV-ISSAC'03 |
|---|
| 502 | * linbox/algorithms/block-wiedemann.h: Add block Wiedemann solver |
|---|
| 503 | * linbox/algorithms/lifting-container.h: Add specialisation for Block Wiedemann method and clean optimizations |
|---|
| 504 | * linbox/algorithms/rational-solver.h: Add specialisation for Block Wiedemann method |
|---|
| 505 | * linbox/algorithms/rational-solver.inl: Add specialisation for Block Wiedemann method |
|---|
| 506 | * linbox/blackbox/Makefile.am: Add headers for lambda-sparse.h and blas-blackbox.h |
|---|
| 507 | * linbox/blackbox/apply.h: Put optimizations on matrix-vector product - moved from lifting-container |
|---|
| 508 | * linbox/fflas/fflas_fgemm.inl: Fix bug on Winomain function |
|---|
| 509 | * linbox/fflas/fflas_ftrsm.inl: Fix bug on normalisation before BLAS call |
|---|
| 510 | * linbox/field/Makefile.am: Add ntl-GF2E.h header |
|---|
| 511 | * linbox/field/ntl-GF2E.h: Add wrapper for GF(2^n) of NTL library |
|---|
| 512 | * linbox/field/modular-double.h: Improve DotProductDomain specialization |
|---|
| 513 | * linbox/field/ntl.h: Add ntl-GF2E.h header |
|---|
| 514 | * linbox/matrix/blas-matrix.h: Take into account modifications of dense-submatrix |
|---|
| 515 | * linbox/matrix/dense-submatrix.h: Use pointer instead of reference |
|---|
| 516 | * linbox/matrix/dense-submatrix.inl: Use pointer instead of reference |
|---|
| 517 | * linbox/matrix/factorized-matrix.inl: Fix the extractions of L, U and S |
|---|
| 518 | * linbox/solutions/methods.h: Add BlockWiedemann method |
|---|
| 519 | * linbox/util/gmp++/Makefile.am: Remove gmp++_int.c ( redudant for compilation) |
|---|
| 520 | |
|---|
| 521 | 2004-09-02 Bradford Hovinen <hovinen@vega.pc.cis.udel.edu> |
|---|
| 522 | |
|---|
| 523 | * linbox/algorithms/la-block-lanczos.h (class |
|---|
| 524 | LABlockLanczosSolver): Add _iter, _total_dim, _rank |
|---|
| 525 | |
|---|
| 526 | * linbox/algorithms/la-block-lanczos.inl (cleanup): Update _rank |
|---|
| 527 | (rank): Implement |
|---|
| 528 | |
|---|
| 529 | * linbox/blackbox/diagonal.h (class Diagonal): Compilation fix |
|---|
| 530 | |
|---|
| 531 | * linbox/blackbox/dense.h (class DenseMatrix): Make _AT use |
|---|
| 532 | DenseMatrix, not DenseMatrixBase |
|---|
| 533 | |
|---|
| 534 | * tests/test-la-block-lanczos.C (main): |
|---|
| 535 | |
|---|
| 536 | * tests/test-mg-block-lanczos.C (main): Use better defaults |
|---|
| 537 | |
|---|
| 538 | * linbox/algorithms/la-block-lanczos.inl (solve, sampleNullspace): |
|---|
| 539 | Clear history when done |
|---|
| 540 | |
|---|
| 541 | * tests/Makefile.am (BASIC_TESTS): Add test-mg-block-lanczos |
|---|
| 542 | |
|---|
| 543 | * linbox/algorithms/la-block-lanczos.h (class |
|---|
| 544 | LABlockLanczosSolver::InnerProductArray): Add reset |
|---|
| 545 | |
|---|
| 546 | * linbox/algorithms/la-block-lanczos.inl (iterate): Reset uAv |
|---|
| 547 | |
|---|
| 548 | * linbox/algorithms/Makefile.am (pkgincludesub_HEADERS): Add |
|---|
| 549 | eliminator.{h|inl} |
|---|
| 550 | |
|---|
| 551 | * tests/Makefile.am (BASIC_TESTS): Add test-la-block-lanczos |
|---|
| 552 | |
|---|
| 553 | * linbox/algorithms/Makefile.am (pkgincludesub_HEADERS): Add |
|---|
| 554 | la-block-lanczos.{h|inl}, mg-block-lanczos.{h|inl}; remove |
|---|
| 555 | block-lanczos.{h|inl} |
|---|
| 556 | |
|---|
| 557 | 2004-09-01 bds |
|---|
| 558 | * solutions/minpoly.h tests/test-minpoly.C: add minpolySymmetrize |
|---|
| 559 | |
|---|
| 560 | 2004-09-01 bds wan zw |
|---|
| 561 | * linbox/algorithms/rational-solver-adaptive.h, adaptive solve |
|---|
| 562 | |
|---|
| 563 | 2004-08-30 bds and zw |
|---|
| 564 | * linbox/algorithms/one-invariant-factor.h, smith-form-adaptive.inl, make bonus works |
|---|
| 565 | |
|---|
| 566 | 2004-08-30 bds and zw |
|---|
| 567 | * linbox/algorithms/smith-form-adaptive.h, inl. Implementation of an adaptive algorithm for |
|---|
| 568 | Smith form |
|---|
| 569 | |
|---|
| 570 | 2004-08-30 bds |
|---|
| 571 | * linbox/randiter/mersenne-twister.h linbox/util/commentator.h |
|---|
| 572 | linbox/util/gmp++/gmp++_int_misc.C tests/Makefile.am tests/test-common.C: |
|---|
| 573 | LinBoxSrcOnly flag also used in tests/ now (to avoid incompatibility |
|---|
| 574 | with use in examples/) |
|---|
| 575 | |
|---|
| 576 | 2004-08-30 bds |
|---|
| 577 | * examples/ex-integers.C examples/Makefile.am linbox/util/gmp++/Makefile.am: Turn on |
|---|
| 578 | LinBoxSrcOnly flag for examples compilations so that user does not confront |
|---|
| 579 | load-library problems. |
|---|
| 580 | * doc/Makefile.am examples/Matio.h linbox/integer.h linbox/blackbox/*.h etc.: |
|---|
| 581 | switch documentation system to doxygen. (it still needs plenty of work) |
|---|
| 582 | * add .doxy files (replacing .dxx files) to doc system |
|---|
| 583 | * examples/blackbox/smith.C and smithbig.C: smith form examples. |
|---|
| 584 | |
|---|
| 585 | |
|---|
| 586 | 2004-08-28 Pascal Giorgi |
|---|
| 587 | * examples/solver/t-rdisolve.C: add sparse matrix format for file and make seed to work |
|---|
| 588 | * linbox/algorithms/diophantine-solver{.h,.inl}: adding parameters information of solving |
|---|
| 589 | * linbox/algorithms/rational-reconstruction.h: clear bugs in timings |
|---|
| 590 | |
|---|
| 591 | 2004-08-26 Z. Wan |
|---|
| 592 | * linbox/algoriths/last-invariant-factor.h, implement the bonus idea \ref{....} |
|---|
| 593 | |
|---|
| 594 | 2004-08-26 Pascal Giorgi |
|---|
| 595 | * examples/fields/ex-fields-archetype.C : put std namespace |
|---|
| 596 | * examples/run/run.C : put std namespace |
|---|
| 597 | * examples/solver/Makefile.am : change order of libs for compilation |
|---|
| 598 | * examples/solver/t-rdisolve.C : change to use the new design of rational solver |
|---|
| 599 | * gmp++/gmp++_int.h : Added new function to get the size of integer in base B and base 2 |
|---|
| 600 | * gmp++/gmp++_int.inl : Added implementation of bitsize() and size_in_base( int base) functions |
|---|
| 601 | * linbox/algorithms |
|---|
| 602 | * diophantine-solver.h : use new design of rationnal solver |
|---|
| 603 | * diophantine-solver.inl : use new design of rationnal solver ( disabling conversion for VectorFraction) |
|---|
| 604 | * lifting-container.h : Added fast apply over ring when entries of the matrix are small enough ( say less than 2^16) |
|---|
| 605 | * rational-reconstruction.h : Added direct method for reconstruction, added switch between early termination and direct method |
|---|
| 606 | * rational-solver.inl : Added blas optimization for preconditionning matrices in random solution solver |
|---|
| 607 | * linbox/fflapack/fflapack.h : Maked triangular inverse available |
|---|
| 608 | * linbox/field/PID-double.h : Added abs and compare functions, + indentation |
|---|
| 609 | * linbox/field/PID-integer.h : Added abs and compare functions, + indentation |
|---|
| 610 | * linbox/matrix/dense.inl : problem with resizing in read function, leave code as it was but add the older version as comment |
|---|
| 611 | |
|---|
| 612 | |
|---|
| 613 | 2004-08-24 Z. Wan (wan@cis.udel.edu) |
|---|
| 614 | * change ith-invariant-factor.h to one-invariant-factor.h |
|---|
| 615 | * Change the implementation of the alogrithm for oneinvariantfactor, use the enhanced algorithm in ISSSAC'04 papre by |
|---|
| 616 | bds and ZW |
|---|
| 617 | |
|---|
| 618 | 2004-08-24 Z. Wan (wan@cis.udel.edu) |
|---|
| 619 | *linbox/algorithms/rational-solver.h, inl, rational-reconstruction.h, linbox/tests/test-rational-solver.C, change |
|---|
| 620 | the format of the rational solution a vector of rationals ====> (a vector of the numerator, the common denominator). |
|---|
| 621 | |
|---|
| 622 | 2004-08-19 Z. Wan (wan@cis.udel.edu) |
|---|
| 623 | * linbox/algorithms/rational-reconstruction.h, implement the V. Pan's idea for final reconstruction step. |
|---|
| 624 | * linbox/field/ntl-ZZ.h, add abs and compare member function. |
|---|
| 625 | |
|---|
| 626 | 2004-08-19 David Pritchard (dpritcha@ens-lyon.fr, daveagp@mit.edu) |
|---|
| 627 | * gmp++/gmp++_int.inl - Added wrapper for mpz_import (convert word array to LinBox::Integer) |
|---|
| 628 | * linbox/algorithms - Added timing to rational solving routines (#define RSTIMING in rational-solver.h) |
|---|
| 629 | * diophantine-solver.h - made QSolver field into a reference type |
|---|
| 630 | * diophantine-solver.inl - changed comments |
|---|
| 631 | * lifting-container.inl - Added blas optimization for muliplication of large integer matrices in Dixon |
|---|
| 632 | * rational-reconstruction.h - Changed getRational2 again so that early termination num/denbounds work |
|---|
| 633 | * rational-solver.h - Added timing, reportTimes() |
|---|
| 634 | * rational-solver.inl - Added timing |
|---|
| 635 | * vector-fraction.h - Added comment, about how RandIter may have unrandom low-order bits |
|---|
| 636 | * linbox/blackbox/apply.h - Removed bad overload of applyV |
|---|
| 637 | * linbox/fflapack/fflapack.h - changed name of function to LQUPtoInverseOfFullRankMinor |
|---|
| 638 | * linbox/field/modular-double.h - added constr. from long int, to avoid ambiguity warning when making t-rdisolve |
|---|
| 639 | * linbox/matrix/dense.inl - attempted to fix problems with Const{Row/Col}Iterator operator++ (int) |
|---|
| 640 | * linbox/matrix/factorized-matrix.h - added comment about how GetQ returns Qt |
|---|
| 641 | * linbox/util/timer.C - added a count field to the timer (how many intervals does this timer measure) |
|---|
| 642 | * linbox/util/timer.h - added a count, stopped small negative rounding errors from printing |
|---|
| 643 | * gmp++/gmp++_int_cstor.C - added mpz_import function wrapper |
|---|
| 644 | * tests/test-common.C - fixed reading of large integers |
|---|
| 645 | * examples/solver/t-rdisolve.C - added flag to make some columns zero, made better random entries |
|---|
| 646 | |
|---|
| 647 | 2004-08-11 bds |
|---|
| 648 | * examples/blackbox/smith.C illustrates iliopolous' and local methods |
|---|
| 649 | * matrix/dense.inl read() now adjusts to new input size rather |
|---|
| 650 | than complaining. Also read() accepts sparse file format. |
|---|
| 651 | |
|---|
| 652 | 2004-08-11 David Pritchard (dpritcha@ens-lyon.fr, daveagp@mit.edu) |
|---|
| 653 | * gmp++/gmp++_int.inl - Added nth root function declaration |
|---|
| 654 | * linbox/algorithms |
|---|
| 655 | * diophantine-solver.inl - minor changes |
|---|
| 656 | * lifting-container.h - fixed reconstruction lifting bound |
|---|
| 657 | * rational-reconstruction.h - added getRational2; will eventually be las-vegas style reconstructor |
|---|
| 658 | - changed early termination so that 2*numbound*denbound is always less than modulus |
|---|
| 659 | * rational-solver.inl - more updates, fixes. now only one LQUP is used to check consistency |
|---|
| 660 | - added optimization wherein LQUP is used to compute a modular inverse more quickly |
|---|
| 661 | * linbox/fflapack/fflapack.h - added InverseFromLQUP function; fixed invL bug |
|---|
| 662 | * linbox/matrix/blas-matrix.h - moved indexDomain here (allows application of BlasPermutation to indices, using BlasMatrixDomain<indexDomain>) |
|---|
| 663 | * linbox/matrix/dense-submatrix.inl - minor fix |
|---|
| 664 | * linbox/util/gmp++/gmp++_int_misc.C - added nth root function |
|---|
| 665 | |
|---|
| 666 | 2004-08-09 Dan Roche |
|---|
| 667 | * gmp++/gmp++_int.inl: Add arithmetic function support for long long and unsigned long long |
|---|
| 668 | * linbox/blackbox/dense.h,inl: Add hadamardBound method to DenseMatrixFactory |
|---|
| 669 | * linbox/blackbox/sparse.h: Make hadamardBound return a reference to res, and avoid overflow in computing hadamardBound |
|---|
| 670 | * linbox/solutions/det.h: little fixes |
|---|
| 671 | |
|---|
| 672 | 2004-08-09 Pascal Giorgi |
|---|
| 673 | * /linbox/blackbox/sparse.h : Fix bugs in SparseMatrixFactory. it compiles right now |
|---|
| 674 | * /linbox/util/gmp++/gmp++_int_io.C : avoid memory leaks in Integer2string function |
|---|
| 675 | * /linbox/field/ntl-zz_pE.h : adding new wrapper for NTL algebraic extension of single precision prime field |
|---|
| 676 | * /linbox/field/ntl-ZZ_pE.h : write a class to handle parametric field |
|---|
| 677 | * /linbox/field/ntl.h, Makefile.am : adding new field ntl-zz_pE.h |
|---|
| 678 | |
|---|
| 679 | 2004-08-08 Dan Roche (roche@cis.udel.edu) |
|---|
| 680 | * examples/linbox-program.C - now works for determinant also - except that someone recently broke solutions/det.h and blackbox/sparse.h |
|---|
| 681 | * gmp++/gmp++_int.h, linbox/util/gmp++/gmp++_int_misc.C - added prevprime so that prime-stream.h works |
|---|
| 682 | * linbox/integer.h - added an abs function here so it works for all types from int8 up to integer. |
|---|
| 683 | * linbox/algorithms/cra.h - changed invmod to inv so that this compiles |
|---|
| 684 | * linbox/blackbox/dense.h,.inl - added DenseBlackboxFactory class so I can use det.h to find determinant of a dense matrix over the integers. |
|---|
| 685 | * linbox/solutions/det.h - NUM_BITS is determined from FieldTraits (linbox/field/field-traits.h) |
|---|
| 686 | |
|---|
| 687 | 2004-08-06 David Pritchard (dpritcha@ens-lyon.fr, daveagp@mit.edu) |
|---|
| 688 | * examples/solver/t-rdisolve.C - added use of 3 'solver levels' and check of certificate of inconsistency |
|---|
| 689 | * linbox/algorithms |
|---|
| 690 | * diophantine-solver.h - added use of 3 'solver levels', improved documentation |
|---|
| 691 | * diophantine-solver.inl - added use of 3 solver levels |
|---|
| 692 | * lifting-container.h - changed normblackbox to properly compute "norm" of composed boxes |
|---|
| 693 | * rational-reconstruction.h - added getRational2 for solver use, hopefully will be las-vegas |
|---|
| 694 | * rational-solver.h - added use of 3 solver levels, certifying of inconsistency, documentation |
|---|
| 695 | * rational-solver.inl - added use of 3 solver levels, certifying inconsistency |
|---|
| 696 | - combined 'solve' and 'getRandomSolution' to be both variants of 'solveMonolithic' |
|---|
| 697 | * vector-fraction.h - simplified constructor |
|---|
| 698 | * linbox/fflapack/fflapack_ludivine.inl - bugfix for LQUP of rectangular matrices (specifically M x 1 case) |
|---|
| 699 | * linbox/field/unparametric.h - removed dumb comment |
|---|
| 700 | * linbox/matrix/blas-matrix.h - added method extendTrivially to embed permutation in larger row/column size |
|---|
| 701 | * linbox/tests/test-common.C - bugfix |
|---|
| 702 | |
|---|
| 703 | 2004-07-30 David Pritchard (dpritcha@ens-lyon.fr, daveagp@mit.edu) |
|---|
| 704 | * examples/solver/t-rdisolve.C - added diophantine checking+certification, more options |
|---|
| 705 | - moved VectorFraction class to own file in algorithms |
|---|
| 706 | - moved new command-line stuff into test-common.C (should be backwards-compatible) |
|---|
| 707 | * linbox/algorithms |
|---|
| 708 | * vector-fraction.h - added new file. for storing fractions like [n1 n2 n3 n4 ... ]/d |
|---|
| 709 | - has various combination functions used by diophantine-solver |
|---|
| 710 | * blas-domain.inl - fixed a broken linbox_check for vector-matrix product |
|---|
| 711 | * diophantine-solver.h - diophantine checking, min-denom certification works now |
|---|
| 712 | * diophantine-solver.inl - diophantine checking, min-denom certification works now |
|---|
| 713 | * rational-solver.h - made SolverReturnStatus a global enum, preceded by SS_ |
|---|
| 714 | * rational-solver.inl - added generation of a partial certificate to randomSolve |
|---|
| 715 | - solveDeterministic is now fully Las Vegas |
|---|
| 716 | * apply.h - added applyVTrans(vector, const matrix, vector) |
|---|
| 717 | * linbox/fflas/fflas_fgemv.inl - fixed errors in transpose matrix product |
|---|
| 718 | * linbox/matrix |
|---|
| 719 | * blas-matrix.h - fixed flipped row/coldim in constructor |
|---|
| 720 | * dense-submatrix.h - fixed typo, removed unimplemented operator[] |
|---|
| 721 | * dense.h - removed debug output |
|---|
| 722 | * transpose.h - replaced Column with Col |
|---|
| 723 | * tests/test-common.h - example string can now be passed as null and intelligently generated by default |
|---|
| 724 | * tests/test-common.C - boolean options can now be turned off like "-b false", "-b -", "-b N" |
|---|
| 725 | - added a string to write all current switch options to an ostream |
|---|
| 726 | * tests/test-rational-solver.C - updated to reflect new return type of rational solver |
|---|
| 727 | |
|---|
| 728 | |
|---|
| 729 | 2004-07-26 David Pritchard (dpritcha@ens-lyon.fr, daveagp@mit.edu) |
|---|
| 730 | * linbox/algorithms |
|---|
| 731 | * added diophantine-solver.{h,inl} (no diophantine functionality yet) |
|---|
| 732 | * Makefile.am - added diophantine-solver.h |
|---|
| 733 | * blas-domain.h - added forms of inv and invin that return the nullity of the matrix |
|---|
| 734 | * blas-domain.inl - added forms of inv and invin that return the nullity of the matrix, fixed typo |
|---|
| 735 | * last-invariant-factor.h - changed type of b vector from int to Integer |
|---|
| 736 | * lifting-container.h - changed blackbox norm to square of 'induced norm', fixed lifting length calculation |
|---|
| 737 | - added graceful failure to digit (eg if <double> Ring is used improperly) |
|---|
| 738 | * rational-reconstruction.h - added debug switch DEBUG_RR, graceful failure |
|---|
| 739 | * matrix-rank.h - changed tabbing |
|---|
| 740 | * rational-solver.h - many changes to Dixon; Wiedemann may not work |
|---|
| 741 | - added DEFAULT_PRIMESIZE = 14 (since 30 bit default size would screw up some fields) |
|---|
| 742 | - added maxPrimes argument to solving routines, will retry that many primes |
|---|
| 743 | - added const modifier to solving routines, made _prime mutable |
|---|
| 744 | * rational-solver.inl - many changes to Dixon; Wiedemann may not work |
|---|
| 745 | - added debug switches, graceful failure for solving routines |
|---|
| 746 | - changed BlasMatrixDomain routines to BlasApplyDomain to avoid erroneous calculations |
|---|
| 747 | - in singular/random solve, check solution before returning, and multiply by conditioner P correctly |
|---|
| 748 | - added consistency check to random solver |
|---|
| 749 | * linbox/blackbox/blas-blackbox - added to CVS |
|---|
| 750 | * linbox/blackbox/dense.h - matrix reading bugfix |
|---|
| 751 | * linbox/fflapack/fflapack.h - pass nullity back in Invert2, and return NULL when matrix is singular |
|---|
| 752 | * linbox/fflas/fflas_fgemv.inl - remove assumption that alpha=-1, beta=1 |
|---|
| 753 | * linbox/fflas/fflas_ftrmm.inl - fixed computation of matrix size bound for embedding into FFLAS |
|---|
| 754 | * linbox/field |
|---|
| 755 | * PID-double.h - changed 'c=abs(c)' to 'if (c<0) c = -c', no abs found for double |
|---|
| 756 | * PID-integer.h - changed documentation of isDivisor(a, b) (returns yes if b|a) |
|---|
| 757 | * givaro-montg.h - fixed init from integer |
|---|
| 758 | * givaro-zpz.h - fixed init from integer, double and Log16 specializations |
|---|
| 759 | * givaro-gfq.h - fixed init from integer |
|---|
| 760 | * modular.h - added init from double |
|---|
| 761 | - added several specializations of Modular<NTL::ZZ> |
|---|
| 762 | * modular-double.h - fixed operator<< |
|---|
| 763 | * modular-int.h - fixed init/convert with double |
|---|
| 764 | * modular-int32.h - fixed init/convert with double |
|---|
| 765 | * ntl-ZZ.h - changed const to static for convert method |
|---|
| 766 | - changed documentation of isDivisor(a, b) (returns yes if b|a) |
|---|
| 767 | * ntl-ZZ_p.h - added init/convert from/to integer, double |
|---|
| 768 | - put NTL_ZZ_p at top and specialization at bottom for compiler |
|---|
| 769 | - changed random generator to give fuller range |
|---|
| 770 | * ntl-zz_p.h - added init from double, integer |
|---|
| 771 | * unparametric.h - added convert to double |
|---|
| 772 | * linbox/matrix/dense-submatrix.h - added mapleFormat option to DenseSubmatrix writing |
|---|
| 773 | * linbox/matrix/dense-submatrix.inl - added mapleFormat option to DenseSubmatrix writing |
|---|
| 774 | * linbox/randiter/random-prime.h - the class now takes a 'bits' argument on construction and makes primes of that size |
|---|
| 775 | * linbox/vector/vector-domain.inl - fixed reading bug |
|---|
| 776 | * tests/Matio.h - added mapleFormat option to write_field |
|---|
| 777 | * tests/test-fflapack.C - matched Invert2 to new 'nullity' argument format |
|---|
| 778 | * tests/test-iliopoulos-elimination.C - #define int32 LinBox::int32 to avoid ambiguity with Givaro |
|---|
| 779 | * tests/test-last-invariant-factor.C - int32 -> LinBox::int32 to avoid ambiguity with Givaro |
|---|
| 780 | * tests/test-last-rational-solver.C - int32 -> LinBox::int32 to avoid ambiguity with Givaro |
|---|
| 781 | - now handles solver failures without crashing |
|---|
| 782 | - added check to ensure that system is solvable (ie no zero elements on diagonal) |
|---|
| 783 | * tests/test-smith-form.C - int32 -> LinBox::int32 to avoid ambiguity with Givaro |
|---|
| 784 | * examples/solver/t-rdisolve.C - test driver for rational solver, compile and run t-rdisolve -? |
|---|
| 785 | * examples/solver/Makefile.am - make file |
|---|
| 786 | |
|---|
| 787 | 2004-07-16 Pascal Giorgi |
|---|
| 788 | * linbox/field/lidia-gfq.h : fixing bug and improvement |
|---|
| 789 | * tests/Makefile.am : retrieving test-lidia-gfq, fixing modular and gssv redundancy |
|---|
| 790 | * tests/test-modular.C : using namespace std |
|---|
| 791 | |
|---|
| 792 | 2004-07-16 Pascal Giorgi |
|---|
| 793 | * linbox-config.in : switching order of LiDIA in libs |
|---|
| 794 | * linbox/randiter/envelope.h : modify random function ( assignement is not needed) |
|---|
| 795 | * linbox/matrix/dense-submatrix.h : setting input and output functions public |
|---|
| 796 | * linbox/field/givaro-zpz.h : adding linbox/utils/debug.h header |
|---|
| 797 | * linbox/field/lidia-gfq.h : setting default degree extension to 1 |
|---|
| 798 | * linbox/field/ntl-ZZ_p.h : overloading the constructor of UnparamField |
|---|
| 799 | |
|---|
| 800 | 2004-07-08 Dan Roche |
|---|
| 801 | * Adding examples/linbox-program.C which will eventually do a wide variety of operations on integer matrices |
|---|
| 802 | * gmp++/gmp++_int.h,inl : Little fixes |
|---|
| 803 | * linbox/algorithms/wiedemann.inl : Little fixes |
|---|
| 804 | * linbox/matrix/blas-matrix.h : Little fixes |
|---|
| 805 | * linbox/util/gmp++/gmp++_int_compare.C, gmp++_int_mod.C : Little fixes |
|---|
| 806 | * linbox/vector/sparse.h : Little fixes |
|---|
| 807 | * tests/test-fields.C : Little fixes |
|---|
| 808 | * tests/Makefile.am : Moved everything that uses rational-solver to ATLAS_TESTS rational-solver won't work without BLAS. |
|---|
| 809 | * fields/field-traits.h : Took implementation out of this file and put it in each field header file. |
|---|
| 810 | * fields/givaro-gfq.h : Added init and convert from/to a padic number |
|---|
| 811 | * fields/modular.inl : Fixed some problems with MVProductDomain functions over unsigned types |
|---|
| 812 | |
|---|
| 813 | 2004-07-06 Bradford Hovinen <bghovinen@math.uwaterloo.ca> |
|---|
| 814 | |
|---|
| 815 | * linbox/blackbox/dense.h (class DenseMatrix): Add _AT, a |
|---|
| 816 | TransposeMatrix of this |
|---|
| 817 | |
|---|
| 818 | * linbox/blackbox/dense.inl (DenseMatrix::applyTranspose): Use _AT |
|---|
| 819 | |
|---|
| 820 | * linbox/matrix/matrix-domain.h (class MatrixDomain): Get rid of |
|---|
| 821 | template argument MatrixTrait on specialized permute |
|---|
| 822 | |
|---|
| 823 | * linbox/vector/vector-domain.h (class VectorDomain): Get rid of |
|---|
| 824 | template argument VectorTrait on specialized permute, swap |
|---|
| 825 | |
|---|
| 826 | * linbox/matrix/sparse.h (struct MatrixTraits): |
|---|
| 827 | |
|---|
| 828 | * linbox/vector/vector-domain.inl (class VectorDomain): |
|---|
| 829 | |
|---|
| 830 | * linbox/vector/vector-domain.h (class VectorDomain): |
|---|
| 831 | |
|---|
| 832 | * linbox/matrix/matrix-domain.h (class MatrixDomain): |
|---|
| 833 | |
|---|
| 834 | * linbox/matrix/transpose.h (struct MatrixTraits): |
|---|
| 835 | |
|---|
| 836 | * linbox/matrix/dense.h (struct MatrixTraits): Remove templates |
|---|
| 837 | from matrix tags |
|---|
| 838 | |
|---|
| 839 | 2004-07-02 pascal giorgi |
|---|
| 840 | * blackbox/apply.h : adding BlasApply domain |
|---|
| 841 | * blackbox/compose.h : adding accessor to left an right blackbox |
|---|
| 842 | * blackbox/sparse.h : make write function const |
|---|
| 843 | * field/ all givaro file : fixe bugs |
|---|
| 844 | * field/lidia-gfq.h : make it works |
|---|
| 845 | * field/modular-double.h : add reset function in axpy domain |
|---|
| 846 | * field/field-traits.h : add specialization for some fields |
|---|
| 847 | * field/double-fmod.h : include <math.h> |
|---|
| 848 | * field/ntl-ZZ.h : remove all static and replace by const function |
|---|
| 849 | * field/PID-double field/PID-integer.h : adding 2 new PID |
|---|
| 850 | * matrix/dense.h.inl matrix/sparse.h.inl : make interators work |
|---|
| 851 | * randiter/ntl-ZZ.h randiter/lidia-gfq.h : fix bugs and make clearer |
|---|
| 852 | * solutions/method.h : add new traits for rational solvers |
|---|
| 853 | * algorithms/ |
|---|
| 854 | * blackbox-container-base.h : adding new constructor allowing size of sequence as parameter |
|---|
| 855 | * blackbox-container.h : adding new constructor allowing size of sequence as parameter |
|---|
| 856 | |
|---|
