<div dir="ltr"><div><div><div><div><div><div><div><div>Here is what I want to do:<br></div>- Take the global PetscOptions and store it somewhere;<br></div>- Create my own PetscOptions;<br></div>- Populate it with my options;<br></div>- Set my new PetscOptions as the global default;<br></div>- Create some PETSc objects;<br></div>- Restore old PetscOptions as default global;<br></div>- Destroy the PetscOptions I created.<br><br></div>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?<br clear="all"><div><div><div><div><div><div><div><div><div><div><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Lucas Clemente Vella<br><a href="mailto:lvella@gmail.com" target="_blank">lvella@gmail.com</a></div>
</div></div></div></div></div></div></div></div></div></div></div>