PositiveSemidefiniteMatrixQ
PositiveSemidefiniteMatrixQ[m] gives True if m is explicitly positive semidefinite, and False otherwise.
Examples
PositiveSemidefiniteMatrixQ[{{1, 0}, {0, 1}}]Please visit the official Wolfram Language Reference for more details.