Manuscript XXII-D@1 · XXII-D.tex · section · 17889d18

F2: a fixed finite stencil does not cover every null direction

Failure tests › F2: a fixed finite stencil does not cover every null direction · lines 1377–1389

Back to manuscript

The same reasoning permits velocities in . An increasing stencil may avoid this particular obstruction, but requires an actual routing and resource theorem. Isotropy is not proved by the upper bound alone.

The outline's En08-B labels prop:exact-null and prop:fixed-stencil are treated as documentary identifiers. The tests in this section are established by their printed arguments, not by importing unsupplied predecessor proofs.

Nearby in this section