Manuscript XVI-J@1 · XVI-J.tex · corollary · 6c1f306d

Corollary: Actual ramp and qualified nonvanishing

Independent polynomial proofs of the numerical tables › Nonvanishing at the appropriate level · lines 1117–1136 · proof included or linked

XVI-J@1#cor:nonzero

Back to manuscript

On , the time-only preparation jet gives

with every other component zero. This tensor is not identically zero.

Proof. Only survives, so the substitution in (eq:Ktable) gives the displayed formula. If were identically zero, the smooth ramp would be affine. Its constant value on would then force it to be constant everywhere, contradicting its value one for .

Displayed formulas in this passage

  • unlabeled · line 1120

Nearby in this section