Compatibility condition for an overdetermined linear system (source code)

= Compatibility condition for an overdetermined linear system

Commuting mixed derivatives impose an equation on the coefficient matrices of an overdetermined auxiliary system.