Manuscript VII-F@1 · VII-F.tex · remark · 2d81c03f
Remark: Exact arithmetic
Adapted affine charts and exact holonomy › A finite rational chart table · lines 1075–1081
All linear entries are rational. All translations are rational multiples of . Consequently, at dyadic , every chart entry is rational and exactly representable through the displayed symbolic table. No closure assertion for an unrestricted collection of Lorentz matrices is required.