[petsc-dev] put options into hash table

[Barry Smith]

   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