Listing: Listing

# number of monomials in D^2 ell_3(h)[A,C]: 7560
CHECK every monomial is exactly linear in h-jet, A-jet, C-jet: True
CHECK total derivative order of every monomial equals 2: True
CHECK slot symmetry L_ij^{pq} = L_ji^{qp}: True
# number of nonzero ordered coefficients L_ij^{pq} (i,j,p,q): 2988
# max |p|+|q| among nonzero coefficients: 2
# number of distinct ordered derivative placements (p,q) with a nonzero coefficient: 45
# number of distinct unordered placements {p,q} (numerical kernels d^pS d^qS): 25
CHECK L^{00}_ij(background) equals the XVI-J table and is independent of w: True
CHECK D^2 ell_3(h)[eta, B_4] (constant slots) = 6

=== INDEPENDENT CHECK 1 (finite exact test cases, not coefficientwise equivalence): XVI-J's ell3_of (recompute_K_dual.py) on s-dependent fields with NON-constant slots ===
  trial 0 direct == expansion : True
  trial 1 direct == expansion : True
CHECK 1 passed: True

=== INDEPENDENT CHECK 2 (finite exact test cases, not coefficientwise equivalence): direct 4D implementation of eq:finite-curvature/eq:ell3 with sympy diff, point evaluation ===
  trial 0 direct value 3930853/1029  expansion value 3930853/1029  equal: True
  trial 1 direct value 182334658/194481  expansion value 182334658/194481  equal: True
CHECK 2 passed: True

CHECK K_{(0),(0)} on background equals XVI-J eq:Kvals: True
# ordered placements with nonzero decorated tensor on the background: 45