Manuscript XVI-J@1 · XVI-J.tex · section · 6c1f306d
Nonvanishing at the appropriate level
Independent polynomial proofs of the numerical tables › Nonvanishing at the appropriate level · lines 1136–1152
| Level | Nonvanishing conclusion |
|---|---|
| Hessian | Nonzero; the specified mixed value is six |
| Formal source jet | Nonzero linear map (eq:Ktable) |
| Actual time-only ramp | Nonzero tensor on |
| After the interaction switch | Not asserted for arbitrary , which may be zero |
| After root attachment and smearing | Not asserted |