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 7af0996ceSBarry Smith #include <petsc/private/matimpl.h> /*I "petscmat.h" I*/ 8af0996ceSBarry Smith #include <petsc/private/isimpl.h> 9bbf0e169SBarry Smith 107087cfbeSBarry Smith PetscErrorCode MatFDColoringSetF(MatFDColoring fd,Vec F) 113a7fca6bSBarry Smith { 124e269d77SPeter Brune PetscErrorCode ierr; 136e111a19SKarl Rupp 143a7fca6bSBarry Smith PetscFunctionBegin; 154e269d77SPeter Brune if (F) { 164e269d77SPeter Brune ierr = VecCopy(F,fd->w1);CHKERRQ(ierr); 174e269d77SPeter Brune fd->fset = PETSC_TRUE; 184e269d77SPeter Brune } else { 194e269d77SPeter Brune fd->fset = PETSC_FALSE; 204e269d77SPeter Brune } 213a7fca6bSBarry Smith PetscFunctionReturn(0); 223a7fca6bSBarry Smith } 233a7fca6bSBarry Smith 249804daf3SBarry Smith #include <petscdraw.h> 256849ba73SBarry Smith static PetscErrorCode MatFDColoringView_Draw_Zoom(PetscDraw draw,void *Aa) 269194eea9SBarry Smith { 279194eea9SBarry Smith MatFDColoring fd = (MatFDColoring)Aa; 28dfbe8321SBarry Smith PetscErrorCode ierr; 29b312708bSHong Zhang PetscInt i,j,nz,row; 309194eea9SBarry Smith PetscReal x,y; 31b312708bSHong Zhang MatEntry *Jentry=fd->matentry; 329194eea9SBarry Smith 339194eea9SBarry Smith PetscFunctionBegin; 349194eea9SBarry Smith /* loop over colors */ 35b312708bSHong Zhang nz = 0; 369194eea9SBarry Smith for (i=0; i<fd->ncolors; i++) { 379194eea9SBarry Smith for (j=0; j<fd->nrows[i]; j++) { 38b312708bSHong Zhang row = Jentry[nz].row; 39b312708bSHong Zhang y = fd->M - row - fd->rstart; 40b312708bSHong Zhang x = (PetscReal)Jentry[nz++].col; 41b0a32e0cSBarry Smith ierr = PetscDrawRectangle(draw,x,y,x+1,y+1,i+1,i+1,i+1,i+1);CHKERRQ(ierr); 429194eea9SBarry Smith } 439194eea9SBarry Smith } 449194eea9SBarry Smith PetscFunctionReturn(0); 459194eea9SBarry Smith } 469194eea9SBarry Smith 476849ba73SBarry Smith static PetscErrorCode MatFDColoringView_Draw(MatFDColoring fd,PetscViewer viewer) 48005c665bSBarry Smith { 49dfbe8321SBarry Smith PetscErrorCode ierr; 50ace3abfcSBarry Smith PetscBool isnull; 51b0a32e0cSBarry Smith PetscDraw draw; 5254d96fa3SBarry Smith PetscReal xr,yr,xl,yl,h,w; 53005c665bSBarry Smith 543a40ed3dSBarry Smith PetscFunctionBegin; 55b0a32e0cSBarry Smith ierr = PetscViewerDrawGetDraw(viewer,0,&draw);CHKERRQ(ierr); 56832b7cebSLisandro Dalcin ierr = PetscDrawIsNull(draw,&isnull);CHKERRQ(ierr); 57832b7cebSLisandro Dalcin if (isnull) PetscFunctionReturn(0); 58005c665bSBarry Smith 59005c665bSBarry Smith xr = fd->N; yr = fd->M; h = yr/10.0; w = xr/10.0; 60005c665bSBarry Smith xr += w; yr += h; xl = -w; yl = -h; 61b0a32e0cSBarry Smith ierr = PetscDrawSetCoordinates(draw,xl,yl,xr,yr);CHKERRQ(ierr); 62832b7cebSLisandro Dalcin ierr = PetscObjectCompose((PetscObject)fd,"Zoomviewer",(PetscObject)viewer);CHKERRQ(ierr); 63b0a32e0cSBarry Smith ierr = PetscDrawZoom(draw,MatFDColoringView_Draw_Zoom,fd);CHKERRQ(ierr); 64f77a5242SKarl Rupp ierr = PetscObjectCompose((PetscObject)fd,"Zoomviewer",NULL);CHKERRQ(ierr); 65832b7cebSLisandro Dalcin ierr = PetscDrawSave(draw);CHKERRQ(ierr); 663a40ed3dSBarry Smith PetscFunctionReturn(0); 67005c665bSBarry Smith } 68005c665bSBarry Smith 69bbf0e169SBarry Smith /*@C 70639f9d9dSBarry Smith MatFDColoringView - Views a finite difference coloring context. 71bbf0e169SBarry Smith 724c49b128SBarry Smith Collective on MatFDColoring 73fee21e36SBarry Smith 74ef5ee4d1SLois Curfman McInnes Input Parameters: 75ef5ee4d1SLois Curfman McInnes + c - the coloring context 76ef5ee4d1SLois Curfman McInnes - viewer - visualization context 77ef5ee4d1SLois Curfman McInnes 7815091d37SBarry Smith Level: intermediate 7915091d37SBarry Smith 80b4fc646aSLois Curfman McInnes Notes: 81b4fc646aSLois Curfman McInnes The available visualization contexts include 82b0a32e0cSBarry Smith + PETSC_VIEWER_STDOUT_SELF - standard output (default) 83b0a32e0cSBarry Smith . PETSC_VIEWER_STDOUT_WORLD - synchronized standard 84ef5ee4d1SLois Curfman McInnes output where only the first processor opens 85ef5ee4d1SLois Curfman McInnes the file. All other processors send their 86ef5ee4d1SLois Curfman McInnes data to the first processor to print. 87b0a32e0cSBarry Smith - PETSC_VIEWER_DRAW_WORLD - graphical display of nonzero structure 88bbf0e169SBarry Smith 899194eea9SBarry Smith Notes: 909194eea9SBarry Smith Since PETSc uses only a small number of basic colors (currently 33), if the coloring 91b0a32e0cSBarry Smith involves more than 33 then some seemingly identical colors are displayed making it look 929194eea9SBarry Smith like an illegal coloring. This is just a graphical artifact. 939194eea9SBarry Smith 94639f9d9dSBarry Smith .seealso: MatFDColoringCreate() 95005c665bSBarry Smith 96b4fc646aSLois Curfman McInnes .keywords: Mat, finite differences, coloring, view 97bbf0e169SBarry Smith @*/ 987087cfbeSBarry Smith PetscErrorCode MatFDColoringView(MatFDColoring c,PetscViewer viewer) 99bbf0e169SBarry Smith { 1006849ba73SBarry Smith PetscErrorCode ierr; 10138baddfdSBarry Smith PetscInt i,j; 102ace3abfcSBarry Smith PetscBool isdraw,iascii; 103f3ef73ceSBarry Smith PetscViewerFormat format; 104bbf0e169SBarry Smith 1053a40ed3dSBarry Smith PetscFunctionBegin; 1060700a824SBarry Smith PetscValidHeaderSpecific(c,MAT_FDCOLORING_CLASSID,1); 1073050cee2SBarry Smith if (!viewer) { 108ce94432eSBarry Smith ierr = PetscViewerASCIIGetStdout(PetscObjectComm((PetscObject)c),&viewer);CHKERRQ(ierr); 1093050cee2SBarry Smith } 1100700a824SBarry Smith PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2); 111c9780b6fSBarry Smith PetscCheckSameComm(c,1,viewer,2); 112bbf0e169SBarry Smith 113251f4c67SDmitry Karpeev ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERDRAW,&isdraw);CHKERRQ(ierr); 114251f4c67SDmitry Karpeev ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr); 1150f5bd95cSBarry Smith if (isdraw) { 116b4fc646aSLois Curfman McInnes ierr = MatFDColoringView_Draw(c,viewer);CHKERRQ(ierr); 11732077d6dSBarry Smith } else if (iascii) { 118dae58748SBarry Smith ierr = PetscObjectPrintClassNamePrefixType((PetscObject)c,viewer);CHKERRQ(ierr); 11957622a8eSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," Error tolerance=%g\n",(double)c->error_rel);CHKERRQ(ierr); 12057622a8eSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," Umin=%g\n",(double)c->umin);CHKERRQ(ierr); 12177431f27SBarry Smith ierr = PetscViewerASCIIPrintf(viewer," Number of colors=%D\n",c->ncolors);CHKERRQ(ierr); 122ae09f205SBarry Smith 123b0a32e0cSBarry Smith ierr = PetscViewerGetFormat(viewer,&format);CHKERRQ(ierr); 124fb9695e5SSatish Balay if (format != PETSC_VIEWER_ASCII_INFO) { 125b312708bSHong Zhang PetscInt row,col,nz; 126b312708bSHong Zhang nz = 0; 127b4fc646aSLois Curfman McInnes for (i=0; i<c->ncolors; i++) { 12877431f27SBarry Smith ierr = PetscViewerASCIIPrintf(viewer," Information for color %D\n",i);CHKERRQ(ierr); 12977431f27SBarry Smith ierr = PetscViewerASCIIPrintf(viewer," Number of columns %D\n",c->ncolumns[i]);CHKERRQ(ierr); 130b4fc646aSLois Curfman McInnes for (j=0; j<c->ncolumns[i]; j++) { 13177431f27SBarry Smith ierr = PetscViewerASCIIPrintf(viewer," %D\n",c->columns[i][j]);CHKERRQ(ierr); 132639f9d9dSBarry Smith } 13377431f27SBarry Smith ierr = PetscViewerASCIIPrintf(viewer," Number of rows %D\n",c->nrows[i]);CHKERRQ(ierr); 1345bdb020cSBarry Smith if (c->matentry) { 135b4fc646aSLois Curfman McInnes for (j=0; j<c->nrows[i]; j++) { 136b312708bSHong Zhang row = c->matentry[nz].row; 137b312708bSHong Zhang col = c->matentry[nz++].col; 138b312708bSHong Zhang ierr = PetscViewerASCIIPrintf(viewer," %D %D \n",row,col);CHKERRQ(ierr); 139b4fc646aSLois Curfman McInnes } 140bbf0e169SBarry Smith } 141bbf0e169SBarry Smith } 1425bdb020cSBarry Smith } 143b0a32e0cSBarry Smith ierr = PetscViewerFlush(viewer);CHKERRQ(ierr); 144bbf0e169SBarry Smith } 1453a40ed3dSBarry Smith PetscFunctionReturn(0); 146639f9d9dSBarry Smith } 147639f9d9dSBarry Smith 148639f9d9dSBarry Smith /*@ 149b4fc646aSLois Curfman McInnes MatFDColoringSetParameters - Sets the parameters for the sparse approximation of 150b4fc646aSLois Curfman McInnes a Jacobian matrix using finite differences. 151639f9d9dSBarry Smith 1523f9fe445SBarry Smith Logically Collective on MatFDColoring 153ef5ee4d1SLois Curfman McInnes 154ef5ee4d1SLois Curfman McInnes The Jacobian is estimated with the differencing approximation 155ef5ee4d1SLois Curfman McInnes .vb 15665f2ba5bSLois Curfman McInnes F'(u)_{:,i} = [F(u+h*dx_{i}) - F(u)]/h where 157f23b5b22SLois Curfman McInnes h = error_rel*u[i] if abs(u[i]) > umin 158f23b5b22SLois Curfman McInnes = +/- error_rel*umin otherwise, with +/- determined by the sign of u[i] 159ef5ee4d1SLois Curfman McInnes dx_{i} = (0, ... 1, .... 0) 160ef5ee4d1SLois Curfman McInnes .ve 161639f9d9dSBarry Smith 162639f9d9dSBarry Smith Input Parameters: 163ef5ee4d1SLois Curfman McInnes + coloring - the coloring context 164639f9d9dSBarry Smith . error_rel - relative error 165f23b5b22SLois Curfman McInnes - umin - minimum allowable u-value magnitude 166fee21e36SBarry Smith 16715091d37SBarry Smith Level: advanced 16815091d37SBarry Smith 169b4fc646aSLois Curfman McInnes .keywords: Mat, finite differences, coloring, set, parameters 170b4fc646aSLois Curfman McInnes 17195b89fc3SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringSetFromOptions() 17295b89fc3SBarry Smith 173639f9d9dSBarry Smith @*/ 1747087cfbeSBarry Smith PetscErrorCode MatFDColoringSetParameters(MatFDColoring matfd,PetscReal error,PetscReal umin) 175639f9d9dSBarry Smith { 1763a40ed3dSBarry Smith PetscFunctionBegin; 1770700a824SBarry Smith PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1); 178c5eb9154SBarry Smith PetscValidLogicalCollectiveReal(matfd,error,2); 179c5eb9154SBarry Smith PetscValidLogicalCollectiveReal(matfd,umin,3); 180639f9d9dSBarry Smith if (error != PETSC_DEFAULT) matfd->error_rel = error; 181639f9d9dSBarry Smith if (umin != PETSC_DEFAULT) matfd->umin = umin; 1823a40ed3dSBarry Smith PetscFunctionReturn(0); 183639f9d9dSBarry Smith } 184639f9d9dSBarry Smith 185f86b9fbaSHong Zhang /*@ 186c8a9c622SHong Zhang MatFDColoringSetBlockSize - Sets block size for efficient inserting entries of Jacobian matrix. 187005c665bSBarry Smith 188f86b9fbaSHong Zhang Logically Collective on MatFDColoring 189f86b9fbaSHong Zhang 190f86b9fbaSHong Zhang Input Parameters: 191f86b9fbaSHong Zhang + coloring - the coloring context 192f86b9fbaSHong Zhang . brows - number of rows in the block 193f86b9fbaSHong Zhang - bcols - number of columns in the block 194f86b9fbaSHong Zhang 195f86b9fbaSHong Zhang Level: intermediate 196f86b9fbaSHong Zhang 197f86b9fbaSHong Zhang .keywords: Mat, coloring 198f86b9fbaSHong Zhang 199f86b9fbaSHong Zhang .seealso: MatFDColoringCreate(), MatFDColoringSetFromOptions() 200f86b9fbaSHong Zhang 201f86b9fbaSHong Zhang @*/ 202f86b9fbaSHong Zhang PetscErrorCode MatFDColoringSetBlockSize(MatFDColoring matfd,PetscInt brows,PetscInt bcols) 203f86b9fbaSHong Zhang { 204f86b9fbaSHong Zhang PetscFunctionBegin; 205f86b9fbaSHong Zhang PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1); 206f86b9fbaSHong Zhang PetscValidLogicalCollectiveInt(matfd,brows,2); 207f86b9fbaSHong Zhang PetscValidLogicalCollectiveInt(matfd,bcols,3); 208f86b9fbaSHong Zhang if (brows != PETSC_DEFAULT) matfd->brows = brows; 209f86b9fbaSHong Zhang if (bcols != PETSC_DEFAULT) matfd->bcols = bcols; 210f86b9fbaSHong Zhang PetscFunctionReturn(0); 211f86b9fbaSHong Zhang } 212f86b9fbaSHong Zhang 213f86b9fbaSHong Zhang /*@ 214f86b9fbaSHong Zhang MatFDColoringSetUp - Sets up the internal data structures of matrix coloring context for the later use. 215f86b9fbaSHong Zhang 216f86b9fbaSHong Zhang Collective on Mat 217f86b9fbaSHong Zhang 218f86b9fbaSHong Zhang Input Parameters: 219f86b9fbaSHong Zhang + mat - the matrix containing the nonzero structure of the Jacobian 220f86b9fbaSHong Zhang . iscoloring - the coloring of the matrix; usually obtained with MatGetColoring() or DMCreateColoring() 221f86b9fbaSHong Zhang - color - the matrix coloring context 222f86b9fbaSHong Zhang 223f86b9fbaSHong Zhang Level: beginner 224f86b9fbaSHong Zhang 225f86b9fbaSHong Zhang .keywords: MatFDColoring, setup 226f86b9fbaSHong Zhang 227f86b9fbaSHong Zhang .seealso: MatFDColoringCreate(), MatFDColoringDestroy() 228f86b9fbaSHong Zhang @*/ 229f86b9fbaSHong Zhang PetscErrorCode MatFDColoringSetUp(Mat mat,ISColoring iscoloring,MatFDColoring color) 230f86b9fbaSHong Zhang { 231f86b9fbaSHong Zhang PetscErrorCode ierr; 232f86b9fbaSHong Zhang 233f86b9fbaSHong Zhang PetscFunctionBegin; 234c8a9c622SHong Zhang PetscValidHeaderSpecific(mat,MAT_CLASSID,1); 235c8a9c622SHong Zhang PetscValidHeaderSpecific(color,MAT_FDCOLORING_CLASSID,3); 236c8a9c622SHong Zhang if (color->setupcalled) PetscFunctionReturn(0); 237c8a9c622SHong Zhang 2380df34763SHong Zhang ierr = PetscLogEventBegin(MAT_FDColoringSetUp,mat,0,0,0);CHKERRQ(ierr); 239f86b9fbaSHong Zhang if (mat->ops->fdcoloringsetup) { 240f86b9fbaSHong Zhang ierr = (*mat->ops->fdcoloringsetup)(mat,iscoloring,color);CHKERRQ(ierr); 241f86b9fbaSHong Zhang } else SETERRQ1(PetscObjectComm((PetscObject)mat),PETSC_ERR_SUP,"Code not yet written for matrix type %s",((PetscObject)mat)->type_name); 242c8a9c622SHong Zhang 243c8a9c622SHong Zhang color->setupcalled = PETSC_TRUE; 2440df34763SHong Zhang ierr = PetscLogEventEnd(MAT_FDColoringSetUp,mat,0,0,0);CHKERRQ(ierr); 245f86b9fbaSHong Zhang PetscFunctionReturn(0); 246f86b9fbaSHong Zhang } 247ff0cfa39SBarry Smith 2484a9d489dSBarry Smith /*@C 2494a9d489dSBarry Smith MatFDColoringGetFunction - Gets the function to use for computing the Jacobian. 2504a9d489dSBarry Smith 2513f9fe445SBarry Smith Not Collective 2524a9d489dSBarry Smith 2534a9d489dSBarry Smith Input Parameters: 2544a9d489dSBarry Smith . coloring - the coloring context 2554a9d489dSBarry Smith 2564a9d489dSBarry Smith Output Parameters: 2574a9d489dSBarry Smith + f - the function 2584a9d489dSBarry Smith - fctx - the optional user-defined function context 2594a9d489dSBarry Smith 2604a9d489dSBarry Smith Level: intermediate 2614a9d489dSBarry Smith 2624a9d489dSBarry Smith .keywords: Mat, Jacobian, finite differences, set, function 26395b89fc3SBarry Smith 26495b89fc3SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringSetFunction(), MatFDColoringSetFromOptions() 26595b89fc3SBarry Smith 2664a9d489dSBarry Smith @*/ 2677087cfbeSBarry Smith PetscErrorCode MatFDColoringGetFunction(MatFDColoring matfd,PetscErrorCode (**f)(void),void **fctx) 2684a9d489dSBarry Smith { 2694a9d489dSBarry Smith PetscFunctionBegin; 2700700a824SBarry Smith PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1); 2714a9d489dSBarry Smith if (f) *f = matfd->f; 2724a9d489dSBarry Smith if (fctx) *fctx = matfd->fctx; 2734a9d489dSBarry Smith PetscFunctionReturn(0); 2744a9d489dSBarry Smith } 2754a9d489dSBarry Smith 276d64ed03dSBarry Smith /*@C 277005c665bSBarry Smith MatFDColoringSetFunction - Sets the function to use for computing the Jacobian. 278005c665bSBarry Smith 2793f9fe445SBarry Smith Logically Collective on MatFDColoring 280fee21e36SBarry Smith 281ef5ee4d1SLois Curfman McInnes Input Parameters: 282ef5ee4d1SLois Curfman McInnes + coloring - the coloring context 283ef5ee4d1SLois Curfman McInnes . f - the function 284ef5ee4d1SLois Curfman McInnes - fctx - the optional user-defined function context 285ef5ee4d1SLois Curfman McInnes 2867850c7c0SBarry Smith Calling sequence of (*f) function: 2877850c7c0SBarry Smith For SNES: PetscErrorCode (*f)(SNES,Vec,Vec,void*) 288ab637aeaSJed Brown If not using SNES: PetscErrorCode (*f)(void *dummy,Vec,Vec,void*) and dummy is ignored 28915091d37SBarry Smith 2907850c7c0SBarry Smith Level: advanced 2917850c7c0SBarry Smith 292ab637aeaSJed Brown Notes: This function is usually used automatically by SNES (when one uses SNESSetJacobian() with the argument 2938d359177SBarry Smith SNESComputeJacobianDefaultColor()) and only needs to be used by someone computing a matrix via coloring directly by 294ab637aeaSJed Brown calling MatFDColoringApply() 2957850c7c0SBarry Smith 2967850c7c0SBarry Smith Fortran Notes: 2977850c7c0SBarry Smith In Fortran you must call MatFDColoringSetFunction() for a coloring object to 298ab637aeaSJed Brown be used without SNES or within the SNES solvers. 299f881d145SBarry Smith 300b4fc646aSLois Curfman McInnes .keywords: Mat, Jacobian, finite differences, set, function 30195b89fc3SBarry Smith 30295b89fc3SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringGetFunction(), MatFDColoringSetFromOptions() 30395b89fc3SBarry Smith 304005c665bSBarry Smith @*/ 3057087cfbeSBarry Smith PetscErrorCode MatFDColoringSetFunction(MatFDColoring matfd,PetscErrorCode (*f)(void),void *fctx) 306005c665bSBarry Smith { 3073a40ed3dSBarry Smith PetscFunctionBegin; 3080700a824SBarry Smith PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1); 309005c665bSBarry Smith matfd->f = f; 310005c665bSBarry Smith matfd->fctx = fctx; 3113a40ed3dSBarry Smith PetscFunctionReturn(0); 312005c665bSBarry Smith } 313005c665bSBarry Smith 314639f9d9dSBarry Smith /*@ 315b4fc646aSLois Curfman McInnes MatFDColoringSetFromOptions - Sets coloring finite difference parameters from 316639f9d9dSBarry Smith the options database. 317639f9d9dSBarry Smith 318fee21e36SBarry Smith Collective on MatFDColoring 319fee21e36SBarry Smith 32065f2ba5bSLois Curfman McInnes The Jacobian, F'(u), is estimated with the differencing approximation 321ef5ee4d1SLois Curfman McInnes .vb 32265f2ba5bSLois Curfman McInnes F'(u)_{:,i} = [F(u+h*dx_{i}) - F(u)]/h where 323f23b5b22SLois Curfman McInnes h = error_rel*u[i] if abs(u[i]) > umin 324f23b5b22SLois Curfman McInnes = +/- error_rel*umin otherwise, with +/- determined by the sign of u[i] 325ef5ee4d1SLois Curfman McInnes dx_{i} = (0, ... 1, .... 0) 326ef5ee4d1SLois Curfman McInnes .ve 327ef5ee4d1SLois Curfman McInnes 328ef5ee4d1SLois Curfman McInnes Input Parameter: 329ef5ee4d1SLois Curfman McInnes . coloring - the coloring context 330ef5ee4d1SLois Curfman McInnes 331b4fc646aSLois Curfman McInnes Options Database Keys: 3325620d6dcSBarry Smith + -mat_fd_coloring_err <err> - Sets <err> (square root of relative error in the function) 333f23b5b22SLois Curfman McInnes . -mat_fd_coloring_umin <umin> - Sets umin, the minimum allowable u-value magnitude 3343ec795f1SBarry Smith . -mat_fd_type - "wp" or "ds" (see MATMFFD_WP or MATMFFD_DS) 335ef5ee4d1SLois Curfman McInnes . -mat_fd_coloring_view - Activates basic viewing 336e350db43SBarry Smith . -mat_fd_coloring_view ::ascii_info - Activates viewing info 337e350db43SBarry Smith - -mat_fd_coloring_view draw - Activates drawing 338639f9d9dSBarry Smith 33915091d37SBarry Smith Level: intermediate 34015091d37SBarry Smith 341b4fc646aSLois Curfman McInnes .keywords: Mat, finite differences, parameters 342d1c39f55SBarry Smith 343d1c39f55SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringView(), MatFDColoringSetParameters() 344d1c39f55SBarry Smith 345639f9d9dSBarry Smith @*/ 3467087cfbeSBarry Smith PetscErrorCode MatFDColoringSetFromOptions(MatFDColoring matfd) 347639f9d9dSBarry Smith { 348dfbe8321SBarry Smith PetscErrorCode ierr; 349ace3abfcSBarry Smith PetscBool flg; 350efb30889SBarry Smith char value[3]; 3513a40ed3dSBarry Smith 3523a40ed3dSBarry Smith PetscFunctionBegin; 3530700a824SBarry Smith PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1); 354639f9d9dSBarry Smith 3553194b578SJed Brown ierr = PetscObjectOptionsBegin((PetscObject)matfd);CHKERRQ(ierr); 35687828ca2SBarry Smith ierr = PetscOptionsReal("-mat_fd_coloring_err","Square root of relative error in function","MatFDColoringSetParameters",matfd->error_rel,&matfd->error_rel,0);CHKERRQ(ierr); 35787828ca2SBarry Smith ierr = PetscOptionsReal("-mat_fd_coloring_umin","Minimum allowable u magnitude","MatFDColoringSetParameters",matfd->umin,&matfd->umin,0);CHKERRQ(ierr); 3581bc75a8dSBarry Smith ierr = PetscOptionsString("-mat_fd_type","Algorithm to compute h, wp or ds","MatFDColoringCreate",matfd->htype,value,3,&flg);CHKERRQ(ierr); 359efb30889SBarry Smith if (flg) { 360efb30889SBarry Smith if (value[0] == 'w' && value[1] == 'p') matfd->htype = "wp"; 361efb30889SBarry Smith else if (value[0] == 'd' && value[1] == 's') matfd->htype = "ds"; 362e32f2f54SBarry Smith else SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"Unknown finite differencing type %s",value); 363efb30889SBarry Smith } 364f86b9fbaSHong Zhang ierr = PetscOptionsInt("-mat_fd_coloring_brows","Number of block rows","MatFDColoringSetBlockSize",matfd->brows,&matfd->brows,NULL);CHKERRQ(ierr); 36593dfae19SHong Zhang ierr = PetscOptionsInt("-mat_fd_coloring_bcols","Number of block columns","MatFDColoringSetBlockSize",matfd->bcols,&matfd->bcols,&flg);CHKERRQ(ierr); 36693dfae19SHong Zhang if (flg && matfd->bcols > matfd->ncolors) { 36793dfae19SHong Zhang /* input bcols cannot be > matfd->ncolors, thus set it as ncolors */ 36893dfae19SHong Zhang matfd->bcols = matfd->ncolors; 36993dfae19SHong Zhang } 370f86b9fbaSHong Zhang 3715d973c19SBarry Smith /* process any options handlers added with PetscObjectAddOptionsHandler() */ 3720633abcbSJed Brown ierr = PetscObjectProcessOptionsHandlers(PetscOptionsObject,(PetscObject)matfd);CHKERRQ(ierr); 373b0a32e0cSBarry Smith PetscOptionsEnd();CHKERRQ(ierr); 3743a40ed3dSBarry Smith PetscFunctionReturn(0); 375005c665bSBarry Smith } 376005c665bSBarry Smith 37761ab5df0SBarry Smith /*@C 37861ab5df0SBarry Smith MatFDColoringSetType - Sets the approach for computing the finite difference parameter 37961ab5df0SBarry Smith 38061ab5df0SBarry Smith Collective on MatFDColoring 38161ab5df0SBarry Smith 38261ab5df0SBarry Smith Input Parameters: 38361ab5df0SBarry Smith + coloring - the coloring context 38461ab5df0SBarry Smith - type - either MATMFFD_WP or MATMFFD_DS 38561ab5df0SBarry Smith 38661ab5df0SBarry Smith Options Database Keys: 38761ab5df0SBarry Smith . -mat_fd_type - "wp" or "ds" 38861ab5df0SBarry Smith 38961ab5df0SBarry Smith Note: It is goofy that the argument type is MatMFFDType since the MatFDColoring actually computes the matrix entries 39061ab5df0SBarry Smith but the process of computing the entries is the same as as with the MatMFFD operation so we should reuse the names instead of 39161ab5df0SBarry Smith introducing another one. 39261ab5df0SBarry Smith 39361ab5df0SBarry Smith Level: intermediate 39461ab5df0SBarry Smith 39561ab5df0SBarry Smith .keywords: Mat, finite differences, parameters 39661ab5df0SBarry Smith 39761ab5df0SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringView(), MatFDColoringSetParameters() 39861ab5df0SBarry Smith 39961ab5df0SBarry Smith @*/ 40061ab5df0SBarry Smith PetscErrorCode MatFDColoringSetType(MatFDColoring matfd,MatMFFDType type) 40161ab5df0SBarry Smith { 40261ab5df0SBarry Smith PetscFunctionBegin; 40361ab5df0SBarry Smith PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_CLASSID,1); 40461ab5df0SBarry Smith /* 40561ab5df0SBarry Smith It is goofy to handle the strings this way but currently there is no code to free a dynamically created matfd->htype 40661ab5df0SBarry Smith and this function is being provided as patch for a release so it shouldn't change the implementaton 40761ab5df0SBarry Smith */ 40861ab5df0SBarry Smith if (type[0] == 'w' && type[1] == 'p') matfd->htype = "wp"; 40961ab5df0SBarry Smith else if (type[0] == 'd' && type[1] == 's') matfd->htype = "ds"; 41061ab5df0SBarry Smith else SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"Unknown finite differencing type %s",type); 41161ab5df0SBarry Smith PetscFunctionReturn(0); 41261ab5df0SBarry Smith } 41361ab5df0SBarry Smith 414146574abSBarry Smith PetscErrorCode MatFDColoringViewFromOptions(MatFDColoring fd,const char prefix[],const char optionname[]) 415005c665bSBarry Smith { 416dfbe8321SBarry Smith PetscErrorCode ierr; 417e350db43SBarry Smith PetscBool flg; 4183050cee2SBarry Smith PetscViewer viewer; 419cffb1e40SBarry Smith PetscViewerFormat format; 420005c665bSBarry Smith 4213a40ed3dSBarry Smith PetscFunctionBegin; 422146574abSBarry Smith if (prefix) { 423146574abSBarry Smith ierr = PetscOptionsGetViewer(PetscObjectComm((PetscObject)fd),prefix,optionname,&viewer,&format,&flg);CHKERRQ(ierr); 424146574abSBarry Smith } else { 425ce94432eSBarry Smith ierr = PetscOptionsGetViewer(PetscObjectComm((PetscObject)fd),((PetscObject)fd)->prefix,optionname,&viewer,&format,&flg);CHKERRQ(ierr); 426146574abSBarry Smith } 427005c665bSBarry Smith if (flg) { 428cffb1e40SBarry Smith ierr = PetscViewerPushFormat(viewer,format);CHKERRQ(ierr); 4293050cee2SBarry Smith ierr = MatFDColoringView(fd,viewer);CHKERRQ(ierr); 430cffb1e40SBarry Smith ierr = PetscViewerPopFormat(viewer);CHKERRQ(ierr); 431cffb1e40SBarry Smith ierr = PetscViewerDestroy(&viewer);CHKERRQ(ierr); 432005c665bSBarry Smith } 4333a40ed3dSBarry Smith PetscFunctionReturn(0); 434bbf0e169SBarry Smith } 435bbf0e169SBarry Smith 43605869f15SSatish Balay /*@ 437639f9d9dSBarry Smith MatFDColoringCreate - Creates a matrix coloring context for finite difference 438639f9d9dSBarry Smith computation of Jacobians. 439bbf0e169SBarry Smith 440ef5ee4d1SLois Curfman McInnes Collective on Mat 441ef5ee4d1SLois Curfman McInnes 442639f9d9dSBarry Smith Input Parameters: 443ef5ee4d1SLois Curfman McInnes + mat - the matrix containing the nonzero structure of the Jacobian 4447086a01eSPeter Brune - iscoloring - the coloring of the matrix; usually obtained with MatColoringCreate() or DMCreateColoring() 445bbf0e169SBarry Smith 446bbf0e169SBarry Smith Output Parameter: 447639f9d9dSBarry Smith . color - the new coloring context 448bbf0e169SBarry Smith 44915091d37SBarry Smith Level: intermediate 45015091d37SBarry Smith 4518d359177SBarry Smith .seealso: MatFDColoringDestroy(),SNESComputeJacobianDefaultColor(), ISColoringCreate(), 452d1c39f55SBarry Smith MatFDColoringSetFunction(), MatFDColoringSetFromOptions(), MatFDColoringApply(), 4537086a01eSPeter Brune MatFDColoringView(), MatFDColoringSetParameters(), MatColoringCreate(), DMCreateColoring() 454bbf0e169SBarry Smith @*/ 4557087cfbeSBarry Smith PetscErrorCode MatFDColoringCreate(Mat mat,ISColoring iscoloring,MatFDColoring *color) 456bbf0e169SBarry Smith { 457639f9d9dSBarry Smith MatFDColoring c; 458639f9d9dSBarry Smith MPI_Comm comm; 459dfbe8321SBarry Smith PetscErrorCode ierr; 46038baddfdSBarry Smith PetscInt M,N; 461639f9d9dSBarry Smith 4623a40ed3dSBarry Smith PetscFunctionBegin; 463c8a9c622SHong Zhang PetscValidHeaderSpecific(mat,MAT_CLASSID,1); 464f141eedfSHong Zhang if (!mat->assembled) SETERRQ(PetscObjectComm((PetscObject)mat),PETSC_ERR_ARG_WRONGSTATE,"Matrix must be assembled by calls to MatAssemblyBegin/End();"); 465d5ba7fb7SMatthew Knepley ierr = PetscLogEventBegin(MAT_FDColoringCreate,mat,0,0,0);CHKERRQ(ierr); 466639f9d9dSBarry Smith ierr = MatGetSize(mat,&M,&N);CHKERRQ(ierr); 467ce94432eSBarry Smith if (M != N) SETERRQ(PetscObjectComm((PetscObject)mat),PETSC_ERR_SUP,"Only for square matrices"); 468f881d145SBarry Smith ierr = PetscObjectGetComm((PetscObject)mat,&comm);CHKERRQ(ierr); 46973107ff1SLisandro Dalcin ierr = PetscHeaderCreate(c,MAT_FDCOLORING_CLASSID,"MatFDColoring","Jacobian computation via finite differences with coloring","Mat",comm,MatFDColoringDestroy,MatFDColoringView);CHKERRQ(ierr); 470639f9d9dSBarry Smith 471b8f8c88eSHong Zhang c->ctype = iscoloring->ctype; 472b8f8c88eSHong Zhang 47393dfae19SHong Zhang if (mat->ops->fdcoloringcreate) { 47493dfae19SHong Zhang ierr = (*mat->ops->fdcoloringcreate)(mat,iscoloring,c);CHKERRQ(ierr); 47593dfae19SHong Zhang } else SETERRQ1(PetscObjectComm((PetscObject)mat),PETSC_ERR_SUP,"Code not yet written for matrix type %s",((PetscObject)mat)->type_name); 47693dfae19SHong Zhang 4772a7a6963SBarry Smith ierr = MatCreateVecs(mat,NULL,&c->w1);CHKERRQ(ierr); 4783bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)c,(PetscObject)c->w1);CHKERRQ(ierr); 479b8f8c88eSHong Zhang ierr = VecDuplicate(c->w1,&c->w2);CHKERRQ(ierr); 4803bb1ff40SBarry Smith ierr = PetscLogObjectParent((PetscObject)c,(PetscObject)c->w2);CHKERRQ(ierr); 481b8f8c88eSHong Zhang 48277d8c4bbSBarry Smith c->error_rel = PETSC_SQRT_MACHINE_EPSILON; 48377d8c4bbSBarry Smith c->umin = 100.0*PETSC_SQRT_MACHINE_EPSILON; 48449b058dcSBarry Smith c->currentcolor = -1; 485efb30889SBarry Smith c->htype = "wp"; 4864e269d77SPeter Brune c->fset = PETSC_FALSE; 487c8a9c622SHong Zhang c->setupcalled = PETSC_FALSE; 488639f9d9dSBarry Smith 489639f9d9dSBarry Smith *color = c; 4904e269d77SPeter Brune ierr = PetscObjectCompose((PetscObject)mat,"SNESMatFDColoring",(PetscObject)c);CHKERRQ(ierr); 491d5ba7fb7SMatthew Knepley ierr = PetscLogEventEnd(MAT_FDColoringCreate,mat,0,0,0);CHKERRQ(ierr); 4923a40ed3dSBarry Smith PetscFunctionReturn(0); 493bbf0e169SBarry Smith } 494bbf0e169SBarry Smith 49505869f15SSatish Balay /*@ 496639f9d9dSBarry Smith MatFDColoringDestroy - Destroys a matrix coloring context that was created 497639f9d9dSBarry Smith via MatFDColoringCreate(). 498bbf0e169SBarry Smith 499ef5ee4d1SLois Curfman McInnes Collective on MatFDColoring 500ef5ee4d1SLois Curfman McInnes 501b4fc646aSLois Curfman McInnes Input Parameter: 502639f9d9dSBarry Smith . c - coloring context 503bbf0e169SBarry Smith 50415091d37SBarry Smith Level: intermediate 50515091d37SBarry Smith 506639f9d9dSBarry Smith .seealso: MatFDColoringCreate() 507bbf0e169SBarry Smith @*/ 5086bf464f9SBarry Smith PetscErrorCode MatFDColoringDestroy(MatFDColoring *c) 509bbf0e169SBarry Smith { 5106849ba73SBarry Smith PetscErrorCode ierr; 51138baddfdSBarry Smith PetscInt i; 5120df34763SHong Zhang MatFDColoring color = *c; 513bbf0e169SBarry Smith 5143a40ed3dSBarry Smith PetscFunctionBegin; 5156bf464f9SBarry Smith if (!*c) PetscFunctionReturn(0); 5160df34763SHong Zhang if (--((PetscObject)color)->refct > 0) {*c = 0; PetscFunctionReturn(0);} 517d4bb536fSBarry Smith 5180df34763SHong Zhang for (i=0; i<color->ncolors; i++) { 5190df34763SHong Zhang ierr = PetscFree(color->columns[i]);CHKERRQ(ierr); 520bbf0e169SBarry Smith } 5210df34763SHong Zhang ierr = PetscFree(color->ncolumns);CHKERRQ(ierr); 5220df34763SHong Zhang ierr = PetscFree(color->columns);CHKERRQ(ierr); 5230df34763SHong Zhang ierr = PetscFree(color->nrows);CHKERRQ(ierr); 5240df34763SHong Zhang if (color->htype[0] == 'w') { 5250df34763SHong Zhang ierr = PetscFree(color->matentry2);CHKERRQ(ierr); 5260df34763SHong Zhang } else { 5270df34763SHong Zhang ierr = PetscFree(color->matentry);CHKERRQ(ierr); 5280df34763SHong Zhang } 5290df34763SHong Zhang ierr = PetscFree(color->dy);CHKERRQ(ierr); 5300df34763SHong Zhang if (color->vscale) {ierr = VecDestroy(&color->vscale);CHKERRQ(ierr);} 5310df34763SHong Zhang ierr = VecDestroy(&color->w1);CHKERRQ(ierr); 5320df34763SHong Zhang ierr = VecDestroy(&color->w2);CHKERRQ(ierr); 5330df34763SHong Zhang ierr = VecDestroy(&color->w3);CHKERRQ(ierr); 534d38fa0fbSBarry Smith ierr = PetscHeaderDestroy(c);CHKERRQ(ierr); 5353a40ed3dSBarry Smith PetscFunctionReturn(0); 536bbf0e169SBarry Smith } 53743a90d84SBarry Smith 53849b058dcSBarry Smith /*@C 53949b058dcSBarry Smith MatFDColoringGetPerturbedColumns - Returns the indices of the columns that 54049b058dcSBarry Smith that are currently being perturbed. 54149b058dcSBarry Smith 54249b058dcSBarry Smith Not Collective 54349b058dcSBarry Smith 54449b058dcSBarry Smith Input Parameters: 54549b058dcSBarry Smith . coloring - coloring context created with MatFDColoringCreate() 54649b058dcSBarry Smith 54749b058dcSBarry Smith Output Parameters: 54849b058dcSBarry Smith + n - the number of local columns being perturbed 54949b058dcSBarry Smith - cols - the column indices, in global numbering 55049b058dcSBarry Smith 551*21fcc2ddSBarry Smith Level: advanced 55249b058dcSBarry Smith 553edaa7c33SBarry Smith Fortran Note: 554edaa7c33SBarry Smith This routine has a different interface for Fortran 555*21fcc2ddSBarry Smith $ #include <petsc/finclude/petscmat.h> 556*21fcc2ddSBarry Smith $ use petscmat 557edaa7c33SBarry Smith $ PetscInt, pointer :: array(:) 558edaa7c33SBarry Smith $ PetscErrorCode ierr 559edaa7c33SBarry Smith $ MatFDColoring i 560edaa7c33SBarry Smith $ call MatFDColoringGetPerturbedColumnsF90(i,array,ierr) 561edaa7c33SBarry Smith $ use the entries of array ... 562edaa7c33SBarry Smith $ call MatFDColoringRestorePerturbedColumnsF90(i,array,ierr) 563edaa7c33SBarry Smith 56449b058dcSBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringDestroy(), MatFDColoringView(), MatFDColoringApply() 56549b058dcSBarry Smith 56649b058dcSBarry Smith .keywords: coloring, Jacobian, finite differences 56749b058dcSBarry Smith @*/ 568edaa7c33SBarry Smith PetscErrorCode MatFDColoringGetPerturbedColumns(MatFDColoring coloring,PetscInt *n,const PetscInt *cols[]) 56949b058dcSBarry Smith { 57049b058dcSBarry Smith PetscFunctionBegin; 57149b058dcSBarry Smith if (coloring->currentcolor >= 0) { 57249b058dcSBarry Smith *n = coloring->ncolumns[coloring->currentcolor]; 57349b058dcSBarry Smith *cols = coloring->columns[coloring->currentcolor]; 57449b058dcSBarry Smith } else { 57549b058dcSBarry Smith *n = 0; 57649b058dcSBarry Smith } 57749b058dcSBarry Smith PetscFunctionReturn(0); 57849b058dcSBarry Smith } 57949b058dcSBarry Smith 58043a90d84SBarry Smith /*@ 581e0907662SLois Curfman McInnes MatFDColoringApply - Given a matrix for which a MatFDColoring context 582e0907662SLois Curfman McInnes has been created, computes the Jacobian for a function via finite differences. 58343a90d84SBarry Smith 584fee21e36SBarry Smith Collective on MatFDColoring 585fee21e36SBarry Smith 586ef5ee4d1SLois Curfman McInnes Input Parameters: 587ef5ee4d1SLois Curfman McInnes + mat - location to store Jacobian 588ef5ee4d1SLois Curfman McInnes . coloring - coloring context created with MatFDColoringCreate() 589ef5ee4d1SLois Curfman McInnes . x1 - location at which Jacobian is to be computed 5907850c7c0SBarry Smith - sctx - context required by function, if this is being used with the SNES solver then it is SNES object, otherwise it is null 591ef5ee4d1SLois Curfman McInnes 5928bba8e72SBarry Smith Options Database Keys: 593ebd3b9afSBarry Smith + -mat_fd_type - "wp" or "ds" (see MATMFFD_WP or MATMFFD_DS) 594b9722508SLois Curfman McInnes . -mat_fd_coloring_view - Activates basic viewing or coloring 595e350db43SBarry Smith . -mat_fd_coloring_view draw - Activates drawing of coloring 596e350db43SBarry Smith - -mat_fd_coloring_view ::ascii_info - Activates viewing of coloring info 5978bba8e72SBarry Smith 59815091d37SBarry Smith Level: intermediate 59998d79826SSatish Balay 6007850c7c0SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringDestroy(), MatFDColoringView(), MatFDColoringSetFunction() 60143a90d84SBarry Smith 60243a90d84SBarry Smith .keywords: coloring, Jacobian, finite differences 60343a90d84SBarry Smith @*/ 604d1e9a80fSBarry Smith PetscErrorCode MatFDColoringApply(Mat J,MatFDColoring coloring,Vec x1,void *sctx) 60543a90d84SBarry Smith { 6063acb8795SBarry Smith PetscErrorCode ierr; 607684f2004SHong Zhang PetscBool flg = PETSC_FALSE; 6083acb8795SBarry Smith 6093acb8795SBarry Smith PetscFunctionBegin; 6100700a824SBarry Smith PetscValidHeaderSpecific(J,MAT_CLASSID,1); 6110700a824SBarry Smith PetscValidHeaderSpecific(coloring,MAT_FDCOLORING_CLASSID,2); 6120700a824SBarry Smith PetscValidHeaderSpecific(x1,VEC_CLASSID,3); 613ce94432eSBarry Smith if (!coloring->f) SETERRQ(PetscObjectComm((PetscObject)J),PETSC_ERR_ARG_WRONGSTATE,"Must call MatFDColoringSetFunction()"); 614e32f2f54SBarry Smith if (!J->ops->fdcoloringapply) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_SUP,"Not supported for this matrix type %s",((PetscObject)J)->type_name); 615c8a9c622SHong Zhang if (!coloring->setupcalled) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Must call MatFDColoringSetUp()"); 616684f2004SHong Zhang 617684f2004SHong Zhang ierr = MatSetUnfactored(J);CHKERRQ(ierr); 618c5929fdfSBarry Smith ierr = PetscOptionsGetBool(((PetscObject)coloring)->options,NULL,"-mat_fd_coloring_dont_rezero",&flg,NULL);CHKERRQ(ierr); 619684f2004SHong Zhang if (flg) { 620684f2004SHong Zhang ierr = PetscInfo(coloring,"Not calling MatZeroEntries()\n");CHKERRQ(ierr); 621684f2004SHong Zhang } else { 622684f2004SHong Zhang PetscBool assembled; 623684f2004SHong Zhang ierr = MatAssembled(J,&assembled);CHKERRQ(ierr); 624684f2004SHong Zhang if (assembled) { 625684f2004SHong Zhang ierr = MatZeroEntries(J);CHKERRQ(ierr); 626684f2004SHong Zhang } 627684f2004SHong Zhang } 628684f2004SHong Zhang 6295922145eSHong Zhang ierr = PetscLogEventBegin(MAT_FDColoringApply,coloring,J,x1,0);CHKERRQ(ierr); 630d1e9a80fSBarry Smith ierr = (*J->ops->fdcoloringapply)(J,coloring,x1,sctx);CHKERRQ(ierr); 6315922145eSHong Zhang ierr = PetscLogEventEnd(MAT_FDColoringApply,coloring,J,x1,0);CHKERRQ(ierr); 6325bdb020cSBarry Smith if (!coloring->viewed) { 6335bdb020cSBarry Smith ierr = MatFDColoringViewFromOptions(coloring,NULL,"-mat_fd_coloring_view");CHKERRQ(ierr); 6345bdb020cSBarry Smith coloring->viewed = PETSC_TRUE; 6355bdb020cSBarry Smith } 6363acb8795SBarry Smith PetscFunctionReturn(0); 6373acb8795SBarry Smith } 638