Assertion: matrix's root | /r/HasProperty | irrational number
Facets:
value: either again
type: MANNER
Source sentences:
text: While the square root of a nonnegative integer is either again an integer or an irrational number, in contrast an integer matrix can have a square root whose entries are rational, yet non-integral.