[ODK] Meeting 2019 04 10

ODK Linbox meeting 2019-04-10 CR

Alexis

• refacto solve: mergé et issues ouvertes

• Rq: ajouter des constructeurs des methodes avec les valeurs de certains champs pour éviter 2 lignes (constr + set)

• Rq: plus possible de construire dans l'appel (car besoin de const ref, or on voudrait que méthode retourne des valeurs comme rank, proba de correction, etc). Décision :

  • on garde les methodes const pour l'instant
  • on discutera plus tard de l'endroit où mettre les contextes (rank, proba, etc) de retour: dans la methode ou une autre variable

• Dixon refacto: branch "dixon-refacto" (PR WIP)

  • séparation de la partie dense en un fichier à part entière
  • préconditionneur: isolé dans un bloc -> monolithic se morcèle!

• 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.

• SV3 benchmark solve PR #192

  • ready for review

Zhu

• SG1: exposer paladin dans sage: in progress
  • LUdivine->PLUQ done
  • pPLUQ -> PLUQ done
  • Det: PR à reprendre: pas de copier/coller pour det_mp
    • TODO: unifier le passage des helpers en ref ou pas ref (choisir)
    • ne pas ajouter de test dans tets-det-check mais dans test-det
  • paralleliser les codes rns au niveau CRT: s'appuyer sur l'existant:
    • structure helper pour TRSM parallèle
    • code parallele pour RNS (cf Cyril Bouvier)
    • ajouter des parseqhelper pour rank, det, solve, echelon : en cours