Write a procedure, in the Maple or Mathematica language, which takes as input a matrix $M \in \mathcal{S}_n(\mathbb{R})$ and which, using the characterization from I.B, returns ``true'' if the matrix $M$ is positive definite, and ``false'' otherwise.