Assertion: matrix's root | /r/HasProperty | taken with non-negative sign
Facets:
Source sentences:
text: If the diagonal elements of D are real and non-negative, and the square roots are taken with non-negative sign, the matrix R will be the principal root of D.