[petsc-users] How to replace the default global database?

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 [email protected]