实现与测试索引¶
阅读每章时请把相应源码放在旁边。正文解释阅读顺序，链接给出完整上下文。
| 章节 | 实现 | 测试 |
|---|---|---|
| 理解本课程所需的 Python 机制 | peano/utils.py |
tests/test_utils.py |
| 自然数：零、后继与递归 | peano/natural_number.py |
tests/test_natural_number.py |
| 整数：代表元与等价关系 | peano/integer.py |
tests/test_integer.py |
| 有理数：交叉相乘与约分 | peano/rational.py |
tests/test_rational.py |
| 多项式：系数序列与 Sturm 序列 | peano/polynomial.py |
tests/test_polynomial.py |
| 代数实根：隔离区间与二分 | peano/algebraic_root.py |
tests/test_algebraic_root.py |
源码快照与浏览器中安装的 wheel 来自同一次构建，并由构建检查确认一致。