Here is what I want to do:
- Take the global PetscOptions and store it somewhere;
- Create my own PetscOptions;
- Populate it with my options;
- Set my new PetscOptions as the global default;
- Create some PETSc objects;
- Restore old PetscOptions as default global;
- Destroy the PetscOptions I created.

I could not find a function to replace global PetscOptions, or to copy one PetscOptions to another. Is it possible to do what I want to do? How?

--
Lucas Clemente Vella
lvella@gmail.com