Reference
Rationals
4 modules in src/rainbow/math/rational/. All folders
| Module | What it proves | Theorems |
|---|---|---|
| math.rational.bellman | Finite fixed-policy Bellman evaluation over nonnegative rational proof data. | 14 |
| math.rational.convergence | Convergence of a nonnegative-rational distance sequence to its limit, with an explicit rational modulus -- the analysis layer above the geometric contraction bound. | 1 |
| math.rational.division | Exact division of nonnegative rationals. | 3 |
| math.rational.value | Exact nonnegative-rational worked values, proven through cross-product equivalence rather than pair equality. | 8 |