BudgetPlanes
The four named planes and the algebra of referring a noise between them
3/3 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_plane_compose | Referring through an intermediate plane equals referring straight there, and at(plane) is refer() row by row. | ✅ pass |
test_plane_detector | post_detection is the one plane needing eta, one factor of it past detector_input. | ✅ pass |
test_plane_names | The four planes in optical order, "input" and "bob" aliasing the channel and detector inputs, with referral factors 1, launchspan, T, Teta. | ✅ pass |