xref: /petsc/src/mat/matfd/fdmatrix.c (revision 93dfae198b7b88e3d1d0b167d98d82ce5d6af8d8)
1be1d678aSKris Buschelman 
2bbf0e169SBarry Smith /*
3639f9d9dSBarry Smith    This is where the abstract matrix operations are defined that are
4639f9d9dSBarry Smith   used for finite difference computations of Jacobians using coloring.
5bbf0e169SBarry Smith */
6bbf0e169SBarry Smith 
7b45d2f2cSJed Brown #include <petsc-private/matimpl.h>        /*I "petscmat.h" I*/
8bbf0e169SBarry Smith 
94a2ae208SSatish Balay #undef __FUNCT__
103a7fca6bSBarry Smith #define __FUNCT__ "MatFDColoringSetF"
117087cfbeSBarry Smith PetscErrorCode  MatFDColoringSetF(MatFDColoring fd,Vec F)
123a7fca6bSBarry Smith {
134e269d77SPeter Brune   PetscErrorCode ierr;
146e111a19SKarl Rupp 
153a7fca6bSBarry Smith   PetscFunctionBegin;
164e269d77SPeter Brune   if (F) {
174e269d77SPeter Brune     ierr     = VecCopy(F,fd->w1);CHKERRQ(ierr);
184e269d77SPeter Brune     fd->fset = PETSC_TRUE;
194e269d77SPeter Brune   } else {
204e269d77SPeter Brune     fd->fset = PETSC_FALSE;
214e269d77SPeter Brune   }
223a7fca6bSBarry Smith   PetscFunctionReturn(0);
233a7fca6bSBarry Smith }
243a7fca6bSBarry Smith 
259804daf3SBarry Smith #include <petscdraw.h>
263a7fca6bSBarry Smith #undef __FUNCT__
274a2ae208SSatish Balay #define __FUNCT__ "MatFDColoringView_Draw_Zoom"
286849ba73SBarry Smith static PetscErrorCode MatFDColoringView_Draw_Zoom(PetscDraw draw,void *Aa)
299194eea9SBarry Smith {
309194eea9SBarry Smith   MatFDColoring  fd = (MatFDColoring)Aa;
31dfbe8321SBarry Smith   PetscErrorCode ierr;
32b312708bSHong Zhang   PetscInt       i,j,nz,row;
339194eea9SBarry Smith   PetscReal      x,y;
34b312708bSHong Zhang   MatEntry       *Jentry=fd->matentry;
359194eea9SBarry Smith 
369194eea9SBarry Smith   PetscFunctionBegin;
379194eea9SBarry Smith   /* loop over colors  */
38b312708bSHong Zhang   nz = 0;
399194eea9SBarry Smith   for (i=0; i<fd->ncolors; i++) {
409194eea9SBarry Smith     for (j=0; j<fd->nrows[i]; j++) {
41b312708bSHong Zhang       row = Jentry[nz].row;
42b312708bSHong Zhang       y   = fd->M - row - fd->rstart;
43b312708bSHong Zhang       x   = (PetscReal)Jentry[nz++].col;
44b0a32e0cSBarry Smith       ierr = PetscDrawRectangle(draw,x,y,x+1,y+1,i+1,i+1,i+1,i+1);CHKERRQ(ierr);
459194eea9SBarry Smith     }
469194eea9SBarry Smith   }
479194eea9SBarry Smith   PetscFunctionReturn(0);
489194eea9SBarry Smith }
499194eea9SBarry Smith 
504a2ae208SSatish Balay #undef __FUNCT__
514a2ae208SSatish Balay #define __FUNCT__ "MatFDColoringView_Draw"
526849ba73SBarry Smith static PetscErrorCode MatFDColoringView_Draw(MatFDColoring fd,PetscViewer viewer)
53005c665bSBarry Smith {
54dfbe8321SBarry Smith   PetscErrorCode ierr;
55ace3abfcSBarry Smith   PetscBool      isnull;
56b0a32e0cSBarry Smith   PetscDraw      draw;
5754d96fa3SBarry Smith   PetscReal      xr,yr,xl,yl,h,w;
58005c665bSBarry Smith 
593a40ed3dSBarry Smith   PetscFunctionBegin;
60b0a32e0cSBarry Smith   ierr = PetscViewerDrawGetDraw(viewer,0,&draw);CHKERRQ(ierr);
61b0a32e0cSBarry Smith   ierr = PetscDrawIsNull(draw,&isnull);CHKERRQ(ierr); if (isnull) PetscFunctionReturn(0);
629194eea9SBarry Smith 
639194eea9SBarry Smith   ierr = PetscObjectCompose((PetscObject)fd,"Zoomviewer",(PetscObject)viewer);CHKERRQ(ierr);
64005c665bSBarry Smith 
65005c665bSBarry Smith   xr   = fd->N; yr  = fd->M; h = yr/10.0; w = xr/10.0;
66005c665bSBarry Smith   xr  += w;     yr += h;    xl = -w;     yl = -h;
67b0a32e0cSBarry Smith   ierr = PetscDrawSetCoordinates(draw,xl,yl,xr,yr);CHKERRQ(ierr);
68b0a32e0cSBarry Smith   ierr = PetscDrawZoom(draw,MatFDColoringView_Draw_Zoom,fd);CHKERRQ(ierr);
69f77a5242SKarl Rupp   ierr = PetscObjectCompose((PetscObject)fd,"Zoomviewer",NULL);CHKERRQ(ierr);
703a40ed3dSBarry Smith   PetscFunctionReturn(0);
71005c665bSBarry Smith }
72005c665bSBarry Smith 
734a2ae208SSatish Balay #undef __FUNCT__
744a2ae208SSatish Balay #define __FUNCT__ "MatFDColoringView"
75bbf0e169SBarry Smith /*@C
76639f9d9dSBarry Smith    MatFDColoringView - Views a finite difference coloring context.
77bbf0e169SBarry Smith 
784c49b128SBarry Smith    Collective on MatFDColoring
79fee21e36SBarry Smith 
80ef5ee4d1SLois Curfman McInnes    Input  Parameters:
81ef5ee4d1SLois Curfman McInnes +  c - the coloring context
82ef5ee4d1SLois Curfman McInnes -  viewer - visualization context
83ef5ee4d1SLois Curfman McInnes 
8415091d37SBarry Smith    Level: intermediate
8515091d37SBarry Smith 
86b4fc646aSLois Curfman McInnes    Notes:
87b4fc646aSLois Curfman McInnes    The available visualization contexts include
88b0a32e0cSBarry Smith +     PETSC_VIEWER_STDOUT_SELF - standard output (default)
89b0a32e0cSBarry Smith .     PETSC_VIEWER_STDOUT_WORLD - synchronized standard
90ef5ee4d1SLois Curfman McInnes         output where only the first processor opens
91ef5ee4d1SLois Curfman McInnes         the file.  All other processors send their
92ef5ee4d1SLois Curfman McInnes         data to the first processor to print.
93b0a32e0cSBarry Smith -     PETSC_VIEWER_DRAW_WORLD - graphical display of nonzero structure
94bbf0e169SBarry Smith 
959194eea9SBarry Smith    Notes:
969194eea9SBarry Smith      Since PETSc uses only a small number of basic colors (currently 33), if the coloring
97b0a32e0cSBarry Smith    involves more than 33 then some seemingly identical colors are displayed making it look
989194eea9SBarry Smith    like an illegal coloring. This is just a graphical artifact.
999194eea9SBarry Smith 
100639f9d9dSBarry Smith .seealso: MatFDColoringCreate()
101005c665bSBarry Smith 
102b4fc646aSLois Curfman McInnes .keywords: Mat, finite differences, coloring, view
103bbf0e169SBarry Smith @*/
1047087cfbeSBarry Smith PetscErrorCode  MatFDColoringView(MatFDColoring c,PetscViewer viewer)
105bbf0e169SBarry Smith {
1066849ba73SBarry Smith   PetscErrorCode    ierr;
10738baddfdSBarry Smith   PetscInt          i,j;
108ace3abfcSBarry Smith   PetscBool         isdraw,iascii;
109f3ef73ceSBarry Smith   PetscViewerFormat format;
110bbf0e169SBarry Smith 
1113a40ed3dSBarry Smith   PetscFunctionBegin;
1120700a824SBarry Smith   PetscValidHeaderSpecific(c,MAT_FDCOLORING_CLASSID,1);
1133050cee2SBarry Smith   if (!viewer) {
114ce94432eSBarry Smith     ierr = PetscViewerASCIIGetStdout(PetscObjectComm((PetscObject)c),&viewer);CHKERRQ(ierr);
1153050cee2SBarry Smith   }
1160700a824SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
117c9780b6fSBarry Smith   PetscCheckSameComm(c,1,viewer,2);
118bbf0e169SBarry Smith 
119251f4c67SDmitry Karpeev   ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERDRAW,&isdraw);CHKERRQ(ierr);
120251f4c67SDmitry Karpeev   ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr);
1210f5bd95cSBarry Smith   if (isdraw) {
122b4fc646aSLois Curfman McInnes     ierr = MatFDColoringView_Draw(c,viewer);CHKERRQ(ierr);
12332077d6dSBarry Smith   } else if (iascii) {
124dae58748SBarry Smith     ierr = PetscObjectPrintClassNamePrefixType((PetscObject)c,viewer);CHKERRQ(ierr);
125a83599f4SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"  Error tolerance=%G\n",c->error_rel);CHKERRQ(ierr);
126a83599f4SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"  Umin=%G\n",c->umin);CHKERRQ(ierr);
12777431f27SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"  Number of colors=%D\n",c->ncolors);CHKERRQ(ierr);
128ae09f205SBarry Smith 
129b0a32e0cSBarry Smith     ierr = PetscViewerGetFormat(viewer,&format);CHKERRQ(ierr);
130fb9695e5SSatish Balay     if (format != PETSC_VIEWER_ASCII_INFO) {
131b312708bSHong Zhang       PetscInt row,col,nz;
132b312708bSHong Zhang       nz = 0;
133b4fc646aSLois Curfman McInnes       for (i=0; i<c->ncolors; i++) {
13477431f27SBarry Smith         ierr = PetscViewerASCIIPrintf(viewer,"  Information for color %D\n",i);CHKERRQ(ierr);
13577431f27SBarry Smith         ierr = PetscViewerASCIIPrintf(viewer,"    Number of columns %D\n",c->ncolumns[i]);CHKERRQ(ierr);
136b4fc646aSLois Curfman McInnes         for (j=0; j<c->ncolumns[i]; j++) {
13777431f27SBarry Smith           ierr = PetscViewerASCIIPrintf(viewer,"      %D\n",c->columns[i][j]);CHKERRQ(ierr);
138639f9d9dSBarry Smith         }
13977431f27SBarry Smith         ierr = PetscViewerASCIIPrintf(viewer,"    Number of rows %D\n",c->nrows[i]);CHKERRQ(ierr);
140b4fc646aSLois Curfman McInnes         for (j=0; j<c->nrows[i]; j++) {
141b312708bSHong Zhang           row  = c->matentry[nz].row;
142b312708bSHong Zhang           col  = c->matentry[nz++].col;
143b312708bSHong Zhang           ierr = PetscViewerASCIIPrintf(viewer,"      %D %D \n",row,col);CHKERRQ(ierr);
144b4fc646aSLois Curfman McInnes         }
145bbf0e169SBarry Smith       }
146bbf0e169SBarry Smith     }
147b0a32e0cSBarry Smith     ierr = PetscViewerFlush(viewer);CHKERRQ(ierr);
148bbf0e169SBarry Smith   }
1493a40ed3dSBarry Smith   PetscFunctionReturn(0);
150639f9d9dSBarry Smith }
151639f9d9dSBarry Smith 
1524a2ae208SSatish Balay #undef __FUNCT__
1534a2ae208SSatish Balay #define __FUNCT__ "MatFDColoringSetParameters"
154639f9d9dSBarry Smith /*@
155b4fc646aSLois Curfman McInnes    MatFDColoringSetParameters - Sets the parameters for the sparse approximation of
156b4fc646aSLois Curfman McInnes    a Jacobian matrix using finite differences.
157639f9d9dSBarry Smith 
1583f9fe445SBarry Smith    Logically Collective on MatFDColoring
159ef5ee4d1SLois Curfman McInnes 
160ef5ee4d1SLois Curfman McInnes    The Jacobian is estimated with the differencing approximation
161ef5ee4d1SLois Curfman McInnes .vb
16265f2ba5bSLois Curfman McInnes        F'(u)_{:,i} = [F(u+h*dx_{i}) - F(u)]/h where
163f23b5b22SLois Curfman McInnes        h = error_rel*u[i]                 if  abs(u[i]) > umin
164f23b5b22SLois Curfman McInnes          = +/- error_rel*umin             otherwise, with +/- determined by the sign of u[i]
165ef5ee4d1SLois Curfman McInnes        dx_{i} = (0, ... 1, .... 0)
166ef5ee4d1SLois Curfman McInnes .ve
167639f9d9dSBarry Smith 
168639f9d9dSBarry Smith    Input Parameters:
169ef5ee4d1SLois Curfman McInnes +  coloring - the coloring context
170639f9d9dSBarry Smith .  error_rel - relative error
171f23b5b22SLois Curfman McInnes -  umin - minimum allowable u-value magnitude
172fee21e36SBarry Smith 
17315091d37SBarry Smith    Level: advanced
17415091d37SBarry Smith 
175b4fc646aSLois Curfman McInnes .keywords: Mat, finite differences, coloring, set, parameters
176b4fc646aSLois Curfman McInnes 
17795b89fc3SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringSetFromOptions()
17895b89fc3SBarry Smith 
179639f9d9dSBarry Smith @*/
1807087cfbeSBarry Smith PetscErrorCode MatFDColoringSetParameters(MatFDColoring matfd,PetscReal error,PetscReal umin)
181639f9d9dSBarry Smith {
1823a40ed3dSBarry Smith   PetscFunctionBegin;
1830700a824SBarry Smith   PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1);
184c5eb9154SBarry Smith   PetscValidLogicalCollectiveReal(matfd,error,2);
185c5eb9154SBarry Smith   PetscValidLogicalCollectiveReal(matfd,umin,3);
186639f9d9dSBarry Smith   if (error != PETSC_DEFAULT) matfd->error_rel = error;
187639f9d9dSBarry Smith   if (umin != PETSC_DEFAULT)  matfd->umin      = umin;
1883a40ed3dSBarry Smith   PetscFunctionReturn(0);
189639f9d9dSBarry Smith }
190639f9d9dSBarry Smith 
191f86b9fbaSHong Zhang #undef __FUNCT__
192f86b9fbaSHong Zhang #define __FUNCT__ "MatFDColoringSetBlockSize"
193f86b9fbaSHong Zhang /*@
194f86b9fbaSHong Zhang    MatFDColoringSetBlockSize - Sets block size for efficient
195f86b9fbaSHong Zhang    inserting entries of Jacobian matrix.
196005c665bSBarry Smith 
197f86b9fbaSHong Zhang    Logically Collective on MatFDColoring
198f86b9fbaSHong Zhang 
199f86b9fbaSHong Zhang    Input Parameters:
200f86b9fbaSHong Zhang +  coloring - the coloring context
201f86b9fbaSHong Zhang .  brows - number of rows in the block
202f86b9fbaSHong Zhang -  bcols - number of columns in the block
203f86b9fbaSHong Zhang 
204f86b9fbaSHong Zhang    Level: intermediate
205f86b9fbaSHong Zhang 
206f86b9fbaSHong Zhang .keywords: Mat, coloring
207f86b9fbaSHong Zhang 
208f86b9fbaSHong Zhang .seealso: MatFDColoringCreate(), MatFDColoringSetFromOptions()
209f86b9fbaSHong Zhang 
210f86b9fbaSHong Zhang @*/
211f86b9fbaSHong Zhang PetscErrorCode MatFDColoringSetBlockSize(MatFDColoring matfd,PetscInt brows,PetscInt bcols)
212f86b9fbaSHong Zhang {
213f86b9fbaSHong Zhang   PetscFunctionBegin;
214f86b9fbaSHong Zhang   PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1);
215f86b9fbaSHong Zhang   PetscValidLogicalCollectiveInt(matfd,brows,2);
216f86b9fbaSHong Zhang   PetscValidLogicalCollectiveInt(matfd,bcols,3);
217f86b9fbaSHong Zhang   if (brows != PETSC_DEFAULT) matfd->brows = brows;
218f86b9fbaSHong Zhang   if (bcols != PETSC_DEFAULT) matfd->bcols = bcols;
219f86b9fbaSHong Zhang   PetscFunctionReturn(0);
220f86b9fbaSHong Zhang }
221f86b9fbaSHong Zhang 
222f86b9fbaSHong Zhang #undef __FUNCT__
223f86b9fbaSHong Zhang #define __FUNCT__ "MatFDColoringSetUp"
224f86b9fbaSHong Zhang /*@
225f86b9fbaSHong Zhang    MatFDColoringSetUp - Sets up the internal data structures of matrix coloring context for the later use.
226f86b9fbaSHong Zhang 
227f86b9fbaSHong Zhang    Collective on Mat
228f86b9fbaSHong Zhang 
229f86b9fbaSHong Zhang    Input Parameters:
230f86b9fbaSHong Zhang +  mat - the matrix containing the nonzero structure of the Jacobian
231f86b9fbaSHong Zhang .  iscoloring - the coloring of the matrix; usually obtained with MatGetColoring() or DMCreateColoring()
232f86b9fbaSHong Zhang -  color - the matrix coloring context
233f86b9fbaSHong Zhang 
234f86b9fbaSHong Zhang    Level: beginner
235f86b9fbaSHong Zhang 
236f86b9fbaSHong Zhang .keywords: MatFDColoring, setup
237f86b9fbaSHong Zhang 
238f86b9fbaSHong Zhang .seealso: MatFDColoringCreate(), MatFDColoringDestroy()
239f86b9fbaSHong Zhang @*/
240f86b9fbaSHong Zhang PetscErrorCode MatFDColoringSetUp(Mat mat,ISColoring iscoloring,MatFDColoring color)
241f86b9fbaSHong Zhang {
242f86b9fbaSHong Zhang   PetscErrorCode ierr;
243f86b9fbaSHong Zhang 
244f86b9fbaSHong Zhang   PetscFunctionBegin;
245f86b9fbaSHong Zhang   if (mat->ops->fdcoloringsetup) {
246f86b9fbaSHong Zhang     ierr = (*mat->ops->fdcoloringsetup)(mat,iscoloring,color);CHKERRQ(ierr);
247f86b9fbaSHong Zhang   } else SETERRQ1(PetscObjectComm((PetscObject)mat),PETSC_ERR_SUP,"Code not yet written for matrix type %s",((PetscObject)mat)->type_name);
248f86b9fbaSHong Zhang   PetscFunctionReturn(0);
249f86b9fbaSHong Zhang }
250ff0cfa39SBarry Smith 
2514a2ae208SSatish Balay #undef __FUNCT__
2524a9d489dSBarry Smith #define __FUNCT__ "MatFDColoringGetFunction"
2534a9d489dSBarry Smith /*@C
2544a9d489dSBarry Smith    MatFDColoringGetFunction - Gets the function to use for computing the Jacobian.
2554a9d489dSBarry Smith 
2563f9fe445SBarry Smith    Not Collective
2574a9d489dSBarry Smith 
2584a9d489dSBarry Smith    Input Parameters:
2594a9d489dSBarry Smith .  coloring - the coloring context
2604a9d489dSBarry Smith 
2614a9d489dSBarry Smith    Output Parameters:
2624a9d489dSBarry Smith +  f - the function
2634a9d489dSBarry Smith -  fctx - the optional user-defined function context
2644a9d489dSBarry Smith 
2654a9d489dSBarry Smith    Level: intermediate
2664a9d489dSBarry Smith 
2674a9d489dSBarry Smith .keywords: Mat, Jacobian, finite differences, set, function
26895b89fc3SBarry Smith 
26995b89fc3SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringSetFunction(), MatFDColoringSetFromOptions()
27095b89fc3SBarry Smith 
2714a9d489dSBarry Smith @*/
2727087cfbeSBarry Smith PetscErrorCode  MatFDColoringGetFunction(MatFDColoring matfd,PetscErrorCode (**f)(void),void **fctx)
2734a9d489dSBarry Smith {
2744a9d489dSBarry Smith   PetscFunctionBegin;
2750700a824SBarry Smith   PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1);
2764a9d489dSBarry Smith   if (f) *f = matfd->f;
2774a9d489dSBarry Smith   if (fctx) *fctx = matfd->fctx;
2784a9d489dSBarry Smith   PetscFunctionReturn(0);
2794a9d489dSBarry Smith }
2804a9d489dSBarry Smith 
2814a9d489dSBarry Smith #undef __FUNCT__
2824a2ae208SSatish Balay #define __FUNCT__ "MatFDColoringSetFunction"
283d64ed03dSBarry Smith /*@C
284005c665bSBarry Smith    MatFDColoringSetFunction - Sets the function to use for computing the Jacobian.
285005c665bSBarry Smith 
2863f9fe445SBarry Smith    Logically Collective on MatFDColoring
287fee21e36SBarry Smith 
288ef5ee4d1SLois Curfman McInnes    Input Parameters:
289ef5ee4d1SLois Curfman McInnes +  coloring - the coloring context
290ef5ee4d1SLois Curfman McInnes .  f - the function
291ef5ee4d1SLois Curfman McInnes -  fctx - the optional user-defined function context
292ef5ee4d1SLois Curfman McInnes 
2937850c7c0SBarry Smith    Calling sequence of (*f) function:
2947850c7c0SBarry Smith     For SNES:    PetscErrorCode (*f)(SNES,Vec,Vec,void*)
295ab637aeaSJed Brown     If not using SNES: PetscErrorCode (*f)(void *dummy,Vec,Vec,void*) and dummy is ignored
29615091d37SBarry Smith 
2977850c7c0SBarry Smith    Level: advanced
2987850c7c0SBarry Smith 
299ab637aeaSJed Brown    Notes: This function is usually used automatically by SNES (when one uses SNESSetJacobian() with the argument
3008d359177SBarry Smith      SNESComputeJacobianDefaultColor()) and only needs to be used by someone computing a matrix via coloring directly by
301ab637aeaSJed Brown      calling MatFDColoringApply()
3027850c7c0SBarry Smith 
3037850c7c0SBarry Smith    Fortran Notes:
3047850c7c0SBarry Smith     In Fortran you must call MatFDColoringSetFunction() for a coloring object to
305ab637aeaSJed Brown   be used without SNES or within the SNES solvers.
306f881d145SBarry Smith 
307b4fc646aSLois Curfman McInnes .keywords: Mat, Jacobian, finite differences, set, function
30895b89fc3SBarry Smith 
30995b89fc3SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringGetFunction(), MatFDColoringSetFromOptions()
31095b89fc3SBarry Smith 
311005c665bSBarry Smith @*/
3127087cfbeSBarry Smith PetscErrorCode  MatFDColoringSetFunction(MatFDColoring matfd,PetscErrorCode (*f)(void),void *fctx)
313005c665bSBarry Smith {
3143a40ed3dSBarry Smith   PetscFunctionBegin;
3150700a824SBarry Smith   PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1);
316005c665bSBarry Smith   matfd->f    = f;
317005c665bSBarry Smith   matfd->fctx = fctx;
3183a40ed3dSBarry Smith   PetscFunctionReturn(0);
319005c665bSBarry Smith }
320005c665bSBarry Smith 
3214a2ae208SSatish Balay #undef __FUNCT__
3224a2ae208SSatish Balay #define __FUNCT__ "MatFDColoringSetFromOptions"
323639f9d9dSBarry Smith /*@
324b4fc646aSLois Curfman McInnes    MatFDColoringSetFromOptions - Sets coloring finite difference parameters from
325639f9d9dSBarry Smith    the options database.
326639f9d9dSBarry Smith 
327fee21e36SBarry Smith    Collective on MatFDColoring
328fee21e36SBarry Smith 
32965f2ba5bSLois Curfman McInnes    The Jacobian, F'(u), is estimated with the differencing approximation
330ef5ee4d1SLois Curfman McInnes .vb
33165f2ba5bSLois Curfman McInnes        F'(u)_{:,i} = [F(u+h*dx_{i}) - F(u)]/h where
332f23b5b22SLois Curfman McInnes        h = error_rel*u[i]                 if  abs(u[i]) > umin
333f23b5b22SLois Curfman McInnes          = +/- error_rel*umin             otherwise, with +/- determined by the sign of u[i]
334ef5ee4d1SLois Curfman McInnes        dx_{i} = (0, ... 1, .... 0)
335ef5ee4d1SLois Curfman McInnes .ve
336ef5ee4d1SLois Curfman McInnes 
337ef5ee4d1SLois Curfman McInnes    Input Parameter:
338ef5ee4d1SLois Curfman McInnes .  coloring - the coloring context
339ef5ee4d1SLois Curfman McInnes 
340b4fc646aSLois Curfman McInnes    Options Database Keys:
341d15ffeeaSSatish Balay +  -mat_fd_coloring_err <err> - Sets <err> (square root
342ef5ee4d1SLois Curfman McInnes            of relative error in the function)
343f23b5b22SLois Curfman McInnes .  -mat_fd_coloring_umin <umin> - Sets umin, the minimum allowable u-value magnitude
3443ec795f1SBarry Smith .  -mat_fd_type - "wp" or "ds" (see MATMFFD_WP or MATMFFD_DS)
345ef5ee4d1SLois Curfman McInnes .  -mat_fd_coloring_view - Activates basic viewing
346e350db43SBarry Smith .  -mat_fd_coloring_view ::ascii_info - Activates viewing info
347e350db43SBarry Smith -  -mat_fd_coloring_view draw - Activates drawing
348639f9d9dSBarry Smith 
34915091d37SBarry Smith     Level: intermediate
35015091d37SBarry Smith 
351b4fc646aSLois Curfman McInnes .keywords: Mat, finite differences, parameters
352d1c39f55SBarry Smith 
353d1c39f55SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringView(), MatFDColoringSetParameters()
354d1c39f55SBarry Smith 
355639f9d9dSBarry Smith @*/
3567087cfbeSBarry Smith PetscErrorCode  MatFDColoringSetFromOptions(MatFDColoring matfd)
357639f9d9dSBarry Smith {
358dfbe8321SBarry Smith   PetscErrorCode ierr;
359ace3abfcSBarry Smith   PetscBool      flg;
360efb30889SBarry Smith   char           value[3];
3613a40ed3dSBarry Smith 
3623a40ed3dSBarry Smith   PetscFunctionBegin;
3630700a824SBarry Smith   PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1);
364639f9d9dSBarry Smith 
3653194b578SJed Brown   ierr = PetscObjectOptionsBegin((PetscObject)matfd);CHKERRQ(ierr);
36687828ca2SBarry Smith   ierr = PetscOptionsReal("-mat_fd_coloring_err","Square root of relative error in function","MatFDColoringSetParameters",matfd->error_rel,&matfd->error_rel,0);CHKERRQ(ierr);
36787828ca2SBarry Smith   ierr = PetscOptionsReal("-mat_fd_coloring_umin","Minimum allowable u magnitude","MatFDColoringSetParameters",matfd->umin,&matfd->umin,0);CHKERRQ(ierr);
3681bc75a8dSBarry Smith   ierr = PetscOptionsString("-mat_fd_type","Algorithm to compute h, wp or ds","MatFDColoringCreate",matfd->htype,value,3,&flg);CHKERRQ(ierr);
369efb30889SBarry Smith   if (flg) {
370efb30889SBarry Smith     if (value[0] == 'w' && value[1] == 'p') matfd->htype = "wp";
371efb30889SBarry Smith     else if (value[0] == 'd' && value[1] == 's') matfd->htype = "ds";
372e32f2f54SBarry Smith     else SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"Unknown finite differencing type %s",value);
373efb30889SBarry Smith   }
374f86b9fbaSHong Zhang   ierr = PetscOptionsInt("-mat_fd_coloring_brows","Number of block rows","MatFDColoringSetBlockSize",matfd->brows,&matfd->brows,NULL);CHKERRQ(ierr);
375*93dfae19SHong Zhang   ierr = PetscOptionsInt("-mat_fd_coloring_bcols","Number of block columns","MatFDColoringSetBlockSize",matfd->bcols,&matfd->bcols,&flg);CHKERRQ(ierr);
376*93dfae19SHong Zhang   if (flg && matfd->bcols > matfd->ncolors) {
377*93dfae19SHong Zhang     /* input bcols cannot be > matfd->ncolors, thus set it as ncolors */
378*93dfae19SHong Zhang     matfd->bcols = matfd->ncolors;
379*93dfae19SHong Zhang   }
380f86b9fbaSHong Zhang 
3815d973c19SBarry Smith   /* process any options handlers added with PetscObjectAddOptionsHandler() */
3825d973c19SBarry Smith   ierr = PetscObjectProcessOptionsHandlers((PetscObject)matfd);CHKERRQ(ierr);
383b0a32e0cSBarry Smith   PetscOptionsEnd();CHKERRQ(ierr);
3843a40ed3dSBarry Smith   PetscFunctionReturn(0);
385005c665bSBarry Smith }
386005c665bSBarry Smith 
3874a2ae208SSatish Balay #undef __FUNCT__
388e350db43SBarry Smith #define __FUNCT__ "MatFDColoringViewFromOptions"
389146574abSBarry Smith PetscErrorCode MatFDColoringViewFromOptions(MatFDColoring fd,const char prefix[],const char optionname[])
390005c665bSBarry Smith {
391dfbe8321SBarry Smith   PetscErrorCode    ierr;
392e350db43SBarry Smith   PetscBool         flg;
3933050cee2SBarry Smith   PetscViewer       viewer;
394cffb1e40SBarry Smith   PetscViewerFormat format;
395005c665bSBarry Smith 
3963a40ed3dSBarry Smith   PetscFunctionBegin;
397146574abSBarry Smith   if (prefix) {
398146574abSBarry Smith     ierr = PetscOptionsGetViewer(PetscObjectComm((PetscObject)fd),prefix,optionname,&viewer,&format,&flg);CHKERRQ(ierr);
399146574abSBarry Smith   } else {
400ce94432eSBarry Smith     ierr = PetscOptionsGetViewer(PetscObjectComm((PetscObject)fd),((PetscObject)fd)->prefix,optionname,&viewer,&format,&flg);CHKERRQ(ierr);
401146574abSBarry Smith   }
402005c665bSBarry Smith   if (flg) {
403cffb1e40SBarry Smith     ierr = PetscViewerPushFormat(viewer,format);CHKERRQ(ierr);
4043050cee2SBarry Smith     ierr = MatFDColoringView(fd,viewer);CHKERRQ(ierr);
405cffb1e40SBarry Smith     ierr = PetscViewerPopFormat(viewer);CHKERRQ(ierr);
406cffb1e40SBarry Smith     ierr = PetscViewerDestroy(&viewer);CHKERRQ(ierr);
407005c665bSBarry Smith   }
4083a40ed3dSBarry Smith   PetscFunctionReturn(0);
409bbf0e169SBarry Smith }
410bbf0e169SBarry Smith 
4114a2ae208SSatish Balay #undef __FUNCT__
4124a2ae208SSatish Balay #define __FUNCT__ "MatFDColoringCreate"
41305869f15SSatish Balay /*@
414639f9d9dSBarry Smith    MatFDColoringCreate - Creates a matrix coloring context for finite difference
415639f9d9dSBarry Smith    computation of Jacobians.
416bbf0e169SBarry Smith 
417ef5ee4d1SLois Curfman McInnes    Collective on Mat
418ef5ee4d1SLois Curfman McInnes 
419639f9d9dSBarry Smith    Input Parameters:
420ef5ee4d1SLois Curfman McInnes +  mat - the matrix containing the nonzero structure of the Jacobian
421e727c939SJed Brown -  iscoloring - the coloring of the matrix; usually obtained with MatGetColoring() or DMCreateColoring()
422bbf0e169SBarry Smith 
423bbf0e169SBarry Smith     Output Parameter:
424639f9d9dSBarry Smith .   color - the new coloring context
425bbf0e169SBarry Smith 
42615091d37SBarry Smith     Level: intermediate
42715091d37SBarry Smith 
4288d359177SBarry Smith .seealso: MatFDColoringDestroy(),SNESComputeJacobianDefaultColor(), ISColoringCreate(),
429d1c39f55SBarry Smith           MatFDColoringSetFunction(), MatFDColoringSetFromOptions(), MatFDColoringApply(),
430e727c939SJed Brown           MatFDColoringView(), MatFDColoringSetParameters(), MatGetColoring(), DMCreateColoring()
431bbf0e169SBarry Smith @*/
4327087cfbeSBarry Smith PetscErrorCode  MatFDColoringCreate(Mat mat,ISColoring iscoloring,MatFDColoring *color)
433bbf0e169SBarry Smith {
434639f9d9dSBarry Smith   MatFDColoring  c;
435639f9d9dSBarry Smith   MPI_Comm       comm;
436dfbe8321SBarry Smith   PetscErrorCode ierr;
43738baddfdSBarry Smith   PetscInt       M,N;
438639f9d9dSBarry Smith 
4393a40ed3dSBarry Smith   PetscFunctionBegin;
440f141eedfSHong Zhang   if (!mat->assembled) SETERRQ(PetscObjectComm((PetscObject)mat),PETSC_ERR_ARG_WRONGSTATE,"Matrix must be assembled by calls to MatAssemblyBegin/End();");
441d5ba7fb7SMatthew Knepley   ierr = PetscLogEventBegin(MAT_FDColoringCreate,mat,0,0,0);CHKERRQ(ierr);
442639f9d9dSBarry Smith   ierr = MatGetSize(mat,&M,&N);CHKERRQ(ierr);
443ce94432eSBarry Smith   if (M != N) SETERRQ(PetscObjectComm((PetscObject)mat),PETSC_ERR_SUP,"Only for square matrices");
444f881d145SBarry Smith   ierr = PetscObjectGetComm((PetscObject)mat,&comm);CHKERRQ(ierr);
44567c2884eSBarry Smith   ierr = PetscHeaderCreate(c,_p_MatFDColoring,int,MAT_FDCOLORING_CLASSID,"MatFDColoring","Jacobian computation via finite differences with coloring","Mat",comm,MatFDColoringDestroy,MatFDColoringView);CHKERRQ(ierr);
446639f9d9dSBarry Smith 
447b8f8c88eSHong Zhang   c->ctype = iscoloring->ctype;
448b8f8c88eSHong Zhang 
449*93dfae19SHong Zhang   if (mat->ops->fdcoloringcreate) {
450*93dfae19SHong Zhang     ierr = (*mat->ops->fdcoloringcreate)(mat,iscoloring,c);CHKERRQ(ierr);
451*93dfae19SHong Zhang   } else SETERRQ1(PetscObjectComm((PetscObject)mat),PETSC_ERR_SUP,"Code not yet written for matrix type %s",((PetscObject)mat)->type_name);
452*93dfae19SHong Zhang 
453f77a5242SKarl Rupp   ierr = MatGetVecs(mat,NULL,&c->w1);CHKERRQ(ierr);
4543bb1ff40SBarry Smith   ierr = PetscLogObjectParent((PetscObject)c,(PetscObject)c->w1);CHKERRQ(ierr);
455b8f8c88eSHong Zhang   ierr = VecDuplicate(c->w1,&c->w2);CHKERRQ(ierr);
4563bb1ff40SBarry Smith   ierr = PetscLogObjectParent((PetscObject)c,(PetscObject)c->w2);CHKERRQ(ierr);
457b8f8c88eSHong Zhang 
45877d8c4bbSBarry Smith   c->error_rel    = PETSC_SQRT_MACHINE_EPSILON;
45977d8c4bbSBarry Smith   c->umin         = 100.0*PETSC_SQRT_MACHINE_EPSILON;
46049b058dcSBarry Smith   c->currentcolor = -1;
461efb30889SBarry Smith   c->htype        = "wp";
4624e269d77SPeter Brune   c->fset         = PETSC_FALSE;
463639f9d9dSBarry Smith 
464639f9d9dSBarry Smith   *color = c;
4654e269d77SPeter Brune   ierr   = PetscObjectCompose((PetscObject)mat,"SNESMatFDColoring",(PetscObject)c);CHKERRQ(ierr);
466d5ba7fb7SMatthew Knepley   ierr   = PetscLogEventEnd(MAT_FDColoringCreate,mat,0,0,0);CHKERRQ(ierr);
4673a40ed3dSBarry Smith   PetscFunctionReturn(0);
468bbf0e169SBarry Smith }
469bbf0e169SBarry Smith 
4704a2ae208SSatish Balay #undef __FUNCT__
4714a2ae208SSatish Balay #define __FUNCT__ "MatFDColoringDestroy"
47205869f15SSatish Balay /*@
473639f9d9dSBarry Smith     MatFDColoringDestroy - Destroys a matrix coloring context that was created
474639f9d9dSBarry Smith     via MatFDColoringCreate().
475bbf0e169SBarry Smith 
476ef5ee4d1SLois Curfman McInnes     Collective on MatFDColoring
477ef5ee4d1SLois Curfman McInnes 
478b4fc646aSLois Curfman McInnes     Input Parameter:
479639f9d9dSBarry Smith .   c - coloring context
480bbf0e169SBarry Smith 
48115091d37SBarry Smith     Level: intermediate
48215091d37SBarry Smith 
483639f9d9dSBarry Smith .seealso: MatFDColoringCreate()
484bbf0e169SBarry Smith @*/
4856bf464f9SBarry Smith PetscErrorCode  MatFDColoringDestroy(MatFDColoring *c)
486bbf0e169SBarry Smith {
4876849ba73SBarry Smith   PetscErrorCode ierr;
48838baddfdSBarry Smith   PetscInt       i;
489bbf0e169SBarry Smith 
4903a40ed3dSBarry Smith   PetscFunctionBegin;
4916bf464f9SBarry Smith   if (!*c) PetscFunctionReturn(0);
4926bf464f9SBarry Smith   if (--((PetscObject)(*c))->refct > 0) {*c = 0; PetscFunctionReturn(0);}
493d4bb536fSBarry Smith 
4946bf464f9SBarry Smith   for (i=0; i<(*c)->ncolors; i++) {
4956bf464f9SBarry Smith     ierr = PetscFree((*c)->columns[i]);CHKERRQ(ierr);
496bbf0e169SBarry Smith   }
4976bf464f9SBarry Smith   ierr = PetscFree((*c)->ncolumns);CHKERRQ(ierr);
4986bf464f9SBarry Smith   ierr = PetscFree((*c)->columns);CHKERRQ(ierr);
4996bf464f9SBarry Smith   ierr = PetscFree((*c)->nrows);CHKERRQ(ierr);
500573f477fSHong Zhang   ierr = PetscFree((*c)->matentry);CHKERRQ(ierr);
501b7799381SHong Zhang   ierr = PetscFree((*c)->dy);CHKERRQ(ierr);
5029e917edbSHong Zhang   if ((*c)->vscale) {ierr = VecDestroy(&(*c)->vscale);CHKERRQ(ierr);}
5036bf464f9SBarry Smith   ierr = VecDestroy(&(*c)->w1);CHKERRQ(ierr);
5046bf464f9SBarry Smith   ierr = VecDestroy(&(*c)->w2);CHKERRQ(ierr);
5056bf464f9SBarry Smith   ierr = VecDestroy(&(*c)->w3);CHKERRQ(ierr);
506d38fa0fbSBarry Smith   ierr = PetscHeaderDestroy(c);CHKERRQ(ierr);
5073a40ed3dSBarry Smith   PetscFunctionReturn(0);
508bbf0e169SBarry Smith }
50943a90d84SBarry Smith 
5104a2ae208SSatish Balay #undef __FUNCT__
51149b058dcSBarry Smith #define __FUNCT__ "MatFDColoringGetPerturbedColumns"
51249b058dcSBarry Smith /*@C
51349b058dcSBarry Smith     MatFDColoringGetPerturbedColumns - Returns the indices of the columns that
51449b058dcSBarry Smith       that are currently being perturbed.
51549b058dcSBarry Smith 
51649b058dcSBarry Smith     Not Collective
51749b058dcSBarry Smith 
51849b058dcSBarry Smith     Input Parameters:
51949b058dcSBarry Smith .   coloring - coloring context created with MatFDColoringCreate()
52049b058dcSBarry Smith 
52149b058dcSBarry Smith     Output Parameters:
52249b058dcSBarry Smith +   n - the number of local columns being perturbed
52349b058dcSBarry Smith -   cols - the column indices, in global numbering
52449b058dcSBarry Smith 
52549b058dcSBarry Smith    Level: intermediate
52649b058dcSBarry Smith 
52749b058dcSBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringDestroy(), MatFDColoringView(), MatFDColoringApply()
52849b058dcSBarry Smith 
52949b058dcSBarry Smith .keywords: coloring, Jacobian, finite differences
53049b058dcSBarry Smith @*/
5317087cfbeSBarry Smith PetscErrorCode  MatFDColoringGetPerturbedColumns(MatFDColoring coloring,PetscInt *n,PetscInt *cols[])
53249b058dcSBarry Smith {
53349b058dcSBarry Smith   PetscFunctionBegin;
53449b058dcSBarry Smith   if (coloring->currentcolor >= 0) {
53549b058dcSBarry Smith     *n    = coloring->ncolumns[coloring->currentcolor];
53649b058dcSBarry Smith     *cols = coloring->columns[coloring->currentcolor];
53749b058dcSBarry Smith   } else {
53849b058dcSBarry Smith     *n = 0;
53949b058dcSBarry Smith   }
54049b058dcSBarry Smith   PetscFunctionReturn(0);
54149b058dcSBarry Smith }
54249b058dcSBarry Smith 
54349b058dcSBarry Smith #undef __FUNCT__
5444a2ae208SSatish Balay #define __FUNCT__ "MatFDColoringApply"
54543a90d84SBarry Smith /*@
546e0907662SLois Curfman McInnes     MatFDColoringApply - Given a matrix for which a MatFDColoring context
547e0907662SLois Curfman McInnes     has been created, computes the Jacobian for a function via finite differences.
54843a90d84SBarry Smith 
549fee21e36SBarry Smith     Collective on MatFDColoring
550fee21e36SBarry Smith 
551ef5ee4d1SLois Curfman McInnes     Input Parameters:
552ef5ee4d1SLois Curfman McInnes +   mat - location to store Jacobian
553ef5ee4d1SLois Curfman McInnes .   coloring - coloring context created with MatFDColoringCreate()
554ef5ee4d1SLois Curfman McInnes .   x1 - location at which Jacobian is to be computed
5557850c7c0SBarry Smith -   sctx - context required by function, if this is being used with the SNES solver then it is SNES object, otherwise it is null
556ef5ee4d1SLois Curfman McInnes 
5578bba8e72SBarry Smith     Options Database Keys:
558ebd3b9afSBarry Smith +    -mat_fd_type - "wp" or "ds"  (see MATMFFD_WP or MATMFFD_DS)
559b9722508SLois Curfman McInnes .    -mat_fd_coloring_view - Activates basic viewing or coloring
560e350db43SBarry Smith .    -mat_fd_coloring_view draw - Activates drawing of coloring
561e350db43SBarry Smith -    -mat_fd_coloring_view ::ascii_info - Activates viewing of coloring info
5628bba8e72SBarry Smith 
56315091d37SBarry Smith     Level: intermediate
56498d79826SSatish Balay 
5657850c7c0SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringDestroy(), MatFDColoringView(), MatFDColoringSetFunction()
56643a90d84SBarry Smith 
56743a90d84SBarry Smith .keywords: coloring, Jacobian, finite differences
56843a90d84SBarry Smith @*/
5697087cfbeSBarry Smith PetscErrorCode  MatFDColoringApply(Mat J,MatFDColoring coloring,Vec x1,MatStructure *flag,void *sctx)
57043a90d84SBarry Smith {
5713acb8795SBarry Smith   PetscErrorCode ierr;
572684f2004SHong Zhang   PetscBool      flg = PETSC_FALSE;
5733acb8795SBarry Smith 
5743acb8795SBarry Smith   PetscFunctionBegin;
5750700a824SBarry Smith   PetscValidHeaderSpecific(J,MAT_CLASSID,1);
5760700a824SBarry Smith   PetscValidHeaderSpecific(coloring,MAT_FDCOLORING_CLASSID,2);
5770700a824SBarry Smith   PetscValidHeaderSpecific(x1,VEC_CLASSID,3);
578ce94432eSBarry Smith   if (!coloring->f) SETERRQ(PetscObjectComm((PetscObject)J),PETSC_ERR_ARG_WRONGSTATE,"Must call MatFDColoringSetFunction()");
579e32f2f54SBarry Smith   if (!J->ops->fdcoloringapply) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_SUP,"Not supported for this matrix type %s",((PetscObject)J)->type_name);
580684f2004SHong Zhang 
581684f2004SHong Zhang   ierr = MatSetUnfactored(J);CHKERRQ(ierr);
582684f2004SHong Zhang   ierr = PetscOptionsGetBool(NULL,"-mat_fd_coloring_dont_rezero",&flg,NULL);CHKERRQ(ierr);
583684f2004SHong Zhang   if (flg) {
584684f2004SHong Zhang     ierr = PetscInfo(coloring,"Not calling MatZeroEntries()\n");CHKERRQ(ierr);
585684f2004SHong Zhang   } else {
586684f2004SHong Zhang     PetscBool assembled;
587684f2004SHong Zhang     ierr = MatAssembled(J,&assembled);CHKERRQ(ierr);
588684f2004SHong Zhang     if (assembled) {
589684f2004SHong Zhang       ierr = MatZeroEntries(J);CHKERRQ(ierr);
590684f2004SHong Zhang     }
591684f2004SHong Zhang   }
592684f2004SHong Zhang 
5935922145eSHong Zhang   ierr = PetscLogEventBegin(MAT_FDColoringApply,coloring,J,x1,0);CHKERRQ(ierr);
5943acb8795SBarry Smith   ierr = (*J->ops->fdcoloringapply)(J,coloring,x1,flag,sctx);CHKERRQ(ierr);
5955922145eSHong Zhang   ierr = PetscLogEventEnd(MAT_FDColoringApply,coloring,J,x1,0);CHKERRQ(ierr);
5963acb8795SBarry Smith   PetscFunctionReturn(0);
5973acb8795SBarry Smith }
598