Manuscript XVI-L@1 · XVI-L.tex · section · 35081099
The three source operators and their polarization
L.1 The complete source as a jet polynomial › The three source operators and their polarization · lines 390–393
Proposition prop:jet(4) gives upper bounds and the exact grading. It does not by itself say that each graded piece is nonzero; that is the content of the computational verification below.