Assertion: logarithm | /r/HasProperty | complex matrix
Facets:
Source sentences:
text: That the logarithm of A might be a complex matrix even if A is real then follows from the fact that a matrix with real and positive entries might nevertheless have negative or even complex eigenvalues (this is true for example for rotation matrices).