We have a tensor_pairing function in the library already, currently waiting on #324 for the derivative implementation. We should probably also have a lie_pairing function for the dual pairing of the Lie algebra with its dual (itself).