Further clarification: our library is a 'reader'

It does NOT support dynamic insertion of nonzero entries, as we use
arrays as underlying storage.