Sylvester's criterion (source code)

= Sylvester's criterion
{c}
{wiki}

A Hermitian matrix is positive definite exactly when all its leading principal minors are positive.