Paired symmetric matrix decomposition?

[tim.holy]

To answer my own question (I finally found the right combination of search terms), see Simultaneous tridiagonalization of two symmetric matrices.