[ODK] Meeting 2018 12 12

ODK LinBox meeting 2018-12-12

Winter days debrief

Zhu:

• bug mpi plante au bout 3000 iter -> stop d'initialisé den à 1 -> probablement un side effect -> bug toujour à tracer -> pour la prochaine fois: lister précisement où sont les erreurs
• openmp segfault dans le test non-coprime -> mise en section Critique -> ok sans perte de perfs
• openmp reste un pb de "terminated called without an active exception"

Alexis:

• cra-mpi cleanup fini est reviewable. Reste sans doute le bug mpi de Zhu. A merger pour faire converger
• solution hadamard bound: fini. Reste à
  • fixer tous les endroits où Hadamard sont calculés indépendemment
  • fixer doubledet si besoin
  • doit gérer sparse et blackbox
  • plusieurs petites PR

Releases à venir

• Givaro semble pret à etre releasé. Reste
  • enlever rmint (pas d'arg contre): pas nécéssairement dans cette release.
  • verifier avec Bruno et Romain si FFT vectorisé a des retombées dans givaro
• fflas-ffpack: encore du debug sur i386 et openblas sur skx
• linbox: pas nécessaire tout de suite?

Avancement

[SV1] Cleanup Solve (Alexis). En cours. Re-écriture from scratch en prenant des bouts. Prochain objectif après Hadamard. [SV2] Testsuite solve à construire en même temps que les nouveaux éléments dans solve.h [M4] CRA-OMP -> repoussé en janvier [R1] RatRecon cleanup (9/01) -> retarder à fevrier

[L1] cleanup du dixon lifting sequentiel

Review du rational-solver -> bp de nettoyage nécessaire -> remettre à plat les différents use-case (inversible, non-singulier, inconsistent)

Idee: au debut (avant le switch singular-non-singular), calculer une forme échelonnée réduite / un wiedemann, qui permettra de switcher puis de continuer en mode singular ou non-singular. -> TODO: réflechir à une nouvelle archi