标签：efi ide ini dia src http tar lan alt
具体定义：https://en.wikipedia.org/wiki/Positive-definite_matrix
矩阵半正定: positive semidefinite
原文地址：https://www.cnblogs.com/wzdLY/p/9823251.html
