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

Back to manuscript

{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