[ODK] Meeting 2019 04 03

ODK Linbox meeting 2019-04-03 CR

Alexis:

• refacto solve: (pas touché, review TODO)

  • TODO : bug bitsize A & b différentes ==> issue à ouvrir
  • TODO : bcp de pb de tests cas rectangulaires "small & fat"
  • TODO: segfault sur des solve -> ajouter une issue pour chaque pb
  • état de la PR ready for review

• Dixon refacto: branch "dixon-refacto"

  • factorisation du code des TAS
  • cas particulier A=0
  • A garder en tete pour le design:
    • possibilité d'avoir une famille de vecteurs inconnus (matrix)
    • hybrid CRT-Dixon -> matrix modulo différents premiers pour chaque colonne.
    • bug 2x1 en bitsize > 52 -> fait planter blackbox/apply.h (q-adic matrix) -> cauchemard -> recherche du bug ou contournement à faire

• SV3 benchmark solve PR 192

  • ready for review
  • Wiedemann dense compile! exposé dans la test-suite et benchmark
  • done: switch methodes/arguments cf. test-solve-full
  • done: ajouter des options pour switcher entre les algos CRA/Dixon et Widemann/Dense/Sparse et MPI/Sequenitiel
  • en cours: pb d'appels de solve avec certaines matrices.

Zhu:

• SG1: exposer paladin dans sage: in progress
  • fgemm: avec Parallelism().set(numproc=3)
  • en cours: Rank, Det, solve, echelon_form
  • rank: basé sur LUdivine -> TODO le baser sur PLUQ pouu permettre l'option ppluq
  • det déjà basé sur PLUQ
  • solve, echelon comme Rank
  • créer des parseq helper dans l'interface de PLUQ, PPLUQ -> done
  • ajouter des parseqhelper pour rank, det, solve, echelon

TODOS:

• SG1: HZ + CP PLUQ, etc avec paladin exposés dans sage: en cours
• SV3 à finir AB et HZ
• L1: AB + JGD
• D1: JGD+CP+AB+HZ plus tard

réunion 03/04/2019 : plutôt 15h30/16h00