  By a $(1,1)$-tensor field $K= K^i_j$, we construct an explicit system of
differential invariants that vanish if and only if there (locally) exists a
metric for which $K$ generates separation of variables.
