The determination of all syzygies for the dependent polynomial invariants of the Riemann Tensor. II. mixed invariants of Eeven degree in the Ricci Spinor

We continue our analysis of the polynomial invariants of the Riemann tensor in a four-dimensional Lorentzian space. We concentrate on the mixed invariants of even degree in the Ricci spinor Φ_ABȦḂ and show how, using constructive graph-theoretic methods, arbitrary scalar contractions between copies of the Weyl spinor ψ_ABCD, its conjugate ψ_ȦḂĊḊ and an even number of Ricci spinors can be expressed in terms of paired contractions between these spinors. This leads to an algorithm for the explicit expression of dependent invariants as polynomials of members of the complete set. Finally, we rigorously prove that the complete set as given by Sneddon [J. Math. Phys. 39, 1659-1679 (1998)] for this case is both complete and minimal.