1*d15ffeeaSSatish Balay /*$Id: fdmatrix.c,v 1.69 2000/05/18 20:36:53 balay Exp balay $*/ 2bbf0e169SBarry Smith 3bbf0e169SBarry Smith /* 4639f9d9dSBarry Smith This is where the abstract matrix operations are defined that are 5639f9d9dSBarry Smith used for finite difference computations of Jacobians using coloring. 6bbf0e169SBarry Smith */ 7bbf0e169SBarry Smith 8bbf0e169SBarry Smith #include "petsc.h" 9e090d566SSatish Balay #include "src/mat/matimpl.h" /*I "petscmat.h" I*/ 10bbf0e169SBarry Smith 115615d1e5SSatish Balay #undef __FUNC__ 129194eea9SBarry Smith #define __FUNC__ /*<a name="MatFDColoringView_Draw_Zoom"></a>*/"MatFDColoringView_Draw_Zoom" 139194eea9SBarry Smith static int MatFDColoringView_Draw_Zoom(Draw draw,void *Aa) 149194eea9SBarry Smith { 159194eea9SBarry Smith MatFDColoring fd = (MatFDColoring)Aa; 169194eea9SBarry Smith int ierr,i,j; 179194eea9SBarry Smith PetscReal x,y; 189194eea9SBarry Smith 199194eea9SBarry Smith PetscFunctionBegin; 209194eea9SBarry Smith 219194eea9SBarry Smith /* loop over colors */ 229194eea9SBarry Smith for (i=0; i<fd->ncolors; i++) { 239194eea9SBarry Smith for (j=0; j<fd->nrows[i]; j++) { 249194eea9SBarry Smith y = fd->M - fd->rows[i][j] - fd->rstart; 259194eea9SBarry Smith x = fd->columnsforrow[i][j]; 269194eea9SBarry Smith ierr = DrawRectangle(draw,x,y,x+1,y+1,i+1,i+1,i+1,i+1);CHKERRQ(ierr); 279194eea9SBarry Smith } 289194eea9SBarry Smith } 299194eea9SBarry Smith PetscFunctionReturn(0); 309194eea9SBarry Smith } 319194eea9SBarry Smith 329194eea9SBarry Smith #undef __FUNC__ 339194eea9SBarry Smith #define __FUNC__ /*<a name="MatFDColoringView_Draw"></a>*/"MatFDColoringView_Draw" 34005c665bSBarry Smith static int MatFDColoringView_Draw(MatFDColoring fd,Viewer viewer) 35005c665bSBarry Smith { 369194eea9SBarry Smith int ierr; 37005c665bSBarry Smith PetscTruth isnull; 38005c665bSBarry Smith Draw draw; 3954d96fa3SBarry Smith PetscReal xr,yr,xl,yl,h,w; 40005c665bSBarry Smith 413a40ed3dSBarry Smith PetscFunctionBegin; 4277ed5343SBarry Smith ierr = ViewerDrawGetDraw(viewer,0,&draw);CHKERRQ(ierr); 433a40ed3dSBarry Smith ierr = DrawIsNull(draw,&isnull);CHKERRQ(ierr); if (isnull) PetscFunctionReturn(0); 449194eea9SBarry Smith 459194eea9SBarry Smith ierr = PetscObjectCompose((PetscObject)fd,"Zoomviewer",(PetscObject)viewer);CHKERRQ(ierr); 46005c665bSBarry Smith 47005c665bSBarry Smith xr = fd->N; yr = fd->M; h = yr/10.0; w = xr/10.0; 48005c665bSBarry Smith xr += w; yr += h; xl = -w; yl = -h; 49005c665bSBarry Smith ierr = DrawSetCoordinates(draw,xl,yl,xr,yr);CHKERRQ(ierr); 509194eea9SBarry Smith ierr = DrawZoom(draw,MatFDColoringView_Draw_Zoom,fd);CHKERRQ(ierr); 519194eea9SBarry Smith ierr = PetscObjectCompose((PetscObject)fd,"Zoomviewer",PETSC_NULL);CHKERRQ(ierr); 523a40ed3dSBarry Smith PetscFunctionReturn(0); 53005c665bSBarry Smith } 54005c665bSBarry Smith 55005c665bSBarry Smith #undef __FUNC__ 56b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringView" 57bbf0e169SBarry Smith /*@C 58639f9d9dSBarry Smith MatFDColoringView - Views a finite difference coloring context. 59bbf0e169SBarry Smith 604c49b128SBarry Smith Collective on MatFDColoring 61fee21e36SBarry Smith 62ef5ee4d1SLois Curfman McInnes Input Parameters: 63ef5ee4d1SLois Curfman McInnes + c - the coloring context 64ef5ee4d1SLois Curfman McInnes - viewer - visualization context 65ef5ee4d1SLois Curfman McInnes 6615091d37SBarry Smith Level: intermediate 6715091d37SBarry Smith 68b4fc646aSLois Curfman McInnes Notes: 69b4fc646aSLois Curfman McInnes The available visualization contexts include 70ef5ee4d1SLois Curfman McInnes + VIEWER_STDOUT_SELF - standard output (default) 71ef5ee4d1SLois Curfman McInnes . VIEWER_STDOUT_WORLD - synchronized standard 72ef5ee4d1SLois Curfman McInnes output where only the first processor opens 73ef5ee4d1SLois Curfman McInnes the file. All other processors send their 74ef5ee4d1SLois Curfman McInnes data to the first processor to print. 75c655490fSBarry Smith - VIEWER_DRAW_WORLD - graphical display of nonzero structure 76bbf0e169SBarry Smith 779194eea9SBarry Smith Notes: 789194eea9SBarry Smith Since PETSc uses only a small number of basic colors (currently 33), if the coloring 799194eea9SBarry Smith involves moe than 33 then some seemingly identical colors are displayed making it look 809194eea9SBarry Smith like an illegal coloring. This is just a graphical artifact. 819194eea9SBarry Smith 82639f9d9dSBarry Smith .seealso: MatFDColoringCreate() 83005c665bSBarry Smith 84b4fc646aSLois Curfman McInnes .keywords: Mat, finite differences, coloring, view 85bbf0e169SBarry Smith @*/ 86b4fc646aSLois Curfman McInnes int MatFDColoringView(MatFDColoring c,Viewer viewer) 87bbf0e169SBarry Smith { 88639f9d9dSBarry Smith int i,j,format,ierr; 896831982aSBarry Smith PetscTruth isdraw,isascii; 90bbf0e169SBarry Smith 913a40ed3dSBarry Smith PetscFunctionBegin; 92b4fc646aSLois Curfman McInnes PetscValidHeaderSpecific(c,MAT_FDCOLORING_COOKIE); 933eda8832SBarry Smith if (!viewer) viewer = VIEWER_STDOUT_(c->comm); 940f5bd95cSBarry Smith PetscValidHeaderSpecific(viewer,VIEWER_COOKIE); 956831982aSBarry Smith PetscCheckSameComm(c,viewer); 96bbf0e169SBarry Smith 976831982aSBarry Smith ierr = PetscTypeCompare((PetscObject)viewer,DRAW_VIEWER,&isdraw);CHKERRQ(ierr); 986831982aSBarry Smith ierr = PetscTypeCompare((PetscObject)viewer,ASCII_VIEWER,&isascii);CHKERRQ(ierr); 990f5bd95cSBarry Smith if (isdraw) { 100b4fc646aSLois Curfman McInnes ierr = MatFDColoringView_Draw(c,viewer);CHKERRQ(ierr); 1010f5bd95cSBarry Smith } else if (isascii) { 102d132466eSBarry Smith ierr = ViewerASCIIPrintf(viewer,"MatFDColoring Object:\n");CHKERRQ(ierr); 103d132466eSBarry Smith ierr = ViewerASCIIPrintf(viewer," Error tolerance=%g\n",c->error_rel);CHKERRQ(ierr); 104d132466eSBarry Smith ierr = ViewerASCIIPrintf(viewer," Umin=%g\n",c->umin);CHKERRQ(ierr); 105d132466eSBarry Smith ierr = ViewerASCIIPrintf(viewer," Number of colors=%d\n",c->ncolors);CHKERRQ(ierr); 106ae09f205SBarry Smith 107ae09f205SBarry Smith ierr = ViewerGetFormat(viewer,&format);CHKERRQ(ierr); 108ae09f205SBarry Smith if (format != VIEWER_FORMAT_ASCII_INFO) { 109b4fc646aSLois Curfman McInnes for (i=0; i<c->ncolors; i++) { 110d132466eSBarry Smith ierr = ViewerASCIIPrintf(viewer," Information for color %d\n",i);CHKERRQ(ierr); 111d132466eSBarry Smith ierr = ViewerASCIIPrintf(viewer," Number of columns %d\n",c->ncolumns[i]);CHKERRQ(ierr); 112b4fc646aSLois Curfman McInnes for (j=0; j<c->ncolumns[i]; j++) { 113d132466eSBarry Smith ierr = ViewerASCIIPrintf(viewer," %d\n",c->columns[i][j]);CHKERRQ(ierr); 114639f9d9dSBarry Smith } 115d132466eSBarry Smith ierr = ViewerASCIIPrintf(viewer," Number of rows %d\n",c->nrows[i]);CHKERRQ(ierr); 116b4fc646aSLois Curfman McInnes for (j=0; j<c->nrows[i]; j++) { 117d132466eSBarry Smith ierr = ViewerASCIIPrintf(viewer," %d %d \n",c->rows[i][j],c->columnsforrow[i][j]);CHKERRQ(ierr); 118b4fc646aSLois Curfman McInnes } 119bbf0e169SBarry Smith } 120bbf0e169SBarry Smith } 1216831982aSBarry Smith ierr = ViewerFlush(viewer);CHKERRQ(ierr); 1225cd90555SBarry Smith } else { 1230f5bd95cSBarry Smith SETERRQ1(1,1,"Viewer type %s not supported for MatFDColoring",((PetscObject)viewer)->type_name); 124bbf0e169SBarry Smith } 1253a40ed3dSBarry Smith PetscFunctionReturn(0); 126639f9d9dSBarry Smith } 127639f9d9dSBarry Smith 1285615d1e5SSatish Balay #undef __FUNC__ 129b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringSetParameters" 130639f9d9dSBarry Smith /*@ 131b4fc646aSLois Curfman McInnes MatFDColoringSetParameters - Sets the parameters for the sparse approximation of 132b4fc646aSLois Curfman McInnes a Jacobian matrix using finite differences. 133639f9d9dSBarry Smith 134ef5ee4d1SLois Curfman McInnes Collective on MatFDColoring 135ef5ee4d1SLois Curfman McInnes 136ef5ee4d1SLois Curfman McInnes The Jacobian is estimated with the differencing approximation 137ef5ee4d1SLois Curfman McInnes .vb 13865f2ba5bSLois Curfman McInnes F'(u)_{:,i} = [F(u+h*dx_{i}) - F(u)]/h where 139f23b5b22SLois Curfman McInnes h = error_rel*u[i] if abs(u[i]) > umin 140f23b5b22SLois Curfman McInnes = +/- error_rel*umin otherwise, with +/- determined by the sign of u[i] 141ef5ee4d1SLois Curfman McInnes dx_{i} = (0, ... 1, .... 0) 142ef5ee4d1SLois Curfman McInnes .ve 143639f9d9dSBarry Smith 144639f9d9dSBarry Smith Input Parameters: 145ef5ee4d1SLois Curfman McInnes + coloring - the coloring context 146639f9d9dSBarry Smith . error_rel - relative error 147f23b5b22SLois Curfman McInnes - umin - minimum allowable u-value magnitude 148fee21e36SBarry Smith 14915091d37SBarry Smith Level: advanced 15015091d37SBarry Smith 151b4fc646aSLois Curfman McInnes .keywords: Mat, finite differences, coloring, set, parameters 152b4fc646aSLois Curfman McInnes 153b4fc646aSLois Curfman McInnes .seealso: MatFDColoringCreate() 154639f9d9dSBarry Smith @*/ 155329f5518SBarry Smith int MatFDColoringSetParameters(MatFDColoring matfd,PetscReal error,PetscReal umin) 156639f9d9dSBarry Smith { 1573a40ed3dSBarry Smith PetscFunctionBegin; 158639f9d9dSBarry Smith PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_COOKIE); 159639f9d9dSBarry Smith 160639f9d9dSBarry Smith if (error != PETSC_DEFAULT) matfd->error_rel = error; 161639f9d9dSBarry Smith if (umin != PETSC_DEFAULT) matfd->umin = umin; 1623a40ed3dSBarry Smith PetscFunctionReturn(0); 163639f9d9dSBarry Smith } 164639f9d9dSBarry Smith 1655615d1e5SSatish Balay #undef __FUNC__ 166b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringSetFrequency" 167005c665bSBarry Smith /*@ 168e0907662SLois Curfman McInnes MatFDColoringSetFrequency - Sets the frequency for computing new Jacobian 169e0907662SLois Curfman McInnes matrices. 170005c665bSBarry Smith 171fee21e36SBarry Smith Collective on MatFDColoring 172fee21e36SBarry Smith 173ef5ee4d1SLois Curfman McInnes Input Parameters: 174ef5ee4d1SLois Curfman McInnes + coloring - the coloring context 175ef5ee4d1SLois Curfman McInnes - freq - frequency (default is 1) 176ef5ee4d1SLois Curfman McInnes 17715091d37SBarry Smith Options Database Keys: 17815091d37SBarry Smith . -mat_fd_coloring_freq <freq> - Sets coloring frequency 17915091d37SBarry Smith 18015091d37SBarry Smith Level: advanced 18115091d37SBarry Smith 182e0907662SLois Curfman McInnes Notes: 183e0907662SLois Curfman McInnes Using a modified Newton strategy, where the Jacobian remains fixed for several 184e0907662SLois Curfman McInnes iterations, can be cost effective in terms of overall nonlinear solution 185e0907662SLois Curfman McInnes efficiency. This parameter indicates that a new Jacobian will be computed every 186e0907662SLois Curfman McInnes <freq> nonlinear iterations. 187e0907662SLois Curfman McInnes 188b4fc646aSLois Curfman McInnes .keywords: Mat, finite differences, coloring, set, frequency 189ef5ee4d1SLois Curfman McInnes 190ef5ee4d1SLois Curfman McInnes .seealso: MatFDColoringCreate(), MatFDColoringGetFrequency() 191005c665bSBarry Smith @*/ 192005c665bSBarry Smith int MatFDColoringSetFrequency(MatFDColoring matfd,int freq) 193005c665bSBarry Smith { 1943a40ed3dSBarry Smith PetscFunctionBegin; 195005c665bSBarry Smith PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_COOKIE); 196005c665bSBarry Smith 197005c665bSBarry Smith matfd->freq = freq; 1983a40ed3dSBarry Smith PetscFunctionReturn(0); 199005c665bSBarry Smith } 200005c665bSBarry Smith 201005c665bSBarry Smith #undef __FUNC__ 202b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringGetFrequency" 203ff0cfa39SBarry Smith /*@ 204ff0cfa39SBarry Smith MatFDColoringGetFrequency - Gets the frequency for computing new Jacobian 205ff0cfa39SBarry Smith matrices. 206ff0cfa39SBarry Smith 207ef5ee4d1SLois Curfman McInnes Not Collective 208ef5ee4d1SLois Curfman McInnes 209ff0cfa39SBarry Smith Input Parameters: 210ff0cfa39SBarry Smith . coloring - the coloring context 211ff0cfa39SBarry Smith 212ff0cfa39SBarry Smith Output Parameters: 213ff0cfa39SBarry Smith . freq - frequency (default is 1) 214ff0cfa39SBarry Smith 21515091d37SBarry Smith Options Database Keys: 21615091d37SBarry Smith . -mat_fd_coloring_freq <freq> - Sets coloring frequency 21715091d37SBarry Smith 21815091d37SBarry Smith Level: advanced 21915091d37SBarry Smith 220ff0cfa39SBarry Smith Notes: 221ff0cfa39SBarry Smith Using a modified Newton strategy, where the Jacobian remains fixed for several 222ff0cfa39SBarry Smith iterations, can be cost effective in terms of overall nonlinear solution 223ff0cfa39SBarry Smith efficiency. This parameter indicates that a new Jacobian will be computed every 224ff0cfa39SBarry Smith <freq> nonlinear iterations. 225ff0cfa39SBarry Smith 226ff0cfa39SBarry Smith .keywords: Mat, finite differences, coloring, get, frequency 227ef5ee4d1SLois Curfman McInnes 228ef5ee4d1SLois Curfman McInnes .seealso: MatFDColoringSetFrequency() 229ff0cfa39SBarry Smith @*/ 230ff0cfa39SBarry Smith int MatFDColoringGetFrequency(MatFDColoring matfd,int *freq) 231ff0cfa39SBarry Smith { 2323a40ed3dSBarry Smith PetscFunctionBegin; 233ff0cfa39SBarry Smith PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_COOKIE); 234ff0cfa39SBarry Smith 235ff0cfa39SBarry Smith *freq = matfd->freq; 2363a40ed3dSBarry Smith PetscFunctionReturn(0); 237ff0cfa39SBarry Smith } 238ff0cfa39SBarry Smith 239ff0cfa39SBarry Smith #undef __FUNC__ 240b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringSetFunction" 241d64ed03dSBarry Smith /*@C 242005c665bSBarry Smith MatFDColoringSetFunction - Sets the function to use for computing the Jacobian. 243005c665bSBarry Smith 244fee21e36SBarry Smith Collective on MatFDColoring 245fee21e36SBarry Smith 246ef5ee4d1SLois Curfman McInnes Input Parameters: 247ef5ee4d1SLois Curfman McInnes + coloring - the coloring context 248ef5ee4d1SLois Curfman McInnes . f - the function 249ef5ee4d1SLois Curfman McInnes - fctx - the optional user-defined function context 250ef5ee4d1SLois Curfman McInnes 25115091d37SBarry Smith Level: intermediate 25215091d37SBarry Smith 253f881d145SBarry Smith Notes: 254f881d145SBarry Smith In Fortran you must call MatFDColoringSetFunctionSNES() for a coloring object to 255f881d145SBarry Smith be used with the SNES solvers and MatFDColoringSetFunctionTS() if it is to be used 256f881d145SBarry Smith with the TS solvers. 257f881d145SBarry Smith 258b4fc646aSLois Curfman McInnes .keywords: Mat, Jacobian, finite differences, set, function 259005c665bSBarry Smith @*/ 260840b8ebdSBarry Smith int MatFDColoringSetFunction(MatFDColoring matfd,int (*f)(void),void *fctx) 261005c665bSBarry Smith { 2623a40ed3dSBarry Smith PetscFunctionBegin; 263005c665bSBarry Smith PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_COOKIE); 264005c665bSBarry Smith 265005c665bSBarry Smith matfd->f = f; 266005c665bSBarry Smith matfd->fctx = fctx; 267005c665bSBarry Smith 2683a40ed3dSBarry Smith PetscFunctionReturn(0); 269005c665bSBarry Smith } 270005c665bSBarry Smith 271005c665bSBarry Smith #undef __FUNC__ 272b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringSetFromOptions" 273639f9d9dSBarry Smith /*@ 274b4fc646aSLois Curfman McInnes MatFDColoringSetFromOptions - Sets coloring finite difference parameters from 275639f9d9dSBarry Smith the options database. 276639f9d9dSBarry Smith 277fee21e36SBarry Smith Collective on MatFDColoring 278fee21e36SBarry Smith 27965f2ba5bSLois Curfman McInnes The Jacobian, F'(u), is estimated with the differencing approximation 280ef5ee4d1SLois Curfman McInnes .vb 28165f2ba5bSLois Curfman McInnes F'(u)_{:,i} = [F(u+h*dx_{i}) - F(u)]/h where 282f23b5b22SLois Curfman McInnes h = error_rel*u[i] if abs(u[i]) > umin 283f23b5b22SLois Curfman McInnes = +/- error_rel*umin otherwise, with +/- determined by the sign of u[i] 284ef5ee4d1SLois Curfman McInnes dx_{i} = (0, ... 1, .... 0) 285ef5ee4d1SLois Curfman McInnes .ve 286ef5ee4d1SLois Curfman McInnes 287ef5ee4d1SLois Curfman McInnes Input Parameter: 288ef5ee4d1SLois Curfman McInnes . coloring - the coloring context 289ef5ee4d1SLois Curfman McInnes 290b4fc646aSLois Curfman McInnes Options Database Keys: 291*d15ffeeaSSatish Balay + -mat_fd_coloring_err <err> - Sets <err> (square root 292ef5ee4d1SLois Curfman McInnes of relative error in the function) 293f23b5b22SLois Curfman McInnes . -mat_fd_coloring_umin <umin> - Sets umin, the minimum allowable u-value magnitude 294ef5ee4d1SLois Curfman McInnes . -mat_fd_coloring_freq <freq> - Sets frequency of computing a new Jacobian 295ef5ee4d1SLois Curfman McInnes . -mat_fd_coloring_view - Activates basic viewing 296ef5ee4d1SLois Curfman McInnes . -mat_fd_coloring_view_info - Activates viewing info 297ef5ee4d1SLois Curfman McInnes - -mat_fd_coloring_view_draw - Activates drawing 298639f9d9dSBarry Smith 29915091d37SBarry Smith Level: intermediate 30015091d37SBarry Smith 301b4fc646aSLois Curfman McInnes .keywords: Mat, finite differences, parameters 302639f9d9dSBarry Smith @*/ 303639f9d9dSBarry Smith int MatFDColoringSetFromOptions(MatFDColoring matfd) 304639f9d9dSBarry Smith { 305f1af5d2fSBarry Smith int ierr,freq = 1; 306329f5518SBarry Smith PetscReal error = PETSC_DEFAULT,umin = PETSC_DEFAULT; 307f1af5d2fSBarry Smith PetscTruth flag; 3083a40ed3dSBarry Smith 3093a40ed3dSBarry Smith PetscFunctionBegin; 310639f9d9dSBarry Smith PetscValidHeaderSpecific(matfd,MAT_FDCOLORING_COOKIE); 311639f9d9dSBarry Smith 312f1af5d2fSBarry Smith ierr = OptionsGetDouble(matfd->prefix,"-mat_fd_coloring_err",&error,PETSC_NULL);CHKERRQ(ierr); 313f1af5d2fSBarry Smith ierr = OptionsGetDouble(matfd->prefix,"-mat_fd_coloring_umin",&umin,PETSC_NULL);CHKERRQ(ierr); 314639f9d9dSBarry Smith ierr = MatFDColoringSetParameters(matfd,error,umin);CHKERRQ(ierr); 315f1af5d2fSBarry Smith ierr = OptionsGetInt(matfd->prefix,"-mat_fd_coloring_freq",&freq,PETSC_NULL);CHKERRQ(ierr); 316005c665bSBarry Smith ierr = MatFDColoringSetFrequency(matfd,freq);CHKERRQ(ierr); 317005c665bSBarry Smith ierr = OptionsHasName(PETSC_NULL,"-help",&flag);CHKERRQ(ierr); 318639f9d9dSBarry Smith if (flag) { 319639f9d9dSBarry Smith ierr = MatFDColoringPrintHelp(matfd);CHKERRQ(ierr); 320639f9d9dSBarry Smith } 3213a40ed3dSBarry Smith PetscFunctionReturn(0); 322639f9d9dSBarry Smith } 323639f9d9dSBarry Smith 3245615d1e5SSatish Balay #undef __FUNC__ 325b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringPrintHelp" 326639f9d9dSBarry Smith /*@ 327639f9d9dSBarry Smith MatFDColoringPrintHelp - Prints help message for matrix finite difference calculations 328639f9d9dSBarry Smith using coloring. 329639f9d9dSBarry Smith 330ef5ee4d1SLois Curfman McInnes Collective on MatFDColoring 331ef5ee4d1SLois Curfman McInnes 332639f9d9dSBarry Smith Input Parameter: 333639f9d9dSBarry Smith . fdcoloring - the MatFDColoring context 334639f9d9dSBarry Smith 33515091d37SBarry Smith Level: intermediate 33615091d37SBarry Smith 337639f9d9dSBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringDestroy(), MatFDColoringSetFromOptions() 338639f9d9dSBarry Smith @*/ 339639f9d9dSBarry Smith int MatFDColoringPrintHelp(MatFDColoring fd) 340639f9d9dSBarry Smith { 341d132466eSBarry Smith int ierr; 342d132466eSBarry Smith 3433a40ed3dSBarry Smith PetscFunctionBegin; 344639f9d9dSBarry Smith PetscValidHeaderSpecific(fd,MAT_FDCOLORING_COOKIE); 345639f9d9dSBarry Smith 346d132466eSBarry Smith ierr = (*PetscHelpPrintf)(fd->comm,"-mat_fd_coloring_err <err>: set sqrt rel tol in function, defaults to %g\n",fd->error_rel);CHKERRQ(ierr); 347d132466eSBarry Smith ierr = (*PetscHelpPrintf)(fd->comm,"-mat_fd_coloring_umin <umin>: see users manual, defaults to %d\n",fd->umin);CHKERRQ(ierr); 348d132466eSBarry Smith ierr = (*PetscHelpPrintf)(fd->comm,"-mat_fd_coloring_freq <freq>: frequency that Jacobian is recomputed, defaults to %d\n",fd->freq);CHKERRQ(ierr); 349d132466eSBarry Smith ierr = (*PetscHelpPrintf)(fd->comm,"-mat_fd_coloring_view\n");CHKERRQ(ierr); 350d132466eSBarry Smith ierr = (*PetscHelpPrintf)(fd->comm,"-mat_fd_coloring_view_draw\n");CHKERRQ(ierr); 351d132466eSBarry Smith ierr = (*PetscHelpPrintf)(fd->comm,"-mat_fd_coloring_view_info\n");CHKERRQ(ierr); 3523a40ed3dSBarry Smith PetscFunctionReturn(0); 353005c665bSBarry Smith } 354005c665bSBarry Smith 355433994e6SBarry Smith #undef __FUNC__ 356b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringView_Private" 357005c665bSBarry Smith int MatFDColoringView_Private(MatFDColoring fd) 358005c665bSBarry Smith { 359f1af5d2fSBarry Smith int ierr; 360f1af5d2fSBarry Smith PetscTruth flg; 361005c665bSBarry Smith 3623a40ed3dSBarry Smith PetscFunctionBegin; 363005c665bSBarry Smith ierr = OptionsHasName(PETSC_NULL,"-mat_fd_coloring_view",&flg);CHKERRQ(ierr); 364005c665bSBarry Smith if (flg) { 365f8590f6eSBarry Smith ierr = MatFDColoringView(fd,VIEWER_STDOUT_(fd->comm));CHKERRQ(ierr); 366005c665bSBarry Smith } 367ae09f205SBarry Smith ierr = OptionsHasName(PETSC_NULL,"-mat_fd_coloring_view_info",&flg);CHKERRQ(ierr); 368ae09f205SBarry Smith if (flg) { 369f8590f6eSBarry Smith ierr = ViewerPushFormat(VIEWER_STDOUT_(fd->comm),VIEWER_FORMAT_ASCII_INFO,PETSC_NULL);CHKERRQ(ierr); 370f8590f6eSBarry Smith ierr = MatFDColoringView(fd,VIEWER_STDOUT_(fd->comm));CHKERRQ(ierr); 371f8590f6eSBarry Smith ierr = ViewerPopFormat(VIEWER_STDOUT_(fd->comm));CHKERRQ(ierr); 372ae09f205SBarry Smith } 373005c665bSBarry Smith ierr = OptionsHasName(PETSC_NULL,"-mat_fd_coloring_view_draw",&flg);CHKERRQ(ierr); 374005c665bSBarry Smith if (flg) { 375c655490fSBarry Smith ierr = MatFDColoringView(fd,VIEWER_DRAW_(fd->comm));CHKERRQ(ierr); 376c655490fSBarry Smith ierr = ViewerFlush(VIEWER_DRAW_(fd->comm));CHKERRQ(ierr); 377005c665bSBarry Smith } 3783a40ed3dSBarry Smith PetscFunctionReturn(0); 379bbf0e169SBarry Smith } 380bbf0e169SBarry Smith 3815615d1e5SSatish Balay #undef __FUNC__ 382b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringCreate" 383bbf0e169SBarry Smith /*@C 384639f9d9dSBarry Smith MatFDColoringCreate - Creates a matrix coloring context for finite difference 385639f9d9dSBarry Smith computation of Jacobians. 386bbf0e169SBarry Smith 387ef5ee4d1SLois Curfman McInnes Collective on Mat 388ef5ee4d1SLois Curfman McInnes 389639f9d9dSBarry Smith Input Parameters: 390ef5ee4d1SLois Curfman McInnes + mat - the matrix containing the nonzero structure of the Jacobian 391ef5ee4d1SLois Curfman McInnes - iscoloring - the coloring of the matrix 392bbf0e169SBarry Smith 393bbf0e169SBarry Smith Output Parameter: 394639f9d9dSBarry Smith . color - the new coloring context 395bbf0e169SBarry Smith 396b4fc646aSLois Curfman McInnes Options Database Keys: 397ef5ee4d1SLois Curfman McInnes + -mat_fd_coloring_view - Activates basic viewing or coloring 398ef5ee4d1SLois Curfman McInnes . -mat_fd_coloring_view_draw - Activates drawing of coloring 399ef5ee4d1SLois Curfman McInnes - -mat_fd_coloring_view_info - Activates viewing of coloring info 400639f9d9dSBarry Smith 40115091d37SBarry Smith Level: intermediate 40215091d37SBarry Smith 4036831982aSBarry Smith .seealso: MatFDColoringDestroy(),SNESDefaultComputeJacobianColor(), ISColoringCreate(), 4046831982aSBarry Smith MatFDColoringSetFunction(), MatFDColoringSetFromOptions() 405bbf0e169SBarry Smith @*/ 406639f9d9dSBarry Smith int MatFDColoringCreate(Mat mat,ISColoring iscoloring,MatFDColoring *color) 407bbf0e169SBarry Smith { 408639f9d9dSBarry Smith MatFDColoring c; 409639f9d9dSBarry Smith MPI_Comm comm; 410639f9d9dSBarry Smith int ierr,M,N; 411639f9d9dSBarry Smith 4123a40ed3dSBarry Smith PetscFunctionBegin; 413031bc83fSSatish Balay PLogEventBegin(MAT_FDColoringCreate,mat,0,0,0); 414639f9d9dSBarry Smith ierr = MatGetSize(mat,&M,&N);CHKERRQ(ierr); 415e3372554SBarry Smith if (M != N) SETERRQ(PETSC_ERR_SUP,0,"Only for square matrices"); 416639f9d9dSBarry Smith 417f881d145SBarry Smith ierr = PetscObjectGetComm((PetscObject)mat,&comm);CHKERRQ(ierr); 4189194eea9SBarry Smith PetscHeaderCreate(c,_p_MatFDColoring,int,MAT_FDCOLORING_COOKIE,0,"MatFDColoring",comm,MatFDColoringDestroy,MatFDColoringView); 419639f9d9dSBarry Smith PLogObjectCreate(c); 420639f9d9dSBarry Smith 421f830108cSBarry Smith if (mat->ops->fdcoloringcreate) { 422f830108cSBarry Smith ierr = (*mat->ops->fdcoloringcreate)(mat,iscoloring,c);CHKERRQ(ierr); 423639f9d9dSBarry Smith } else { 424e3372554SBarry Smith SETERRQ(PETSC_ERR_SUP,0,"Code not yet written for this matrix type"); 425639f9d9dSBarry Smith } 426639f9d9dSBarry Smith 427639f9d9dSBarry Smith c->error_rel = 1.e-8; 428ae09f205SBarry Smith c->umin = 1.e-6; 429005c665bSBarry Smith c->freq = 1; 430005c665bSBarry Smith 431005c665bSBarry Smith ierr = MatFDColoringView_Private(c);CHKERRQ(ierr); 432639f9d9dSBarry Smith 433639f9d9dSBarry Smith *color = c; 434031bc83fSSatish Balay PLogEventEnd(MAT_FDColoringCreate,mat,0,0,0); 4353a40ed3dSBarry Smith PetscFunctionReturn(0); 436bbf0e169SBarry Smith } 437bbf0e169SBarry Smith 4385615d1e5SSatish Balay #undef __FUNC__ 439b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringDestroy" 440bbf0e169SBarry Smith /*@C 441639f9d9dSBarry Smith MatFDColoringDestroy - Destroys a matrix coloring context that was created 442639f9d9dSBarry Smith via MatFDColoringCreate(). 443bbf0e169SBarry Smith 444ef5ee4d1SLois Curfman McInnes Collective on MatFDColoring 445ef5ee4d1SLois Curfman McInnes 446b4fc646aSLois Curfman McInnes Input Parameter: 447639f9d9dSBarry Smith . c - coloring context 448bbf0e169SBarry Smith 44915091d37SBarry Smith Level: intermediate 45015091d37SBarry Smith 451639f9d9dSBarry Smith .seealso: MatFDColoringCreate() 452bbf0e169SBarry Smith @*/ 453639f9d9dSBarry Smith int MatFDColoringDestroy(MatFDColoring c) 454bbf0e169SBarry Smith { 455263760aaSBarry Smith int i,ierr; 456bbf0e169SBarry Smith 4573a40ed3dSBarry Smith PetscFunctionBegin; 4583a40ed3dSBarry Smith if (--c->refct > 0) PetscFunctionReturn(0); 459d4bb536fSBarry Smith 460639f9d9dSBarry Smith for (i=0; i<c->ncolors; i++) { 461606d414cSSatish Balay if (c->columns[i]) {ierr = PetscFree(c->columns[i]);CHKERRQ(ierr);} 462606d414cSSatish Balay if (c->rows[i]) {ierr = PetscFree(c->rows[i]);CHKERRQ(ierr);} 463606d414cSSatish Balay if (c->columnsforrow[i]) {ierr = PetscFree(c->columnsforrow[i]);CHKERRQ(ierr);} 46430b34957SBarry Smith if (c->vscaleforrow && c->vscaleforrow[i]) {ierr = PetscFree(c->vscaleforrow[i]);CHKERRQ(ierr);} 465bbf0e169SBarry Smith } 466606d414cSSatish Balay ierr = PetscFree(c->ncolumns);CHKERRQ(ierr); 467606d414cSSatish Balay ierr = PetscFree(c->columns);CHKERRQ(ierr); 468606d414cSSatish Balay ierr = PetscFree(c->nrows);CHKERRQ(ierr); 469606d414cSSatish Balay ierr = PetscFree(c->rows);CHKERRQ(ierr); 470606d414cSSatish Balay ierr = PetscFree(c->columnsforrow);CHKERRQ(ierr); 47130b34957SBarry Smith if (c->vscaleforrow) {ierr = PetscFree(c->vscaleforrow);CHKERRQ(ierr);} 4724f113abfSBarry Smith if (c->vscale) {ierr = VecDestroy(c->vscale);CHKERRQ(ierr);} 473005c665bSBarry Smith if (c->w1) { 474005c665bSBarry Smith ierr = VecDestroy(c->w1);CHKERRQ(ierr); 475005c665bSBarry Smith ierr = VecDestroy(c->w2);CHKERRQ(ierr); 476005c665bSBarry Smith ierr = VecDestroy(c->w3);CHKERRQ(ierr); 477005c665bSBarry Smith } 478639f9d9dSBarry Smith PLogObjectDestroy(c); 479639f9d9dSBarry Smith PetscHeaderDestroy(c); 4803a40ed3dSBarry Smith PetscFunctionReturn(0); 481bbf0e169SBarry Smith } 48243a90d84SBarry Smith 483005c665bSBarry Smith 4845615d1e5SSatish Balay #undef __FUNC__ 485b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringApply" 48643a90d84SBarry Smith /*@ 487e0907662SLois Curfman McInnes MatFDColoringApply - Given a matrix for which a MatFDColoring context 488e0907662SLois Curfman McInnes has been created, computes the Jacobian for a function via finite differences. 48943a90d84SBarry Smith 490fee21e36SBarry Smith Collective on MatFDColoring 491fee21e36SBarry Smith 492ef5ee4d1SLois Curfman McInnes Input Parameters: 493ef5ee4d1SLois Curfman McInnes + mat - location to store Jacobian 494ef5ee4d1SLois Curfman McInnes . coloring - coloring context created with MatFDColoringCreate() 495ef5ee4d1SLois Curfman McInnes . x1 - location at which Jacobian is to be computed 496ef5ee4d1SLois Curfman McInnes - sctx - optional context required by function (actually a SNES context) 497ef5ee4d1SLois Curfman McInnes 4988bba8e72SBarry Smith Options Database Keys: 499ef5ee4d1SLois Curfman McInnes . -mat_fd_coloring_freq <freq> - Sets coloring frequency 5008bba8e72SBarry Smith 50115091d37SBarry Smith Level: intermediate 50215091d37SBarry Smith 50343a90d84SBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringDestroy(), MatFDColoringView() 50443a90d84SBarry Smith 50543a90d84SBarry Smith .keywords: coloring, Jacobian, finite differences 50643a90d84SBarry Smith @*/ 507005c665bSBarry Smith int MatFDColoringApply(Mat J,MatFDColoring coloring,Vec x1,MatStructure *flag,void *sctx) 50843a90d84SBarry Smith { 5095904e1b1SBarry Smith int (*f)(void *,Vec,Vec,void*)= (int (*)(void *,Vec,Vec,void *))coloring->f; 5105904e1b1SBarry Smith int k,ierr,N,start,end,l,row,col,srow,**vscaleforrow; 5115904e1b1SBarry Smith Scalar dx,mone = -1.0,*y,*xx,*w3_array; 5124f113abfSBarry Smith Scalar *vscale_array; 513329f5518SBarry Smith PetscReal epsilon = coloring->error_rel,umin = coloring->umin; 51443a90d84SBarry Smith MPI_Comm comm = coloring->comm; 515005c665bSBarry Smith Vec w1,w2,w3; 516005c665bSBarry Smith void *fctx = coloring->fctx; 517f1af5d2fSBarry Smith PetscTruth flg; 518005c665bSBarry Smith 5193a40ed3dSBarry Smith PetscFunctionBegin; 520e0907662SLois Curfman McInnes PetscValidHeaderSpecific(J,MAT_COOKIE); 521e0907662SLois Curfman McInnes PetscValidHeaderSpecific(coloring,MAT_FDCOLORING_COOKIE); 522e0907662SLois Curfman McInnes PetscValidHeaderSpecific(x1,VEC_COOKIE); 523e0907662SLois Curfman McInnes 524031bc83fSSatish Balay PLogEventBegin(MAT_FDColoringApply,coloring,J,x1,0); 525005c665bSBarry Smith if (!coloring->w1) { 526005c665bSBarry Smith ierr = VecDuplicate(x1,&coloring->w1);CHKERRQ(ierr); 527005c665bSBarry Smith PLogObjectParent(coloring,coloring->w1); 528005c665bSBarry Smith ierr = VecDuplicate(x1,&coloring->w2);CHKERRQ(ierr); 529005c665bSBarry Smith PLogObjectParent(coloring,coloring->w2); 530005c665bSBarry Smith ierr = VecDuplicate(x1,&coloring->w3);CHKERRQ(ierr); 531005c665bSBarry Smith PLogObjectParent(coloring,coloring->w3); 532005c665bSBarry Smith } 533005c665bSBarry Smith w1 = coloring->w1; w2 = coloring->w2; w3 = coloring->w3; 53443a90d84SBarry Smith 5354c49b128SBarry Smith ierr = MatSetUnfactored(J);CHKERRQ(ierr); 536f1af5d2fSBarry Smith ierr = OptionsHasName(PETSC_NULL,"-mat_fd_coloring_dont_rezero",&flg);CHKERRQ(ierr); 537f1af5d2fSBarry Smith if (flg) { 538e0907662SLois Curfman McInnes PLogInfo(coloring,"MatFDColoringApply: Not calling MatZeroEntries()\n"); 539e0907662SLois Curfman McInnes } else { 54043a90d84SBarry Smith ierr = MatZeroEntries(J);CHKERRQ(ierr); 541e0907662SLois Curfman McInnes } 54243a90d84SBarry Smith 54343a90d84SBarry Smith ierr = VecGetOwnershipRange(x1,&start,&end);CHKERRQ(ierr); 54443a90d84SBarry Smith ierr = VecGetSize(x1,&N);CHKERRQ(ierr); 54543a90d84SBarry Smith ierr = (*f)(sctx,x1,w1,fctx);CHKERRQ(ierr); 54643a90d84SBarry Smith 54743a90d84SBarry Smith /* 5489782cf98SBarry Smith Compute all the scale factors and share with other processors 5499782cf98SBarry Smith */ 5509782cf98SBarry Smith ierr = VecGetArray(x1,&xx);CHKERRQ(ierr);xx = xx - start; 5514f113abfSBarry Smith ierr = VecGetArray(coloring->vscale,&vscale_array);CHKERRQ(ierr);vscale_array = vscale_array - start; 5529782cf98SBarry Smith for (k=0; k<coloring->ncolors; k++) { 5539782cf98SBarry Smith /* 5549782cf98SBarry Smith Loop over each column associated with color adding the 5559782cf98SBarry Smith perturbation to the vector w3. 5569782cf98SBarry Smith */ 5579782cf98SBarry Smith for (l=0; l<coloring->ncolumns[k]; l++) { 5589782cf98SBarry Smith col = coloring->columns[k][l]; /* column of the matrix we are probing for */ 5599782cf98SBarry Smith dx = xx[col]; 5609782cf98SBarry Smith if (dx == 0.0) dx = 1.0; 5619782cf98SBarry Smith #if !defined(PETSC_USE_COMPLEX) 5629782cf98SBarry Smith if (dx < umin && dx >= 0.0) dx = umin; 5639782cf98SBarry Smith else if (dx < 0.0 && dx > -umin) dx = -umin; 5649782cf98SBarry Smith #else 5659782cf98SBarry Smith if (PetscAbsScalar(dx) < umin && PetscRealPart(dx) >= 0.0) dx = umin; 5669782cf98SBarry Smith else if (PetscRealPart(dx) < 0.0 && PetscAbsScalar(dx) < umin) dx = -umin; 5679782cf98SBarry Smith #endif 5689782cf98SBarry Smith dx *= epsilon; 56930b34957SBarry Smith vscale_array[col] = 1.0/dx; 5709782cf98SBarry Smith } 5719782cf98SBarry Smith } 5724f113abfSBarry Smith vscale_array = vscale_array - start;ierr = VecRestoreArray(coloring->vscale,&vscale_array);CHKERRQ(ierr); 57330b34957SBarry Smith ierr = VecGhostUpdateBegin(coloring->vscale,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 57430b34957SBarry Smith ierr = VecGhostUpdateEnd(coloring->vscale,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 5759782cf98SBarry Smith 57630b34957SBarry Smith if (coloring->vscaleforrow) vscaleforrow = coloring->vscaleforrow; 57730b34957SBarry Smith else vscaleforrow = coloring->columnsforrow; 57830b34957SBarry Smith 57930b34957SBarry Smith ierr = VecGetArray(coloring->vscale,&vscale_array);CHKERRQ(ierr); 5809782cf98SBarry Smith /* 58143a90d84SBarry Smith Loop over each color 58243a90d84SBarry Smith */ 58343a90d84SBarry Smith for (k=0; k<coloring->ncolors; k++) { 58443a90d84SBarry Smith ierr = VecCopy(x1,w3);CHKERRQ(ierr); 58542460c72SBarry Smith ierr = VecGetArray(w3,&w3_array);CHKERRQ(ierr);w3_array = w3_array - start; 58643a90d84SBarry Smith /* 58743a90d84SBarry Smith Loop over each column associated with color adding the 58843a90d84SBarry Smith perturbation to the vector w3. 58943a90d84SBarry Smith */ 59043a90d84SBarry Smith for (l=0; l<coloring->ncolumns[k]; l++) { 59143a90d84SBarry Smith col = coloring->columns[k][l]; /* column of the matrix we are probing for */ 59242460c72SBarry Smith dx = xx[col]; 593ae09f205SBarry Smith if (dx == 0.0) dx = 1.0; 594aa482453SBarry Smith #if !defined(PETSC_USE_COMPLEX) 595ae09f205SBarry Smith if (dx < umin && dx >= 0.0) dx = umin; 596ae09f205SBarry Smith else if (dx < 0.0 && dx > -umin) dx = -umin; 59743a90d84SBarry Smith #else 598329f5518SBarry Smith if (PetscAbsScalar(dx) < umin && PetscRealPart(dx) >= 0.0) dx = umin; 599329f5518SBarry Smith else if (PetscRealPart(dx) < 0.0 && PetscAbsScalar(dx) < umin) dx = -umin; 60043a90d84SBarry Smith #endif 60143a90d84SBarry Smith dx *= epsilon; 60242460c72SBarry Smith w3_array[col] += dx; 60343a90d84SBarry Smith } 60442460c72SBarry Smith w3_array = w3_array + start; ierr = VecRestoreArray(w3,&w3_array);CHKERRQ(ierr); 6053b28642cSBarry Smith 60643a90d84SBarry Smith /* 607e0907662SLois Curfman McInnes Evaluate function at x1 + dx (here dx is a vector of perturbations) 60843a90d84SBarry Smith */ 60943a90d84SBarry Smith ierr = (*f)(sctx,w3,w2,fctx);CHKERRQ(ierr); 61043a90d84SBarry Smith ierr = VecAXPY(&mone,w1,w2);CHKERRQ(ierr); 6119782cf98SBarry Smith 61243a90d84SBarry Smith /* 613e0907662SLois Curfman McInnes Loop over rows of vector, putting results into Jacobian matrix 61443a90d84SBarry Smith */ 6153b28642cSBarry Smith ierr = VecGetArray(w2,&y);CHKERRQ(ierr); 61643a90d84SBarry Smith for (l=0; l<coloring->nrows[k]; l++) { 61743a90d84SBarry Smith row = coloring->rows[k][l]; 61843a90d84SBarry Smith col = coloring->columnsforrow[k][l]; 6195904e1b1SBarry Smith y[row] *= vscale_array[vscaleforrow[k][l]]; 62043a90d84SBarry Smith srow = row + start; 62143a90d84SBarry Smith ierr = MatSetValues(J,1,&srow,1,&col,y+row,INSERT_VALUES);CHKERRQ(ierr); 62243a90d84SBarry Smith } 6233b28642cSBarry Smith ierr = VecRestoreArray(w2,&y);CHKERRQ(ierr); 62443a90d84SBarry Smith } 62530b34957SBarry Smith ierr = VecRestoreArray(coloring->vscale,&vscale_array);CHKERRQ(ierr); 62642460c72SBarry Smith xx = xx + start; ierr = VecRestoreArray(x1,&xx);CHKERRQ(ierr); 62743a90d84SBarry Smith ierr = MatAssemblyBegin(J,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 62843a90d84SBarry Smith ierr = MatAssemblyEnd(J,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 629031bc83fSSatish Balay PLogEventEnd(MAT_FDColoringApply,coloring,J,x1,0); 6303a40ed3dSBarry Smith PetscFunctionReturn(0); 63143a90d84SBarry Smith } 632840b8ebdSBarry Smith 633840b8ebdSBarry Smith #undef __FUNC__ 634b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatFDColoringApplyTS" 635840b8ebdSBarry Smith /*@ 636840b8ebdSBarry Smith MatFDColoringApplyTS - Given a matrix for which a MatFDColoring context 637840b8ebdSBarry Smith has been created, computes the Jacobian for a function via finite differences. 638840b8ebdSBarry Smith 639fee21e36SBarry Smith Collective on Mat, MatFDColoring, and Vec 640fee21e36SBarry Smith 641ef5ee4d1SLois Curfman McInnes Input Parameters: 6423b28642cSBarry Smith + mat - location to store Jacobian 643ef5ee4d1SLois Curfman McInnes . coloring - coloring context created with MatFDColoringCreate() 644ef5ee4d1SLois Curfman McInnes . x1 - location at which Jacobian is to be computed 645ef5ee4d1SLois Curfman McInnes - sctx - optional context required by function (actually a SNES context) 646ef5ee4d1SLois Curfman McInnes 647840b8ebdSBarry Smith Options Database Keys: 648ef5ee4d1SLois Curfman McInnes . -mat_fd_coloring_freq <freq> - Sets coloring frequency 649840b8ebdSBarry Smith 65015091d37SBarry Smith Level: intermediate 65115091d37SBarry Smith 652840b8ebdSBarry Smith .seealso: MatFDColoringCreate(), MatFDColoringDestroy(), MatFDColoringView() 653840b8ebdSBarry Smith 654840b8ebdSBarry Smith .keywords: coloring, Jacobian, finite differences 655840b8ebdSBarry Smith @*/ 656329f5518SBarry Smith int MatFDColoringApplyTS(Mat J,MatFDColoring coloring,PetscReal t,Vec x1,MatStructure *flag,void *sctx) 657840b8ebdSBarry Smith { 658329f5518SBarry Smith int (*f)(void *,PetscReal,Vec,Vec,void*)= (int (*)(void *,PetscReal,Vec,Vec,void *))coloring->f; 6595904e1b1SBarry Smith int k,ierr,N,start,end,l,row,col,srow,**vscaleforrow; 6605904e1b1SBarry Smith Scalar dx,mone = -1.0,*y,*xx,*w3_array; 6615904e1b1SBarry Smith Scalar *vscale_array; 662329f5518SBarry Smith PetscReal epsilon = coloring->error_rel,umin = coloring->umin; 663840b8ebdSBarry Smith MPI_Comm comm = coloring->comm; 664840b8ebdSBarry Smith Vec w1,w2,w3; 665840b8ebdSBarry Smith void *fctx = coloring->fctx; 666f1af5d2fSBarry Smith PetscTruth flg; 667840b8ebdSBarry Smith 6683a40ed3dSBarry Smith PetscFunctionBegin; 669840b8ebdSBarry Smith PetscValidHeaderSpecific(J,MAT_COOKIE); 670840b8ebdSBarry Smith PetscValidHeaderSpecific(coloring,MAT_FDCOLORING_COOKIE); 671840b8ebdSBarry Smith PetscValidHeaderSpecific(x1,VEC_COOKIE); 672840b8ebdSBarry Smith 673031bc83fSSatish Balay PLogEventBegin(MAT_FDColoringApply,coloring,J,x1,0); 674840b8ebdSBarry Smith if (!coloring->w1) { 675840b8ebdSBarry Smith ierr = VecDuplicate(x1,&coloring->w1);CHKERRQ(ierr); 676840b8ebdSBarry Smith PLogObjectParent(coloring,coloring->w1); 677840b8ebdSBarry Smith ierr = VecDuplicate(x1,&coloring->w2);CHKERRQ(ierr); 678840b8ebdSBarry Smith PLogObjectParent(coloring,coloring->w2); 679840b8ebdSBarry Smith ierr = VecDuplicate(x1,&coloring->w3);CHKERRQ(ierr); 680840b8ebdSBarry Smith PLogObjectParent(coloring,coloring->w3); 681840b8ebdSBarry Smith } 682840b8ebdSBarry Smith w1 = coloring->w1; w2 = coloring->w2; w3 = coloring->w3; 683840b8ebdSBarry Smith 6845904e1b1SBarry Smith ierr = MatSetUnfactored(J);CHKERRQ(ierr); 685f1af5d2fSBarry Smith ierr = OptionsHasName(PETSC_NULL,"-mat_fd_coloring_dont_rezero",&flg);CHKERRQ(ierr); 686f1af5d2fSBarry Smith if (flg) { 6875904e1b1SBarry Smith PLogInfo(coloring,"MatFDColoringApply: Not calling MatZeroEntries()\n"); 688840b8ebdSBarry Smith } else { 689840b8ebdSBarry Smith ierr = MatZeroEntries(J);CHKERRQ(ierr); 690840b8ebdSBarry Smith } 691840b8ebdSBarry Smith 692840b8ebdSBarry Smith ierr = VecGetOwnershipRange(x1,&start,&end);CHKERRQ(ierr); 693840b8ebdSBarry Smith ierr = VecGetSize(x1,&N);CHKERRQ(ierr); 694840b8ebdSBarry Smith ierr = (*f)(sctx,t,x1,w1,fctx);CHKERRQ(ierr); 695840b8ebdSBarry Smith 696840b8ebdSBarry Smith /* 6975904e1b1SBarry Smith Compute all the scale factors and share with other processors 698840b8ebdSBarry Smith */ 6995904e1b1SBarry Smith ierr = VecGetArray(x1,&xx);CHKERRQ(ierr);xx = xx - start; 7005904e1b1SBarry Smith ierr = VecGetArray(coloring->vscale,&vscale_array);CHKERRQ(ierr);vscale_array = vscale_array - start; 701840b8ebdSBarry Smith for (k=0; k<coloring->ncolors; k++) { 702840b8ebdSBarry Smith /* 703840b8ebdSBarry Smith Loop over each column associated with color adding the 704840b8ebdSBarry Smith perturbation to the vector w3. 705840b8ebdSBarry Smith */ 706840b8ebdSBarry Smith for (l=0; l<coloring->ncolumns[k]; l++) { 707840b8ebdSBarry Smith col = coloring->columns[k][l]; /* column of the matrix we are probing for */ 7085904e1b1SBarry Smith dx = xx[col]; 709840b8ebdSBarry Smith if (dx == 0.0) dx = 1.0; 710aa482453SBarry Smith #if !defined(PETSC_USE_COMPLEX) 711840b8ebdSBarry Smith if (dx < umin && dx >= 0.0) dx = umin; 712840b8ebdSBarry Smith else if (dx < 0.0 && dx > -umin) dx = -umin; 713840b8ebdSBarry Smith #else 714329f5518SBarry Smith if (PetscAbsScalar(dx) < umin && PetscRealPart(dx) >= 0.0) dx = umin; 715329f5518SBarry Smith else if (PetscRealPart(dx) < 0.0 && PetscAbsScalar(dx) < umin) dx = -umin; 716840b8ebdSBarry Smith #endif 717840b8ebdSBarry Smith dx *= epsilon; 7185904e1b1SBarry Smith vscale_array[col] = 1.0/dx; 719840b8ebdSBarry Smith } 7205904e1b1SBarry Smith } 7215904e1b1SBarry Smith vscale_array = vscale_array - start;ierr = VecRestoreArray(coloring->vscale,&vscale_array);CHKERRQ(ierr); 7225904e1b1SBarry Smith ierr = VecGhostUpdateBegin(coloring->vscale,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 7235904e1b1SBarry Smith ierr = VecGhostUpdateEnd(coloring->vscale,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 7245904e1b1SBarry Smith 7255904e1b1SBarry Smith if (coloring->vscaleforrow) vscaleforrow = coloring->vscaleforrow; 7265904e1b1SBarry Smith else vscaleforrow = coloring->columnsforrow; 7275904e1b1SBarry Smith 7285904e1b1SBarry Smith ierr = VecGetArray(coloring->vscale,&vscale_array);CHKERRQ(ierr); 7295904e1b1SBarry Smith /* 7305904e1b1SBarry Smith Loop over each color 7315904e1b1SBarry Smith */ 7325904e1b1SBarry Smith for (k=0; k<coloring->ncolors; k++) { 7335904e1b1SBarry Smith ierr = VecCopy(x1,w3);CHKERRQ(ierr); 7345904e1b1SBarry Smith ierr = VecGetArray(w3,&w3_array);CHKERRQ(ierr);w3_array = w3_array - start; 7355904e1b1SBarry Smith /* 7365904e1b1SBarry Smith Loop over each column associated with color adding the 7375904e1b1SBarry Smith perturbation to the vector w3. 7385904e1b1SBarry Smith */ 7395904e1b1SBarry Smith for (l=0; l<coloring->ncolumns[k]; l++) { 7405904e1b1SBarry Smith col = coloring->columns[k][l]; /* column of the matrix we are probing for */ 7415904e1b1SBarry Smith dx = xx[col]; 7425904e1b1SBarry Smith if (dx == 0.0) dx = 1.0; 7435904e1b1SBarry Smith #if !defined(PETSC_USE_COMPLEX) 7445904e1b1SBarry Smith if (dx < umin && dx >= 0.0) dx = umin; 7455904e1b1SBarry Smith else if (dx < 0.0 && dx > -umin) dx = -umin; 7465904e1b1SBarry Smith #else 7475904e1b1SBarry Smith if (PetscAbsScalar(dx) < umin && PetscRealPart(dx) >= 0.0) dx = umin; 7485904e1b1SBarry Smith else if (PetscRealPart(dx) < 0.0 && PetscAbsScalar(dx) < umin) dx = -umin; 7495904e1b1SBarry Smith #endif 7505904e1b1SBarry Smith dx *= epsilon; 7515904e1b1SBarry Smith w3_array[col] += dx; 7525904e1b1SBarry Smith } 7535904e1b1SBarry Smith w3_array = w3_array + start; ierr = VecRestoreArray(w3,&w3_array);CHKERRQ(ierr); 7545904e1b1SBarry Smith 755840b8ebdSBarry Smith /* 756840b8ebdSBarry Smith Evaluate function at x1 + dx (here dx is a vector of perturbations) 757840b8ebdSBarry Smith */ 758840b8ebdSBarry Smith ierr = (*f)(sctx,t,w3,w2,fctx);CHKERRQ(ierr); 759840b8ebdSBarry Smith ierr = VecAXPY(&mone,w1,w2);CHKERRQ(ierr); 7605904e1b1SBarry Smith 761840b8ebdSBarry Smith /* 762840b8ebdSBarry Smith Loop over rows of vector, putting results into Jacobian matrix 763840b8ebdSBarry Smith */ 7643b28642cSBarry Smith ierr = VecGetArray(w2,&y);CHKERRQ(ierr); 765840b8ebdSBarry Smith for (l=0; l<coloring->nrows[k]; l++) { 766840b8ebdSBarry Smith row = coloring->rows[k][l]; 767840b8ebdSBarry Smith col = coloring->columnsforrow[k][l]; 7685904e1b1SBarry Smith y[row] *= vscale_array[vscaleforrow[k][l]]; 769840b8ebdSBarry Smith srow = row + start; 770840b8ebdSBarry Smith ierr = MatSetValues(J,1,&srow,1,&col,y+row,INSERT_VALUES);CHKERRQ(ierr); 771840b8ebdSBarry Smith } 7723b28642cSBarry Smith ierr = VecRestoreArray(w2,&y);CHKERRQ(ierr); 773840b8ebdSBarry Smith } 7745904e1b1SBarry Smith ierr = VecRestoreArray(coloring->vscale,&vscale_array);CHKERRQ(ierr); 7755904e1b1SBarry Smith xx = xx + start; ierr = VecRestoreArray(x1,&xx);CHKERRQ(ierr); 776840b8ebdSBarry Smith ierr = MatAssemblyBegin(J,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 777031bc83fSSatish Balay PLogEventEnd(MAT_FDColoringApply,coloring,J,x1,0); 778840b8ebdSBarry Smith ierr = MatAssemblyEnd(J,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 7793a40ed3dSBarry Smith PetscFunctionReturn(0); 780840b8ebdSBarry Smith } 7813b28642cSBarry Smith 7823b28642cSBarry Smith 7833b28642cSBarry Smith 784