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