E-001 — Window constants R(psi) symbolic+numeric verification (task 0.4)
08-17-2026 · 2 rows · script
research/numerics/scripts/E-001-window-constants.py
Metadata
Symbolic+numeric verification of R(psi0)=4/3 and R(psiMT)=1/2+(1/sqrt(2))cot(1/sqrt(2)); certificates 2-R and (3-R)/2
Parameters
| windows | ['psi0', 'psiMT'] |
| dps | 50 |
Chart
Data preview (2 rows total)
| window | R_exact | R_numeric | 2_minus_R | distinct_(3-R)/2 |
|---|---|---|---|---|
| psi0 | 4/3 | 1.33333333333333333333333333333 | 0.666666666666666666666666666667 | 0.833333333333333333333333333333 |
| psiMT | 1/2 + sqrt(2)*cot(sqrt(2)/2)/2 | 1.3274992963205883542656202092 | 0.672500703679411645734379790803 | 0.836250351839705822867189895402 |