구현과 테스트 색인¶
각 장을 읽을 때 연결된 소스도 함께 여세요. 본문은 읽는 순서를, 링크는 전체 맥락을 제공합니다.
| 장 | 구현 | 테스트 |
|---|---|---|
| 강의에 필요한 Python 메커니즘 | peano/utils.py |
tests/test_utils.py |
| 자연수: 0, 후속자, 재귀 | 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이 같은 코드인지 확인합니다.