Continuing the series on the UD calculus, we derive the Riemann curvature tensor from the commutator of covariant derivatives, and demonstrate it by lowering it to components via a new "compiler" function and comparing the components against the Wolfram Function Repository.
