If we put all the options passed in into a hash table then won’t a PetscOptions look up be pretty cheap, compute the hash, look in the table, check that the strings match with a strncmp, done (usually) and at worst do 2 or 3 string compares?
If we adopt the view that an options check is very cheap that we don’t need to worry much about options being rechecked right? I realized everything I said about -mat_view etc was gibberish Barry
