Assertion: matrix | /r/HasProperty | no right-hand-side vectors
Facets:
Source sentences:
text: If there are no right-hand-side vectors, the matrix has a four-line header block followed by two or three data blocks containing, in order, the column (or element) start pointers, the row (or variable) indices, and the numerical values.