Diagonal curvature operator (source code)

= Diagonal curvature operator

The curvature operator is diagonal in an orthonormal coframe $\{e^a\}$ when every <curvature 2-form> satisfies $\mathcal R^{ab}=K_{ab}e^a\wedge e^b$. Its matrix on the corresponding basis of <2-forms> is then diagonal.