Il faut des procédures pour tester si un couple réalise un canon (resp. un canon acyclique). C'est ce que fait canonQ (resp. vuzaQ). On peut aussi considérer la procédure zoomOut comme un test ! J'ai aussi écrit une procédure qui teste les conditions (T1)+(T2) introduites par Coven-Meyerowitz (98) et qui jusqu'à preuve du contraire semblent nécessaires et suffisantes pour que le seul pave. Je réfléchis sur une preuve de la nécessité de (T2) utilisant de la théorie de Galois sur des corps variés et espère avoir des choses à raconter à ce sujet dans quelques mois. Pour l'instant cette approche (inédite) semble prometteuse mais n'a pas donné beaucoup de nouveaux résultats.

Created by Mathematica  (January 22, 2004)