Index de l’implémentation et des tests¶
Gardez le fichier indiqué à côté du chapitre. Le texte donne l’ordre de lecture et le lien conserve le contexte complet.
| Chapitre | Implémentation | Tests |
|---|---|---|
| Mécanismes Python nécessaires au cours | peano/utils.py |
tests/test_utils.py |
| Naturels : zéro, successeur et récursion | peano/natural_number.py |
tests/test_natural_number.py |
| Entiers : représentants et équivalence | peano/integer.py |
tests/test_integer.py |
| Rationnels : produits croisés et réduction | peano/rational.py |
tests/test_rational.py |
| Polynômes : coefficients et suites de Sturm | peano/polynomial.py |
tests/test_polynomial.py |
| Racines algébriques réelles : isolation et dichotomie | peano/algebraic_root.py |
tests/test_algebraic_root.py |
La construction vérifie que ces copies du code correspondent au wheel exécuté dans le navigateur.