Assertion: matrix's number | /r/HasProperty | columns n
Facets:
Source sentences:
text: In coordinate text file format the first line lists three integers: the number of rows m, columns n, and nonzeros nz in the matrix.