[ODK] Meeting 2019 03 13

ODK Linbox meeting 2019-03-13 CR

Alexis:

• refacto solve:

  • tout passe (make check et make fullcheck comme sur master) -> det et minpoly utilisent
  • ShapeFlags: utilise un uint16_t et un enum pour factoriser les situations:
  • Pb: besoin de fonction pour tester
    • soit methode isSymmetric
    • soit surcharge de l'op == <------------ choix pour celui-ci
  • determinist -> determinitic

• Pb: segfault sur des solve

  • NumSymOverlap
  • BlockLanczos
  • Wiedemann avec BlasMatrix
  • TODO ajouter un commentaire devant la définition de la méthode pour dire que ça ne marche pas
  • TODO ajouter une issue pour chaque pb

• Dixon refacto:

  • commentaires explicatifs du monolithic solve (rational-solver.inl)
  • TODO nettoyage à faire (découper en morceaux, factoriser le codes, tester
  • lifting container est bien factorisée
  • mais le rational solver fait des duplications inutiles pour chaque cas (sparse, BB, dense)
  • sortir le certif d'inconsistance
  • faire une passe de nettoyage/ mise à jour par rapport aux fonctionnalités dans ffpack.
  • 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.

• Planning: TODO fixer solve refacto (reste à aggrandir la testsuite) pour ouvrir une PR >> merger cette PR

• <toujours à faire> (cf bench-solve.C)

• MDRvector: supprimé

• AB a trouvé un autre type de donné équivalent en interne -> on les laisse pour l'instant.

• TODO Ajout d'une surcharge de solve avec le type VectorFraction (dans algorithms/vector-fraction.h)

• SV2: TODO test-solve à finir

Zhu:

• bench fgemv

  • ok. Rejouer sur un plus gros multicoeur (hpac ou luke42)

• tutoriel pour solveCRAMPI

  • ajouter comment lancer l'exemple benchmark-solveCRAMPI
  • ajouter l'option --enable-mpi

• SG1: exposer paladin dans sage: in progress

• SV3: TODO fusionner benchmark-dense-solve et benchmark-solve-cra et ajouter des options pour switcher entre les algos CRA/Dixon et Widemann/Dense/Sparse et MPI/Sequenitiel

TODOS:

• SG1: HZ + CP fgemm, PLUQ, etc avec paladin exposés dans sage: on commence vendredi 8/03
• SV2-SV3 à finir AB et HZ
• L1: AB + JGD
• D1: JGD+CP+AB+HZ plus tard