isPositiveSemidefinite
P151074
predicate
Indicates that a matrix or operator has all non-negative eigenvalues, meaning all quadratic forms it defines are greater than or equal to zero.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| isPositiveDefinite | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| graph Laplacian | true ⓘ |
| E8 lattice | true via predicate surface "isPositiveDefinite" ⓘ |