Finalization TODOs

[defeo]

A checklist of things that need to be done before submission

• [x] Finalize abstract
• [x] Fix all todos inside text
• [x] Prop. 2.8, define F_n inside proposition
• [x] Review Section 3 (Luca)
• [x] Write Section 6 (Cyril)
• [x] Check bibliography entries
• [x] Do something with Appendix A (expand? merge into text?)
• [ ] Remove stray commented lines in source code.
• [x] Mention Ionica-Joux at the beginning of Sec. 3
• [x] Clarify j vs E
• [x] Clarify kernel vs rational fraction
• [ ] log(q) or log q?
• [ ] O(r · M(r) · log 2 (r) + r · log(r) · log(q)), ou O(r M(r) log 2 (r) + r log(r) log(q)) ?

[Hugounenq-Cyril]

je pense qu'il faut parler de rational fraction plutôt que de kernel, car on parle de reconstruction rationnelle dans la suite, Couveignes parle lui aussi de fraction rationnelle

[Hugounenq-Cyril]

pour j vs E, pour simplifier les choses il serait peut être plus simple de ne considérer que E et pas j afin de ne pas avoir à écarter les twists qui feraient apparaitre des faux couples pour la proposition 2.8, il ya juste le (iv) a changer en remplaçant n par n+1, sinon ça m'a l'air compatible avec la notation de la section 1

[defeo]

pour j vs E, pour simplifier les choses il serait peut être plus simple de ne considérer que E et pas j afin de ne pas avoir à écarter les twists qui feraient apparaitre des faux couples

FTR, les twists ne font pas apparaître de faux couple : ils sont géométriquement isomorphes, et les isogénies sont des objets géométriques. Si φ:E→E' est rationnelle, elle l'est aussi pour les tordues de E et E'.

[Hugounenq-Cyril]

je vote pour les parenthèses autour du log et je préfère l'écriture sans point pour la multiplication

[defeo]

Remaining todos have been moved to #9