Lie-Trotter splitting commutator error (source code)

= Lie-Trotter splitting commutator error
{c}

For bounded <matrices>,
$$
e^{hB}e^{hC}=e^{h(B+C)}+\frac{h^2}{2}(BC-CB)+O(h^3).
$$
Commutativity removes this splitting error, though first-order substeps such as <Backward Euler method> retain their own quadratic local errors.