code: public void printMatrixSize(MatrixSize size) {
          format(Locale.ENGLISH, "%10d %10d %19d%n", size.numRows(),
                  size.numColumns(), size.numEntries());
      }
docs: Prints the matrix size. Assumes coordinate format