Assertion: complex matrix | /r/HasAspect | unique square root
Facets:
value: with positive eigenvalues
type: OTHER
Source sentences:
text: In general, a complex matrix with positive real eigenvalues has a unique square root with positive eigenvalues called the principal square root.