[ODK] Meeting 2019 05 09

ODK Linbox meeting 2019-05-09 CR

Alexis:

• Dixon RNS (cf https://cs.uwaterloo.ca/~astorjoh/p92-chen.pdf) -> decision de faire l=1 (1 seul modulo p de storjohann) de 23 et une base RNSq de nombres premiers > à p

  • option: faire tout le calcul dans la base RNSq avec l'astuce de la reduc mod p dans la base (cf Giorgi&Al.)

• fix sur getpointer

• Dixon refacto:

• toujours ready for review

• LinBox error debug contracts: PR en WIP -> laisser ENSURE REQUIRE (possiblement implémentés par des asserts)

Zhu:

• paralleliser les codes rns au niveau CRT pour fgemv: s'appuyer sur l'existant:
  • compose helpers et RNSModular dans fflas_fgemm/fgemm_classical_mp.inl -> à adapter dans fflas_fgemv_mp.inl:

dans le benchmark ajouter une

• option 4 pour un Compose<RNSModulus, Seq
• option 5 pour un Compose<RNSModular, Parallel>
• regarder où on passe selon les appels