xref: /petsc/src/snes/tutorials/ex10d/ex10.c (revision 48a46eb9bd028bec07ec0f396b1a3abb43f14558)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown /*
3c4762a1bSJed Brown    Include "petscsnes.h" so that we can use SNES solvers.  Note that this
4c4762a1bSJed Brown    file automatically includes:
5c4762a1bSJed Brown      petscsys.h       - base PETSc routines   petscvec.h - vectors
6c4762a1bSJed Brown      petscmat.h - matrices
7c4762a1bSJed Brown      petscis.h     - index sets            petscksp.h - Krylov subspace methods
8c4762a1bSJed Brown      petscviewer.h - viewers               petscpc.h  - preconditioners
9c4762a1bSJed Brown      petscksp.h   - linear solvers
10c4762a1bSJed Brown */
11c4762a1bSJed Brown #include <petscsnes.h>
12c4762a1bSJed Brown #include <petscao.h>
13c4762a1bSJed Brown 
14c4762a1bSJed Brown static char help[] = "An Unstructured Grid Example.\n\
15c4762a1bSJed Brown This example demonstrates how to solve a nonlinear system in parallel\n\
16c4762a1bSJed Brown with SNES for an unstructured mesh. The mesh and partitioning information\n\
17c4762a1bSJed Brown is read in an application defined ordering,which is later transformed\n\
18c4762a1bSJed Brown into another convenient ordering (called the local ordering). The local\n\
19c4762a1bSJed Brown ordering, apart from being efficient on cpu cycles and memory, allows\n\
20c4762a1bSJed Brown the use of the SPMD model of parallel programming. After partitioning\n\
21c4762a1bSJed Brown is done, scatters are created between local (sequential)and global\n\
22c4762a1bSJed Brown (distributed) vectors. Finally, we set up the nonlinear solver context\n\
23c4762a1bSJed Brown in the usual way as a structured grid  (see\n\
24c4762a1bSJed Brown petsc/src/snes/tutorials/ex5.c).\n\
25c4762a1bSJed Brown This example also illustrates the use of parallel matrix coloring.\n\
26c4762a1bSJed Brown The command line options include:\n\
27c4762a1bSJed Brown   -vert <Nv>, where Nv is the global number of nodes\n\
28c4762a1bSJed Brown   -elem <Ne>, where Ne is the global number of elements\n\
29c4762a1bSJed Brown   -nl_par <lambda>, where lambda is the multiplier for the non linear term (u*u) term\n\
30c4762a1bSJed Brown   -lin_par <alpha>, where alpha is the multiplier for the linear term (u)\n\
31c4762a1bSJed Brown   -fd_jacobian_coloring -mat_coloring_type lf\n";
32c4762a1bSJed Brown 
33c4762a1bSJed Brown /* ------------------------------------------------------------------------
34c4762a1bSJed Brown 
35c4762a1bSJed Brown    PDE Solved : L(u) + lambda*u*u + alpha*u = 0 where L(u) is the Laplacian.
36c4762a1bSJed Brown 
37c4762a1bSJed Brown    The Laplacian is approximated in the following way: each edge is given a weight
38c4762a1bSJed Brown    of one meaning that the diagonal term will have the weight equal to the degree
39c4762a1bSJed Brown    of a node. The off diagonal terms will get a weight of -1.
40c4762a1bSJed Brown 
41c4762a1bSJed Brown    -----------------------------------------------------------------------*/
42c4762a1bSJed Brown 
43c4762a1bSJed Brown #define MAX_ELEM      500 /* Maximum number of elements */
44c4762a1bSJed Brown #define MAX_VERT      100 /* Maximum number of vertices */
45c4762a1bSJed Brown #define MAX_VERT_ELEM 3   /* Vertices per element       */
46c4762a1bSJed Brown 
47c4762a1bSJed Brown /*
48c4762a1bSJed Brown   Application-defined context for problem specific data
49c4762a1bSJed Brown */
50c4762a1bSJed Brown typedef struct {
51c4762a1bSJed Brown   PetscInt   Nvglobal, Nvlocal;            /* global and local number of vertices */
52c4762a1bSJed Brown   PetscInt   Neglobal, Nelocal;            /* global and local number of vertices */
53c4762a1bSJed Brown   PetscInt   AdjM[MAX_VERT][50];           /* adjacency list of a vertex */
54c4762a1bSJed Brown   PetscInt   itot[MAX_VERT];               /* total number of neighbors for a vertex */
55c4762a1bSJed Brown   PetscInt   icv[MAX_ELEM][MAX_VERT_ELEM]; /* vertices belonging to an element */
56c4762a1bSJed Brown   PetscInt   v2p[MAX_VERT];                /* processor number for a vertex */
57c4762a1bSJed Brown   PetscInt  *locInd, *gloInd;              /* local and global orderings for a node */
58c4762a1bSJed Brown   Vec        localX, localF;               /* local solution (u) and f(u) vectors */
59c4762a1bSJed Brown   PetscReal  non_lin_param;                /* nonlinear parameter for the PDE */
60c4762a1bSJed Brown   PetscReal  lin_param;                    /* linear parameter for the PDE */
61c4762a1bSJed Brown   VecScatter scatter;                      /* scatter context for the local and
62c4762a1bSJed Brown                                                distributed vectors */
63c4762a1bSJed Brown } AppCtx;
64c4762a1bSJed Brown 
65c4762a1bSJed Brown /*
66c4762a1bSJed Brown   User-defined routines
67c4762a1bSJed Brown */
68c4762a1bSJed Brown PetscErrorCode FormJacobian(SNES, Vec, Mat, Mat, void *);
69c4762a1bSJed Brown PetscErrorCode FormFunction(SNES, Vec, Vec, void *);
70c4762a1bSJed Brown PetscErrorCode FormInitialGuess(AppCtx *, Vec);
71c4762a1bSJed Brown 
729371c9d4SSatish Balay int main(int argc, char **argv) {
73c4762a1bSJed Brown   SNES                   snes;                /* SNES context */
74c4762a1bSJed Brown   SNESType               type = SNESNEWTONLS; /* default nonlinear solution method */
75c4762a1bSJed Brown   Vec                    x, r;                /* solution, residual vectors */
76c4762a1bSJed Brown   Mat                    Jac;                 /* Jacobian matrix */
77c4762a1bSJed Brown   AppCtx                 user;                /* user-defined application context */
78c4762a1bSJed Brown   AO                     ao;                  /* Application Ordering object */
79c4762a1bSJed Brown   IS                     isglobal, islocal;   /* global and local index sets */
80c4762a1bSJed Brown   PetscMPIInt            rank, size;          /* rank of a process, number of processors */
81c4762a1bSJed Brown   PetscInt               rstart;              /* starting index of PETSc ordering for a processor */
82c4762a1bSJed Brown   PetscInt               nfails;              /* number of unsuccessful Newton steps */
83c4762a1bSJed Brown   PetscInt               bs = 1;              /* block size for multicomponent systems */
84c4762a1bSJed Brown   PetscInt               nvertices;           /* number of local plus ghost nodes of a processor */
85c4762a1bSJed Brown   PetscInt              *pordering;           /* PETSc ordering */
86c4762a1bSJed Brown   PetscInt              *vertices;            /* list of all vertices (incl. ghost ones) on a processor */
87c4762a1bSJed Brown   PetscInt              *verticesmask;
88c4762a1bSJed Brown   PetscInt              *tmp;
89c4762a1bSJed Brown   PetscInt               i, j, jstart, inode, nb, nbrs, Nvneighborstotal = 0;
90c4762a1bSJed Brown   PetscInt               its, N;
91c4762a1bSJed Brown   PetscScalar           *xx;
92c4762a1bSJed Brown   char                   str[256], form[256], part_name[256];
93c4762a1bSJed Brown   FILE                  *fptr, *fptr1;
94c4762a1bSJed Brown   ISLocalToGlobalMapping isl2g;
95c4762a1bSJed Brown   int                    dtmp;
96c4762a1bSJed Brown #if defined(UNUSED_VARIABLES)
97c4762a1bSJed Brown   PetscDraw    draw; /* drawing context */
98c4762a1bSJed Brown   PetscScalar *ff, *gg;
99c4762a1bSJed Brown   PetscReal    tiny = 1.0e-10, zero = 0.0, one = 1.0, big = 1.0e+10;
100c4762a1bSJed Brown   PetscInt    *tmp1, *tmp2;
101c4762a1bSJed Brown #endif
102c4762a1bSJed Brown   MatFDColoring matfdcoloring        = 0;
103c4762a1bSJed Brown   PetscBool     fd_jacobian_coloring = PETSC_FALSE;
104c4762a1bSJed Brown 
105c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
106c4762a1bSJed Brown      Initialize program
107c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
108c4762a1bSJed Brown 
109327415f7SBarry Smith   PetscFunctionBeginUser;
110b8abcfdeSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc, &argv, "options.inf", help));
111b8abcfdeSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(MPI_COMM_WORLD, &rank));
112b8abcfdeSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(MPI_COMM_WORLD, &size));
113c4762a1bSJed Brown 
114c4762a1bSJed Brown   /* The current input file options.inf is for 2 proc run only */
11554c59aa7SJacob Faibussowitsch   PetscCheck(size == 2, PETSC_COMM_WORLD, PETSC_ERR_WRONG_MPI_SIZE, "This example currently runs on 2 procs only.");
116c4762a1bSJed Brown 
117c4762a1bSJed Brown   /*
118c4762a1bSJed Brown      Initialize problem parameters
119c4762a1bSJed Brown   */
120c4762a1bSJed Brown   user.Nvglobal = 16; /*Global # of vertices  */
121c4762a1bSJed Brown   user.Neglobal = 18; /*Global # of elements  */
122c4762a1bSJed Brown 
123b8abcfdeSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-vert", &user.Nvglobal, NULL));
124b8abcfdeSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-elem", &user.Neglobal, NULL));
125c4762a1bSJed Brown 
126c4762a1bSJed Brown   user.non_lin_param = 0.06;
127c4762a1bSJed Brown 
128b8abcfdeSJacob Faibussowitsch   PetscCall(PetscOptionsGetReal(NULL, NULL, "-nl_par", &user.non_lin_param, NULL));
129c4762a1bSJed Brown 
130c4762a1bSJed Brown   user.lin_param = -1.0;
131c4762a1bSJed Brown 
132b8abcfdeSJacob Faibussowitsch   PetscCall(PetscOptionsGetReal(NULL, NULL, "-lin_par", &user.lin_param, NULL));
133c4762a1bSJed Brown 
134c4762a1bSJed Brown   user.Nvlocal = 0;
135c4762a1bSJed Brown   user.Nelocal = 0;
136c4762a1bSJed Brown 
137c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
138c4762a1bSJed Brown       Read the mesh and partitioning information
139c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
140c4762a1bSJed Brown 
141c4762a1bSJed Brown   /*
142c4762a1bSJed Brown      Read the mesh and partitioning information from 'adj.in'.
143c4762a1bSJed Brown      The file format is as follows.
144c4762a1bSJed Brown      For each line the first entry is the processor rank where the
145c4762a1bSJed Brown      current node belongs. The second entry is the number of
146c4762a1bSJed Brown      neighbors of a node. The rest of the line is the adjacency
147c4762a1bSJed Brown      list of a node. Currently this file is set up to work on two
148c4762a1bSJed Brown      processors.
149c4762a1bSJed Brown 
150c4762a1bSJed Brown      This is not a very good example of reading input. In the future,
151c4762a1bSJed Brown      we will put an example that shows the style that should be
152c4762a1bSJed Brown      used in a real application, where partitioning will be done
153c4762a1bSJed Brown      dynamically by calling partitioning routines (at present, we have
154c4762a1bSJed Brown      a  ready interface to ParMeTiS).
155c4762a1bSJed Brown    */
156c4762a1bSJed Brown   fptr = fopen("adj.in", "r");
15754c59aa7SJacob Faibussowitsch   PetscCheck(fptr, PETSC_COMM_SELF, PETSC_ERR_FILE_OPEN, "Could not open adj.in");
158c4762a1bSJed Brown 
159c4762a1bSJed Brown   /*
160c4762a1bSJed Brown      Each processor writes to the file output.<rank> where rank is the
161c4762a1bSJed Brown      processor's rank.
162c4762a1bSJed Brown   */
163c4762a1bSJed Brown   sprintf(part_name, "output.%d", rank);
164c4762a1bSJed Brown   fptr1 = fopen(part_name, "w");
16554c59aa7SJacob Faibussowitsch   PetscCheck(fptr1, PETSC_COMM_SELF, PETSC_ERR_FILE_OPEN, "Could no open output file");
166b8abcfdeSJacob Faibussowitsch   PetscCall(PetscMalloc1(user.Nvglobal, &user.gloInd));
167b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "Rank is %d\n", rank));
168c4762a1bSJed Brown   for (inode = 0; inode < user.Nvglobal; inode++) {
16954c59aa7SJacob Faibussowitsch     PetscCheck(fgets(str, 256, fptr), PETSC_COMM_SELF, PETSC_ERR_FILE_READ, "fgets read failed");
1709371c9d4SSatish Balay     sscanf(str, "%d", &dtmp);
1719371c9d4SSatish Balay     user.v2p[inode] = dtmp;
172c4762a1bSJed Brown     if (user.v2p[inode] == rank) {
17363a3b9bcSJacob Faibussowitsch       PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "Node %" PetscInt_FMT " belongs to processor %" PetscInt_FMT "\n", inode, user.v2p[inode]));
174c4762a1bSJed Brown 
175c4762a1bSJed Brown       user.gloInd[user.Nvlocal] = inode;
176c4762a1bSJed Brown       sscanf(str, "%*d %d", &dtmp);
177c4762a1bSJed Brown       nbrs = dtmp;
17863a3b9bcSJacob Faibussowitsch       PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "Number of neighbors for the vertex %" PetscInt_FMT " is %" PetscInt_FMT "\n", inode, nbrs));
179c4762a1bSJed Brown 
180c4762a1bSJed Brown       user.itot[user.Nvlocal] = nbrs;
181c4762a1bSJed Brown       Nvneighborstotal += nbrs;
182c4762a1bSJed Brown       for (i = 0; i < user.itot[user.Nvlocal]; i++) {
183c4762a1bSJed Brown         form[0] = '\0';
184*48a46eb9SPierre Jolivet         for (j = 0; j < i + 2; j++) PetscCall(PetscStrlcat(form, "%*d ", sizeof(form)));
185b8abcfdeSJacob Faibussowitsch         PetscCall(PetscStrlcat(form, "%d", sizeof(form)));
186c4762a1bSJed Brown 
187c4762a1bSJed Brown         sscanf(str, form, &dtmp);
188c4762a1bSJed Brown         user.AdjM[user.Nvlocal][i] = dtmp;
189c4762a1bSJed Brown 
19063a3b9bcSJacob Faibussowitsch         PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "%" PetscInt_FMT " ", user.AdjM[user.Nvlocal][i]));
191c4762a1bSJed Brown       }
192b8abcfdeSJacob Faibussowitsch       PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "\n"));
193c4762a1bSJed Brown       user.Nvlocal++;
194c4762a1bSJed Brown     }
195c4762a1bSJed Brown   }
19663a3b9bcSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "Total # of Local Vertices is %" PetscInt_FMT " \n", user.Nvlocal));
197c4762a1bSJed Brown 
198c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
199c4762a1bSJed Brown      Create different orderings
200c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
201c4762a1bSJed Brown 
202c4762a1bSJed Brown   /*
203c4762a1bSJed Brown     Create the local ordering list for vertices. First a list using the PETSc global
204c4762a1bSJed Brown     ordering is created. Then we use the AO object to get the PETSc-to-application and
205c4762a1bSJed Brown     application-to-PETSc mappings. Each vertex also gets a local index (stored in the
206c4762a1bSJed Brown     locInd array).
207c4762a1bSJed Brown   */
208b8abcfdeSJacob Faibussowitsch   PetscCallMPI(MPI_Scan(&user.Nvlocal, &rstart, 1, MPIU_INT, MPI_SUM, PETSC_COMM_WORLD));
209c4762a1bSJed Brown   rstart -= user.Nvlocal;
210b8abcfdeSJacob Faibussowitsch   PetscCall(PetscMalloc1(user.Nvlocal, &pordering));
211c4762a1bSJed Brown 
212c4762a1bSJed Brown   for (i = 0; i < user.Nvlocal; i++) pordering[i] = rstart + i;
213c4762a1bSJed Brown 
214c4762a1bSJed Brown   /*
215c4762a1bSJed Brown     Create the AO object
216c4762a1bSJed Brown   */
217b8abcfdeSJacob Faibussowitsch   PetscCall(AOCreateBasic(MPI_COMM_WORLD, user.Nvlocal, user.gloInd, pordering, &ao));
218b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFree(pordering));
219c4762a1bSJed Brown 
220c4762a1bSJed Brown   /*
221c4762a1bSJed Brown     Keep the global indices for later use
222c4762a1bSJed Brown   */
223b8abcfdeSJacob Faibussowitsch   PetscCall(PetscMalloc1(user.Nvlocal, &user.locInd));
224b8abcfdeSJacob Faibussowitsch   PetscCall(PetscMalloc1(Nvneighborstotal, &tmp));
225c4762a1bSJed Brown 
226c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
227c4762a1bSJed Brown     Demonstrate the use of AO functionality
228c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
229c4762a1bSJed Brown 
230b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "Before AOApplicationToPetsc, local indices are : \n"));
231c4762a1bSJed Brown   for (i = 0; i < user.Nvlocal; i++) {
23263a3b9bcSJacob Faibussowitsch     PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, " %" PetscInt_FMT " ", user.gloInd[i]));
233c4762a1bSJed Brown 
234c4762a1bSJed Brown     user.locInd[i] = user.gloInd[i];
235c4762a1bSJed Brown   }
236b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "\n"));
237c4762a1bSJed Brown   jstart = 0;
238c4762a1bSJed Brown   for (i = 0; i < user.Nvlocal; i++) {
23963a3b9bcSJacob Faibussowitsch     PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "Neghbors of local vertex %" PetscInt_FMT " are : ", user.gloInd[i]));
240c4762a1bSJed Brown     for (j = 0; j < user.itot[i]; j++) {
24163a3b9bcSJacob Faibussowitsch       PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "%" PetscInt_FMT " ", user.AdjM[i][j]));
242c4762a1bSJed Brown 
243c4762a1bSJed Brown       tmp[j + jstart] = user.AdjM[i][j];
244c4762a1bSJed Brown     }
245c4762a1bSJed Brown     jstart += user.itot[i];
246b8abcfdeSJacob Faibussowitsch     PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "\n"));
247c4762a1bSJed Brown   }
248c4762a1bSJed Brown 
249c4762a1bSJed Brown   /*
250c4762a1bSJed Brown     Now map the vlocal and neighbor lists to the PETSc ordering
251c4762a1bSJed Brown   */
252b8abcfdeSJacob Faibussowitsch   PetscCall(AOApplicationToPetsc(ao, user.Nvlocal, user.locInd));
253b8abcfdeSJacob Faibussowitsch   PetscCall(AOApplicationToPetsc(ao, Nvneighborstotal, tmp));
254b8abcfdeSJacob Faibussowitsch   PetscCall(AODestroy(&ao));
255c4762a1bSJed Brown 
256b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "After AOApplicationToPetsc, local indices are : \n"));
257*48a46eb9SPierre Jolivet   for (i = 0; i < user.Nvlocal; i++) PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, " %" PetscInt_FMT " ", user.locInd[i]));
258b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "\n"));
259c4762a1bSJed Brown 
260c4762a1bSJed Brown   jstart = 0;
261c4762a1bSJed Brown   for (i = 0; i < user.Nvlocal; i++) {
26263a3b9bcSJacob Faibussowitsch     PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "Neghbors of local vertex %" PetscInt_FMT " are : ", user.locInd[i]));
263c4762a1bSJed Brown     for (j = 0; j < user.itot[i]; j++) {
264c4762a1bSJed Brown       user.AdjM[i][j] = tmp[j + jstart];
265c4762a1bSJed Brown 
26663a3b9bcSJacob Faibussowitsch       PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "%" PetscInt_FMT " ", user.AdjM[i][j]));
267c4762a1bSJed Brown     }
268c4762a1bSJed Brown     jstart += user.itot[i];
269b8abcfdeSJacob Faibussowitsch     PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "\n"));
270c4762a1bSJed Brown   }
271c4762a1bSJed Brown 
272c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
273c4762a1bSJed Brown      Extract the ghost vertex information for each processor
274c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
275c4762a1bSJed Brown   /*
276c4762a1bSJed Brown    Next, we need to generate a list of vertices required for this processor
277c4762a1bSJed Brown    and a local numbering scheme for all vertices required on this processor.
278c4762a1bSJed Brown       vertices - integer array of all vertices needed on this processor in PETSc
279c4762a1bSJed Brown                  global numbering; this list consists of first the "locally owned"
280c4762a1bSJed Brown                  vertices followed by the ghost vertices.
281c4762a1bSJed Brown       verticesmask - integer array that for each global vertex lists its local
282c4762a1bSJed Brown                      vertex number (in vertices) + 1. If the global vertex is not
283c4762a1bSJed Brown                      represented on this processor, then the corresponding
284c4762a1bSJed Brown                      entry in verticesmask is zero
285c4762a1bSJed Brown 
286c4762a1bSJed Brown       Note: vertices and verticesmask are both Nvglobal in length; this may
287c4762a1bSJed Brown     sound terribly non-scalable, but in fact is not so bad for a reasonable
288c4762a1bSJed Brown     number of processors. Importantly, it allows us to use NO SEARCHING
289c4762a1bSJed Brown     in setting up the data structures.
290c4762a1bSJed Brown   */
291b8abcfdeSJacob Faibussowitsch   PetscCall(PetscMalloc1(user.Nvglobal, &vertices));
292b8abcfdeSJacob Faibussowitsch   PetscCall(PetscCalloc1(user.Nvglobal, &verticesmask));
293c4762a1bSJed Brown   nvertices = 0;
294c4762a1bSJed Brown 
295c4762a1bSJed Brown   /*
296c4762a1bSJed Brown     First load "owned vertices" into list
297c4762a1bSJed Brown   */
298c4762a1bSJed Brown   for (i = 0; i < user.Nvlocal; i++) {
299c4762a1bSJed Brown     vertices[nvertices++]        = user.locInd[i];
300c4762a1bSJed Brown     verticesmask[user.locInd[i]] = nvertices;
301c4762a1bSJed Brown   }
302c4762a1bSJed Brown 
303c4762a1bSJed Brown   /*
304c4762a1bSJed Brown     Now load ghost vertices into list
305c4762a1bSJed Brown   */
306c4762a1bSJed Brown   for (i = 0; i < user.Nvlocal; i++) {
307c4762a1bSJed Brown     for (j = 0; j < user.itot[i]; j++) {
308c4762a1bSJed Brown       nb = user.AdjM[i][j];
309c4762a1bSJed Brown       if (!verticesmask[nb]) {
310c4762a1bSJed Brown         vertices[nvertices++] = nb;
311c4762a1bSJed Brown         verticesmask[nb]      = nvertices;
312c4762a1bSJed Brown       }
313c4762a1bSJed Brown     }
314c4762a1bSJed Brown   }
315c4762a1bSJed Brown 
316b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "\n"));
317b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "The array vertices is :\n"));
318*48a46eb9SPierre Jolivet   for (i = 0; i < nvertices; i++) PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "%" PetscInt_FMT " ", vertices[i]));
319b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "\n"));
320c4762a1bSJed Brown 
321c4762a1bSJed Brown   /*
322c4762a1bSJed Brown      Map the vertices listed in the neighbors to the local numbering from
323c4762a1bSJed Brown     the global ordering that they contained initially.
324c4762a1bSJed Brown   */
325b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "\n"));
326b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "After mapping neighbors in the local contiguous ordering\n"));
327c4762a1bSJed Brown   for (i = 0; i < user.Nvlocal; i++) {
32863a3b9bcSJacob Faibussowitsch     PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "Neghbors of local vertex %" PetscInt_FMT " are :\n", i));
329c4762a1bSJed Brown     for (j = 0; j < user.itot[i]; j++) {
330c4762a1bSJed Brown       nb              = user.AdjM[i][j];
331c4762a1bSJed Brown       user.AdjM[i][j] = verticesmask[nb] - 1;
332c4762a1bSJed Brown 
33363a3b9bcSJacob Faibussowitsch       PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "%" PetscInt_FMT " ", user.AdjM[i][j]));
334c4762a1bSJed Brown     }
335b8abcfdeSJacob Faibussowitsch     PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "\n"));
336c4762a1bSJed Brown   }
337c4762a1bSJed Brown 
338c4762a1bSJed Brown   N = user.Nvglobal;
339c4762a1bSJed Brown 
340c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
341c4762a1bSJed Brown      Create vector and matrix data structures
342c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
343c4762a1bSJed Brown 
344c4762a1bSJed Brown   /*
345c4762a1bSJed Brown     Create vector data structures
346c4762a1bSJed Brown   */
347b8abcfdeSJacob Faibussowitsch   PetscCall(VecCreate(MPI_COMM_WORLD, &x));
348b8abcfdeSJacob Faibussowitsch   PetscCall(VecSetSizes(x, user.Nvlocal, N));
349b8abcfdeSJacob Faibussowitsch   PetscCall(VecSetFromOptions(x));
350b8abcfdeSJacob Faibussowitsch   PetscCall(VecDuplicate(x, &r));
351b8abcfdeSJacob Faibussowitsch   PetscCall(VecCreateSeq(MPI_COMM_SELF, bs * nvertices, &user.localX));
352b8abcfdeSJacob Faibussowitsch   PetscCall(VecDuplicate(user.localX, &user.localF));
353c4762a1bSJed Brown 
354c4762a1bSJed Brown   /*
355c4762a1bSJed Brown     Create the scatter between the global representation and the
356c4762a1bSJed Brown     local representation
357c4762a1bSJed Brown   */
358b8abcfdeSJacob Faibussowitsch   PetscCall(ISCreateStride(MPI_COMM_SELF, bs * nvertices, 0, 1, &islocal));
359b8abcfdeSJacob Faibussowitsch   PetscCall(ISCreateBlock(MPI_COMM_SELF, bs, nvertices, vertices, PETSC_COPY_VALUES, &isglobal));
360b8abcfdeSJacob Faibussowitsch   PetscCall(VecScatterCreate(x, isglobal, user.localX, islocal, &user.scatter));
361b8abcfdeSJacob Faibussowitsch   PetscCall(ISDestroy(&isglobal));
362b8abcfdeSJacob Faibussowitsch   PetscCall(ISDestroy(&islocal));
363c4762a1bSJed Brown 
364c4762a1bSJed Brown   /*
365c4762a1bSJed Brown      Create matrix data structure; Just to keep the example simple, we have not done any
366c4762a1bSJed Brown      preallocation of memory for the matrix. In real application code with big matrices,
367c4762a1bSJed Brown      preallocation should always be done to expedite the matrix creation.
368c4762a1bSJed Brown   */
369b8abcfdeSJacob Faibussowitsch   PetscCall(MatCreate(MPI_COMM_WORLD, &Jac));
370b8abcfdeSJacob Faibussowitsch   PetscCall(MatSetSizes(Jac, PETSC_DECIDE, PETSC_DECIDE, N, N));
371b8abcfdeSJacob Faibussowitsch   PetscCall(MatSetFromOptions(Jac));
372b8abcfdeSJacob Faibussowitsch   PetscCall(MatSetUp(Jac));
373c4762a1bSJed Brown 
374c4762a1bSJed Brown   /*
375c4762a1bSJed Brown     The following routine allows us to set the matrix values in local ordering
376c4762a1bSJed Brown   */
377b8abcfdeSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingCreate(MPI_COMM_SELF, bs, nvertices, vertices, PETSC_COPY_VALUES, &isl2g));
378b8abcfdeSJacob Faibussowitsch   PetscCall(MatSetLocalToGlobalMapping(Jac, isl2g, isl2g));
379c4762a1bSJed Brown 
380c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
381c4762a1bSJed Brown      Create nonlinear solver context
382c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
383c4762a1bSJed Brown 
384b8abcfdeSJacob Faibussowitsch   PetscCall(SNESCreate(MPI_COMM_WORLD, &snes));
385b8abcfdeSJacob Faibussowitsch   PetscCall(SNESSetType(snes, type));
386c4762a1bSJed Brown 
387c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
388c4762a1bSJed Brown     Set routines for function and Jacobian evaluation
389c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
390b8abcfdeSJacob Faibussowitsch   PetscCall(SNESSetFunction(snes, r, FormFunction, (void *)&user));
391c4762a1bSJed Brown 
392b8abcfdeSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-fd_jacobian_coloring", &fd_jacobian_coloring, 0));
393c4762a1bSJed Brown   if (!fd_jacobian_coloring) {
394b8abcfdeSJacob Faibussowitsch     PetscCall(SNESSetJacobian(snes, Jac, Jac, FormJacobian, (void *)&user));
395c4762a1bSJed Brown   } else { /* Use matfdcoloring */
396c4762a1bSJed Brown     ISColoring  iscoloring;
397c4762a1bSJed Brown     MatColoring mc;
398c4762a1bSJed Brown 
399c4762a1bSJed Brown     /* Get the data structure of Jac */
400b8abcfdeSJacob Faibussowitsch     PetscCall(FormJacobian(snes, x, Jac, Jac, &user));
401c4762a1bSJed Brown     /* Create coloring context */
402b8abcfdeSJacob Faibussowitsch     PetscCall(MatColoringCreate(Jac, &mc));
403b8abcfdeSJacob Faibussowitsch     PetscCall(MatColoringSetType(mc, MATCOLORINGSL));
404b8abcfdeSJacob Faibussowitsch     PetscCall(MatColoringSetFromOptions(mc));
405b8abcfdeSJacob Faibussowitsch     PetscCall(MatColoringApply(mc, &iscoloring));
406b8abcfdeSJacob Faibussowitsch     PetscCall(MatColoringDestroy(&mc));
407b8abcfdeSJacob Faibussowitsch     PetscCall(MatFDColoringCreate(Jac, iscoloring, &matfdcoloring));
408b8abcfdeSJacob Faibussowitsch     PetscCall(MatFDColoringSetFunction(matfdcoloring, (PetscErrorCode(*)(void))FormFunction, &user));
409b8abcfdeSJacob Faibussowitsch     PetscCall(MatFDColoringSetFromOptions(matfdcoloring));
410b8abcfdeSJacob Faibussowitsch     PetscCall(MatFDColoringSetUp(Jac, iscoloring, matfdcoloring));
411b8abcfdeSJacob Faibussowitsch     /* PetscCall(MatFDColoringView(matfdcoloring,PETSC_VIEWER_STDOUT_WORLD)); */
412b8abcfdeSJacob Faibussowitsch     PetscCall(SNESSetJacobian(snes, Jac, Jac, SNESComputeJacobianDefaultColor, matfdcoloring));
413b8abcfdeSJacob Faibussowitsch     PetscCall(ISColoringDestroy(&iscoloring));
414c4762a1bSJed Brown   }
415c4762a1bSJed Brown 
416c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
417c4762a1bSJed Brown      Customize nonlinear solver; set runtime options
418c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
419c4762a1bSJed Brown 
420b8abcfdeSJacob Faibussowitsch   PetscCall(SNESSetFromOptions(snes));
421c4762a1bSJed Brown 
422c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
423c4762a1bSJed Brown      Evaluate initial guess; then solve nonlinear system
424c4762a1bSJed Brown      - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
425c4762a1bSJed Brown 
426c4762a1bSJed Brown   /*
427c4762a1bSJed Brown      Note: The user should initialize the vector, x, with the initial guess
428c4762a1bSJed Brown      for the nonlinear solver prior to calling SNESSolve().  In particular,
429c4762a1bSJed Brown      to employ an initial guess of zero, the user should explicitly set
430c4762a1bSJed Brown      this vector to zero by calling VecSet().
431c4762a1bSJed Brown   */
432b8abcfdeSJacob Faibussowitsch   PetscCall(FormInitialGuess(&user, x));
433c4762a1bSJed Brown 
434c4762a1bSJed Brown   /*
435c4762a1bSJed Brown     Print the initial guess
436c4762a1bSJed Brown   */
437b8abcfdeSJacob Faibussowitsch   PetscCall(VecGetArray(x, &xx));
438*48a46eb9SPierre Jolivet   for (inode = 0; inode < user.Nvlocal; inode++) PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "Initial Solution at node %" PetscInt_FMT " is %f \n", inode, (double)PetscRealPart(xx[inode])));
439b8abcfdeSJacob Faibussowitsch   PetscCall(VecRestoreArray(x, &xx));
440c4762a1bSJed Brown 
441c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
442c4762a1bSJed Brown      Now solve the nonlinear system
443c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
444c4762a1bSJed Brown 
445b8abcfdeSJacob Faibussowitsch   PetscCall(SNESSolve(snes, NULL, x));
446b8abcfdeSJacob Faibussowitsch   PetscCall(SNESGetIterationNumber(snes, &its));
447b8abcfdeSJacob Faibussowitsch   PetscCall(SNESGetNonlinearStepFailures(snes, &nfails));
448c4762a1bSJed Brown 
449c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
450c4762a1bSJed Brown     Print the output : solution vector and other information
451c4762a1bSJed Brown      Each processor writes to the file output.<rank> where rank is the
452c4762a1bSJed Brown      processor's rank.
453c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
454c4762a1bSJed Brown 
455b8abcfdeSJacob Faibussowitsch   PetscCall(VecGetArray(x, &xx));
456*48a46eb9SPierre Jolivet   for (inode = 0; inode < user.Nvlocal; inode++) PetscCall(PetscFPrintf(PETSC_COMM_SELF, fptr1, "Solution at node %" PetscInt_FMT " is %f \n", inode, (double)PetscRealPart(xx[inode])));
457b8abcfdeSJacob Faibussowitsch   PetscCall(VecRestoreArray(x, &xx));
458c4762a1bSJed Brown   fclose(fptr1);
45963a3b9bcSJacob Faibussowitsch   PetscCall(PetscPrintf(MPI_COMM_WORLD, "number of SNES iterations = %" PetscInt_FMT ", ", its));
46063a3b9bcSJacob Faibussowitsch   PetscCall(PetscPrintf(MPI_COMM_WORLD, "number of unsuccessful steps = %" PetscInt_FMT "\n", nfails));
461c4762a1bSJed Brown 
462c4762a1bSJed Brown   /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
463c4762a1bSJed Brown      Free work space.  All PETSc objects should be destroyed when they
464c4762a1bSJed Brown      are no longer needed.
465c4762a1bSJed Brown    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
466b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFree(user.gloInd));
467b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFree(user.locInd));
468b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFree(vertices));
469b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFree(verticesmask));
470b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFree(tmp));
471b8abcfdeSJacob Faibussowitsch   PetscCall(VecScatterDestroy(&user.scatter));
472b8abcfdeSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingDestroy(&isl2g));
473b8abcfdeSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
474b8abcfdeSJacob Faibussowitsch   PetscCall(VecDestroy(&r));
475b8abcfdeSJacob Faibussowitsch   PetscCall(VecDestroy(&user.localX));
476b8abcfdeSJacob Faibussowitsch   PetscCall(VecDestroy(&user.localF));
477b8abcfdeSJacob Faibussowitsch   PetscCall(SNESDestroy(&snes));
478b8abcfdeSJacob Faibussowitsch   PetscCall(MatDestroy(&Jac));
479b8abcfdeSJacob Faibussowitsch   /* PetscCall(PetscDrawDestroy(draw));*/
480b8abcfdeSJacob Faibussowitsch   if (fd_jacobian_coloring) PetscCall(MatFDColoringDestroy(&matfdcoloring));
481b8abcfdeSJacob Faibussowitsch   PetscCall(PetscFinalize());
482b8abcfdeSJacob Faibussowitsch   return 0;
483c4762a1bSJed Brown }
484c4762a1bSJed Brown /* --------------------  Form initial approximation ----------------- */
485c4762a1bSJed Brown 
486c4762a1bSJed Brown /*
487c4762a1bSJed Brown    FormInitialGuess - Forms initial approximation.
488c4762a1bSJed Brown 
489c4762a1bSJed Brown    Input Parameters:
490c4762a1bSJed Brown    user - user-defined application context
491c4762a1bSJed Brown    X - vector
492c4762a1bSJed Brown 
493c4762a1bSJed Brown    Output Parameter:
494c4762a1bSJed Brown    X - vector
495c4762a1bSJed Brown  */
4969371c9d4SSatish Balay PetscErrorCode FormInitialGuess(AppCtx *user, Vec X) {
497b8abcfdeSJacob Faibussowitsch   PetscInt     i, Nvlocal;
498c4762a1bSJed Brown   PetscInt    *gloInd;
499c4762a1bSJed Brown   PetscScalar *x;
500c4762a1bSJed Brown #if defined(UNUSED_VARIABLES)
501c4762a1bSJed Brown   PetscReal temp1, temp, hx, hy, hxdhy, hydhx, sc;
502c4762a1bSJed Brown   PetscInt  Neglobal, Nvglobal, j, row;
503c4762a1bSJed Brown   PetscReal alpha, lambda;
504c4762a1bSJed Brown 
505c4762a1bSJed Brown   Nvglobal = user->Nvglobal;
506c4762a1bSJed Brown   Neglobal = user->Neglobal;
507c4762a1bSJed Brown   lambda   = user->non_lin_param;
508c4762a1bSJed Brown   alpha    = user->lin_param;
509c4762a1bSJed Brown #endif
510c4762a1bSJed Brown 
511c4762a1bSJed Brown   Nvlocal = user->Nvlocal;
512c4762a1bSJed Brown   gloInd  = user->gloInd;
513c4762a1bSJed Brown 
514c4762a1bSJed Brown   /*
515c4762a1bSJed Brown      Get a pointer to vector data.
516c4762a1bSJed Brown        - For default PETSc vectors, VecGetArray() returns a pointer to
517c4762a1bSJed Brown          the data array.  Otherwise, the routine is implementation dependent.
518c4762a1bSJed Brown        - You MUST call VecRestoreArray() when you no longer need access to
519c4762a1bSJed Brown          the array.
520c4762a1bSJed Brown   */
521b8abcfdeSJacob Faibussowitsch   PetscCall(VecGetArray(X, &x));
522c4762a1bSJed Brown 
523c4762a1bSJed Brown   /*
524c4762a1bSJed Brown      Compute initial guess over the locally owned part of the grid
525c4762a1bSJed Brown   */
526c4762a1bSJed Brown   for (i = 0; i < Nvlocal; i++) x[i] = (PetscReal)gloInd[i];
527c4762a1bSJed Brown 
528c4762a1bSJed Brown   /*
529c4762a1bSJed Brown      Restore vector
530c4762a1bSJed Brown   */
531b8abcfdeSJacob Faibussowitsch   PetscCall(VecRestoreArray(X, &x));
532c4762a1bSJed Brown   return 0;
533c4762a1bSJed Brown }
534c4762a1bSJed Brown /* --------------------  Evaluate Function F(x) --------------------- */
535c4762a1bSJed Brown /*
536c4762a1bSJed Brown    FormFunction - Evaluates nonlinear function, F(x).
537c4762a1bSJed Brown 
538c4762a1bSJed Brown    Input Parameters:
539c4762a1bSJed Brown .  snes - the SNES context
540c4762a1bSJed Brown .  X - input vector
541c4762a1bSJed Brown .  ptr - optional user-defined context, as set by SNESSetFunction()
542c4762a1bSJed Brown 
543c4762a1bSJed Brown    Output Parameter:
544c4762a1bSJed Brown .  F - function vector
545c4762a1bSJed Brown  */
5469371c9d4SSatish Balay PetscErrorCode FormFunction(SNES snes, Vec X, Vec F, void *ptr) {
547c4762a1bSJed Brown   AppCtx      *user = (AppCtx *)ptr;
548c4762a1bSJed Brown   PetscInt     i, j, Nvlocal;
549c4762a1bSJed Brown   PetscReal    alpha, lambda;
550c4762a1bSJed Brown   PetscScalar *x, *f;
551c4762a1bSJed Brown   VecScatter   scatter;
552c4762a1bSJed Brown   Vec          localX = user->localX;
553c4762a1bSJed Brown #if defined(UNUSED_VARIABLES)
554c4762a1bSJed Brown   PetscScalar ut, ub, ul, ur, u, *g, sc, uyy, uxx;
555c4762a1bSJed Brown   PetscReal   hx, hy, hxdhy, hydhx;
556c4762a1bSJed Brown   PetscReal   two = 2.0, one = 1.0;
557c4762a1bSJed Brown   PetscInt    Nvglobal, Neglobal, row;
558c4762a1bSJed Brown   PetscInt   *gloInd;
559c4762a1bSJed Brown 
560c4762a1bSJed Brown   Nvglobal = user->Nvglobal;
561c4762a1bSJed Brown   Neglobal = user->Neglobal;
562c4762a1bSJed Brown   gloInd   = user->gloInd;
563c4762a1bSJed Brown #endif
564c4762a1bSJed Brown 
565c4762a1bSJed Brown   Nvlocal = user->Nvlocal;
566c4762a1bSJed Brown   lambda  = user->non_lin_param;
567c4762a1bSJed Brown   alpha   = user->lin_param;
568c4762a1bSJed Brown   scatter = user->scatter;
569c4762a1bSJed Brown 
570c4762a1bSJed Brown   /*
571c4762a1bSJed Brown      PDE : L(u) + lambda*u*u +alpha*u = 0 where L(u) is the approximate Laplacian as
572c4762a1bSJed Brown      described in the beginning of this code
573c4762a1bSJed Brown 
574c4762a1bSJed Brown      First scatter the distributed vector X into local vector localX (that includes
575c4762a1bSJed Brown      values for ghost nodes. If we wish,we can put some other work between
576c4762a1bSJed Brown      VecScatterBegin() and VecScatterEnd() to overlap the communication with
577c4762a1bSJed Brown      computation.
578c4762a1bSJed Brown  */
579b8abcfdeSJacob Faibussowitsch   PetscCall(VecScatterBegin(scatter, X, localX, INSERT_VALUES, SCATTER_FORWARD));
580b8abcfdeSJacob Faibussowitsch   PetscCall(VecScatterEnd(scatter, X, localX, INSERT_VALUES, SCATTER_FORWARD));
581c4762a1bSJed Brown 
582c4762a1bSJed Brown   /*
583c4762a1bSJed Brown      Get pointers to vector data
584c4762a1bSJed Brown   */
585b8abcfdeSJacob Faibussowitsch   PetscCall(VecGetArray(localX, &x));
586b8abcfdeSJacob Faibussowitsch   PetscCall(VecGetArray(F, &f));
587c4762a1bSJed Brown 
588c4762a1bSJed Brown   /*
589c4762a1bSJed Brown     Now compute the f(x). As mentioned earlier, the computed Laplacian is just an
590c4762a1bSJed Brown     approximate one chosen for illustrative purpose only. Another point to notice
591c4762a1bSJed Brown     is that this is a local (completly parallel) calculation. In practical application
592c4762a1bSJed Brown     codes, function calculation time is a dominat portion of the overall execution time.
593c4762a1bSJed Brown   */
594c4762a1bSJed Brown   for (i = 0; i < Nvlocal; i++) {
595c4762a1bSJed Brown     f[i] = (user->itot[i] - alpha) * x[i] - lambda * x[i] * x[i];
596c4762a1bSJed Brown     for (j = 0; j < user->itot[i]; j++) f[i] -= x[user->AdjM[i][j]];
597c4762a1bSJed Brown   }
598c4762a1bSJed Brown 
599c4762a1bSJed Brown   /*
600c4762a1bSJed Brown      Restore vectors
601c4762a1bSJed Brown   */
602b8abcfdeSJacob Faibussowitsch   PetscCall(VecRestoreArray(localX, &x));
603b8abcfdeSJacob Faibussowitsch   PetscCall(VecRestoreArray(F, &f));
604b8abcfdeSJacob Faibussowitsch   /*PetscCall(VecView(F,PETSC_VIEWER_STDOUT_WORLD));*/
605c4762a1bSJed Brown 
606c4762a1bSJed Brown   return 0;
607c4762a1bSJed Brown }
608c4762a1bSJed Brown 
609c4762a1bSJed Brown /* --------------------  Evaluate Jacobian F'(x) -------------------- */
610c4762a1bSJed Brown /*
611c4762a1bSJed Brown    FormJacobian - Evaluates Jacobian matrix.
612c4762a1bSJed Brown 
613c4762a1bSJed Brown    Input Parameters:
614c4762a1bSJed Brown .  snes - the SNES context
615c4762a1bSJed Brown .  X - input vector
616c4762a1bSJed Brown .  ptr - optional user-defined context, as set by SNESSetJacobian()
617c4762a1bSJed Brown 
618c4762a1bSJed Brown    Output Parameters:
619c4762a1bSJed Brown .  A - Jacobian matrix
620c4762a1bSJed Brown .  B - optionally different preconditioning matrix
621c4762a1bSJed Brown .  flag - flag indicating matrix structure
622c4762a1bSJed Brown 
623c4762a1bSJed Brown */
6249371c9d4SSatish Balay PetscErrorCode FormJacobian(SNES snes, Vec X, Mat J, Mat jac, void *ptr) {
625c4762a1bSJed Brown   AppCtx      *user = (AppCtx *)ptr;
626b8abcfdeSJacob Faibussowitsch   PetscInt     i, j, Nvlocal, col[50];
627c4762a1bSJed Brown   PetscScalar  alpha, lambda, value[50];
628c4762a1bSJed Brown   Vec          localX = user->localX;
629c4762a1bSJed Brown   VecScatter   scatter;
630c4762a1bSJed Brown   PetscScalar *x;
631c4762a1bSJed Brown #if defined(UNUSED_VARIABLES)
632c4762a1bSJed Brown   PetscScalar two = 2.0, one = 1.0;
633c4762a1bSJed Brown   PetscInt    row, Nvglobal, Neglobal;
634c4762a1bSJed Brown   PetscInt   *gloInd;
635c4762a1bSJed Brown 
636c4762a1bSJed Brown   Nvglobal = user->Nvglobal;
637c4762a1bSJed Brown   Neglobal = user->Neglobal;
638c4762a1bSJed Brown   gloInd   = user->gloInd;
639c4762a1bSJed Brown #endif
640c4762a1bSJed Brown 
641c4762a1bSJed Brown   /*printf("Entering into FormJacobian \n");*/
642c4762a1bSJed Brown   Nvlocal = user->Nvlocal;
643c4762a1bSJed Brown   lambda  = user->non_lin_param;
644c4762a1bSJed Brown   alpha   = user->lin_param;
645c4762a1bSJed Brown   scatter = user->scatter;
646c4762a1bSJed Brown 
647c4762a1bSJed Brown   /*
648c4762a1bSJed Brown      PDE : L(u) + lambda*u*u +alpha*u = 0 where L(u) is the approximate Laplacian as
649c4762a1bSJed Brown      described in the beginning of this code
650c4762a1bSJed Brown 
651c4762a1bSJed Brown      First scatter the distributed vector X into local vector localX (that includes
652c4762a1bSJed Brown      values for ghost nodes. If we wish, we can put some other work between
653c4762a1bSJed Brown      VecScatterBegin() and VecScatterEnd() to overlap the communication with
654c4762a1bSJed Brown      computation.
655c4762a1bSJed Brown   */
656b8abcfdeSJacob Faibussowitsch   PetscCall(VecScatterBegin(scatter, X, localX, INSERT_VALUES, SCATTER_FORWARD));
657b8abcfdeSJacob Faibussowitsch   PetscCall(VecScatterEnd(scatter, X, localX, INSERT_VALUES, SCATTER_FORWARD));
658c4762a1bSJed Brown 
659c4762a1bSJed Brown   /*
660c4762a1bSJed Brown      Get pointer to vector data
661c4762a1bSJed Brown   */
662b8abcfdeSJacob Faibussowitsch   PetscCall(VecGetArray(localX, &x));
663c4762a1bSJed Brown 
664c4762a1bSJed Brown   for (i = 0; i < Nvlocal; i++) {
665c4762a1bSJed Brown     col[0]   = i;
666c4762a1bSJed Brown     value[0] = user->itot[i] - 2.0 * lambda * x[i] - alpha;
667c4762a1bSJed Brown     for (j = 0; j < user->itot[i]; j++) {
668c4762a1bSJed Brown       col[j + 1]   = user->AdjM[i][j];
669c4762a1bSJed Brown       value[j + 1] = -1.0;
670c4762a1bSJed Brown     }
671c4762a1bSJed Brown 
672c4762a1bSJed Brown     /*
673c4762a1bSJed Brown       Set the matrix values in the local ordering. Note that in order to use this
674c4762a1bSJed Brown       feature we must call the routine MatSetLocalToGlobalMapping() after the
675c4762a1bSJed Brown       matrix has been created.
676c4762a1bSJed Brown     */
677b8abcfdeSJacob Faibussowitsch     PetscCall(MatSetValuesLocal(jac, 1, &i, 1 + user->itot[i], col, value, INSERT_VALUES));
678c4762a1bSJed Brown   }
679c4762a1bSJed Brown 
680c4762a1bSJed Brown   /*
681c4762a1bSJed Brown      Assemble matrix, using the 2-step process:
682c4762a1bSJed Brown        MatAssemblyBegin(), MatAssemblyEnd().
683c4762a1bSJed Brown      Between these two calls, the pointer to vector data has been restored to
684c4762a1bSJed Brown      demonstrate the use of overlapping communicationn with computation.
685c4762a1bSJed Brown   */
686b8abcfdeSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(jac, MAT_FINAL_ASSEMBLY));
687b8abcfdeSJacob Faibussowitsch   PetscCall(VecRestoreArray(localX, &x));
688b8abcfdeSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(jac, MAT_FINAL_ASSEMBLY));
689c4762a1bSJed Brown 
690c4762a1bSJed Brown   /*
691c4762a1bSJed Brown      Tell the matrix we will never add a new nonzero location to the
692c4762a1bSJed Brown      matrix. If we do, it will generate an error.
693c4762a1bSJed Brown   */
694b8abcfdeSJacob Faibussowitsch   PetscCall(MatSetOption(jac, MAT_NEW_NONZERO_LOCATION_ERR, PETSC_TRUE));
695c4762a1bSJed Brown   /* MatView(jac,PETSC_VIEWER_STDOUT_SELF); */
696c4762a1bSJed Brown   return 0;
697c4762a1bSJed Brown }
698c4762a1bSJed Brown 
699c4762a1bSJed Brown /*TEST
700c4762a1bSJed Brown 
701c4762a1bSJed Brown    build:
702c4762a1bSJed Brown       requires: !complex
703c4762a1bSJed Brown 
704c4762a1bSJed Brown    test:
705c4762a1bSJed Brown       nsize: 2
706c4762a1bSJed Brown       args: -snes_monitor_short
707c4762a1bSJed Brown       localrunfiles: options.inf adj.in
708c4762a1bSJed Brown 
709c4762a1bSJed Brown    test:
710c4762a1bSJed Brown       suffix: 2
711c4762a1bSJed Brown       nsize: 2
712c4762a1bSJed Brown       args: -snes_monitor_short -fd_jacobian_coloring
713c4762a1bSJed Brown       localrunfiles: options.inf adj.in
714c4762a1bSJed Brown 
715c4762a1bSJed Brown TEST*/
716