search

linbox-team / linbox

LinBox - C++ library for exact, high-performance linear algebra
https://linbox-team.github.io/linbox
GNU Lesser General Public License v2.1
83 stars 28 forks source link

Dixon #277

Closed jgdumas closed 2 years ago

jgdumas commented 3 years ago

[+] Change examples/solverrat.C into examples/dixondenseLU to reflect Dense System Solving using LU decomposition over a prime field and Dixon's lifting over the rationals. [+] Start examples/dixonsparseelim.C [+] clean-up sparsesolverat/densesolverat as Direct solvers

Example: for SIMC BasisLib/problems/qap10.sms on one core of a i7-6700 CPU @ 3.40GHz

./dixondenseLU qap10.sms CPU time (seconds): 0.989956 ./dixonsparseelim qap10.sms CPU time (seconds): 0.669377 ./densesolverat qap10.sms CPU time (seconds): 5.61988 ./sparsesolverat qap10.sms CPU time (seconds): 41.3938

romainlebreton commented 2 years ago

Need review

Only TODO remaining : Maple format for sparseMatrix could have linebreaks after each row for nicer better printring

ClementPernet commented 2 years ago

Ok, good to go.