#include "petsc.h" PetscErrorCode PetscOptionsInsert(int *argc,char ***args,const char file[])
| argc | - count of number of command line arguments | |
| args | - the command line arguments | |
| file | - optional filename, defaults to ~username/.petscrc |
| -options_monitor <optional filename> | - print options names and values as they are set |