Manuscript XVI-M@1 · XVI-M.tex · section · 7346c909
Time-only universal Helmholtz classification (work package C)
M.4 Contact collapse and Helmholtz conditions › Time-only universal Helmholtz classification (work package C) · lines 1287–1298
{Tests (wpC/time_only_specialization_tests.txt).}
The intertwining is tested exactly on random rational polynomials (seed ) in all four directions, and for random iterated multi-indices .
It is tested by an independent sympy route with , and as functions, and on actual collapse and formal adjoint-defect expressions ( contact variables directions).
A negative control, a that differentiates , violates the identity.
Route 1 versus route 2.
Route 1 is , and applied to the formal adjoint defect.
Route 2 applies to the graph table and then builds the collapse by iterated single (Leibniz on and only) and the adjoint by iterated on (coefficient test field), with no binomial closed forms.
The two routes agree exactly over on all columns of both maps: nonzero entries for and for .
In the -plateau variant they also agree, with and entries.
Nearby in this section
- section: Time-only universal Helmholtz classification (work package C)
- definition: Definition: Time-only formal reading and the specialization S t
- lemma: Lemma: Intertwining
- theorem: Theorem: Time-only classification
- proposition: Proposition: Time-only χ -plateau: new spatial variational directions
- proposition: Proposition: Time-only matching probes
- lemma: Lemma: Linear independence of the actual ramp derivatives
- section: Time-only universal Helmholtz classification (work package C)