Actual source code: matrix.c
1: #define PETSCMAT_DLL
3: /*
4: This is where the abstract matrix operations are defined
5: */
7: #include include/private/matimpl.h
8: #include private/vecimpl.h
10: /* Logging support */
11: PetscCookie MAT_COOKIE = 0;
12: PetscEvent MAT_Mult = 0, MAT_Mults = 0, MAT_MultConstrained = 0, MAT_MultAdd = 0, MAT_MultTranspose = 0;
13: PetscEvent MAT_MultTransposeConstrained = 0, MAT_MultTransposeAdd = 0, MAT_Solve = 0, MAT_Solves = 0, MAT_SolveAdd = 0, MAT_SolveTranspose = 0, MAT_MatSolve = 0;
14: PetscEvent MAT_SolveTransposeAdd = 0, MAT_Relax = 0, MAT_ForwardSolve = 0, MAT_BackwardSolve = 0, MAT_LUFactor = 0, MAT_LUFactorSymbolic = 0;
15: PetscEvent MAT_LUFactorNumeric = 0, MAT_CholeskyFactor = 0, MAT_CholeskyFactorSymbolic = 0, MAT_CholeskyFactorNumeric = 0, MAT_ILUFactor = 0;
16: PetscEvent MAT_ILUFactorSymbolic = 0, MAT_ICCFactorSymbolic = 0, MAT_Copy = 0, MAT_Convert = 0, MAT_Scale = 0, MAT_AssemblyBegin = 0;
17: PetscEvent MAT_AssemblyEnd = 0, MAT_SetValues = 0, MAT_GetValues = 0, MAT_GetRow = 0, MAT_GetRowIJ = 0, MAT_GetSubMatrices = 0, MAT_GetColoring = 0, MAT_GetOrdering = 0, MAT_GetRedundantMatrix = 0;
18: PetscEvent MAT_IncreaseOverlap = 0, MAT_Partitioning = 0, MAT_ZeroEntries = 0, MAT_Load = 0, MAT_View = 0, MAT_AXPY = 0, MAT_FDColoringCreate = 0;
19: PetscEvent MAT_FDColoringApply = 0,MAT_Transpose = 0,MAT_FDColoringFunction = 0;
20: PetscEvent MAT_MatMult = 0, MAT_MatMultSymbolic = 0, MAT_MatMultNumeric = 0;
21: PetscEvent MAT_PtAP = 0, MAT_PtAPSymbolic = 0, MAT_PtAPNumeric = 0;
22: PetscEvent MAT_MatMultTranspose = 0, MAT_MatMultTransposeSymbolic = 0, MAT_MatMultTransposeNumeric = 0;
24: /* nasty global values for MatSetValue() */
25: PetscInt MatSetValue_Row = 0;
26: PetscInt MatSetValue_Column = 0;
27: PetscScalar MatSetValue_Value = 0.0;
31: /*@
32: MatRealPart - Zeros out the imaginary part of the matrix
34: Collective on Mat
36: Input Parameters:
37: . mat - the matrix
39: Level: advanced
42: .seealso: MatImaginaryPart()
43: @*/
45: PetscErrorCode MatRealPart(Mat mat)
46: {
52: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
53: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
54: if (!mat->ops->realpart) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
55: MatPreallocated(mat);
56: (*mat->ops->realpart)(mat);
57: return(0);
58: }
62: /*@
63: MatImaginaryPart - Moves the imaginary part of the matrix to the real part and zeros the imaginary part
65: Collective on Mat
67: Input Parameters:
68: . mat - the matrix
70: Level: advanced
73: .seealso: MatRealPart()
74: @*/
76: PetscErrorCode MatImaginaryPart(Mat mat)
77: {
83: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
84: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
85: if (!mat->ops->imaginarypart) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
86: MatPreallocated(mat);
87: (*mat->ops->imaginarypart)(mat);
88: return(0);
89: }
93: /*@C
94: MatGetRow - Gets a row of a matrix. You MUST call MatRestoreRow()
95: for each row that you get to ensure that your application does
96: not bleed memory.
98: Not Collective
100: Input Parameters:
101: + mat - the matrix
102: - row - the row to get
104: Output Parameters:
105: + ncols - if not NULL, the number of nonzeros in the row
106: . cols - if not NULL, the column numbers
107: - vals - if not NULL, the values
109: Notes:
110: This routine is provided for people who need to have direct access
111: to the structure of a matrix. We hope that we provide enough
112: high-level matrix routines that few users will need it.
114: MatGetRow() always returns 0-based column indices, regardless of
115: whether the internal representation is 0-based (default) or 1-based.
117: For better efficiency, set cols and/or vals to PETSC_NULL if you do
118: not wish to extract these quantities.
120: The user can only examine the values extracted with MatGetRow();
121: the values cannot be altered. To change the matrix entries, one
122: must use MatSetValues().
124: You can only have one call to MatGetRow() outstanding for a particular
125: matrix at a time, per processor. MatGetRow() can only obtain rows
126: associated with the given processor, it cannot get rows from the
127: other processors; for that we suggest using MatGetSubMatrices(), then
128: MatGetRow() on the submatrix. The row indix passed to MatGetRows()
129: is in the global number of rows.
131: Fortran Notes:
132: The calling sequence from Fortran is
133: .vb
134: MatGetRow(matrix,row,ncols,cols,values,ierr)
135: Mat matrix (input)
136: integer row (input)
137: integer ncols (output)
138: integer cols(maxcols) (output)
139: double precision (or double complex) values(maxcols) output
140: .ve
141: where maxcols >= maximum nonzeros in any row of the matrix.
144: Caution:
145: Do not try to change the contents of the output arrays (cols and vals).
146: In some cases, this may corrupt the matrix.
148: Level: advanced
150: Concepts: matrices^row access
152: .seealso: MatRestoreRow(), MatSetValues(), MatGetValues(), MatGetSubMatrices(), MatGetDiagonal()
153: @*/
155: PetscErrorCode MatGetRow(Mat mat,PetscInt row,PetscInt *ncols,const PetscInt *cols[],const PetscScalar *vals[])
156: {
158: PetscInt incols;
163: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
164: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
165: if (!mat->ops->getrow) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
166: MatPreallocated(mat);
168: (*mat->ops->getrow)(mat,row,&incols,(PetscInt **)cols,(PetscScalar **)vals);
169: if (ncols) *ncols = incols;
171: return(0);
172: }
176: /*@
177: MatConjugate - replaces the matrix values with their complex conjugates
179: Collective on Mat
181: Input Parameters:
182: . mat - the matrix
184: Level: advanced
186: .seealso: VecConjugate()
187: @*/
188: PetscErrorCode MatConjugate(Mat mat)
189: {
194: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
195: if (!mat->ops->conjugate) SETERRQ(PETSC_ERR_SUP,"Not provided for this matrix format, send email to petsc-maint@mcs.anl.gov");
196: (*mat->ops->conjugate)(mat);
197: return(0);
198: }
202: /*@C
203: MatRestoreRow - Frees any temporary space allocated by MatGetRow().
205: Not Collective
207: Input Parameters:
208: + mat - the matrix
209: . row - the row to get
210: . ncols, cols - the number of nonzeros and their columns
211: - vals - if nonzero the column values
213: Notes:
214: This routine should be called after you have finished examining the entries.
216: Fortran Notes:
217: The calling sequence from Fortran is
218: .vb
219: MatRestoreRow(matrix,row,ncols,cols,values,ierr)
220: Mat matrix (input)
221: integer row (input)
222: integer ncols (output)
223: integer cols(maxcols) (output)
224: double precision (or double complex) values(maxcols) output
225: .ve
226: Where maxcols >= maximum nonzeros in any row of the matrix.
228: In Fortran MatRestoreRow() MUST be called after MatGetRow()
229: before another call to MatGetRow() can be made.
231: Level: advanced
233: .seealso: MatGetRow()
234: @*/
235: PetscErrorCode MatRestoreRow(Mat mat,PetscInt row,PetscInt *ncols,const PetscInt *cols[],const PetscScalar *vals[])
236: {
242: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
243: if (!mat->ops->restorerow) return(0);
244: (*mat->ops->restorerow)(mat,row,ncols,(PetscInt **)cols,(PetscScalar **)vals);
245: return(0);
246: }
250: /*@C
251: MatGetRowUpperTriangular - Sets a flag to enable calls to MatGetRow() for matrix in MATSBAIJ format.
252: You should call MatRestoreRowUpperTriangular() after calling MatGetRow/MatRestoreRow() to disable the flag.
254: Not Collective
256: Input Parameters:
257: + mat - the matrix
259: Notes:
260: The flag is to ensure that users are aware of MatGetRow() only provides the upper trianglular part of the row for the matrices in MATSBAIJ format.
262: Level: advanced
264: Concepts: matrices^row access
266: .seealso: MatRestoreRowRowUpperTriangular()
267: @*/
269: PetscErrorCode MatGetRowUpperTriangular(Mat mat)
270: {
276: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
277: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
278: if (!mat->ops->getrowuppertriangular) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
279: MatPreallocated(mat);
280: (*mat->ops->getrowuppertriangular)(mat);
281: return(0);
282: }
286: /*@C
287: MatRestoreRowUpperTriangular - Disable calls to MatGetRow() for matrix in MATSBAIJ format.
289: Not Collective
291: Input Parameters:
292: + mat - the matrix
294: Notes:
295: This routine should be called after you have finished MatGetRow/MatRestoreRow().
298: Level: advanced
300: .seealso: MatGetRowUpperTriangular()
301: @*/
302: PetscErrorCode MatRestoreRowUpperTriangular(Mat mat)
303: {
308: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
309: if (!mat->ops->restorerowuppertriangular) return(0);
310: (*mat->ops->restorerowuppertriangular)(mat);
311: return(0);
312: }
316: /*@C
317: MatSetOptionsPrefix - Sets the prefix used for searching for all
318: Mat options in the database.
320: Collective on Mat
322: Input Parameter:
323: + A - the Mat context
324: - prefix - the prefix to prepend to all option names
326: Notes:
327: A hyphen (-) must NOT be given at the beginning of the prefix name.
328: The first character of all runtime options is AUTOMATICALLY the hyphen.
330: Level: advanced
332: .keywords: Mat, set, options, prefix, database
334: .seealso: MatSetFromOptions()
335: @*/
336: PetscErrorCode MatSetOptionsPrefix(Mat A,const char prefix[])
337: {
342: PetscObjectSetOptionsPrefix((PetscObject)A,prefix);
343: return(0);
344: }
348: /*@C
349: MatAppendOptionsPrefix - Appends to the prefix used for searching for all
350: Mat options in the database.
352: Collective on Mat
354: Input Parameters:
355: + A - the Mat context
356: - prefix - the prefix to prepend to all option names
358: Notes:
359: A hyphen (-) must NOT be given at the beginning of the prefix name.
360: The first character of all runtime options is AUTOMATICALLY the hyphen.
362: Level: advanced
364: .keywords: Mat, append, options, prefix, database
366: .seealso: MatGetOptionsPrefix()
367: @*/
368: PetscErrorCode MatAppendOptionsPrefix(Mat A,const char prefix[])
369: {
371:
374: PetscObjectAppendOptionsPrefix((PetscObject)A,prefix);
375: return(0);
376: }
380: /*@C
381: MatGetOptionsPrefix - Sets the prefix used for searching for all
382: Mat options in the database.
384: Not Collective
386: Input Parameter:
387: . A - the Mat context
389: Output Parameter:
390: . prefix - pointer to the prefix string used
392: Notes: On the fortran side, the user should pass in a string 'prefix' of
393: sufficient length to hold the prefix.
395: Level: advanced
397: .keywords: Mat, get, options, prefix, database
399: .seealso: MatAppendOptionsPrefix()
400: @*/
401: PetscErrorCode MatGetOptionsPrefix(Mat A,const char *prefix[])
402: {
407: PetscObjectGetOptionsPrefix((PetscObject)A,prefix);
408: return(0);
409: }
413: /*@
414: MatSetUp - Sets up the internal matrix data structures for the later use.
416: Collective on Mat
418: Input Parameters:
419: . A - the Mat context
421: Notes:
422: For basic use of the Mat classes the user need not explicitly call
423: MatSetUp(), since these actions will happen automatically.
425: Level: advanced
427: .keywords: Mat, setup
429: .seealso: MatCreate(), MatDestroy()
430: @*/
431: PetscErrorCode MatSetUp(Mat A)
432: {
437: MatSetUpPreallocation(A);
438: MatSetFromOptions(A);
439: return(0);
440: }
444: /*@C
445: MatView - Visualizes a matrix object.
447: Collective on Mat
449: Input Parameters:
450: + mat - the matrix
451: - viewer - visualization context
453: Notes:
454: The available visualization contexts include
455: + PETSC_VIEWER_STDOUT_SELF - standard output (default)
456: . PETSC_VIEWER_STDOUT_WORLD - synchronized standard
457: output where only the first processor opens
458: the file. All other processors send their
459: data to the first processor to print.
460: - PETSC_VIEWER_DRAW_WORLD - graphical display of nonzero structure
462: The user can open alternative visualization contexts with
463: + PetscViewerASCIIOpen() - Outputs matrix to a specified file
464: . PetscViewerBinaryOpen() - Outputs matrix in binary to a
465: specified file; corresponding input uses MatLoad()
466: . PetscViewerDrawOpen() - Outputs nonzero matrix structure to
467: an X window display
468: - PetscViewerSocketOpen() - Outputs matrix to Socket viewer.
469: Currently only the sequential dense and AIJ
470: matrix types support the Socket viewer.
472: The user can call PetscViewerSetFormat() to specify the output
473: format of ASCII printed objects (when using PETSC_VIEWER_STDOUT_SELF,
474: PETSC_VIEWER_STDOUT_WORLD and PetscViewerASCIIOpen). Available formats include
475: + PETSC_VIEWER_ASCII_DEFAULT - default, prints matrix contents
476: . PETSC_VIEWER_ASCII_MATLAB - prints matrix contents in Matlab format
477: . PETSC_VIEWER_ASCII_DENSE - prints entire matrix including zeros
478: . PETSC_VIEWER_ASCII_COMMON - prints matrix contents, using a sparse
479: format common among all matrix types
480: . PETSC_VIEWER_ASCII_IMPL - prints matrix contents, using an implementation-specific
481: format (which is in many cases the same as the default)
482: . PETSC_VIEWER_ASCII_INFO - prints basic information about the matrix
483: size and structure (not the matrix entries)
484: . PETSC_VIEWER_ASCII_INFO_DETAIL - prints more detailed information about
485: the matrix structure
487: Options Database Keys:
488: + -mat_view_info - Prints info on matrix at conclusion of MatEndAssembly()
489: . -mat_view_info_detailed - Prints more detailed info
490: . -mat_view - Prints matrix in ASCII format
491: . -mat_view_matlab - Prints matrix in Matlab format
492: . -mat_view_draw - PetscDraws nonzero structure of matrix, using MatView() and PetscDrawOpenX().
493: . -display <name> - Sets display name (default is host)
494: . -draw_pause <sec> - Sets number of seconds to pause after display
495: . -mat_view_socket - Sends matrix to socket, can be accessed from Matlab (see users manual)
496: . -viewer_socket_machine <machine>
497: . -viewer_socket_port <port>
498: . -mat_view_binary - save matrix to file in binary format
499: - -viewer_binary_filename <name>
500: Level: beginner
502: Concepts: matrices^viewing
503: Concepts: matrices^plotting
504: Concepts: matrices^printing
506: .seealso: PetscViewerSetFormat(), PetscViewerASCIIOpen(), PetscViewerDrawOpen(),
507: PetscViewerSocketOpen(), PetscViewerBinaryOpen(), MatLoad()
508: @*/
509: PetscErrorCode MatView(Mat mat,PetscViewer viewer)
510: {
511: PetscErrorCode ierr;
512: PetscInt rows,cols;
513: PetscTruth iascii;
514: const char *cstr;
515: PetscViewerFormat format;
520: if (!viewer) {
521: PetscViewerASCIIGetStdout(mat->comm,&viewer);
522: }
525: if (!mat->assembled) SETERRQ(PETSC_ERR_ORDER,"Must call MatAssemblyBegin/End() before viewing matrix");
526: MatPreallocated(mat);
528: PetscTypeCompare((PetscObject)viewer,PETSC_VIEWER_ASCII,&iascii);
529: if (iascii) {
530: PetscViewerGetFormat(viewer,&format);
531: if (format == PETSC_VIEWER_ASCII_INFO || format == PETSC_VIEWER_ASCII_INFO_DETAIL) {
532: if (mat->prefix) {
533: PetscViewerASCIIPrintf(viewer,"Matrix Object:(%s)\n",mat->prefix);
534: } else {
535: PetscViewerASCIIPrintf(viewer,"Matrix Object:\n");
536: }
537: PetscViewerASCIIPushTab(viewer);
538: MatGetType(mat,&cstr);
539: MatGetSize(mat,&rows,&cols);
540: PetscViewerASCIIPrintf(viewer,"type=%s, rows=%D, cols=%D\n",cstr,rows,cols);
541: if (mat->ops->getinfo) {
542: MatInfo info;
543: MatGetInfo(mat,MAT_GLOBAL_SUM,&info);
544: PetscViewerASCIIPrintf(viewer,"total: nonzeros=%D, allocated nonzeros=%D\n",
545: (PetscInt)info.nz_used,(PetscInt)info.nz_allocated);
546: }
547: }
548: }
549: if (mat->ops->view) {
550: PetscViewerASCIIPushTab(viewer);
551: (*mat->ops->view)(mat,viewer);
552: PetscViewerASCIIPopTab(viewer);
553: } else if (!iascii) {
554: SETERRQ1(PETSC_ERR_SUP,"Viewer type %s not supported",((PetscObject)viewer)->type_name);
555: }
556: if (iascii) {
557: PetscViewerGetFormat(viewer,&format);
558: if (format == PETSC_VIEWER_ASCII_INFO || format == PETSC_VIEWER_ASCII_INFO_DETAIL) {
559: PetscViewerASCIIPopTab(viewer);
560: }
561: }
562: return(0);
563: }
567: /*@C
568: MatScaleSystem - Scale a vector solution and right hand side to
569: match the scaling of a scaled matrix.
570:
571: Collective on Mat
573: Input Parameter:
574: + mat - the matrix
575: . b - right hand side vector (or PETSC_NULL)
576: - x - solution vector (or PETSC_NULL)
579: Notes:
580: For AIJ, BAIJ, and BDiag matrix formats, the matrices are not
581: internally scaled, so this does nothing. For MPIROWBS it
582: permutes and diagonally scales.
584: The KSP methods automatically call this routine when required
585: (via PCPreSolve()) so it is rarely used directly.
587: Level: Developer
589: Concepts: matrices^scaling
591: .seealso: MatUseScaledForm(), MatUnScaleSystem()
592: @*/
593: PetscErrorCode MatScaleSystem(Mat mat,Vec b,Vec x)
594: {
600: MatPreallocated(mat);
604: if (mat->ops->scalesystem) {
605: (*mat->ops->scalesystem)(mat,b,x);
606: }
607: return(0);
608: }
612: /*@C
613: MatUnScaleSystem - Unscales a vector solution and right hand side to
614: match the original scaling of a scaled matrix.
615:
616: Collective on Mat
618: Input Parameter:
619: + mat - the matrix
620: . b - right hand side vector (or PETSC_NULL)
621: - x - solution vector (or PETSC_NULL)
624: Notes:
625: For AIJ, BAIJ, and BDiag matrix formats, the matrices are not
626: internally scaled, so this does nothing. For MPIROWBS it
627: permutes and diagonally scales.
629: The KSP methods automatically call this routine when required
630: (via PCPreSolve()) so it is rarely used directly.
632: Level: Developer
634: .seealso: MatUseScaledForm(), MatScaleSystem()
635: @*/
636: PetscErrorCode MatUnScaleSystem(Mat mat,Vec b,Vec x)
637: {
643: MatPreallocated(mat);
646: if (mat->ops->unscalesystem) {
647: (*mat->ops->unscalesystem)(mat,b,x);
648: }
649: return(0);
650: }
654: /*@C
655: MatUseScaledForm - For matrix storage formats that scale the
656: matrix (for example MPIRowBS matrices are diagonally scaled on
657: assembly) indicates matrix operations (MatMult() etc) are
658: applied using the scaled matrix.
659:
660: Collective on Mat
662: Input Parameter:
663: + mat - the matrix
664: - scaled - PETSC_TRUE for applying the scaled, PETSC_FALSE for
665: applying the original matrix
667: Notes:
668: For scaled matrix formats, applying the original, unscaled matrix
669: will be slightly more expensive
671: Level: Developer
673: .seealso: MatScaleSystem(), MatUnScaleSystem()
674: @*/
675: PetscErrorCode MatUseScaledForm(Mat mat,PetscTruth scaled)
676: {
682: MatPreallocated(mat);
683: if (mat->ops->usescaledform) {
684: (*mat->ops->usescaledform)(mat,scaled);
685: }
686: return(0);
687: }
691: /*@
692: MatDestroy - Frees space taken by a matrix.
693:
694: Collective on Mat
696: Input Parameter:
697: . A - the matrix
699: Level: beginner
701: @*/
702: PetscErrorCode MatDestroy(Mat A)
703: {
707: if (--A->refct > 0) return(0);
708: MatPreallocated(A);
709: /* if memory was published with AMS then destroy it */
710: PetscObjectDepublish(A);
711: if (A->ops->destroy) {
712: (*A->ops->destroy)(A);
713: }
714: if (A->mapping) {
715: ISLocalToGlobalMappingDestroy(A->mapping);
716: }
717: if (A->bmapping) {
718: ISLocalToGlobalMappingDestroy(A->bmapping);
719: }
720: PetscFree(A->rmap.range);
721: PetscFree(A->cmap.range);
722: if (A->spptr){PetscFree(A->spptr);}
723: PetscHeaderDestroy(A);
724: return(0);
725: }
729: /*@
730: MatValid - Checks whether a matrix object is valid.
732: Collective on Mat
734: Input Parameter:
735: . m - the matrix to check
737: Output Parameter:
738: flg - flag indicating matrix status, either
739: PETSC_TRUE if matrix is valid, or PETSC_FALSE otherwise.
741: Level: developer
743: Concepts: matrices^validity
744: @*/
745: PetscErrorCode MatValid(Mat m,PetscTruth *flg)
746: {
749: if (!m) *flg = PETSC_FALSE;
750: else if (m->cookie != MAT_COOKIE) *flg = PETSC_FALSE;
751: else *flg = PETSC_TRUE;
752: return(0);
753: }
757: /*@
758: MatSetValues - Inserts or adds a block of values into a matrix.
759: These values may be cached, so MatAssemblyBegin() and MatAssemblyEnd()
760: MUST be called after all calls to MatSetValues() have been completed.
762: Not Collective
764: Input Parameters:
765: + mat - the matrix
766: . v - a logically two-dimensional array of values
767: . m, idxm - the number of rows and their global indices
768: . n, idxn - the number of columns and their global indices
769: - addv - either ADD_VALUES or INSERT_VALUES, where
770: ADD_VALUES adds values to any existing entries, and
771: INSERT_VALUES replaces existing entries with new values
773: Notes:
774: By default the values, v, are row-oriented and unsorted.
775: See MatSetOption() for other options.
777: Calls to MatSetValues() with the INSERT_VALUES and ADD_VALUES
778: options cannot be mixed without intervening calls to the assembly
779: routines.
781: MatSetValues() uses 0-based row and column numbers in Fortran
782: as well as in C.
784: Negative indices may be passed in idxm and idxn, these rows and columns are
785: simply ignored. This allows easily inserting element stiffness matrices
786: with homogeneous Dirchlet boundary conditions that you don't want represented
787: in the matrix.
789: Efficiency Alert:
790: The routine MatSetValuesBlocked() may offer much better efficiency
791: for users of block sparse formats (MATSEQBAIJ and MATMPIBAIJ).
793: Level: beginner
795: Concepts: matrices^putting entries in
797: .seealso: MatSetOption(), MatAssemblyBegin(), MatAssemblyEnd(), MatSetValuesBlocked(), MatSetValuesLocal(),
798: InsertMode, INSERT_VALUES, ADD_VALUES
799: @*/
800: PetscErrorCode MatSetValues(Mat mat,PetscInt m,const PetscInt idxm[],PetscInt n,const PetscInt idxn[],const PetscScalar v[],InsertMode addv)
801: {
805: if (!m || !n) return(0); /* no values to insert */
811: MatPreallocated(mat);
812: if (mat->insertmode == NOT_SET_VALUES) {
813: mat->insertmode = addv;
814: }
815: #if defined(PETSC_USE_DEBUG)
816: else if (mat->insertmode != addv) {
817: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Cannot mix add values and insert values");
818: }
819: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
820: #endif
822: if (mat->assembled) {
823: mat->was_assembled = PETSC_TRUE;
824: mat->assembled = PETSC_FALSE;
825: }
827: if (!mat->ops->setvalues) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
828: (*mat->ops->setvalues)(mat,m,idxm,n,idxn,v,addv);
830: return(0);
831: }
836: /*@
837: MatSetValuesRowLocal - Inserts a row (block row for BAIJ matrices) of nonzero
838: values into a matrix
840: Not Collective
842: Input Parameters:
843: + mat - the matrix
844: . row - the (block) row to set
845: - v - a logically two-dimensional array of values
847: Notes:
848: By the values, v, are column-oriented (for the block version) and sorted
850: All the nonzeros in the row must be provided
852: The matrix must have previously had its column indices set
854: The row must belong to this process
856: Level: intermediate
858: Concepts: matrices^putting entries in
860: .seealso: MatSetOption(), MatAssemblyBegin(), MatAssemblyEnd(), MatSetValuesBlocked(), MatSetValuesLocal(),
861: InsertMode, INSERT_VALUES, ADD_VALUES, MatSetValues(), MatSetValuesRow(), MatSetLocalToGlobalMapping()
862: @*/
863: PetscErrorCode MatSetValuesRowLocal(Mat mat,PetscInt row,const PetscScalar v[])
864: {
871: MatSetValuesRow(mat, mat->mapping->indices[row],v);
872: return(0);
873: }
877: /*@
878: MatSetValuesRow - Inserts a row (block row for BAIJ matrices) of nonzero
879: values into a matrix
881: Not Collective
883: Input Parameters:
884: + mat - the matrix
885: . row - the (block) row to set
886: - v - a logically two-dimensional array of values
888: Notes:
889: By the values, v, are column-oriented (for the block version) and sorted
891: All the nonzeros in the row must be provided
893: The matrix must have previously had its column indices set
895: The row must belong to this process
897: Level: intermediate
899: Concepts: matrices^putting entries in
901: .seealso: MatSetOption(), MatAssemblyBegin(), MatAssemblyEnd(), MatSetValuesBlocked(), MatSetValuesLocal(),
902: InsertMode, INSERT_VALUES, ADD_VALUES, MatSetValues()
903: @*/
904: PetscErrorCode MatSetValuesRow(Mat mat,PetscInt row,const PetscScalar v[])
905: {
912: #if defined(PETSC_USE_DEBUG)
913: if (mat->insertmode == ADD_VALUES) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Cannot mix add and insert values");
914: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
915: #endif
916: mat->insertmode = INSERT_VALUES;
918: if (mat->assembled) {
919: mat->was_assembled = PETSC_TRUE;
920: mat->assembled = PETSC_FALSE;
921: }
923: if (!mat->ops->setvaluesrow) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
924: (*mat->ops->setvaluesrow)(mat,row,v);
926: return(0);
927: }
931: /*@
932: MatSetValuesStencil - Inserts or adds a block of values into a matrix.
933: Using structured grid indexing
935: Not Collective
937: Input Parameters:
938: + mat - the matrix
939: . v - a logically two-dimensional array of values
940: . m - number of rows being entered
941: . idxm - grid coordinates (and component number when dof > 1) for matrix rows being entered
942: . n - number of columns being entered
943: . idxn - grid coordinates (and component number when dof > 1) for matrix columns being entered
944: - addv - either ADD_VALUES or INSERT_VALUES, where
945: ADD_VALUES adds values to any existing entries, and
946: INSERT_VALUES replaces existing entries with new values
948: Notes:
949: By default the values, v, are row-oriented and unsorted.
950: See MatSetOption() for other options.
952: Calls to MatSetValuesStencil() with the INSERT_VALUES and ADD_VALUES
953: options cannot be mixed without intervening calls to the assembly
954: routines.
956: The grid coordinates are across the entire grid, not just the local portion
958: MatSetValuesStencil() uses 0-based row and column numbers in Fortran
959: as well as in C.
961: For setting/accessing vector values via array coordinates you can use the DAVecGetArray() routine
963: In order to use this routine you must either obtain the matrix with DAGetMatrix()
964: or call MatSetLocalToGlobalMapping() and MatSetStencil() first.
966: The columns and rows in the stencil passed in MUST be contained within the
967: ghost region of the given process as set with DACreateXXX() or MatSetStencil(). For example,
968: if you create a DA with an overlap of one grid level and on a particular process its first
969: local nonghost x logical coordinate is 6 (so its first ghost x logical coordinate is 5) the
970: first i index you can use in your column and row indices in MatSetStencil() is 5.
972: In Fortran idxm and idxn should be declared as
973: $ MatStencil idxm(4,m),idxn(4,n)
974: and the values inserted using
975: $ idxm(MatStencil_i,1) = i
976: $ idxm(MatStencil_j,1) = j
977: $ idxm(MatStencil_k,1) = k
978: $ idxm(MatStencil_c,1) = c
979: etc
981: For periodic boundary conditions use negative indices for values to the left (below 0; that are to be
982: obtained by wrapping values from right edge). For values to the right of the last entry using that index plus one
983: etc to obtain values that obtained by wrapping the values from the left edge.
985: For indices that don't mean anything for your case (like the k index when working in 2d) or the c index when you have
986: a single value per point) you can skip filling those indices.
988: Inspired by the structured grid interface to the HYPRE package
989: (http://www.llnl.gov/CASC/hypre)
991: Efficiency Alert:
992: The routine MatSetValuesBlockedStencil() may offer much better efficiency
993: for users of block sparse formats (MATSEQBAIJ and MATMPIBAIJ).
995: Level: beginner
997: Concepts: matrices^putting entries in
999: .seealso: MatSetOption(), MatAssemblyBegin(), MatAssemblyEnd(), MatSetValuesBlocked(), MatSetValuesLocal()
1000: MatSetValues(), MatSetValuesBlockedStencil(), MatSetStencil(), DAGetMatrix(), DAVecGetArray(), MatStencil
1001: @*/
1002: PetscErrorCode MatSetValuesStencil(Mat mat,PetscInt m,const MatStencil idxm[],PetscInt n,const MatStencil idxn[],const PetscScalar v[],InsertMode addv)
1003: {
1005: PetscInt j,i,jdxm[128],jdxn[256],dim = mat->stencil.dim,*dims = mat->stencil.dims+1,tmp;
1006: PetscInt *starts = mat->stencil.starts,*dxm = (PetscInt*)idxm,*dxn = (PetscInt*)idxn,sdim = dim - (1 - (PetscInt)mat->stencil.noc);
1009: if (!m || !n) return(0); /* no values to insert */
1016: if (m > 128) SETERRQ1(PETSC_ERR_SUP,"Can only set 128 rows at a time; trying to set %D",m);
1017: if (n > 256) SETERRQ1(PETSC_ERR_SUP,"Can only set 256 columns at a time; trying to set %D",n);
1019: for (i=0; i<m; i++) {
1020: for (j=0; j<3-sdim; j++) dxm++;
1021: tmp = *dxm++ - starts[0];
1022: for (j=0; j<dim-1; j++) {
1023: if ((*dxm++ - starts[j+1]) < 0 || tmp < 0) tmp = PETSC_MIN_INT;
1024: else tmp = tmp*dims[j] + *(dxm-1) - starts[j+1];
1025: }
1026: if (mat->stencil.noc) dxm++;
1027: jdxm[i] = tmp;
1028: }
1029: for (i=0; i<n; i++) {
1030: for (j=0; j<3-sdim; j++) dxn++;
1031: tmp = *dxn++ - starts[0];
1032: for (j=0; j<dim-1; j++) {
1033: if ((*dxn++ - starts[j+1]) < 0 || tmp < 0) tmp = PETSC_MIN_INT;
1034: else tmp = tmp*dims[j] + *(dxn-1) - starts[j+1];
1035: }
1036: if (mat->stencil.noc) dxn++;
1037: jdxn[i] = tmp;
1038: }
1039: MatSetValuesLocal(mat,m,jdxm,n,jdxn,v,addv);
1040: return(0);
1041: }
1045: /*@C
1046: MatSetValuesBlockedStencil - Inserts or adds a block of values into a matrix.
1047: Using structured grid indexing
1049: Not Collective
1051: Input Parameters:
1052: + mat - the matrix
1053: . v - a logically two-dimensional array of values
1054: . m - number of rows being entered
1055: . idxm - grid coordinates for matrix rows being entered
1056: . n - number of columns being entered
1057: . idxn - grid coordinates for matrix columns being entered
1058: - addv - either ADD_VALUES or INSERT_VALUES, where
1059: ADD_VALUES adds values to any existing entries, and
1060: INSERT_VALUES replaces existing entries with new values
1062: Notes:
1063: By default the values, v, are row-oriented and unsorted.
1064: See MatSetOption() for other options.
1066: Calls to MatSetValuesBlockedStencil() with the INSERT_VALUES and ADD_VALUES
1067: options cannot be mixed without intervening calls to the assembly
1068: routines.
1070: The grid coordinates are across the entire grid, not just the local portion
1072: MatSetValuesBlockedStencil() uses 0-based row and column numbers in Fortran
1073: as well as in C.
1075: For setting/accessing vector values via array coordinates you can use the DAVecGetArray() routine
1077: In order to use this routine you must either obtain the matrix with DAGetMatrix()
1078: or call MatSetLocalToGlobalMapping() and MatSetStencil() first.
1080: The columns and rows in the stencil passed in MUST be contained within the
1081: ghost region of the given process as set with DACreateXXX() or MatSetStencil(). For example,
1082: if you create a DA with an overlap of one grid level and on a particular process its first
1083: local nonghost x logical coordinate is 6 (so its first ghost x logical coordinate is 5) the
1084: first i index you can use in your column and row indices in MatSetStencil() is 5.
1086: In Fortran idxm and idxn should be declared as
1087: $ MatStencil idxm(4,m),idxn(4,n)
1088: and the values inserted using
1089: $ idxm(MatStencil_i,1) = i
1090: $ idxm(MatStencil_j,1) = j
1091: $ idxm(MatStencil_k,1) = k
1092: etc
1094: Negative indices may be passed in idxm and idxn, these rows and columns are
1095: simply ignored. This allows easily inserting element stiffness matrices
1096: with homogeneous Dirchlet boundary conditions that you don't want represented
1097: in the matrix.
1099: Inspired by the structured grid interface to the HYPRE package
1100: (http://www.llnl.gov/CASC/hypre)
1102: Level: beginner
1104: Concepts: matrices^putting entries in
1106: .seealso: MatSetOption(), MatAssemblyBegin(), MatAssemblyEnd(), MatSetValuesBlocked(), MatSetValuesLocal()
1107: MatSetValues(), MatSetValuesStencil(), MatSetStencil(), DAGetMatrix(), DAVecGetArray(), MatStencil
1108: @*/
1109: PetscErrorCode MatSetValuesBlockedStencil(Mat mat,PetscInt m,const MatStencil idxm[],PetscInt n,const MatStencil idxn[],const PetscScalar v[],InsertMode addv)
1110: {
1112: PetscInt j,i,jdxm[128],jdxn[256],dim = mat->stencil.dim,*dims = mat->stencil.dims+1,tmp;
1113: PetscInt *starts = mat->stencil.starts,*dxm = (PetscInt*)idxm,*dxn = (PetscInt*)idxn,sdim = dim - (1 - (PetscInt)mat->stencil.noc);
1116: if (!m || !n) return(0); /* no values to insert */
1123: if (m > 128) SETERRQ1(PETSC_ERR_SUP,"Can only set 128 rows at a time; trying to set %D",m);
1124: if (n > 128) SETERRQ1(PETSC_ERR_SUP,"Can only set 256 columns at a time; trying to set %D",n);
1126: for (i=0; i<m; i++) {
1127: for (j=0; j<3-sdim; j++) dxm++;
1128: tmp = *dxm++ - starts[0];
1129: for (j=0; j<sdim-1; j++) {
1130: if ((*dxm++ - starts[j+1]) < 0 || tmp < 0) tmp = PETSC_MIN_INT;
1131: else tmp = tmp*dims[j] + *(dxm-1) - starts[j+1];
1132: }
1133: dxm++;
1134: jdxm[i] = tmp;
1135: }
1136: for (i=0; i<n; i++) {
1137: for (j=0; j<3-sdim; j++) dxn++;
1138: tmp = *dxn++ - starts[0];
1139: for (j=0; j<sdim-1; j++) {
1140: if ((*dxn++ - starts[j+1]) < 0 || tmp < 0) tmp = PETSC_MIN_INT;
1141: else tmp = tmp*dims[j] + *(dxn-1) - starts[j+1];
1142: }
1143: dxn++;
1144: jdxn[i] = tmp;
1145: }
1146: MatSetValuesBlockedLocal(mat,m,jdxm,n,jdxn,v,addv);
1147: return(0);
1148: }
1152: /*@
1153: MatSetStencil - Sets the grid information for setting values into a matrix via
1154: MatSetValuesStencil()
1156: Not Collective
1158: Input Parameters:
1159: + mat - the matrix
1160: . dim - dimension of the grid 1, 2, or 3
1161: . dims - number of grid points in x, y, and z direction, including ghost points on your processor
1162: . starts - starting point of ghost nodes on your processor in x, y, and z direction
1163: - dof - number of degrees of freedom per node
1166: Inspired by the structured grid interface to the HYPRE package
1167: (www.llnl.gov/CASC/hyper)
1169: For matrices generated with DAGetMatrix() this routine is automatically called and so not needed by the
1170: user.
1171:
1172: Level: beginner
1174: Concepts: matrices^putting entries in
1176: .seealso: MatSetOption(), MatAssemblyBegin(), MatAssemblyEnd(), MatSetValuesBlocked(), MatSetValuesLocal()
1177: MatSetValues(), MatSetValuesBlockedStencil(), MatSetValuesStencil()
1178: @*/
1179: PetscErrorCode MatSetStencil(Mat mat,PetscInt dim,const PetscInt dims[],const PetscInt starts[],PetscInt dof)
1180: {
1181: PetscInt i;
1188: mat->stencil.dim = dim + (dof > 1);
1189: for (i=0; i<dim; i++) {
1190: mat->stencil.dims[i] = dims[dim-i-1]; /* copy the values in backwards */
1191: mat->stencil.starts[i] = starts[dim-i-1];
1192: }
1193: mat->stencil.dims[dim] = dof;
1194: mat->stencil.starts[dim] = 0;
1195: mat->stencil.noc = (PetscTruth)(dof == 1);
1196: return(0);
1197: }
1201: /*@
1202: MatSetValuesBlocked - Inserts or adds a block of values into a matrix.
1204: Not Collective
1206: Input Parameters:
1207: + mat - the matrix
1208: . v - a logically two-dimensional array of values
1209: . m, idxm - the number of block rows and their global block indices
1210: . n, idxn - the number of block columns and their global block indices
1211: - addv - either ADD_VALUES or INSERT_VALUES, where
1212: ADD_VALUES adds values to any existing entries, and
1213: INSERT_VALUES replaces existing entries with new values
1215: Notes:
1216: The m and n count the NUMBER of blocks in the row direction and column direction,
1217: NOT the total number of rows/columns; for example, if the block size is 2 and
1218: you are passing in values for rows 2,3,4,5 then m would be 2 (not 4).
1220: By default the values, v, are row-oriented and unsorted. So the layout of
1221: v is the same as for MatSetValues(). See MatSetOption() for other options.
1223: Calls to MatSetValuesBlocked() with the INSERT_VALUES and ADD_VALUES
1224: options cannot be mixed without intervening calls to the assembly
1225: routines.
1227: MatSetValuesBlocked() uses 0-based row and column numbers in Fortran
1228: as well as in C.
1230: Negative indices may be passed in idxm and idxn, these rows and columns are
1231: simply ignored. This allows easily inserting element stiffness matrices
1232: with homogeneous Dirchlet boundary conditions that you don't want represented
1233: in the matrix.
1235: Each time an entry is set within a sparse matrix via MatSetValues(),
1236: internal searching must be done to determine where to place the the
1237: data in the matrix storage space. By instead inserting blocks of
1238: entries via MatSetValuesBlocked(), the overhead of matrix assembly is
1239: reduced.
1241: Example:
1242: $ Suppose m=n=2 and block size(bs) = 2 The matrix is
1243: $
1244: $ 1 2 | 3 4
1245: $ 5 6 | 7 8
1246: $ - - - | - - -
1247: $ 9 10 | 11 12
1248: $ 13 14 | 15 16
1249: $
1250: $ v[] should be passed in like
1251: $ v[] = [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]
1253: Restrictions:
1254: MatSetValuesBlocked() is currently supported only for the BAIJ and SBAIJ formats
1256: Level: intermediate
1258: Concepts: matrices^putting entries in blocked
1260: .seealso: MatSetOption(), MatAssemblyBegin(), MatAssemblyEnd(), MatSetValues(), MatSetValuesBlockedLocal()
1261: @*/
1262: PetscErrorCode MatSetValuesBlocked(Mat mat,PetscInt m,const PetscInt idxm[],PetscInt n,const PetscInt idxn[],const PetscScalar v[],InsertMode addv)
1263: {
1267: if (!m || !n) return(0); /* no values to insert */
1273: MatPreallocated(mat);
1274: if (mat->insertmode == NOT_SET_VALUES) {
1275: mat->insertmode = addv;
1276: }
1277: #if defined(PETSC_USE_DEBUG)
1278: else if (mat->insertmode != addv) {
1279: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Cannot mix add values and insert values");
1280: }
1281: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
1282: #endif
1284: if (mat->assembled) {
1285: mat->was_assembled = PETSC_TRUE;
1286: mat->assembled = PETSC_FALSE;
1287: }
1289: if (!mat->ops->setvaluesblocked) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
1290: (*mat->ops->setvaluesblocked)(mat,m,idxm,n,idxn,v,addv);
1292: return(0);
1293: }
1297: /*@
1298: MatGetValues - Gets a block of values from a matrix.
1300: Not Collective; currently only returns a local block
1302: Input Parameters:
1303: + mat - the matrix
1304: . v - a logically two-dimensional array for storing the values
1305: . m, idxm - the number of rows and their global indices
1306: - n, idxn - the number of columns and their global indices
1308: Notes:
1309: The user must allocate space (m*n PetscScalars) for the values, v.
1310: The values, v, are then returned in a row-oriented format,
1311: analogous to that used by default in MatSetValues().
1313: MatGetValues() uses 0-based row and column numbers in
1314: Fortran as well as in C.
1316: MatGetValues() requires that the matrix has been assembled
1317: with MatAssemblyBegin()/MatAssemblyEnd(). Thus, calls to
1318: MatSetValues() and MatGetValues() CANNOT be made in succession
1319: without intermediate matrix assembly.
1321: Level: advanced
1323: Concepts: matrices^accessing values
1325: .seealso: MatGetRow(), MatGetSubMatrices(), MatSetValues()
1326: @*/
1327: PetscErrorCode MatGetValues(Mat mat,PetscInt m,const PetscInt idxm[],PetscInt n,const PetscInt idxn[],PetscScalar v[])
1328: {
1337: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
1338: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
1339: if (!mat->ops->getvalues) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
1340: MatPreallocated(mat);
1343: (*mat->ops->getvalues)(mat,m,idxm,n,idxn,v);
1345: return(0);
1346: }
1350: /*@
1351: MatSetLocalToGlobalMapping - Sets a local-to-global numbering for use by
1352: the routine MatSetValuesLocal() to allow users to insert matrix entries
1353: using a local (per-processor) numbering.
1355: Not Collective
1357: Input Parameters:
1358: + x - the matrix
1359: - mapping - mapping created with ISLocalToGlobalMappingCreate()
1360: or ISLocalToGlobalMappingCreateIS()
1362: Level: intermediate
1364: Concepts: matrices^local to global mapping
1365: Concepts: local to global mapping^for matrices
1367: .seealso: MatAssemblyBegin(), MatAssemblyEnd(), MatSetValues(), MatSetValuesLocal()
1368: @*/
1369: PetscErrorCode MatSetLocalToGlobalMapping(Mat x,ISLocalToGlobalMapping mapping)
1370: {
1376: if (x->mapping) {
1377: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Mapping already set for matrix");
1378: }
1379: MatPreallocated(x);
1381: if (x->ops->setlocaltoglobalmapping) {
1382: (*x->ops->setlocaltoglobalmapping)(x,mapping);
1383: } else {
1384: PetscObjectReference((PetscObject)mapping);
1385: if (x->mapping) { ISLocalToGlobalMappingDestroy(x->mapping); }
1386: x->mapping = mapping;
1387: }
1388: return(0);
1389: }
1393: /*@
1394: MatSetLocalToGlobalMappingBlock - Sets a local-to-global numbering for use
1395: by the routine MatSetValuesBlockedLocal() to allow users to insert matrix
1396: entries using a local (per-processor) numbering.
1398: Not Collective
1400: Input Parameters:
1401: + x - the matrix
1402: - mapping - mapping created with ISLocalToGlobalMappingCreate() or
1403: ISLocalToGlobalMappingCreateIS()
1405: Level: intermediate
1407: Concepts: matrices^local to global mapping blocked
1408: Concepts: local to global mapping^for matrices, blocked
1410: .seealso: MatAssemblyBegin(), MatAssemblyEnd(), MatSetValues(), MatSetValuesBlockedLocal(),
1411: MatSetValuesBlocked(), MatSetValuesLocal()
1412: @*/
1413: PetscErrorCode MatSetLocalToGlobalMappingBlock(Mat x,ISLocalToGlobalMapping mapping)
1414: {
1420: if (x->bmapping) {
1421: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Mapping already set for matrix");
1422: }
1423: PetscObjectReference((PetscObject)mapping);
1424: if (x->bmapping) { ISLocalToGlobalMappingDestroy(x->mapping); }
1425: x->bmapping = mapping;
1426: return(0);
1427: }
1431: /*@
1432: MatSetValuesLocal - Inserts or adds values into certain locations of a matrix,
1433: using a local ordering of the nodes.
1435: Not Collective
1437: Input Parameters:
1438: + x - the matrix
1439: . nrow, irow - number of rows and their local indices
1440: . ncol, icol - number of columns and their local indices
1441: . y - a logically two-dimensional array of values
1442: - addv - either INSERT_VALUES or ADD_VALUES, where
1443: ADD_VALUES adds values to any existing entries, and
1444: INSERT_VALUES replaces existing entries with new values
1446: Notes:
1447: Before calling MatSetValuesLocal(), the user must first set the
1448: local-to-global mapping by calling MatSetLocalToGlobalMapping().
1450: Calls to MatSetValuesLocal() with the INSERT_VALUES and ADD_VALUES
1451: options cannot be mixed without intervening calls to the assembly
1452: routines.
1454: These values may be cached, so MatAssemblyBegin() and MatAssemblyEnd()
1455: MUST be called after all calls to MatSetValuesLocal() have been completed.
1457: Level: intermediate
1459: Concepts: matrices^putting entries in with local numbering
1461: .seealso: MatAssemblyBegin(), MatAssemblyEnd(), MatSetValues(), MatSetLocalToGlobalMapping(),
1462: MatSetValueLocal()
1463: @*/
1464: PetscErrorCode MatSetValuesLocal(Mat mat,PetscInt nrow,const PetscInt irow[],PetscInt ncol,const PetscInt icol[],const PetscScalar y[],InsertMode addv)
1465: {
1467: PetscInt irowm[2048],icolm[2048];
1475: MatPreallocated(mat);
1476: if (mat->insertmode == NOT_SET_VALUES) {
1477: mat->insertmode = addv;
1478: }
1479: #if defined(PETSC_USE_DEBUG)
1480: else if (mat->insertmode != addv) {
1481: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Cannot mix add values and insert values");
1482: }
1483: if (!mat->ops->setvalueslocal && (nrow > 2048 || ncol > 2048)) {
1484: SETERRQ2(PETSC_ERR_SUP,"Number column/row indices must be <= 2048: are %D %D",nrow,ncol);
1485: }
1486: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
1487: #endif
1489: if (mat->assembled) {
1490: mat->was_assembled = PETSC_TRUE;
1491: mat->assembled = PETSC_FALSE;
1492: }
1494: if (!mat->ops->setvalueslocal) {
1495: ISLocalToGlobalMappingApply(mat->mapping,nrow,irow,irowm);
1496: ISLocalToGlobalMappingApply(mat->mapping,ncol,icol,icolm);
1497: (*mat->ops->setvalues)(mat,nrow,irowm,ncol,icolm,y,addv);
1498: } else {
1499: (*mat->ops->setvalueslocal)(mat,nrow,irow,ncol,icol,y,addv);
1500: }
1501: mat->same_nonzero = PETSC_FALSE;
1503: return(0);
1504: }
1508: /*@
1509: MatSetValuesBlockedLocal - Inserts or adds values into certain locations of a matrix,
1510: using a local ordering of the nodes a block at a time.
1512: Not Collective
1514: Input Parameters:
1515: + x - the matrix
1516: . nrow, irow - number of rows and their local indices
1517: . ncol, icol - number of columns and their local indices
1518: . y - a logically two-dimensional array of values
1519: - addv - either INSERT_VALUES or ADD_VALUES, where
1520: ADD_VALUES adds values to any existing entries, and
1521: INSERT_VALUES replaces existing entries with new values
1523: Notes:
1524: Before calling MatSetValuesBlockedLocal(), the user must first set the
1525: local-to-global mapping by calling MatSetLocalToGlobalMappingBlock(),
1526: where the mapping MUST be set for matrix blocks, not for matrix elements.
1528: Calls to MatSetValuesBlockedLocal() with the INSERT_VALUES and ADD_VALUES
1529: options cannot be mixed without intervening calls to the assembly
1530: routines.
1532: These values may be cached, so MatAssemblyBegin() and MatAssemblyEnd()
1533: MUST be called after all calls to MatSetValuesBlockedLocal() have been completed.
1535: Level: intermediate
1537: Concepts: matrices^putting blocked values in with local numbering
1539: .seealso: MatAssemblyBegin(), MatAssemblyEnd(), MatSetValuesLocal(), MatSetLocalToGlobalMappingBlock(), MatSetValuesBlocked()
1540: @*/
1541: PetscErrorCode MatSetValuesBlockedLocal(Mat mat,PetscInt nrow,const PetscInt irow[],PetscInt ncol,const PetscInt icol[],const PetscScalar y[],InsertMode addv)
1542: {
1544: PetscInt irowm[2048],icolm[2048];
1552: MatPreallocated(mat);
1553: if (mat->insertmode == NOT_SET_VALUES) {
1554: mat->insertmode = addv;
1555: }
1556: #if defined(PETSC_USE_DEBUG)
1557: else if (mat->insertmode != addv) {
1558: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Cannot mix add values and insert values");
1559: }
1560: if (!mat->bmapping) {
1561: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Local to global never set with MatSetLocalToGlobalMappingBlock()");
1562: }
1563: if (nrow > 2048 || ncol > 2048) {
1564: SETERRQ2(PETSC_ERR_SUP,"Number column/row indices must be <= 2048: are %D %D",nrow,ncol);
1565: }
1566: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
1567: #endif
1569: if (mat->assembled) {
1570: mat->was_assembled = PETSC_TRUE;
1571: mat->assembled = PETSC_FALSE;
1572: }
1574: ISLocalToGlobalMappingApply(mat->bmapping,nrow,irow,irowm);
1575: ISLocalToGlobalMappingApply(mat->bmapping,ncol,icol,icolm);
1576: (*mat->ops->setvaluesblocked)(mat,nrow,irowm,ncol,icolm,y,addv);
1578: return(0);
1579: }
1581: /* --------------------------------------------------------*/
1584: /*@
1585: MatMult - Computes the matrix-vector product, y = Ax.
1587: Collective on Mat and Vec
1589: Input Parameters:
1590: + mat - the matrix
1591: - x - the vector to be multiplied
1593: Output Parameters:
1594: . y - the result
1596: Notes:
1597: The vectors x and y cannot be the same. I.e., one cannot
1598: call MatMult(A,y,y).
1600: Level: beginner
1602: Concepts: matrix-vector product
1604: .seealso: MatMultTranspose(), MatMultAdd(), MatMultTransposeAdd()
1605: @*/
1606: PetscErrorCode MatMult(Mat mat,Vec x,Vec y)
1607: {
1616: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
1617: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
1618: if (x == y) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"x and y must be different vectors");
1619: #ifndef PETSC_HAVE_CONSTRAINTS
1620: if (mat->cmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->cmap.N,x->map.N);
1621: if (mat->rmap.N != y->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec y: global dim %D %D",mat->rmap.N,y->map.N);
1622: if (mat->rmap.n != y->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec y: local dim %D %D",mat->rmap.n,y->map.n);
1623: #endif
1624: MatPreallocated(mat);
1626: if (mat->nullsp) {
1627: MatNullSpaceRemove(mat->nullsp,x,&x);
1628: }
1630: if (!mat->ops->mult) SETERRQ(PETSC_ERR_SUP,"This matrix type does not have a multiply defined");
1632: (*mat->ops->mult)(mat,x,y);
1635: if (mat->nullsp) {
1636: MatNullSpaceRemove(mat->nullsp,y,PETSC_NULL);
1637: }
1638: PetscObjectStateIncrease((PetscObject)y);
1639: return(0);
1640: }
1644: /*@
1645: MatMultTranspose - Computes matrix transpose times a vector.
1647: Collective on Mat and Vec
1649: Input Parameters:
1650: + mat - the matrix
1651: - x - the vector to be multilplied
1653: Output Parameters:
1654: . y - the result
1656: Notes:
1657: The vectors x and y cannot be the same. I.e., one cannot
1658: call MatMultTranspose(A,y,y).
1660: Level: beginner
1662: Concepts: matrix vector product^transpose
1664: .seealso: MatMult(), MatMultAdd(), MatMultTransposeAdd()
1665: @*/
1666: PetscErrorCode MatMultTranspose(Mat mat,Vec x,Vec y)
1667: {
1676: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
1677: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
1678: if (x == y) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"x and y must be different vectors");
1679: #ifndef PETSC_HAVE_CONSTRAINTS
1680: if (mat->rmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->rmap.N,x->map.N);
1681: if (mat->cmap.N != y->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec y: global dim %D %D",mat->cmap.N,y->map.N);
1682: #endif
1683: MatPreallocated(mat);
1685: if (!mat->ops->multtranspose) SETERRQ(PETSC_ERR_SUP,"This matrix type does not have a multiply tranpose defined");
1687: (*mat->ops->multtranspose)(mat,x,y);
1689: PetscObjectStateIncrease((PetscObject)y);
1690: return(0);
1691: }
1695: /*@
1696: MatMultAdd - Computes v3 = v2 + A * v1.
1698: Collective on Mat and Vec
1700: Input Parameters:
1701: + mat - the matrix
1702: - v1, v2 - the vectors
1704: Output Parameters:
1705: . v3 - the result
1707: Notes:
1708: The vectors v1 and v3 cannot be the same. I.e., one cannot
1709: call MatMultAdd(A,v1,v2,v1).
1711: Level: beginner
1713: Concepts: matrix vector product^addition
1715: .seealso: MatMultTranspose(), MatMult(), MatMultTransposeAdd()
1716: @*/
1717: PetscErrorCode MatMultAdd(Mat mat,Vec v1,Vec v2,Vec v3)
1718: {
1728: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
1729: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
1730: if (mat->cmap.N != v1->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec v1: global dim %D %D",mat->cmap.N,v1->map.N);
1731: if (mat->rmap.N != v2->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec v2: global dim %D %D",mat->rmap.N,v2->map.N);
1732: if (mat->rmap.N != v3->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec v3: global dim %D %D",mat->rmap.N,v3->map.N);
1733: if (mat->rmap.n != v3->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec v3: local dim %D %D",mat->rmap.n,v3->map.n);
1734: if (mat->rmap.n != v2->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec v2: local dim %D %D",mat->rmap.n,v2->map.n);
1735: if (v1 == v3) SETERRQ(PETSC_ERR_ARG_IDN,"v1 and v3 must be different vectors");
1736: MatPreallocated(mat);
1739: (*mat->ops->multadd)(mat,v1,v2,v3);
1741: PetscObjectStateIncrease((PetscObject)v3);
1742: return(0);
1743: }
1747: /*@
1748: MatMultTransposeAdd - Computes v3 = v2 + A' * v1.
1750: Collective on Mat and Vec
1752: Input Parameters:
1753: + mat - the matrix
1754: - v1, v2 - the vectors
1756: Output Parameters:
1757: . v3 - the result
1759: Notes:
1760: The vectors v1 and v3 cannot be the same. I.e., one cannot
1761: call MatMultTransposeAdd(A,v1,v2,v1).
1763: Level: beginner
1765: Concepts: matrix vector product^transpose and addition
1767: .seealso: MatMultTranspose(), MatMultAdd(), MatMult()
1768: @*/
1769: PetscErrorCode MatMultTransposeAdd(Mat mat,Vec v1,Vec v2,Vec v3)
1770: {
1780: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
1781: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
1782: if (!mat->ops->multtransposeadd) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
1783: if (v1 == v3) SETERRQ(PETSC_ERR_ARG_IDN,"v1 and v3 must be different vectors");
1784: if (mat->rmap.N != v1->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec v1: global dim %D %D",mat->rmap.N,v1->map.N);
1785: if (mat->cmap.N != v2->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec v2: global dim %D %D",mat->cmap.N,v2->map.N);
1786: if (mat->cmap.N != v3->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec v3: global dim %D %D",mat->cmap.N,v3->map.N);
1787: MatPreallocated(mat);
1790: (*mat->ops->multtransposeadd)(mat,v1,v2,v3);
1792: PetscObjectStateIncrease((PetscObject)v3);
1793: return(0);
1794: }
1798: /*@
1799: MatMultConstrained - The inner multiplication routine for a
1800: constrained matrix P^T A P.
1802: Collective on Mat and Vec
1804: Input Parameters:
1805: + mat - the matrix
1806: - x - the vector to be multilplied
1808: Output Parameters:
1809: . y - the result
1811: Notes:
1812: The vectors x and y cannot be the same. I.e., one cannot
1813: call MatMult(A,y,y).
1815: Level: beginner
1817: .keywords: matrix, multiply, matrix-vector product, constraint
1818: .seealso: MatMult(), MatMultTrans(), MatMultAdd(), MatMultTransAdd()
1819: @*/
1820: PetscErrorCode MatMultConstrained(Mat mat,Vec x,Vec y)
1821: {
1828: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
1829: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
1830: if (x == y) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"x and y must be different vectors");
1831: if (mat->cmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->cmap.N,x->map.N);
1832: if (mat->rmap.N != y->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec y: global dim %D %D",mat->rmap.N,y->map.N);
1833: if (mat->rmap.n != y->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec y: local dim %D %D",mat->rmap.n,y->map.n);
1836: (*mat->ops->multconstrained)(mat,x,y);
1838: PetscObjectStateIncrease((PetscObject)y);
1840: return(0);
1841: }
1845: /*@
1846: MatMultTransposeConstrained - The inner multiplication routine for a
1847: constrained matrix P^T A^T P.
1849: Collective on Mat and Vec
1851: Input Parameters:
1852: + mat - the matrix
1853: - x - the vector to be multilplied
1855: Output Parameters:
1856: . y - the result
1858: Notes:
1859: The vectors x and y cannot be the same. I.e., one cannot
1860: call MatMult(A,y,y).
1862: Level: beginner
1864: .keywords: matrix, multiply, matrix-vector product, constraint
1865: .seealso: MatMult(), MatMultTrans(), MatMultAdd(), MatMultTransAdd()
1866: @*/
1867: PetscErrorCode MatMultTransposeConstrained(Mat mat,Vec x,Vec y)
1868: {
1875: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
1876: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
1877: if (x == y) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"x and y must be different vectors");
1878: if (mat->rmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->cmap.N,x->map.N);
1879: if (mat->cmap.N != y->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec y: global dim %D %D",mat->rmap.N,y->map.N);
1882: (*mat->ops->multtransposeconstrained)(mat,x,y);
1884: PetscObjectStateIncrease((PetscObject)y);
1886: return(0);
1887: }
1888: /* ------------------------------------------------------------*/
1891: /*@
1892: MatGetInfo - Returns information about matrix storage (number of
1893: nonzeros, memory, etc.).
1895: Collective on Mat if MAT_GLOBAL_MAX or MAT_GLOBAL_SUM is used
1896: as the flag
1898: Input Parameters:
1899: . mat - the matrix
1901: Output Parameters:
1902: + flag - flag indicating the type of parameters to be returned
1903: (MAT_LOCAL - local matrix, MAT_GLOBAL_MAX - maximum over all processors,
1904: MAT_GLOBAL_SUM - sum over all processors)
1905: - info - matrix information context
1907: Notes:
1908: The MatInfo context contains a variety of matrix data, including
1909: number of nonzeros allocated and used, number of mallocs during
1910: matrix assembly, etc. Additional information for factored matrices
1911: is provided (such as the fill ratio, number of mallocs during
1912: factorization, etc.). Much of this info is printed to STDOUT
1913: when using the runtime options
1914: $ -info -mat_view_info
1916: Example for C/C++ Users:
1917: See the file ${PETSC_DIR}/include/petscmat.h for a complete list of
1918: data within the MatInfo context. For example,
1919: .vb
1920: MatInfo info;
1921: Mat A;
1922: double mal, nz_a, nz_u;
1924: MatGetInfo(A,MAT_LOCAL,&info);
1925: mal = info.mallocs;
1926: nz_a = info.nz_allocated;
1927: .ve
1929: Example for Fortran Users:
1930: Fortran users should declare info as a double precision
1931: array of dimension MAT_INFO_SIZE, and then extract the parameters
1932: of interest. See the file ${PETSC_DIR}/include/finclude/petscmat.h
1933: a complete list of parameter names.
1934: .vb
1935: double precision info(MAT_INFO_SIZE)
1936: double precision mal, nz_a
1937: Mat A
1938: integer ierr
1940: call MatGetInfo(A,MAT_LOCAL,info,ierr)
1941: mal = info(MAT_INFO_MALLOCS)
1942: nz_a = info(MAT_INFO_NZ_ALLOCATED)
1943: .ve
1945: Level: intermediate
1947: Concepts: matrices^getting information on
1948:
1949: @*/
1950: PetscErrorCode MatGetInfo(Mat mat,MatInfoType flag,MatInfo *info)
1951: {
1958: if (!mat->ops->getinfo) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
1959: MatPreallocated(mat);
1960: (*mat->ops->getinfo)(mat,flag,info);
1961: return(0);
1962: }
1964: /* ----------------------------------------------------------*/
1967: /*@C
1968: MatILUDTFactor - Performs a drop tolerance ILU factorization.
1970: Collective on Mat
1972: Input Parameters:
1973: + mat - the matrix
1974: . row - row permutation
1975: . col - column permutation
1976: - info - information about the factorization to be done
1978: Output Parameters:
1979: . fact - the factored matrix
1981: Level: developer
1983: Notes:
1984: Most users should employ the simplified KSP interface for linear solvers
1985: instead of working directly with matrix algebra routines such as this.
1986: See, e.g., KSPCreate().
1988: This is currently only supported for the SeqAIJ matrix format using code
1989: from Yousef Saad's SPARSEKIT2 package (translated to C with f2c) and/or
1990: Matlab. SPARSEKIT2 is copyrighted by Yousef Saad with the GNU copyright
1991: and thus can be distributed with PETSc.
1993: Concepts: matrices^ILUDT factorization
1995: .seealso: MatLUFactorSymbolic(), MatLUFactorNumeric(), MatCholeskyFactor(), MatFactorInfo
1996: @*/
1997: PetscErrorCode MatILUDTFactor(Mat mat,IS row,IS col,MatFactorInfo *info,Mat *fact)
1998: {
2008: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
2009: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
2010: if (!mat->ops->iludtfactor) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2011: MatPreallocated(mat);
2013: (*mat->ops->iludtfactor)(mat,row,col,info,fact);
2015: PetscObjectStateIncrease((PetscObject)*fact);
2017: return(0);
2018: }
2022: /*@
2023: MatLUFactor - Performs in-place LU factorization of matrix.
2025: Collective on Mat
2027: Input Parameters:
2028: + mat - the matrix
2029: . row - row permutation
2030: . col - column permutation
2031: - info - options for factorization, includes
2032: $ fill - expected fill as ratio of original fill.
2033: $ dtcol - pivot tolerance (0 no pivot, 1 full column pivoting)
2034: $ Run with the option -info to determine an optimal value to use
2036: Notes:
2037: Most users should employ the simplified KSP interface for linear solvers
2038: instead of working directly with matrix algebra routines such as this.
2039: See, e.g., KSPCreate().
2041: This changes the state of the matrix to a factored matrix; it cannot be used
2042: for example with MatSetValues() unless one first calls MatSetUnfactored().
2044: Level: developer
2046: Concepts: matrices^LU factorization
2048: .seealso: MatLUFactorSymbolic(), MatLUFactorNumeric(), MatCholeskyFactor(),
2049: MatGetOrdering(), MatSetUnfactored(), MatFactorInfo
2051: @*/
2052: PetscErrorCode MatLUFactor(Mat mat,IS row,IS col,MatFactorInfo *info)
2053: {
2062: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
2063: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
2064: if (!mat->ops->lufactor) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2065: MatPreallocated(mat);
2068: (*mat->ops->lufactor)(mat,row,col,info);
2070: PetscObjectStateIncrease((PetscObject)mat);
2071: return(0);
2072: }
2076: /*@
2077: MatILUFactor - Performs in-place ILU factorization of matrix.
2079: Collective on Mat
2081: Input Parameters:
2082: + mat - the matrix
2083: . row - row permutation
2084: . col - column permutation
2085: - info - structure containing
2086: $ levels - number of levels of fill.
2087: $ expected fill - as ratio of original fill.
2088: $ 1 or 0 - indicating force fill on diagonal (improves robustness for matrices
2089: missing diagonal entries)
2091: Notes:
2092: Probably really in-place only when level of fill is zero, otherwise allocates
2093: new space to store factored matrix and deletes previous memory.
2095: Most users should employ the simplified KSP interface for linear solvers
2096: instead of working directly with matrix algebra routines such as this.
2097: See, e.g., KSPCreate().
2099: Level: developer
2101: Concepts: matrices^ILU factorization
2103: .seealso: MatILUFactorSymbolic(), MatLUFactorNumeric(), MatCholeskyFactor(), MatFactorInfo
2104: @*/
2105: PetscErrorCode MatILUFactor(Mat mat,IS row,IS col,MatFactorInfo *info)
2106: {
2115: if (mat->rmap.N != mat->cmap.N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square");
2116: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
2117: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
2118: if (!mat->ops->ilufactor) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2119: MatPreallocated(mat);
2122: (*mat->ops->ilufactor)(mat,row,col,info);
2124: PetscObjectStateIncrease((PetscObject)mat);
2125: return(0);
2126: }
2130: /*@
2131: MatLUFactorSymbolic - Performs symbolic LU factorization of matrix.
2132: Call this routine before calling MatLUFactorNumeric().
2134: Collective on Mat
2136: Input Parameters:
2137: + mat - the matrix
2138: . row, col - row and column permutations
2139: - info - options for factorization, includes
2140: $ fill - expected fill as ratio of original fill.
2141: $ dtcol - pivot tolerance (0 no pivot, 1 full column pivoting)
2142: $ Run with the option -info to determine an optimal value to use
2144: Output Parameter:
2145: . fact - new matrix that has been symbolically factored
2147: Notes:
2148: See the users manual for additional information about
2149: choosing the fill factor for better efficiency.
2151: Most users should employ the simplified KSP interface for linear solvers
2152: instead of working directly with matrix algebra routines such as this.
2153: See, e.g., KSPCreate().
2155: Level: developer
2157: Concepts: matrices^LU symbolic factorization
2159: .seealso: MatLUFactor(), MatLUFactorNumeric(), MatCholeskyFactor(), MatFactorInfo
2160: @*/
2161: PetscErrorCode MatLUFactorSymbolic(Mat mat,IS row,IS col,MatFactorInfo *info,Mat *fact)
2162: {
2172: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
2173: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
2174: if (!mat->ops->lufactorsymbolic) SETERRQ1(PETSC_ERR_SUP,"Matrix type %s symbolic LU",mat->type_name);
2175: MatPreallocated(mat);
2178: (*mat->ops->lufactorsymbolic)(mat,row,col,info,fact);
2180: PetscObjectStateIncrease((PetscObject)*fact);
2181: return(0);
2182: }
2186: /*@
2187: MatLUFactorNumeric - Performs numeric LU factorization of a matrix.
2188: Call this routine after first calling MatLUFactorSymbolic().
2190: Collective on Mat
2192: Input Parameters:
2193: + mat - the matrix
2194: . info - options for factorization
2195: - fact - the matrix generated for the factor, from MatLUFactorSymbolic()
2197: Notes:
2198: See MatLUFactor() for in-place factorization. See
2199: MatCholeskyFactorNumeric() for the symmetric, positive definite case.
2201: Most users should employ the simplified KSP interface for linear solvers
2202: instead of working directly with matrix algebra routines such as this.
2203: See, e.g., KSPCreate().
2205: Level: developer
2207: Concepts: matrices^LU numeric factorization
2209: .seealso: MatLUFactorSymbolic(), MatLUFactor(), MatCholeskyFactor()
2210: @*/
2211: PetscErrorCode MatLUFactorNumeric(Mat mat,MatFactorInfo *info,Mat *fact)
2212: {
2220: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
2221: if (mat->rmap.N != (*fact)->rmap.N || mat->cmap.N != (*fact)->cmap.N) {
2222: SETERRQ4(PETSC_ERR_ARG_SIZ,"Mat mat,Mat *fact: global dimensions are different %D should = %D %D should = %D",mat->rmap.N,(*fact)->rmap.N,mat->cmap.N,(*fact)->cmap.N);
2223: }
2224: if (!(*fact)->ops->lufactornumeric) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2225: MatPreallocated(mat);
2227: (*(*fact)->ops->lufactornumeric)(mat,info,fact);
2230: MatView_Private(*fact);
2231: PetscObjectStateIncrease((PetscObject)*fact);
2232: return(0);
2233: }
2237: /*@
2238: MatCholeskyFactor - Performs in-place Cholesky factorization of a
2239: symmetric matrix.
2241: Collective on Mat
2243: Input Parameters:
2244: + mat - the matrix
2245: . perm - row and column permutations
2246: - f - expected fill as ratio of original fill
2248: Notes:
2249: See MatLUFactor() for the nonsymmetric case. See also
2250: MatCholeskyFactorSymbolic(), and MatCholeskyFactorNumeric().
2252: Most users should employ the simplified KSP interface for linear solvers
2253: instead of working directly with matrix algebra routines such as this.
2254: See, e.g., KSPCreate().
2256: Level: developer
2258: Concepts: matrices^Cholesky factorization
2260: .seealso: MatLUFactor(), MatCholeskyFactorSymbolic(), MatCholeskyFactorNumeric()
2261: MatGetOrdering()
2263: @*/
2264: PetscErrorCode MatCholeskyFactor(Mat mat,IS perm,MatFactorInfo *info)
2265: {
2273: if (mat->rmap.N != mat->cmap.N) SETERRQ(PETSC_ERR_ARG_WRONG,"Matrix must be square");
2274: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
2275: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
2276: if (!mat->ops->choleskyfactor) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2277: MatPreallocated(mat);
2280: (*mat->ops->choleskyfactor)(mat,perm,info);
2282: PetscObjectStateIncrease((PetscObject)mat);
2283: return(0);
2284: }
2288: /*@
2289: MatCholeskyFactorSymbolic - Performs symbolic Cholesky factorization
2290: of a symmetric matrix.
2292: Collective on Mat
2294: Input Parameters:
2295: + mat - the matrix
2296: . perm - row and column permutations
2297: - info - options for factorization, includes
2298: $ fill - expected fill as ratio of original fill.
2299: $ dtcol - pivot tolerance (0 no pivot, 1 full column pivoting)
2300: $ Run with the option -info to determine an optimal value to use
2302: Output Parameter:
2303: . fact - the factored matrix
2305: Notes:
2306: See MatLUFactorSymbolic() for the nonsymmetric case. See also
2307: MatCholeskyFactor() and MatCholeskyFactorNumeric().
2309: Most users should employ the simplified KSP interface for linear solvers
2310: instead of working directly with matrix algebra routines such as this.
2311: See, e.g., KSPCreate().
2313: Level: developer
2315: Concepts: matrices^Cholesky symbolic factorization
2317: .seealso: MatLUFactorSymbolic(), MatCholeskyFactor(), MatCholeskyFactorNumeric()
2318: MatGetOrdering()
2320: @*/
2321: PetscErrorCode MatCholeskyFactorSymbolic(Mat mat,IS perm,MatFactorInfo *info,Mat *fact)
2322: {
2331: if (mat->rmap.N != mat->cmap.N) SETERRQ(PETSC_ERR_ARG_WRONG,"Matrix must be square");
2332: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
2333: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
2334: if (!mat->ops->choleskyfactorsymbolic) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2335: MatPreallocated(mat);
2338: (*mat->ops->choleskyfactorsymbolic)(mat,perm,info,fact);
2340: PetscObjectStateIncrease((PetscObject)*fact);
2341: return(0);
2342: }
2346: /*@
2347: MatCholeskyFactorNumeric - Performs numeric Cholesky factorization
2348: of a symmetric matrix. Call this routine after first calling
2349: MatCholeskyFactorSymbolic().
2351: Collective on Mat
2353: Input Parameter:
2354: . mat - the initial matrix
2355: . info - options for factorization
2356: - fact - the symbolic factor of mat
2358: Output Parameter:
2359: . fact - the factored matrix
2361: Notes:
2362: Most users should employ the simplified KSP interface for linear solvers
2363: instead of working directly with matrix algebra routines such as this.
2364: See, e.g., KSPCreate().
2366: Level: developer
2368: Concepts: matrices^Cholesky numeric factorization
2370: .seealso: MatCholeskyFactorSymbolic(), MatCholeskyFactor(), MatLUFactorNumeric()
2371: @*/
2372: PetscErrorCode MatCholeskyFactorNumeric(Mat mat,MatFactorInfo *info,Mat *fact)
2373: {
2381: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
2382: if (!(*fact)->ops->choleskyfactornumeric) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2383: if (mat->rmap.N != (*fact)->rmap.N || mat->cmap.N != (*fact)->cmap.N) {
2384: SETERRQ4(PETSC_ERR_ARG_SIZ,"Mat mat,Mat *fact: global dim %D should = %D %D should = %D",mat->rmap.N,(*fact)->rmap.N,mat->cmap.N,(*fact)->cmap.N);
2385: }
2386: MatPreallocated(mat);
2389: (*(*fact)->ops->choleskyfactornumeric)(mat,info,fact);
2392: MatView_Private(*fact);
2393: PetscObjectStateIncrease((PetscObject)*fact);
2394: return(0);
2395: }
2397: /* ----------------------------------------------------------------*/
2400: /*@
2401: MatSolve - Solves A x = b, given a factored matrix.
2403: Collective on Mat and Vec
2405: Input Parameters:
2406: + mat - the factored matrix
2407: - b - the right-hand-side vector
2409: Output Parameter:
2410: . x - the result vector
2412: Notes:
2413: The vectors b and x cannot be the same. I.e., one cannot
2414: call MatSolve(A,x,x).
2416: Notes:
2417: Most users should employ the simplified KSP interface for linear solvers
2418: instead of working directly with matrix algebra routines such as this.
2419: See, e.g., KSPCreate().
2421: Level: developer
2423: Concepts: matrices^triangular solves
2425: .seealso: MatSolveAdd(), MatSolveTranspose(), MatSolveTransposeAdd()
2426: @*/
2427: PetscErrorCode MatSolve(Mat mat,Vec b,Vec x)
2428: {
2438: if (x == b) SETERRQ(PETSC_ERR_ARG_IDN,"x and b must be different vectors");
2439: if (!mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Unfactored matrix");
2440: if (mat->cmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->cmap.N,x->map.N);
2441: if (mat->rmap.N != b->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: global dim %D %D",mat->rmap.N,b->map.N);
2442: if (mat->rmap.n != b->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: local dim %D %D",mat->rmap.n,b->map.n);
2443: if (!mat->rmap.N && !mat->cmap.N) return(0);
2444: if (!mat->ops->solve) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2445: MatPreallocated(mat);
2448: (*mat->ops->solve)(mat,b,x);
2450: PetscObjectStateIncrease((PetscObject)x);
2451: return(0);
2452: }
2456: /*@
2457: MatMatSolve - Solves A X = B, given a factored matrix.
2459: Collective on Mat
2461: Input Parameters:
2462: + mat - the factored matrix
2463: - b - the right-hand-side vector
2465: Output Parameter:
2466: . x - the result vector
2468: Notes:
2469: The vectors b and x cannot be the same. I.e., one cannot
2470: call MatMatSolve(A,x,x).
2472: Notes:
2473: Most users should employ the simplified KSP interface for linear solvers
2474: instead of working directly with matrix algebra routines such as this.
2475: See, e.g., KSPCreate().
2477: Level: developer
2479: Concepts: matrices^triangular solves
2481: .seealso: MatMatSolveAdd(), MatMatSolveTranspose(), MatMatSolveTransposeAdd()
2482: @*/
2483: PetscErrorCode MatMatSolve(Mat A,Mat B,Mat X)
2484: {
2494: if (X == B) SETERRQ(PETSC_ERR_ARG_IDN,"X and B must be different matrices");
2495: if (!A->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Unfactored matrix");
2496: if (A->cmap.N != X->rmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat A,Mat X: global dim %D %D",A->cmap.N,X->rmap.N);
2497: if (A->rmap.N != B->rmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat A,Mat B: global dim %D %D",A->rmap.N,B->rmap.N);
2498: if (A->rmap.n != B->rmap.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat A,Mat B: local dim %D %D",A->rmap.n,B->rmap.n);
2499: if (!A->rmap.N && !A->cmap.N) return(0);
2500: if (!A->ops->matsolve) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",A->type_name);
2501: MatPreallocated(A);
2504: (*A->ops->matsolve)(A,B,X);
2506: PetscObjectStateIncrease((PetscObject)X);
2507: return(0);
2508: }
2513: /* @
2514: MatForwardSolve - Solves L x = b, given a factored matrix, A = LU, or
2515: U^T*D^(1/2) x = b, given a factored symmetric matrix, A = U^T*D*U,
2517: Collective on Mat and Vec
2519: Input Parameters:
2520: + mat - the factored matrix
2521: - b - the right-hand-side vector
2523: Output Parameter:
2524: . x - the result vector
2526: Notes:
2527: MatSolve() should be used for most applications, as it performs
2528: a forward solve followed by a backward solve.
2530: The vectors b and x cannot be the same, i.e., one cannot
2531: call MatForwardSolve(A,x,x).
2533: For matrix in seqsbaij format with block size larger than 1,
2534: the diagonal blocks are not implemented as D = D^(1/2) * D^(1/2) yet.
2535: MatForwardSolve() solves U^T*D y = b, and
2536: MatBackwardSolve() solves U x = y.
2537: Thus they do not provide a symmetric preconditioner.
2539: Most users should employ the simplified KSP interface for linear solvers
2540: instead of working directly with matrix algebra routines such as this.
2541: See, e.g., KSPCreate().
2543: Level: developer
2545: Concepts: matrices^forward solves
2547: .seealso: MatSolve(), MatBackwardSolve()
2548: @ */
2549: PetscErrorCode MatForwardSolve(Mat mat,Vec b,Vec x)
2550: {
2560: if (x == b) SETERRQ(PETSC_ERR_ARG_IDN,"x and b must be different vectors");
2561: if (!mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Unfactored matrix");
2562: if (!mat->ops->forwardsolve) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2563: if (mat->cmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->cmap.N,x->map.N);
2564: if (mat->rmap.N != b->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: global dim %D %D",mat->rmap.N,b->map.N);
2565: if (mat->rmap.n != b->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: local dim %D %D",mat->rmap.n,b->map.n);
2566: MatPreallocated(mat);
2568: (*mat->ops->forwardsolve)(mat,b,x);
2570: PetscObjectStateIncrease((PetscObject)x);
2571: return(0);
2572: }
2576: /* @
2577: MatBackwardSolve - Solves U x = b, given a factored matrix, A = LU.
2578: D^(1/2) U x = b, given a factored symmetric matrix, A = U^T*D*U,
2580: Collective on Mat and Vec
2582: Input Parameters:
2583: + mat - the factored matrix
2584: - b - the right-hand-side vector
2586: Output Parameter:
2587: . x - the result vector
2589: Notes:
2590: MatSolve() should be used for most applications, as it performs
2591: a forward solve followed by a backward solve.
2593: The vectors b and x cannot be the same. I.e., one cannot
2594: call MatBackwardSolve(A,x,x).
2596: For matrix in seqsbaij format with block size larger than 1,
2597: the diagonal blocks are not implemented as D = D^(1/2) * D^(1/2) yet.
2598: MatForwardSolve() solves U^T*D y = b, and
2599: MatBackwardSolve() solves U x = y.
2600: Thus they do not provide a symmetric preconditioner.
2602: Most users should employ the simplified KSP interface for linear solvers
2603: instead of working directly with matrix algebra routines such as this.
2604: See, e.g., KSPCreate().
2606: Level: developer
2608: Concepts: matrices^backward solves
2610: .seealso: MatSolve(), MatForwardSolve()
2611: @ */
2612: PetscErrorCode MatBackwardSolve(Mat mat,Vec b,Vec x)
2613: {
2623: if (x == b) SETERRQ(PETSC_ERR_ARG_IDN,"x and b must be different vectors");
2624: if (!mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Unfactored matrix");
2625: if (!mat->ops->backwardsolve) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2626: if (mat->cmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->cmap.N,x->map.N);
2627: if (mat->rmap.N != b->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: global dim %D %D",mat->rmap.N,b->map.N);
2628: if (mat->rmap.n != b->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: local dim %D %D",mat->rmap.n,b->map.n);
2629: MatPreallocated(mat);
2632: (*mat->ops->backwardsolve)(mat,b,x);
2634: PetscObjectStateIncrease((PetscObject)x);
2635: return(0);
2636: }
2640: /*@
2641: MatSolveAdd - Computes x = y + inv(A)*b, given a factored matrix.
2643: Collective on Mat and Vec
2645: Input Parameters:
2646: + mat - the factored matrix
2647: . b - the right-hand-side vector
2648: - y - the vector to be added to
2650: Output Parameter:
2651: . x - the result vector
2653: Notes:
2654: The vectors b and x cannot be the same. I.e., one cannot
2655: call MatSolveAdd(A,x,y,x).
2657: Most users should employ the simplified KSP interface for linear solvers
2658: instead of working directly with matrix algebra routines such as this.
2659: See, e.g., KSPCreate().
2661: Level: developer
2663: Concepts: matrices^triangular solves
2665: .seealso: MatSolve(), MatSolveTranspose(), MatSolveTransposeAdd()
2666: @*/
2667: PetscErrorCode MatSolveAdd(Mat mat,Vec b,Vec y,Vec x)
2668: {
2669: PetscScalar one = 1.0;
2670: Vec tmp;
2682: if (x == b) SETERRQ(PETSC_ERR_ARG_IDN,"x and b must be different vectors");
2683: if (!mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Unfactored matrix");
2684: if (mat->cmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->cmap.N,x->map.N);
2685: if (mat->rmap.N != b->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: global dim %D %D",mat->rmap.N,b->map.N);
2686: if (mat->rmap.N != y->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec y: global dim %D %D",mat->rmap.N,y->map.N);
2687: if (mat->rmap.n != b->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: local dim %D %D",mat->rmap.n,b->map.n);
2688: if (x->map.n != y->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Vec x,Vec y: local dim %D %D",x->map.n,y->map.n);
2689: MatPreallocated(mat);
2692: if (mat->ops->solveadd) {
2693: (*mat->ops->solveadd)(mat,b,y,x);
2694: } else {
2695: /* do the solve then the add manually */
2696: if (x != y) {
2697: MatSolve(mat,b,x);
2698: VecAXPY(x,one,y);
2699: } else {
2700: VecDuplicate(x,&tmp);
2701: PetscLogObjectParent(mat,tmp);
2702: VecCopy(x,tmp);
2703: MatSolve(mat,b,x);
2704: VecAXPY(x,one,tmp);
2705: VecDestroy(tmp);
2706: }
2707: }
2709: PetscObjectStateIncrease((PetscObject)x);
2710: return(0);
2711: }
2715: /*@
2716: MatSolveTranspose - Solves A' x = b, given a factored matrix.
2718: Collective on Mat and Vec
2720: Input Parameters:
2721: + mat - the factored matrix
2722: - b - the right-hand-side vector
2724: Output Parameter:
2725: . x - the result vector
2727: Notes:
2728: The vectors b and x cannot be the same. I.e., one cannot
2729: call MatSolveTranspose(A,x,x).
2731: Most users should employ the simplified KSP interface for linear solvers
2732: instead of working directly with matrix algebra routines such as this.
2733: See, e.g., KSPCreate().
2735: Level: developer
2737: Concepts: matrices^triangular solves
2739: .seealso: MatSolve(), MatSolveAdd(), MatSolveTransposeAdd()
2740: @*/
2741: PetscErrorCode MatSolveTranspose(Mat mat,Vec b,Vec x)
2742: {
2752: if (!mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Unfactored matrix");
2753: if (x == b) SETERRQ(PETSC_ERR_ARG_IDN,"x and b must be different vectors");
2754: if (!mat->ops->solvetranspose) SETERRQ1(PETSC_ERR_SUP,"Matrix type %s",mat->type_name);
2755: if (mat->rmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->rmap.N,x->map.N);
2756: if (mat->cmap.N != b->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: global dim %D %D",mat->cmap.N,b->map.N);
2757: MatPreallocated(mat);
2759: (*mat->ops->solvetranspose)(mat,b,x);
2761: PetscObjectStateIncrease((PetscObject)x);
2762: return(0);
2763: }
2767: /*@
2768: MatSolveTransposeAdd - Computes x = y + inv(Transpose(A)) b, given a
2769: factored matrix.
2771: Collective on Mat and Vec
2773: Input Parameters:
2774: + mat - the factored matrix
2775: . b - the right-hand-side vector
2776: - y - the vector to be added to
2778: Output Parameter:
2779: . x - the result vector
2781: Notes:
2782: The vectors b and x cannot be the same. I.e., one cannot
2783: call MatSolveTransposeAdd(A,x,y,x).
2785: Most users should employ the simplified KSP interface for linear solvers
2786: instead of working directly with matrix algebra routines such as this.
2787: See, e.g., KSPCreate().
2789: Level: developer
2791: Concepts: matrices^triangular solves
2793: .seealso: MatSolve(), MatSolveAdd(), MatSolveTranspose()
2794: @*/
2795: PetscErrorCode MatSolveTransposeAdd(Mat mat,Vec b,Vec y,Vec x)
2796: {
2797: PetscScalar one = 1.0;
2799: Vec tmp;
2810: if (x == b) SETERRQ(PETSC_ERR_ARG_IDN,"x and b must be different vectors");
2811: if (!mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Unfactored matrix");
2812: if (mat->rmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->rmap.N,x->map.N);
2813: if (mat->cmap.N != b->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: global dim %D %D",mat->cmap.N,b->map.N);
2814: if (mat->cmap.N != y->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec y: global dim %D %D",mat->cmap.N,y->map.N);
2815: if (x->map.n != y->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Vec x,Vec y: local dim %D %D",x->map.n,y->map.n);
2816: MatPreallocated(mat);
2819: if (mat->ops->solvetransposeadd) {
2820: (*mat->ops->solvetransposeadd)(mat,b,y,x);
2821: } else {
2822: /* do the solve then the add manually */
2823: if (x != y) {
2824: MatSolveTranspose(mat,b,x);
2825: VecAXPY(x,one,y);
2826: } else {
2827: VecDuplicate(x,&tmp);
2828: PetscLogObjectParent(mat,tmp);
2829: VecCopy(x,tmp);
2830: MatSolveTranspose(mat,b,x);
2831: VecAXPY(x,one,tmp);
2832: VecDestroy(tmp);
2833: }
2834: }
2836: PetscObjectStateIncrease((PetscObject)x);
2837: return(0);
2838: }
2839: /* ----------------------------------------------------------------*/
2843: /*@
2844: MatRelax - Computes relaxation (SOR, Gauss-Seidel) sweeps.
2846: Collective on Mat and Vec
2848: Input Parameters:
2849: + mat - the matrix
2850: . b - the right hand side
2851: . omega - the relaxation factor
2852: . flag - flag indicating the type of SOR (see below)
2853: . shift - diagonal shift
2854: - its - the number of iterations
2855: - lits - the number of local iterations
2857: Output Parameters:
2858: . x - the solution (can contain an initial guess)
2860: SOR Flags:
2861: . SOR_FORWARD_SWEEP - forward SOR
2862: . SOR_BACKWARD_SWEEP - backward SOR
2863: . SOR_SYMMETRIC_SWEEP - SSOR (symmetric SOR)
2864: . SOR_LOCAL_FORWARD_SWEEP - local forward SOR
2865: . SOR_LOCAL_BACKWARD_SWEEP - local forward SOR
2866: . SOR_LOCAL_SYMMETRIC_SWEEP - local SSOR
2867: . SOR_APPLY_UPPER, SOR_APPLY_LOWER - applies
2868: upper/lower triangular part of matrix to
2869: vector (with omega)
2870: . SOR_ZERO_INITIAL_GUESS - zero initial guess
2872: Notes:
2873: SOR_LOCAL_FORWARD_SWEEP, SOR_LOCAL_BACKWARD_SWEEP, and
2874: SOR_LOCAL_SYMMETRIC_SWEEP perform separate independent smoothings
2875: on each processor.
2877: Application programmers will not generally use MatRelax() directly,
2878: but instead will employ the KSP/PC interface.
2880: Notes for Advanced Users:
2881: The flags are implemented as bitwise inclusive or operations.
2882: For example, use (SOR_ZERO_INITIAL_GUESS | SOR_SYMMETRIC_SWEEP)
2883: to specify a zero initial guess for SSOR.
2885: Most users should employ the simplified KSP interface for linear solvers
2886: instead of working directly with matrix algebra routines such as this.
2887: See, e.g., KSPCreate().
2889: See also, MatPBRelax(). This routine will automatically call the point block
2890: version if the point version is not available.
2892: Level: developer
2894: Concepts: matrices^relaxation
2895: Concepts: matrices^SOR
2896: Concepts: matrices^Gauss-Seidel
2898: @*/
2899: PetscErrorCode MatRelax(Mat mat,Vec b,PetscReal omega,MatSORType flag,PetscReal shift,PetscInt its,PetscInt lits,Vec x)
2900: {
2910: if (!mat->ops->relax && !mat->ops->pbrelax) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2911: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
2912: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
2913: if (mat->cmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->cmap.N,x->map.N);
2914: if (mat->rmap.N != b->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: global dim %D %D",mat->rmap.N,b->map.N);
2915: if (mat->rmap.n != b->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: local dim %D %D",mat->rmap.n,b->map.n);
2916: MatPreallocated(mat);
2918: if (mat->ops->relax) {
2919: ierr =(*mat->ops->relax)(mat,b,omega,flag,shift,its,lits,x);
2920: } else {
2921: ierr =(*mat->ops->pbrelax)(mat,b,omega,flag,shift,its,lits,x);
2922: }
2924: PetscObjectStateIncrease((PetscObject)x);
2925: return(0);
2926: }
2930: /*@
2931: MatPBRelax - Computes relaxation (SOR, Gauss-Seidel) sweeps.
2933: Collective on Mat and Vec
2935: See MatRelax() for usage
2937: For multi-component PDEs where the Jacobian is stored in a point block format
2938: (with the PETSc BAIJ matrix formats) the relaxation is done one point block at
2939: a time. That is, the small (for example, 4 by 4) blocks along the diagonal are solved
2940: simultaneously (that is a 4 by 4 linear solve is done) to update all the values at a point.
2942: Level: developer
2944: @*/
2945: PetscErrorCode MatPBRelax(Mat mat,Vec b,PetscReal omega,MatSORType flag,PetscReal shift,PetscInt its,PetscInt lits,Vec x)
2946: {
2956: if (!mat->ops->pbrelax) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
2957: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
2958: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
2959: if (mat->cmap.N != x->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec x: global dim %D %D",mat->cmap.N,x->map.N);
2960: if (mat->rmap.N != b->map.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: global dim %D %D",mat->rmap.N,b->map.N);
2961: if (mat->rmap.n != b->map.n) SETERRQ2(PETSC_ERR_ARG_SIZ,"Mat mat,Vec b: local dim %D %D",mat->rmap.n,b->map.n);
2962: MatPreallocated(mat);
2965: ierr =(*mat->ops->pbrelax)(mat,b,omega,flag,shift,its,lits,x);
2967: PetscObjectStateIncrease((PetscObject)x);
2968: return(0);
2969: }
2973: /*
2974: Default matrix copy routine.
2975: */
2976: PetscErrorCode MatCopy_Basic(Mat A,Mat B,MatStructure str)
2977: {
2978: PetscErrorCode ierr;
2979: PetscInt i,rstart,rend,nz;
2980: const PetscInt *cwork;
2981: const PetscScalar *vwork;
2984: if (B->assembled) {
2985: MatZeroEntries(B);
2986: }
2987: MatGetOwnershipRange(A,&rstart,&rend);
2988: for (i=rstart; i<rend; i++) {
2989: MatGetRow(A,i,&nz,&cwork,&vwork);
2990: MatSetValues(B,1,&i,nz,cwork,vwork,INSERT_VALUES);
2991: MatRestoreRow(A,i,&nz,&cwork,&vwork);
2992: }
2993: MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY);
2994: MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY);
2995: PetscObjectStateIncrease((PetscObject)B);
2996: return(0);
2997: }
3001: /*@
3002: MatCopy - Copys a matrix to another matrix.
3004: Collective on Mat
3006: Input Parameters:
3007: + A - the matrix
3008: - str - SAME_NONZERO_PATTERN or DIFFERENT_NONZERO_PATTERN
3010: Output Parameter:
3011: . B - where the copy is put
3013: Notes:
3014: If you use SAME_NONZERO_PATTERN then the two matrices had better have the
3015: same nonzero pattern or the routine will crash.
3017: MatCopy() copies the matrix entries of a matrix to another existing
3018: matrix (after first zeroing the second matrix). A related routine is
3019: MatConvert(), which first creates a new matrix and then copies the data.
3021: Level: intermediate
3022:
3023: Concepts: matrices^copying
3025: .seealso: MatConvert(), MatDuplicate()
3027: @*/
3028: PetscErrorCode MatCopy(Mat A,Mat B,MatStructure str)
3029: {
3037: MatPreallocated(B);
3039: if (!A->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3040: if (A->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
3041: if (A->rmap.N != B->rmap.N || A->cmap.N != B->cmap.N) SETERRQ4(PETSC_ERR_ARG_SIZ,"Mat A,Mat B: global dim (%D,%D) (%D,%D)",A->rmap.N,B->rmap.N,A->cmap.N,B->cmap.N);
3042: MatPreallocated(A);
3045: if (A->ops->copy) {
3046: (*A->ops->copy)(A,B,str);
3047: } else { /* generic conversion */
3048: MatCopy_Basic(A,B,str);
3049: }
3050: if (A->mapping) {
3051: if (B->mapping) {ISLocalToGlobalMappingDestroy(B->mapping);B->mapping = 0;}
3052: MatSetLocalToGlobalMapping(B,A->mapping);
3053: }
3054: if (A->bmapping) {
3055: if (B->bmapping) {ISLocalToGlobalMappingDestroy(B->bmapping);B->bmapping = 0;}
3056: MatSetLocalToGlobalMappingBlock(B,A->mapping);
3057: }
3059: PetscObjectStateIncrease((PetscObject)B);
3060: return(0);
3061: }
3065: /*@C
3066: MatConvert - Converts a matrix to another matrix, either of the same
3067: or different type.
3069: Collective on Mat
3071: Input Parameters:
3072: + mat - the matrix
3073: . newtype - new matrix type. Use MATSAME to create a new matrix of the
3074: same type as the original matrix.
3075: - reuse - denotes if the destination matrix is to be created or reused. Currently
3076: MAT_REUSE_MATRIX is only supported for inplace conversion, otherwise use
3077: MAT_INITIAL_MATRIX.
3079: Output Parameter:
3080: . M - pointer to place new matrix
3082: Notes:
3083: MatConvert() first creates a new matrix and then copies the data from
3084: the first matrix. A related routine is MatCopy(), which copies the matrix
3085: entries of one matrix to another already existing matrix context.
3087: Level: intermediate
3089: Concepts: matrices^converting between storage formats
3091: .seealso: MatCopy(), MatDuplicate()
3092: @*/
3093: PetscErrorCode MatConvert(Mat mat, MatType newtype,MatReuse reuse,Mat *M)
3094: {
3095: PetscErrorCode ierr;
3096: PetscTruth sametype,issame,flg;
3097: char convname[256],mtype[256];
3098: Mat B;
3104: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3105: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
3106: MatPreallocated(mat);
3108: PetscOptionsGetString(PETSC_NULL,"-matconvert_type",mtype,256,&flg);
3109: if (flg) {
3110: newtype = mtype;
3111: }
3112: PetscTypeCompare((PetscObject)mat,newtype,&sametype);
3113: PetscStrcmp(newtype,"same",&issame);
3114: if ((reuse==MAT_REUSE_MATRIX) && (mat != *M)) {
3115: SETERRQ(PETSC_ERR_SUP,"MAT_REUSE_MATRIX only supported for in-place conversion currently");
3116: }
3117: if ((sametype || issame) && (reuse==MAT_INITIAL_MATRIX) && mat->ops->duplicate) {
3118: (*mat->ops->duplicate)(mat,MAT_COPY_VALUES,M);
3119: } else {
3120: PetscErrorCode (*conv)(Mat, MatType,MatReuse,Mat*)=PETSC_NULL;
3121: const char *prefix[3] = {"seq","mpi",""};
3122: PetscInt i;
3123: /*
3124: Order of precedence:
3125: 1) See if a specialized converter is known to the current matrix.
3126: 2) See if a specialized converter is known to the desired matrix class.
3127: 3) See if a good general converter is registered for the desired class
3128: (as of 6/27/03 only MATMPIADJ falls into this category).
3129: 4) See if a good general converter is known for the current matrix.
3130: 5) Use a really basic converter.
3131: */
3132:
3133: /* 1) See if a specialized converter is known to the current matrix and the desired class */
3134: for (i=0; i<3; i++) {
3135: PetscStrcpy(convname,"MatConvert_");
3136: PetscStrcat(convname,mat->type_name);
3137: PetscStrcat(convname,"_");
3138: PetscStrcat(convname,prefix[i]);
3139: PetscStrcat(convname,newtype);
3140: PetscStrcat(convname,"_C");
3141: PetscObjectQueryFunction((PetscObject)mat,convname,(void (**)(void))&conv);
3142: if (conv) goto foundconv;
3143: }
3145: /* 2) See if a specialized converter is known to the desired matrix class. */
3146: MatCreate(mat->comm,&B);
3147: MatSetSizes(B,mat->rmap.n,mat->cmap.n,mat->rmap.N,mat->cmap.N);
3148: MatSetType(B,newtype);
3149: for (i=0; i<3; i++) {
3150: PetscStrcpy(convname,"MatConvert_");
3151: PetscStrcat(convname,mat->type_name);
3152: PetscStrcat(convname,"_");
3153: PetscStrcat(convname,prefix[i]);
3154: PetscStrcat(convname,newtype);
3155: PetscStrcat(convname,"_C");
3156: PetscObjectQueryFunction((PetscObject)B,convname,(void (**)(void))&conv);
3157: if (conv) {
3158: MatDestroy(B);
3159: goto foundconv;
3160: }
3161: }
3163: /* 3) See if a good general converter is registered for the desired class */
3164: conv = B->ops->convertfrom;
3165: MatDestroy(B);
3166: if (conv) goto foundconv;
3168: /* 4) See if a good general converter is known for the current matrix */
3169: if (mat->ops->convert) {
3170: conv = mat->ops->convert;
3171: }
3172: if (conv) goto foundconv;
3174: /* 5) Use a really basic converter. */
3175: conv = MatConvert_Basic;
3177: foundconv:
3179: (*conv)(mat,newtype,reuse,M);
3181: }
3182: B = *M;
3183: PetscObjectStateIncrease((PetscObject)B);
3184: return(0);
3185: }
3190: /*@
3191: MatDuplicate - Duplicates a matrix including the non-zero structure.
3193: Collective on Mat
3195: Input Parameters:
3196: + mat - the matrix
3197: - op - either MAT_DO_NOT_COPY_VALUES or MAT_COPY_VALUES, cause it to copy nonzero
3198: values as well or not
3200: Output Parameter:
3201: . M - pointer to place new matrix
3203: Level: intermediate
3205: Concepts: matrices^duplicating
3207: .seealso: MatCopy(), MatConvert()
3208: @*/
3209: PetscErrorCode MatDuplicate(Mat mat,MatDuplicateOption op,Mat *M)
3210: {
3212: Mat B;
3218: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3219: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
3220: MatPreallocated(mat);
3222: *M = 0;
3223: if (!mat->ops->duplicate) {
3224: SETERRQ(PETSC_ERR_SUP,"Not written for this matrix type");
3225: }
3227: (*mat->ops->duplicate)(mat,op,M);
3228: B = *M;
3229: if (mat->mapping) {
3230: MatSetLocalToGlobalMapping(B,mat->mapping);
3231: }
3232: if (mat->bmapping) {
3233: MatSetLocalToGlobalMappingBlock(B,mat->bmapping);
3234: }
3235: PetscMapCopy(mat->comm,&mat->rmap,&B->rmap);
3236: PetscMapCopy(mat->comm,&mat->cmap,&B->cmap);
3237:
3239: PetscObjectStateIncrease((PetscObject)B);
3240: return(0);
3241: }
3245: /*@
3246: MatGetDiagonal - Gets the diagonal of a matrix.
3248: Collective on Mat and Vec
3250: Input Parameters:
3251: + mat - the matrix
3252: - v - the vector for storing the diagonal
3254: Output Parameter:
3255: . v - the diagonal of the matrix
3257: Notes: The result of this call are the same as if one converted the matrix to dense format
3258: and found the minimum value in each row (i.e. the implicit zeros are counted as zeros).
3260: Level: intermediate
3262: Concepts: matrices^accessing diagonals
3264: .seealso: MatGetRow(), MatGetSubMatrices(), MatGetSubmatrix(), MatGetRowMaxAbs()
3265: @*/
3266: PetscErrorCode MatGetDiagonal(Mat mat,Vec v)
3267: {
3274: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3275: if (!mat->ops->getdiagonal) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
3276: MatPreallocated(mat);
3278: (*mat->ops->getdiagonal)(mat,v);
3279: PetscObjectStateIncrease((PetscObject)v);
3280: return(0);
3281: }
3285: /*@
3286: MatGetRowMin - Gets the minimum value (of the real part) of each
3287: row of the matrix
3289: Collective on Mat and Vec
3291: Input Parameters:
3292: . mat - the matrix
3294: Output Parameter:
3295: + v - the vector for storing the maximums
3296: - idx - the indices of the column found for each row (optional)
3298: Level: intermediate
3300: Notes: The result of this call are the same as if one converted the matrix to dense format
3301: and found the minimum value in each row (i.e. the implicit zeros are counted as zeros).
3303: This code is only implemented for a couple of matrix formats.
3305: Concepts: matrices^getting row maximums
3307: .seealso: MatGetDiagonal(), MatGetSubMatrices(), MatGetSubmatrix(), MatGetRowMaxAbs(),
3308: MatGetRowMax()
3309: @*/
3310: PetscErrorCode MatGetRowMin(Mat mat,Vec v,PetscInt idx[])
3311: {
3318: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3319: if (!mat->ops->getrowmax) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
3320: MatPreallocated(mat);
3322: (*mat->ops->getrowmin)(mat,v,idx);
3323: PetscObjectStateIncrease((PetscObject)v);
3324: return(0);
3325: }
3329: /*@
3330: MatGetRowMax - Gets the maximum value (of the real part) of each
3331: row of the matrix
3333: Collective on Mat and Vec
3335: Input Parameters:
3336: . mat - the matrix
3338: Output Parameter:
3339: + v - the vector for storing the maximums
3340: - idx - the indices of the column found for each row (optional)
3342: Level: intermediate
3344: Notes: The result of this call are the same as if one converted the matrix to dense format
3345: and found the minimum value in each row (i.e. the implicit zeros are counted as zeros).
3347: This code is only implemented for a couple of matrix formats.
3349: Concepts: matrices^getting row maximums
3351: .seealso: MatGetDiagonal(), MatGetSubMatrices(), MatGetSubmatrix(), MatGetRowMaxAbs(), MatGetRowMin()
3352: @*/
3353: PetscErrorCode MatGetRowMax(Mat mat,Vec v,PetscInt idx[])
3354: {
3361: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3362: if (!mat->ops->getrowmax) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
3363: MatPreallocated(mat);
3365: (*mat->ops->getrowmax)(mat,v,idx);
3366: PetscObjectStateIncrease((PetscObject)v);
3367: return(0);
3368: }
3372: /*@
3373: MatGetRowMaxAbs - Gets the maximum value (in absolute value) of each
3374: row of the matrix
3376: Collective on Mat and Vec
3378: Input Parameters:
3379: . mat - the matrix
3381: Output Parameter:
3382: + v - the vector for storing the maximums
3383: - idx - the indices of the column found for each row (optional)
3385: Level: intermediate
3387: Notes: if a row is completely empty or has only 0.0 values then the idx[] value for that
3388: row is 0 (the first column).
3390: This code is only implemented for a couple of matrix formats.
3392: Concepts: matrices^getting row maximums
3394: .seealso: MatGetDiagonal(), MatGetSubMatrices(), MatGetSubmatrix(), MatGetRowMax(), MatGetRowMin()
3395: @*/
3396: PetscErrorCode MatGetRowMaxAbs(Mat mat,Vec v,PetscInt idx[])
3397: {
3404: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3405: if (!mat->ops->getrowmaxabs) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
3406: MatPreallocated(mat);
3408: (*mat->ops->getrowmaxabs)(mat,v,idx);
3409: PetscObjectStateIncrease((PetscObject)v);
3410: return(0);
3411: }
3415: /*@
3416: MatGetRowSum - Gets the sum of each row of the matrix
3418: Collective on Mat and Vec
3420: Input Parameters:
3421: . mat - the matrix
3423: Output Parameter:
3424: . v - the vector for storing the maximums
3426: Level: intermediate
3428: Notes: This code is slow since it is not currently specialized for different formats
3430: Concepts: matrices^getting row sums
3432: .seealso: MatGetDiagonal(), MatGetSubMatrices(), MatGetSubmatrix(), MatGetRowMax(), MatGetRowMin()
3433: @*/
3434: PetscErrorCode MatGetRowSum(Mat mat, Vec v)
3435: {
3436: PetscInt start, end, row;
3437: PetscScalar *array;
3444: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3445: MatPreallocated(mat);
3446: MatGetOwnershipRange(mat, &start, &end);
3447: VecGetArray(v, &array);
3448: for(row = start; row < end; ++row) {
3449: PetscInt ncols, col;
3450: const PetscInt *cols;
3451: const PetscScalar *vals;
3453: array[row - start] = 0.0;
3454: MatGetRow(mat, row, &ncols, &cols, &vals);
3455: for(col = 0; col < ncols; col++) {
3456: array[row - start] += vals[col];
3457: }
3458: }
3459: VecRestoreArray(v, &array);
3460: PetscObjectStateIncrease((PetscObject) v);
3461: return(0);
3462: }
3466: /*@C
3467: MatTranspose - Computes an in-place or out-of-place transpose of a matrix.
3469: Collective on Mat
3471: Input Parameter:
3472: . mat - the matrix to transpose
3474: Output Parameters:
3475: . B - the transpose
3477: Notes:
3478: If you pass in PETSC_NULL for B an in-place transpose in mat will be done
3480: Level: intermediate
3482: Concepts: matrices^transposing
3484: .seealso: MatMultTranspose(), MatMultTransposeAdd(), MatIsTranspose()
3485: @*/
3486: PetscErrorCode MatTranspose(Mat mat,Mat *B)
3487: {
3493: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3494: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
3495: if (!mat->ops->transpose) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
3496: MatPreallocated(mat);
3499: (*mat->ops->transpose)(mat,B);
3501: if (B) {PetscObjectStateIncrease((PetscObject)*B);}
3502: return(0);
3503: }
3507: /*@C
3508: MatIsTranspose - Test whether a matrix is another one's transpose,
3509: or its own, in which case it tests symmetry.
3511: Collective on Mat
3513: Input Parameter:
3514: + A - the matrix to test
3515: - B - the matrix to test against, this can equal the first parameter
3517: Output Parameters:
3518: . flg - the result
3520: Notes:
3521: Only available for SeqAIJ/MPIAIJ matrices. The sequential algorithm
3522: has a running time of the order of the number of nonzeros; the parallel
3523: test involves parallel copies of the block-offdiagonal parts of the matrix.
3525: Level: intermediate
3527: Concepts: matrices^transposing, matrix^symmetry
3529: .seealso: MatTranspose(), MatIsSymmetric(), MatIsHermitian()
3530: @*/
3531: PetscErrorCode MatIsTranspose(Mat A,Mat B,PetscReal tol,PetscTruth *flg)
3532: {
3533: PetscErrorCode ierr,(*f)(Mat,Mat,PetscReal,PetscTruth*),(*g)(Mat,Mat,PetscReal,PetscTruth*);
3539: PetscObjectQueryFunction((PetscObject)A,"MatIsTranspose_C",(void (**)(void))&f);
3540: PetscObjectQueryFunction((PetscObject)B,"MatIsTranspose_C",(void (**)(void))&g);
3541: if (f && g) {
3542: if (f==g) {
3543: (*f)(A,B,tol,flg);
3544: } else {
3545: SETERRQ(PETSC_ERR_ARG_NOTSAMETYPE,"Matrices do not have the same comparator for symmetry test");
3546: }
3547: }
3548: return(0);
3549: }
3553: /*@C
3554: MatPermute - Creates a new matrix with rows and columns permuted from the
3555: original.
3557: Collective on Mat
3559: Input Parameters:
3560: + mat - the matrix to permute
3561: . row - row permutation, each processor supplies only the permutation for its rows
3562: - col - column permutation, each processor needs the entire column permutation, that is
3563: this is the same size as the total number of columns in the matrix
3565: Output Parameters:
3566: . B - the permuted matrix
3568: Level: advanced
3570: Concepts: matrices^permuting
3572: .seealso: MatGetOrdering()
3573: @*/
3574: PetscErrorCode MatPermute(Mat mat,IS row,IS col,Mat *B)
3575: {
3584: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3585: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
3586: if (!mat->ops->permute) SETERRQ1(PETSC_ERR_SUP,"MatPermute not available for Mat type %s",mat->type_name);
3587: MatPreallocated(mat);
3589: (*mat->ops->permute)(mat,row,col,B);
3590: PetscObjectStateIncrease((PetscObject)*B);
3591: return(0);
3592: }
3596: /*@C
3597: MatPermuteSparsify - Creates a new matrix with rows and columns permuted from the
3598: original and sparsified to the prescribed tolerance.
3600: Collective on Mat
3602: Input Parameters:
3603: + A - The matrix to permute
3604: . band - The half-bandwidth of the sparsified matrix, or PETSC_DECIDE
3605: . frac - The half-bandwidth as a fraction of the total size, or 0.0
3606: . tol - The drop tolerance
3607: . rowp - The row permutation
3608: - colp - The column permutation
3610: Output Parameter:
3611: . B - The permuted, sparsified matrix
3613: Level: advanced
3615: Note:
3616: The default behavior (band = PETSC_DECIDE and frac = 0.0) is to
3617: restrict the half-bandwidth of the resulting matrix to 5% of the
3618: total matrix size.
3620: .keywords: matrix, permute, sparsify
3622: .seealso: MatGetOrdering(), MatPermute()
3623: @*/
3624: PetscErrorCode MatPermuteSparsify(Mat A, PetscInt band, PetscReal frac, PetscReal tol, IS rowp, IS colp, Mat *B)
3625: {
3626: IS irowp, icolp;
3627: PetscInt *rows, *cols;
3628: PetscInt M, N, locRowStart, locRowEnd;
3629: PetscInt nz, newNz;
3630: const PetscInt *cwork;
3631: PetscInt *cnew;
3632: const PetscScalar *vwork;
3633: PetscScalar *vnew;
3634: PetscInt bw, issize;
3635: PetscInt row, locRow, newRow, col, newCol;
3636: PetscErrorCode ierr;
3643: if (!A->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE, "Not for unassembled matrix");
3644: if (A->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE, "Not for factored matrix");
3645: if (!A->ops->permutesparsify) {
3646: MatGetSize(A, &M, &N);
3647: MatGetOwnershipRange(A, &locRowStart, &locRowEnd);
3648: ISGetSize(rowp, &issize);
3649: if (issize != M) SETERRQ2(PETSC_ERR_ARG_WRONG, "Wrong size %D for row permutation, should be %D", issize, M);
3650: ISGetSize(colp, &issize);
3651: if (issize != N) SETERRQ2(PETSC_ERR_ARG_WRONG, "Wrong size %D for column permutation, should be %D", issize, N);
3652: ISInvertPermutation(rowp, 0, &irowp);
3653: ISGetIndices(irowp, &rows);
3654: ISInvertPermutation(colp, 0, &icolp);
3655: ISGetIndices(icolp, &cols);
3656: PetscMalloc(N * sizeof(PetscInt), &cnew);
3657: PetscMalloc(N * sizeof(PetscScalar), &vnew);
3659: /* Setup bandwidth to include */
3660: if (band == PETSC_DECIDE) {
3661: if (frac <= 0.0)
3662: bw = (PetscInt) (M * 0.05);
3663: else
3664: bw = (PetscInt) (M * frac);
3665: } else {
3666: if (band <= 0) SETERRQ(PETSC_ERR_ARG_WRONG, "Bandwidth must be a positive integer");
3667: bw = band;
3668: }
3670: /* Put values into new matrix */
3671: MatDuplicate(A, MAT_DO_NOT_COPY_VALUES, B);
3672: for(row = locRowStart, locRow = 0; row < locRowEnd; row++, locRow++) {
3673: MatGetRow(A, row, &nz, &cwork, &vwork);
3674: newRow = rows[locRow]+locRowStart;
3675: for(col = 0, newNz = 0; col < nz; col++) {
3676: newCol = cols[cwork[col]];
3677: if ((newCol >= newRow - bw) && (newCol < newRow + bw) && (PetscAbsScalar(vwork[col]) >= tol)) {
3678: cnew[newNz] = newCol;
3679: vnew[newNz] = vwork[col];
3680: newNz++;
3681: }
3682: }
3683: MatSetValues(*B, 1, &newRow, newNz, cnew, vnew, INSERT_VALUES);
3684: MatRestoreRow(A, row, &nz, &cwork, &vwork);
3685: }
3686: PetscFree(cnew);
3687: PetscFree(vnew);
3688: MatAssemblyBegin(*B, MAT_FINAL_ASSEMBLY);
3689: MatAssemblyEnd(*B, MAT_FINAL_ASSEMBLY);
3690: ISRestoreIndices(irowp, &rows);
3691: ISRestoreIndices(icolp, &cols);
3692: ISDestroy(irowp);
3693: ISDestroy(icolp);
3694: } else {
3695: (*A->ops->permutesparsify)(A, band, frac, tol, rowp, colp, B);
3696: }
3697: PetscObjectStateIncrease((PetscObject)*B);
3698: return(0);
3699: }
3703: /*@
3704: MatEqual - Compares two matrices.
3706: Collective on Mat
3708: Input Parameters:
3709: + A - the first matrix
3710: - B - the second matrix
3712: Output Parameter:
3713: . flg - PETSC_TRUE if the matrices are equal; PETSC_FALSE otherwise.
3715: Level: intermediate
3717: Concepts: matrices^equality between
3718: @*/
3719: PetscErrorCode MatEqual(Mat A,Mat B,PetscTruth *flg)
3720: {
3728: MatPreallocated(B);
3731: if (!A->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3732: if (!B->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3733: if (A->rmap.N != B->rmap.N || A->cmap.N != B->cmap.N) SETERRQ4(PETSC_ERR_ARG_SIZ,"Mat A,Mat B: global dim %D %D %D %D",A->rmap.N,B->rmap.N,A->cmap.N,B->cmap.N);
3734: if (!A->ops->equal) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",A->type_name);
3735: if (!B->ops->equal) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",B->type_name);
3736: if (A->ops->equal != B->ops->equal) SETERRQ2(PETSC_ERR_ARG_INCOMP,"A is type: %s\nB is type: %s",A->type_name,B->type_name);
3737: MatPreallocated(A);
3739: (*A->ops->equal)(A,B,flg);
3740: return(0);
3741: }
3745: /*@
3746: MatDiagonalScale - Scales a matrix on the left and right by diagonal
3747: matrices that are stored as vectors. Either of the two scaling
3748: matrices can be PETSC_NULL.
3750: Collective on Mat
3752: Input Parameters:
3753: + mat - the matrix to be scaled
3754: . l - the left scaling vector (or PETSC_NULL)
3755: - r - the right scaling vector (or PETSC_NULL)
3757: Notes:
3758: MatDiagonalScale() computes A = LAR, where
3759: L = a diagonal matrix (stored as a vector), R = a diagonal matrix (stored as a vector)
3761: Level: intermediate
3763: Concepts: matrices^diagonal scaling
3764: Concepts: diagonal scaling of matrices
3766: .seealso: MatScale()
3767: @*/
3768: PetscErrorCode MatDiagonalScale(Mat mat,Vec l,Vec r)
3769: {
3775: if (!mat->ops->diagonalscale) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
3778: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3779: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
3780: MatPreallocated(mat);
3783: (*mat->ops->diagonalscale)(mat,l,r);
3785: PetscObjectStateIncrease((PetscObject)mat);
3786: return(0);
3787: }
3791: /*@
3792: MatScale - Scales all elements of a matrix by a given number.
3794: Collective on Mat
3796: Input Parameters:
3797: + mat - the matrix to be scaled
3798: - a - the scaling value
3800: Output Parameter:
3801: . mat - the scaled matrix
3803: Level: intermediate
3805: Concepts: matrices^scaling all entries
3807: .seealso: MatDiagonalScale()
3808: @*/
3809: PetscErrorCode MatScale(Mat mat,PetscScalar a)
3810: {
3816: if (!mat->ops->scale) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
3817: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3818: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
3819: MatPreallocated(mat);
3822: (*mat->ops->scale)(mat,a);
3824: PetscObjectStateIncrease((PetscObject)mat);
3825: return(0);
3826: }
3830: /*@
3831: MatNorm - Calculates various norms of a matrix.
3833: Collective on Mat
3835: Input Parameters:
3836: + mat - the matrix
3837: - type - the type of norm, NORM_1, NORM_FROBENIUS, NORM_INFINITY
3839: Output Parameters:
3840: . nrm - the resulting norm
3842: Level: intermediate
3844: Concepts: matrices^norm
3845: Concepts: norm^of matrix
3846: @*/
3847: PetscErrorCode MatNorm(Mat mat,NormType type,PetscReal *nrm)
3848: {
3856: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
3857: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
3858: if (!mat->ops->norm) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
3859: MatPreallocated(mat);
3861: (*mat->ops->norm)(mat,type,nrm);
3862: return(0);
3863: }
3865: /*
3866: This variable is used to prevent counting of MatAssemblyBegin() that
3867: are called from within a MatAssemblyEnd().
3868: */
3869: static PetscInt MatAssemblyEnd_InUse = 0;
3872: /*@
3873: MatAssemblyBegin - Begins assembling the matrix. This routine should
3874: be called after completing all calls to MatSetValues().
3876: Collective on Mat
3878: Input Parameters:
3879: + mat - the matrix
3880: - type - type of assembly, either MAT_FLUSH_ASSEMBLY or MAT_FINAL_ASSEMBLY
3881:
3882: Notes:
3883: MatSetValues() generally caches the values. The matrix is ready to
3884: use only after MatAssemblyBegin() and MatAssemblyEnd() have been called.
3885: Use MAT_FLUSH_ASSEMBLY when switching between ADD_VALUES and INSERT_VALUES
3886: in MatSetValues(); use MAT_FINAL_ASSEMBLY for the final assembly before
3887: using the matrix.
3889: Level: beginner
3891: Concepts: matrices^assembling
3893: .seealso: MatAssemblyEnd(), MatSetValues(), MatAssembled()
3894: @*/
3895: PetscErrorCode MatAssemblyBegin(Mat mat,MatAssemblyType type)
3896: {
3902: MatPreallocated(mat);
3903: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix.\nDid you forget to call MatSetUnfactored()?");
3904: if (mat->assembled) {
3905: mat->was_assembled = PETSC_TRUE;
3906: mat->assembled = PETSC_FALSE;
3907: }
3908: if (!MatAssemblyEnd_InUse) {
3910: if (mat->ops->assemblybegin){(*mat->ops->assemblybegin)(mat,type);}
3912: } else {
3913: if (mat->ops->assemblybegin){(*mat->ops->assemblybegin)(mat,type);}
3914: }
3915: return(0);
3916: }
3920: /*@
3921: MatAssembled - Indicates if a matrix has been assembled and is ready for
3922: use; for example, in matrix-vector product.
3924: Collective on Mat
3926: Input Parameter:
3927: . mat - the matrix
3929: Output Parameter:
3930: . assembled - PETSC_TRUE or PETSC_FALSE
3932: Level: advanced
3934: Concepts: matrices^assembled?
3936: .seealso: MatAssemblyEnd(), MatSetValues(), MatAssemblyBegin()
3937: @*/
3938: PetscErrorCode MatAssembled(Mat mat,PetscTruth *assembled)
3939: {
3944: *assembled = mat->assembled;
3945: return(0);
3946: }
3950: /*
3951: Processes command line options to determine if/how a matrix
3952: is to be viewed. Called by MatAssemblyEnd() and MatLoad().
3953: */
3954: PetscErrorCode MatView_Private(Mat mat)
3955: {
3956: PetscErrorCode ierr;
3957: PetscTruth flg1,flg2,flg3,flg4,flg6,flg7,flg8;
3958: static PetscTruth incall = PETSC_FALSE;
3959: #if defined(PETSC_USE_SOCKET_VIEWER)
3960: PetscTruth flg5;
3961: #endif
3964: if (incall) return(0);
3965: incall = PETSC_TRUE;
3966: PetscOptionsBegin(mat->comm,mat->prefix,"Matrix Options","Mat");
3967: PetscOptionsName("-mat_view_info","Information on matrix size","MatView",&flg1);
3968: PetscOptionsName("-mat_view_info_detailed","Nonzeros in the matrix","MatView",&flg2);
3969: PetscOptionsName("-mat_view","Print matrix to stdout","MatView",&flg3);
3970: PetscOptionsName("-mat_view_matlab","Print matrix to stdout in a format Matlab can read","MatView",&flg4);
3971: #if defined(PETSC_USE_SOCKET_VIEWER)
3972: PetscOptionsName("-mat_view_socket","Send matrix to socket (can be read from matlab)","MatView",&flg5);
3973: #endif
3974: PetscOptionsName("-mat_view_binary","Save matrix to file in binary format","MatView",&flg6);
3975: PetscOptionsName("-mat_view_draw","Draw the matrix nonzero structure","MatView",&flg7);
3976: PetscOptionsEnd();
3978: if (flg1) {
3979: PetscViewer viewer;
3981: PetscViewerASCIIGetStdout(mat->comm,&viewer);
3982: PetscViewerPushFormat(viewer,PETSC_VIEWER_ASCII_INFO);
3983: MatView(mat,viewer);
3984: PetscViewerPopFormat(viewer);
3985: }
3986: if (flg2) {
3987: PetscViewer viewer;
3989: PetscViewerASCIIGetStdout(mat->comm,&viewer);
3990: PetscViewerPushFormat(viewer,PETSC_VIEWER_ASCII_INFO_DETAIL);
3991: MatView(mat,viewer);
3992: PetscViewerPopFormat(viewer);
3993: }
3994: if (flg3) {
3995: PetscViewer viewer;
3997: PetscViewerASCIIGetStdout(mat->comm,&viewer);
3998: MatView(mat,viewer);
3999: }
4000: if (flg4) {
4001: PetscViewer viewer;
4003: PetscViewerASCIIGetStdout(mat->comm,&viewer);
4004: PetscViewerPushFormat(viewer,PETSC_VIEWER_ASCII_MATLAB);
4005: MatView(mat,viewer);
4006: PetscViewerPopFormat(viewer);
4007: }
4008: #if defined(PETSC_USE_SOCKET_VIEWER)
4009: if (flg5) {
4010: MatView(mat,PETSC_VIEWER_SOCKET_(mat->comm));
4011: PetscViewerFlush(PETSC_VIEWER_SOCKET_(mat->comm));
4012: }
4013: #endif
4014: if (flg6) {
4015: MatView(mat,PETSC_VIEWER_BINARY_(mat->comm));
4016: PetscViewerFlush(PETSC_VIEWER_BINARY_(mat->comm));
4017: }
4018: if (flg7) {
4019: PetscOptionsHasName(mat->prefix,"-mat_view_contour",&flg8);
4020: if (flg8) {
4021: PetscViewerPushFormat(PETSC_VIEWER_DRAW_(mat->comm),PETSC_VIEWER_DRAW_CONTOUR);
4022: }
4023: MatView(mat,PETSC_VIEWER_DRAW_(mat->comm));
4024: PetscViewerFlush(PETSC_VIEWER_DRAW_(mat->comm));
4025: if (flg8) {
4026: PetscViewerPopFormat(PETSC_VIEWER_DRAW_(mat->comm));
4027: }
4028: }
4029: incall = PETSC_FALSE;
4030: return(0);
4031: }
4035: /*@
4036: MatAssemblyEnd - Completes assembling the matrix. This routine should
4037: be called after MatAssemblyBegin().
4039: Collective on Mat
4041: Input Parameters:
4042: + mat - the matrix
4043: - type - type of assembly, either MAT_FLUSH_ASSEMBLY or MAT_FINAL_ASSEMBLY
4045: Options Database Keys:
4046: + -mat_view_info - Prints info on matrix at conclusion of MatEndAssembly()
4047: . -mat_view_info_detailed - Prints more detailed info
4048: . -mat_view - Prints matrix in ASCII format
4049: . -mat_view_matlab - Prints matrix in Matlab format
4050: . -mat_view_draw - PetscDraws nonzero structure of matrix, using MatView() and PetscDrawOpenX().
4051: . -display <name> - Sets display name (default is host)
4052: . -draw_pause <sec> - Sets number of seconds to pause after display
4053: . -mat_view_socket - Sends matrix to socket, can be accessed from Matlab (see users manual)
4054: . -viewer_socket_machine <machine>
4055: . -viewer_socket_port <port>
4056: . -mat_view_binary - save matrix to file in binary format
4057: - -viewer_binary_filename <name>
4059: Notes:
4060: MatSetValues() generally caches the values. The matrix is ready to
4061: use only after MatAssemblyBegin() and MatAssemblyEnd() have been called.
4062: Use MAT_FLUSH_ASSEMBLY when switching between ADD_VALUES and INSERT_VALUES
4063: in MatSetValues(); use MAT_FINAL_ASSEMBLY for the final assembly before
4064: using the matrix.
4066: Level: beginner
4068: .seealso: MatAssemblyBegin(), MatSetValues(), PetscDrawOpenX(), MatView(), MatAssembled(), PetscViewerSocketOpen()
4069: @*/
4070: PetscErrorCode MatAssemblyEnd(Mat mat,MatAssemblyType type)
4071: {
4072: PetscErrorCode ierr;
4073: static PetscInt inassm = 0;
4074: PetscTruth flg;
4080: inassm++;
4081: MatAssemblyEnd_InUse++;
4082: if (MatAssemblyEnd_InUse == 1) { /* Do the logging only the first time through */
4084: if (mat->ops->assemblyend) {
4085: (*mat->ops->assemblyend)(mat,type);
4086: }
4088: } else {
4089: if (mat->ops->assemblyend) {
4090: (*mat->ops->assemblyend)(mat,type);
4091: }
4092: }
4094: /* Flush assembly is not a true assembly */
4095: if (type != MAT_FLUSH_ASSEMBLY) {
4096: mat->assembled = PETSC_TRUE; mat->num_ass++;
4097: }
4098: mat->insertmode = NOT_SET_VALUES;
4099: MatAssemblyEnd_InUse--;
4100: PetscObjectStateIncrease((PetscObject)mat);
4101: if (!mat->symmetric_eternal) {
4102: mat->symmetric_set = PETSC_FALSE;
4103: mat->hermitian_set = PETSC_FALSE;
4104: mat->structurally_symmetric_set = PETSC_FALSE;
4105: }
4106: if (inassm == 1 && type != MAT_FLUSH_ASSEMBLY) {
4107: MatView_Private(mat);
4108: PetscOptionsHasName(mat->prefix,"-mat_is_symmetric",&flg);
4109: if (flg) {
4110: PetscReal tol = 0.0;
4111: PetscOptionsGetReal(mat->prefix,"-mat_is_symmetric",&tol,PETSC_NULL);
4112: MatIsSymmetric(mat,tol,&flg);
4113: if (flg) {
4114: PetscPrintf(mat->comm,"Matrix is symmetric (tolerance %G)\n",tol);
4115: } else {
4116: PetscPrintf(mat->comm,"Matrix is not symmetric (tolerance %G)\n",tol);
4117: }
4118: }
4119: }
4120: inassm--;
4121: return(0);
4122: }
4127: /*@
4128: MatCompress - Tries to store the matrix in as little space as
4129: possible. May fail if memory is already fully used, since it
4130: tries to allocate new space.
4132: Collective on Mat
4134: Input Parameters:
4135: . mat - the matrix
4137: Level: advanced
4139: @*/
4140: PetscErrorCode MatCompress(Mat mat)
4141: {
4147: MatPreallocated(mat);
4148: if (mat->ops->compress) {(*mat->ops->compress)(mat);}
4149: return(0);
4150: }
4154: /*@
4155: MatSetOption - Sets a parameter option for a matrix. Some options
4156: may be specific to certain storage formats. Some options
4157: determine how values will be inserted (or added). Sorted,
4158: row-oriented input will generally assemble the fastest. The default
4159: is row-oriented, nonsorted input.
4161: Collective on Mat
4163: Input Parameters:
4164: + mat - the matrix
4165: - option - the option, one of those listed below (and possibly others),
4166: e.g., MAT_ROWS_SORTED, MAT_NEW_NONZERO_LOCATION_ERR
4168: Options Describing Matrix Structure:
4169: + MAT_SYMMETRIC - symmetric in terms of both structure and value
4170: . MAT_HERMITIAN - transpose is the complex conjugation
4171: . MAT_STRUCTURALLY_SYMMETRIC - symmetric nonzero structure
4172: . MAT_NOT_SYMMETRIC - not symmetric in value
4173: . MAT_NOT_HERMITIAN - transpose is not the complex conjugation
4174: . MAT_NOT_STRUCTURALLY_SYMMETRIC - not symmetric nonzero structure
4175: . MAT_SYMMETRY_ETERNAL - if you would like the symmetry/Hermitian flag
4176: you set to be kept with all future use of the matrix
4177: including after MatAssemblyBegin/End() which could
4178: potentially change the symmetry structure, i.e. you
4179: KNOW the matrix will ALWAYS have the property you set.
4180: - MAT_NOT_SYMMETRY_ETERNAL - if MatAssemblyBegin/End() is called then the
4181: flags you set will be dropped (in case potentially
4182: the symmetry etc was lost).
4184: Options For Use with MatSetValues():
4185: Insert a logically dense subblock, which can be
4186: + MAT_ROW_ORIENTED - row-oriented (default)
4187: . MAT_COLUMN_ORIENTED - column-oriented
4188: . MAT_ROWS_SORTED - sorted by row
4189: . MAT_ROWS_UNSORTED - not sorted by row (default)
4190: . MAT_COLUMNS_SORTED - sorted by column
4191: - MAT_COLUMNS_UNSORTED - not sorted by column (default)
4193: Not these options reflect the data you pass in with MatSetValues(); it has
4194: nothing to do with how the data is stored internally in the matrix
4195: data structure.
4197: When (re)assembling a matrix, we can restrict the input for
4198: efficiency/debugging purposes. These options include
4199: + MAT_NO_NEW_NONZERO_LOCATIONS - additional insertions will not be
4200: allowed if they generate a new nonzero
4201: . MAT_YES_NEW_NONZERO_LOCATIONS - additional insertions will be allowed
4202: . MAT_NO_NEW_DIAGONALS - additional insertions will not be allowed if
4203: they generate a nonzero in a new diagonal (for block diagonal format only)
4204: . MAT_YES_NEW_DIAGONALS - new diagonals will be allowed (for block diagonal format only)
4205: . MAT_IGNORE_OFF_PROC_ENTRIES - drops off-processor entries
4206: . MAT_NEW_NONZERO_LOCATION_ERR - generates an error for new matrix entry
4207: - MAT_USE_HASH_TABLE - uses a hash table to speed up matrix assembly
4209: Notes:
4210: Some options are relevant only for particular matrix types and
4211: are thus ignored by others. Other options are not supported by
4212: certain matrix types and will generate an error message if set.
4214: If using a Fortran 77 module to compute a matrix, one may need to
4215: use the column-oriented option (or convert to the row-oriented
4216: format).
4218: MAT_NO_NEW_NONZERO_LOCATIONS indicates that any add or insertion
4219: that would generate a new entry in the nonzero structure is instead
4220: ignored. Thus, if memory has not alredy been allocated for this particular
4221: data, then the insertion is ignored. For dense matrices, in which
4222: the entire array is allocated, no entries are ever ignored.
4223: Set after the first MatAssemblyEnd()
4225: MAT_NEW_NONZERO_LOCATION_ERR indicates that any add or insertion
4226: that would generate a new entry in the nonzero structure instead produces
4227: an error. (Currently supported for AIJ and BAIJ formats only.)
4228: This is a useful flag when using SAME_NONZERO_PATTERN in calling
4229: KSPSetOperators() to ensure that the nonzero pattern truely does
4230: remain unchanged. Set after the first MatAssemblyEnd()
4232: MAT_NEW_NONZERO_ALLOCATION_ERR indicates that any add or insertion
4233: that would generate a new entry that has not been preallocated will
4234: instead produce an error. (Currently supported for AIJ and BAIJ formats
4235: only.) This is a useful flag when debugging matrix memory preallocation.
4237: MAT_IGNORE_OFF_PROC_ENTRIES indicates entries destined for
4238: other processors should be dropped, rather than stashed.
4239: This is useful if you know that the "owning" processor is also
4240: always generating the correct matrix entries, so that PETSc need
4241: not transfer duplicate entries generated on another processor.
4242:
4243: MAT_USE_HASH_TABLE indicates that a hash table be used to improve the
4244: searches during matrix assembly. When this flag is set, the hash table
4245: is created during the first Matrix Assembly. This hash table is
4246: used the next time through, during MatSetVaules()/MatSetVaulesBlocked()
4247: to improve the searching of indices. MAT_NO_NEW_NONZERO_LOCATIONS flag
4248: should be used with MAT_USE_HASH_TABLE flag. This option is currently
4249: supported by MATMPIBAIJ format only.
4251: MAT_KEEP_ZEROED_ROWS indicates when MatZeroRows() is called the zeroed entries
4252: are kept in the nonzero structure
4254: MAT_IGNORE_ZERO_ENTRIES - for AIJ/IS matrices this will stop zero values from creating
4255: a zero location in the matrix
4257: MAT_USE_INODES - indicates using inode version of the code - works with AIJ and
4258: ROWBS matrix types
4260: MAT_DO_NOT_USE_INODES - indicates not using inode version of the code - works
4261: with AIJ and ROWBS matrix types (database option "-mat_no_inode")
4263: Level: intermediate
4265: Concepts: matrices^setting options
4267: @*/
4268: PetscErrorCode MatSetOption(Mat mat,MatOption op)
4269: {
4275: MatPreallocated(mat);
4276: switch (op) {
4277: case MAT_SYMMETRIC:
4278: mat->symmetric = PETSC_TRUE;
4279: mat->structurally_symmetric = PETSC_TRUE;
4280: mat->symmetric_set = PETSC_TRUE;
4281: mat->structurally_symmetric_set = PETSC_TRUE;
4282: break;
4283: case MAT_HERMITIAN:
4284: mat->hermitian = PETSC_TRUE;
4285: mat->structurally_symmetric = PETSC_TRUE;
4286: mat->hermitian_set = PETSC_TRUE;
4287: mat->structurally_symmetric_set = PETSC_TRUE;
4288: break;
4289: case MAT_STRUCTURALLY_SYMMETRIC:
4290: mat->structurally_symmetric = PETSC_TRUE;
4291: mat->structurally_symmetric_set = PETSC_TRUE;
4292: break;
4293: case MAT_NOT_SYMMETRIC:
4294: mat->symmetric = PETSC_FALSE;
4295: mat->symmetric_set = PETSC_TRUE;
4296: break;
4297: case MAT_NOT_HERMITIAN:
4298: mat->hermitian = PETSC_FALSE;
4299: mat->hermitian_set = PETSC_TRUE;
4300: break;
4301: case MAT_NOT_STRUCTURALLY_SYMMETRIC:
4302: mat->structurally_symmetric = PETSC_FALSE;
4303: mat->structurally_symmetric_set = PETSC_TRUE;
4304: break;
4305: case MAT_SYMMETRY_ETERNAL:
4306: mat->symmetric_eternal = PETSC_TRUE;
4307: break;
4308: case MAT_NOT_SYMMETRY_ETERNAL:
4309: mat->symmetric_eternal = PETSC_FALSE;
4310: break;
4311: default:
4312: break;
4313: }
4314: if (mat->ops->setoption) {
4315: (*mat->ops->setoption)(mat,op);
4316: }
4317: return(0);
4318: }
4322: /*@
4323: MatZeroEntries - Zeros all entries of a matrix. For sparse matrices
4324: this routine retains the old nonzero structure.
4326: Collective on Mat
4328: Input Parameters:
4329: . mat - the matrix
4331: Level: intermediate
4333: Concepts: matrices^zeroing
4335: .seealso: MatZeroRows()
4336: @*/
4337: PetscErrorCode MatZeroEntries(Mat mat)
4338: {
4344: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
4345: if (mat->insertmode != NOT_SET_VALUES) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for matrices where you have set values but not yet assembled");
4346: if (!mat->ops->zeroentries) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
4347: MatPreallocated(mat);
4350: (*mat->ops->zeroentries)(mat);
4352: PetscObjectStateIncrease((PetscObject)mat);
4353: return(0);
4354: }
4358: /*@C
4359: MatZeroRows - Zeros all entries (except possibly the main diagonal)
4360: of a set of rows of a matrix.
4362: Collective on Mat
4364: Input Parameters:
4365: + mat - the matrix
4366: . numRows - the number of rows to remove
4367: . rows - the global row indices
4368: - diag - value put in all diagonals of eliminated rows
4370: Notes:
4371: For the AIJ and BAIJ matrix formats this removes the old nonzero structure,
4372: but does not release memory. For the dense and block diagonal
4373: formats this does not alter the nonzero structure.
4375: If the option MatSetOption(mat,MAT_KEEP_ZEROED_ROWS) the nonzero structure
4376: of the matrix is not changed (even for AIJ and BAIJ matrices) the values are
4377: merely zeroed.
4379: The user can set a value in the diagonal entry (or for the AIJ and
4380: row formats can optionally remove the main diagonal entry from the
4381: nonzero structure as well, by passing 0.0 as the final argument).
4383: For the parallel case, all processes that share the matrix (i.e.,
4384: those in the communicator used for matrix creation) MUST call this
4385: routine, regardless of whether any rows being zeroed are owned by
4386: them.
4388: Each processor should list the rows that IT wants zeroed
4390: Level: intermediate
4392: Concepts: matrices^zeroing rows
4394: .seealso: MatZeroRowsIS(), MatZeroEntries(), MatZeroRowsLocal(), MatSetOption()
4395: @*/
4396: PetscErrorCode MatZeroRows(Mat mat,PetscInt numRows,const PetscInt rows[],PetscScalar diag)
4397: {
4404: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
4405: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
4406: if (!mat->ops->zerorows) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
4407: MatPreallocated(mat);
4409: (*mat->ops->zerorows)(mat,numRows,rows,diag);
4410: MatView_Private(mat);
4411: PetscObjectStateIncrease((PetscObject)mat);
4412: return(0);
4413: }
4417: /*@C
4418: MatZeroRowsIS - Zeros all entries (except possibly the main diagonal)
4419: of a set of rows of a matrix.
4421: Collective on Mat
4423: Input Parameters:
4424: + mat - the matrix
4425: . is - index set of rows to remove
4426: - diag - value put in all diagonals of eliminated rows
4428: Notes:
4429: For the AIJ and BAIJ matrix formats this removes the old nonzero structure,
4430: but does not release memory. For the dense and block diagonal
4431: formats this does not alter the nonzero structure.
4433: If the option MatSetOption(mat,MAT_KEEP_ZEROED_ROWS) the nonzero structure
4434: of the matrix is not changed (even for AIJ and BAIJ matrices) the values are
4435: merely zeroed.
4437: The user can set a value in the diagonal entry (or for the AIJ and
4438: row formats can optionally remove the main diagonal entry from the
4439: nonzero structure as well, by passing 0.0 as the final argument).
4441: For the parallel case, all processes that share the matrix (i.e.,
4442: those in the communicator used for matrix creation) MUST call this
4443: routine, regardless of whether any rows being zeroed are owned by
4444: them.
4446: Each processor should list the rows that IT wants zeroed
4448: Level: intermediate
4450: Concepts: matrices^zeroing rows
4452: .seealso: MatZeroRows(), MatZeroEntries(), MatZeroRowsLocal(), MatSetOption()
4453: @*/
4454: PetscErrorCode MatZeroRowsIS(Mat mat,IS is,PetscScalar diag)
4455: {
4456: PetscInt numRows;
4457: PetscInt *rows;
4464: ISGetLocalSize(is,&numRows);
4465: ISGetIndices(is,&rows);
4466: MatZeroRows(mat,numRows,rows,diag);
4467: ISRestoreIndices(is,&rows);
4468: return(0);
4469: }
4473: /*@C
4474: MatZeroRowsLocal - Zeros all entries (except possibly the main diagonal)
4475: of a set of rows of a matrix; using local numbering of rows.
4477: Collective on Mat
4479: Input Parameters:
4480: + mat - the matrix
4481: . numRows - the number of rows to remove
4482: . rows - the global row indices
4483: - diag - value put in all diagonals of eliminated rows
4485: Notes:
4486: Before calling MatZeroRowsLocal(), the user must first set the
4487: local-to-global mapping by calling MatSetLocalToGlobalMapping().
4489: For the AIJ matrix formats this removes the old nonzero structure,
4490: but does not release memory. For the dense and block diagonal
4491: formats this does not alter the nonzero structure.
4493: If the option MatSetOption(mat,MAT_KEEP_ZEROED_ROWS) the nonzero structure
4494: of the matrix is not changed (even for AIJ and BAIJ matrices) the values are
4495: merely zeroed.
4497: The user can set a value in the diagonal entry (or for the AIJ and
4498: row formats can optionally remove the main diagonal entry from the
4499: nonzero structure as well, by passing 0.0 as the final argument).
4501: Level: intermediate
4503: Concepts: matrices^zeroing
4505: .seealso: MatZeroRows(), MatZeroRowsLocalIS(), MatZeroEntries(), MatZeroRows(), MatSetLocalToGlobalMapping
4506: @*/
4507: PetscErrorCode MatZeroRowsLocal(Mat mat,PetscInt numRows,const PetscInt rows[],PetscScalar diag)
4508: {
4515: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
4516: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
4517: MatPreallocated(mat);
4519: if (mat->ops->zerorowslocal) {
4520: (*mat->ops->zerorowslocal)(mat,numRows,rows,diag);
4521: } else {
4522: IS is, newis;
4523: PetscInt *newRows;
4525: if (!mat->mapping) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Need to provide local to global mapping to matrix first");
4526: ISCreateGeneral(PETSC_COMM_SELF,numRows,rows,&is);
4527: ISLocalToGlobalMappingApplyIS(mat->mapping,is,&newis);
4528: ISGetIndices(newis,&newRows);
4529: (*mat->ops->zerorows)(mat,numRows,newRows,diag);
4530: ISRestoreIndices(newis,&newRows);
4531: ISDestroy(newis);
4532: ISDestroy(is);
4533: }
4534: PetscObjectStateIncrease((PetscObject)mat);
4535: return(0);
4536: }
4540: /*@C
4541: MatZeroRowsLocalIS - Zeros all entries (except possibly the main diagonal)
4542: of a set of rows of a matrix; using local numbering of rows.
4544: Collective on Mat
4546: Input Parameters:
4547: + mat - the matrix
4548: . is - index set of rows to remove
4549: - diag - value put in all diagonals of eliminated rows
4551: Notes:
4552: Before calling MatZeroRowsLocalIS(), the user must first set the
4553: local-to-global mapping by calling MatSetLocalToGlobalMapping().
4555: For the AIJ matrix formats this removes the old nonzero structure,
4556: but does not release memory. For the dense and block diagonal
4557: formats this does not alter the nonzero structure.
4559: If the option MatSetOption(mat,MAT_KEEP_ZEROED_ROWS) the nonzero structure
4560: of the matrix is not changed (even for AIJ and BAIJ matrices) the values are
4561: merely zeroed.
4563: The user can set a value in the diagonal entry (or for the AIJ and
4564: row formats can optionally remove the main diagonal entry from the
4565: nonzero structure as well, by passing 0.0 as the final argument).
4567: Level: intermediate
4569: Concepts: matrices^zeroing
4571: .seealso: MatZeroRows(), MatZeroRowsLocal(), MatZeroEntries(), MatZeroRows(), MatSetLocalToGlobalMapping
4572: @*/
4573: PetscErrorCode MatZeroRowsLocalIS(Mat mat,IS is,PetscScalar diag)
4574: {
4576: PetscInt numRows;
4577: PetscInt *rows;
4583: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
4584: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
4585: MatPreallocated(mat);
4587: ISGetLocalSize(is,&numRows);
4588: ISGetIndices(is,&rows);
4589: MatZeroRowsLocal(mat,numRows,rows,diag);
4590: ISRestoreIndices(is,&rows);
4591: return(0);
4592: }
4596: /*@
4597: MatGetSize - Returns the numbers of rows and columns in a matrix.
4599: Not Collective
4601: Input Parameter:
4602: . mat - the matrix
4604: Output Parameters:
4605: + m - the number of global rows
4606: - n - the number of global columns
4608: Note: both output parameters can be PETSC_NULL on input.
4610: Level: beginner
4612: Concepts: matrices^size
4614: .seealso: MatGetLocalSize()
4615: @*/
4616: PetscErrorCode MatGetSize(Mat mat,PetscInt *m,PetscInt* n)
4617: {
4620: if (m) *m = mat->rmap.N;
4621: if (n) *n = mat->cmap.N;
4622: return(0);
4623: }
4627: /*@
4628: MatGetLocalSize - Returns the number of rows and columns in a matrix
4629: stored locally. This information may be implementation dependent, so
4630: use with care.
4632: Not Collective
4634: Input Parameters:
4635: . mat - the matrix
4637: Output Parameters:
4638: + m - the number of local rows
4639: - n - the number of local columns
4641: Note: both output parameters can be PETSC_NULL on input.
4643: Level: beginner
4645: Concepts: matrices^local size
4647: .seealso: MatGetSize()
4648: @*/
4649: PetscErrorCode MatGetLocalSize(Mat mat,PetscInt *m,PetscInt* n)
4650: {
4655: if (m) *m = mat->rmap.n;
4656: if (n) *n = mat->cmap.n;
4657: return(0);
4658: }
4663: /*@
4664: MatGetOwnershipRange - Returns the range of matrix rows owned by
4665: this processor, assuming that the matrix is laid out with the first
4666: n1 rows on the first processor, the next n2 rows on the second, etc.
4667: For certain parallel layouts this range may not be well defined.
4669: Not Collective
4671: Input Parameters:
4672: . mat - the matrix
4674: Output Parameters:
4675: + m - the global index of the first local row
4676: - n - one more than the global index of the last local row
4678: Note: both output parameters can be PETSC_NULL on input.
4680: Level: beginner
4682: Concepts: matrices^row ownership
4684: .seealso: MatGetOwnershipRanges()
4686: @*/
4687: PetscErrorCode MatGetOwnershipRange(Mat mat,PetscInt *m,PetscInt* n)
4688: {
4696: MatPreallocated(mat);
4697: if (m) *m = mat->rmap.rstart;
4698: if (n) *n = mat->rmap.rend;
4699: return(0);
4700: }
4704: /*@C
4705: MatGetOwnershipRanges - Returns the range of matrix rows owned by
4706: each process
4708: Not Collective
4710: Input Parameters:
4711: . mat - the matrix
4713: Output Parameters:
4714: . ranges - start of each processors portion plus one more then the total length at the end
4716: Level: beginner
4718: Concepts: matrices^row ownership
4720: .seealso: MatGetOwnershipRange()
4722: @*/
4723: PetscErrorCode MatGetOwnershipRanges(Mat mat,const PetscInt **ranges)
4724: {
4730: PetscMapGetGlobalRange(&mat->rmap,ranges);
4731: return(0);
4732: }
4736: /*@
4737: MatILUFactorSymbolic - Performs symbolic ILU factorization of a matrix.
4738: Uses levels of fill only, not drop tolerance. Use MatLUFactorNumeric()
4739: to complete the factorization.
4741: Collective on Mat
4743: Input Parameters:
4744: + mat - the matrix
4745: . row - row permutation
4746: . column - column permutation
4747: - info - structure containing
4748: $ levels - number of levels of fill.
4749: $ expected fill - as ratio of original fill.
4750: $ 1 or 0 - indicating force fill on diagonal (improves robustness for matrices
4751: missing diagonal entries)
4753: Output Parameters:
4754: . fact - new matrix that has been symbolically factored
4756: Notes:
4757: See the users manual for additional information about
4758: choosing the fill factor for better efficiency.
4760: Most users should employ the simplified KSP interface for linear solvers
4761: instead of working directly with matrix algebra routines such as this.
4762: See, e.g., KSPCreate().
4764: Level: developer
4766: Concepts: matrices^symbolic LU factorization
4767: Concepts: matrices^factorization
4768: Concepts: LU^symbolic factorization
4770: .seealso: MatLUFactorSymbolic(), MatLUFactorNumeric(), MatCholeskyFactor()
4771: MatGetOrdering(), MatFactorInfo
4773: @*/
4774: PetscErrorCode MatILUFactorSymbolic(Mat mat,IS row,IS col,MatFactorInfo *info,Mat *fact)
4775: {
4785: if (info->levels < 0) SETERRQ1(PETSC_ERR_ARG_OUTOFRANGE,"Levels of fill negative %D",(PetscInt)info->levels);
4786: if (info->fill < 1.0) SETERRQ1(PETSC_ERR_ARG_OUTOFRANGE,"Expected fill less than 1.0 %G",info->fill);
4787: if (!mat->ops->ilufactorsymbolic) SETERRQ1(PETSC_ERR_SUP,"Matrix type %s symbolic ILU",mat->type_name);
4788: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
4789: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
4790: MatPreallocated(mat);
4793: (*mat->ops->ilufactorsymbolic)(mat,row,col,info,fact);
4795: return(0);
4796: }
4800: /*@
4801: MatICCFactorSymbolic - Performs symbolic incomplete
4802: Cholesky factorization for a symmetric matrix. Use
4803: MatCholeskyFactorNumeric() to complete the factorization.
4805: Collective on Mat
4807: Input Parameters:
4808: + mat - the matrix
4809: . perm - row and column permutation
4810: - info - structure containing
4811: $ levels - number of levels of fill.
4812: $ expected fill - as ratio of original fill.
4814: Output Parameter:
4815: . fact - the factored matrix
4817: Notes:
4818: Most users should employ the KSP interface for linear solvers
4819: instead of working directly with matrix algebra routines such as this.
4820: See, e.g., KSPCreate().
4822: Level: developer
4824: Concepts: matrices^symbolic incomplete Cholesky factorization
4825: Concepts: matrices^factorization
4826: Concepts: Cholsky^symbolic factorization
4828: .seealso: MatCholeskyFactorNumeric(), MatCholeskyFactor(), MatFactorInfo
4829: @*/
4830: PetscErrorCode MatICCFactorSymbolic(Mat mat,IS perm,MatFactorInfo *info,Mat *fact)
4831: {
4840: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
4841: if (info->levels < 0) SETERRQ1(PETSC_ERR_ARG_OUTOFRANGE,"Levels negative %D",(PetscInt) info->levels);
4842: if (info->fill < 1.0) SETERRQ1(PETSC_ERR_ARG_OUTOFRANGE,"Expected fill less than 1.0 %G",info->fill);
4843: if (!mat->ops->iccfactorsymbolic) SETERRQ1(PETSC_ERR_SUP,"Matrix type %s symbolic ICC",mat->type_name);
4844: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
4845: MatPreallocated(mat);
4848: (*mat->ops->iccfactorsymbolic)(mat,perm,info,fact);
4850: return(0);
4851: }
4855: /*@C
4856: MatGetArray - Returns a pointer to the element values in the matrix.
4857: The result of this routine is dependent on the underlying matrix data
4858: structure, and may not even work for certain matrix types. You MUST
4859: call MatRestoreArray() when you no longer need to access the array.
4861: Not Collective
4863: Input Parameter:
4864: . mat - the matrix
4866: Output Parameter:
4867: . v - the location of the values
4870: Fortran Note:
4871: This routine is used differently from Fortran, e.g.,
4872: .vb
4873: Mat mat
4874: PetscScalar mat_array(1)
4875: PetscOffset i_mat
4876: PetscErrorCode ierr
4877: call MatGetArray(mat,mat_array,i_mat,ierr)
4879: C Access first local entry in matrix; note that array is
4880: C treated as one dimensional
4881: value = mat_array(i_mat + 1)
4883: [... other code ...]
4884: call MatRestoreArray(mat,mat_array,i_mat,ierr)
4885: .ve
4887: See the Fortran chapter of the users manual and
4888: petsc/src/mat/examples/tests for details.
4890: Level: advanced
4892: Concepts: matrices^access array
4894: .seealso: MatRestoreArray(), MatGetArrayF90(), MatGetRowIJ()
4895: @*/
4896: PetscErrorCode MatGetArray(Mat mat,PetscScalar *v[])
4897: {
4904: if (!mat->ops->getarray) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
4905: MatPreallocated(mat);
4906: (*mat->ops->getarray)(mat,v);
4907: CHKMEMQ;
4908: return(0);
4909: }
4913: /*@C
4914: MatRestoreArray - Restores the matrix after MatGetArray() has been called.
4916: Not Collective
4918: Input Parameter:
4919: + mat - the matrix
4920: - v - the location of the values
4922: Fortran Note:
4923: This routine is used differently from Fortran, e.g.,
4924: .vb
4925: Mat mat
4926: PetscScalar mat_array(1)
4927: PetscOffset i_mat
4928: PetscErrorCode ierr
4929: call MatGetArray(mat,mat_array,i_mat,ierr)
4931: C Access first local entry in matrix; note that array is
4932: C treated as one dimensional
4933: value = mat_array(i_mat + 1)
4935: [... other code ...]
4936: call MatRestoreArray(mat,mat_array,i_mat,ierr)
4937: .ve
4939: See the Fortran chapter of the users manual and
4940: petsc/src/mat/examples/tests for details
4942: Level: advanced
4944: .seealso: MatGetArray(), MatRestoreArrayF90()
4945: @*/
4946: PetscErrorCode MatRestoreArray(Mat mat,PetscScalar *v[])
4947: {
4954: #if defined(PETSC_USE_DEBUG)
4955: CHKMEMQ;
4956: #endif
4957: if (!mat->ops->restorearray) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
4958: (*mat->ops->restorearray)(mat,v);
4959: PetscObjectStateIncrease((PetscObject)mat);
4960: return(0);
4961: }
4965: /*@C
4966: MatGetSubMatrices - Extracts several submatrices from a matrix. If submat
4967: points to an array of valid matrices, they may be reused to store the new
4968: submatrices.
4970: Collective on Mat
4972: Input Parameters:
4973: + mat - the matrix
4974: . n - the number of submatrixes to be extracted (on this processor, may be zero)
4975: . irow, icol - index sets of rows and columns to extract
4976: - scall - either MAT_INITIAL_MATRIX or MAT_REUSE_MATRIX
4978: Output Parameter:
4979: . submat - the array of submatrices
4981: Notes:
4982: MatGetSubMatrices() can extract only sequential submatrices
4983: (from both sequential and parallel matrices). Use MatGetSubMatrix()
4984: to extract a parallel submatrix.
4986: When extracting submatrices from a parallel matrix, each processor can
4987: form a different submatrix by setting the rows and columns of its
4988: individual index sets according to the local submatrix desired.
4990: When finished using the submatrices, the user should destroy
4991: them with MatDestroyMatrices().
4993: MAT_REUSE_MATRIX can only be used when the nonzero structure of the
4994: original matrix has not changed from that last call to MatGetSubMatrices().
4996: This routine creates the matrices in submat; you should NOT create them before
4997: calling it. It also allocates the array of matrix pointers submat.
4999: For BAIJ matrices the index sets must respect the block structure, that is if they
5000: request one row/column in a block, they must request all rows/columns that are in
5001: that block. For example, if the block size is 2 you cannot request just row 0 and
5002: column 0.
5004: Fortran Note:
5005: The Fortran interface is slightly different from that given below; it
5006: requires one to pass in as submat a Mat (integer) array of size at least m.
5008: Level: advanced
5010: Concepts: matrices^accessing submatrices
5011: Concepts: submatrices
5013: .seealso: MatDestroyMatrices(), MatGetSubMatrix(), MatGetRow(), MatGetDiagonal()
5014: @*/
5015: PetscErrorCode MatGetSubMatrices(Mat mat,PetscInt n,const IS irow[],const IS icol[],MatReuse scall,Mat *submat[])
5016: {
5018: PetscInt i;
5019: PetscTruth eq;
5024: if (n) {
5029: }
5031: if (n && scall == MAT_REUSE_MATRIX) {
5034: }
5035: if (!mat->ops->getsubmatrices) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
5036: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
5037: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
5038: MatPreallocated(mat);
5041: (*mat->ops->getsubmatrices)(mat,n,irow,icol,scall,submat);
5043: for (i=0; i<n; i++) {
5044: if (mat->symmetric || mat->structurally_symmetric || mat->hermitian) {
5045: ISEqual(irow[i],icol[i],&eq);
5046: if (eq) {
5047: if (mat->symmetric){
5048: MatSetOption((*submat)[i],MAT_SYMMETRIC);
5049: } else if (mat->hermitian) {
5050: MatSetOption((*submat)[i],MAT_HERMITIAN);
5051: } else if (mat->structurally_symmetric) {
5052: MatSetOption((*submat)[i],MAT_STRUCTURALLY_SYMMETRIC);
5053: }
5054: }
5055: }
5056: }
5057: return(0);
5058: }
5062: /*@C
5063: MatDestroyMatrices - Destroys a set of matrices obtained with MatGetSubMatrices().
5065: Collective on Mat
5067: Input Parameters:
5068: + n - the number of local matrices
5069: - mat - the matrices (note that this is a pointer to the array of matrices, just to match the calling
5070: sequence of MatGetSubMatrices())
5072: Level: advanced
5074: Notes: Frees not only the matrices, but also the array that contains the matrices
5076: .seealso: MatGetSubMatrices()
5077: @*/
5078: PetscErrorCode MatDestroyMatrices(PetscInt n,Mat *mat[])
5079: {
5081: PetscInt i;
5084: if (n < 0) SETERRQ1(PETSC_ERR_ARG_OUTOFRANGE,"Trying to destroy negative number of matrices %D",n);
5086: for (i=0; i<n; i++) {
5087: MatDestroy((*mat)[i]);
5088: }
5089: /* memory is allocated even if n = 0 */
5090: PetscFree(*mat);
5091: return(0);
5092: }
5096: /*@
5097: MatIncreaseOverlap - Given a set of submatrices indicated by index sets,
5098: replaces the index sets by larger ones that represent submatrices with
5099: additional overlap.
5101: Collective on Mat
5103: Input Parameters:
5104: + mat - the matrix
5105: . n - the number of index sets
5106: . is - the array of index sets (these index sets will changed during the call)
5107: - ov - the additional overlap requested
5109: Level: developer
5111: Concepts: overlap
5112: Concepts: ASM^computing overlap
5114: .seealso: MatGetSubMatrices()
5115: @*/
5116: PetscErrorCode MatIncreaseOverlap(Mat mat,PetscInt n,IS is[],PetscInt ov)
5117: {
5123: if (n < 0) SETERRQ1(PETSC_ERR_ARG_OUTOFRANGE,"Must have one or more domains, you have %D",n);
5124: if (n) {
5127: }
5128: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
5129: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
5130: MatPreallocated(mat);
5132: if (!ov) return(0);
5133: if (!mat->ops->increaseoverlap) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
5135: (*mat->ops->increaseoverlap)(mat,n,is,ov);
5137: return(0);
5138: }
5142: /*@
5143: MatGetBlockSize - Returns the matrix block size; useful especially for the
5144: block row and block diagonal formats.
5145:
5146: Not Collective
5148: Input Parameter:
5149: . mat - the matrix
5151: Output Parameter:
5152: . bs - block size
5154: Notes:
5155: Block diagonal formats are MATSEQBDIAG, MATMPIBDIAG.
5156: Block row formats are MATSEQBAIJ, MATMPIBAIJ, MATSEQSBAIJ, MATMPISBAIJ
5158: Level: intermediate
5160: Concepts: matrices^block size
5162: .seealso: MatCreateSeqBAIJ(), MatCreateMPIBAIJ(), MatCreateSeqBDiag(), MatCreateMPIBDiag()
5163: @*/
5164: PetscErrorCode MatGetBlockSize(Mat mat,PetscInt *bs)
5165: {
5172: MatPreallocated(mat);
5173: *bs = mat->rmap.bs;
5174: return(0);
5175: }
5179: /*@
5180: MatSetBlockSize - Sets the matrix block size; for many matrix types you
5181: cannot use this and MUST set the blocksize when you preallocate the matrix
5182:
5183: Not Collective
5185: Input Parameters:
5186: + mat - the matrix
5187: - bs - block size
5189: Notes:
5190: Only works for shell and AIJ matrices
5192: Level: intermediate
5194: Concepts: matrices^block size
5196: .seealso: MatCreateSeqBAIJ(), MatCreateMPIBAIJ(), MatCreateSeqBDiag(), MatCreateMPIBDiag(), MatGetBlockSize()
5197: @*/
5198: PetscErrorCode MatSetBlockSize(Mat mat,PetscInt bs)
5199: {
5205: MatPreallocated(mat);
5206: if (mat->ops->setblocksize) {
5207: mat->rmap.bs = bs;
5208: (*mat->ops->setblocksize)(mat,bs);
5209: } else {
5210: SETERRQ1(PETSC_ERR_ARG_INCOMP,"Cannot set the blocksize for matrix type %s",mat->type_name);
5211: }
5212: return(0);
5213: }
5217: /*@C
5218: MatGetRowIJ - Returns the compressed row storage i and j indices for sequential matrices.
5220: Collective on Mat
5222: Input Parameters:
5223: + mat - the matrix
5224: . shift - 0 or 1 indicating we want the indices starting at 0 or 1
5225: . symmetric - PETSC_TRUE or PETSC_FALSE indicating the matrix data structure should be
5226: symmetrized
5227: - blockcompressed - PETSC_TRUE or PETSC_FALSE indicating if the nonzero structure of the
5228: blockcompressed matrix is desired or not [inode, baij have blockcompressed
5229: nonzero structure which is different than the full nonzero structure]
5231: Output Parameters:
5232: + n - number of rows in the (possibly compressed) matrix
5233: . ia - the row pointers [of length n+1]
5234: . ja - the column indices
5235: - done - indicates if the routine actually worked and returned appropriate ia[] and ja[] arrays; callers
5236: are responsible for handling the case when done == PETSC_FALSE and ia and ja are not set
5238: Level: developer
5240: Notes: You CANNOT change any of the ia[] or ja[] values.
5242: Use MatRestoreRowIJ() when you are finished accessing the ia[] and ja[] values
5244: .seealso: MatGetColumnIJ(), MatRestoreRowIJ(), MatGetArray()
5245: @*/
5246: PetscErrorCode MatGetRowIJ(Mat mat,PetscInt shift,PetscTruth symmetric,PetscTruth blockcompressed,PetscInt *n,PetscInt *ia[],PetscInt* ja[],PetscTruth *done)
5247: {
5257: MatPreallocated(mat);
5258: if (!mat->ops->getrowij) *done = PETSC_FALSE;
5259: else {
5260: *done = PETSC_TRUE;
5262: (*mat->ops->getrowij)(mat,shift,symmetric,blockcompressed,n,ia,ja,done);
5264: }
5265: return(0);
5266: }
5270: /*@C
5271: MatGetColumnIJ - Returns the compressed column storage i and j indices for sequential matrices.
5273: Collective on Mat
5275: Input Parameters:
5276: + mat - the matrix
5277: . shift - 1 or zero indicating we want the indices starting at 0 or 1
5278: . symmetric - PETSC_TRUE or PETSC_FALSE indicating the matrix data structure should be
5279: symmetrized
5280: - blockcompressed - PETSC_TRUE or PETSC_FALSE indicating if the nonzero structure of the
5281: blockcompressed matrix is desired or not [inode, baij have blockcompressed
5282: nonzero structure which is different than the full nonzero structure]
5284: Output Parameters:
5285: + n - number of columns in the (possibly compressed) matrix
5286: . ia - the column pointers
5287: . ja - the row indices
5288: - done - PETSC_TRUE or PETSC_FALSE, indicating whether the values have been returned
5290: Level: developer
5292: .seealso: MatGetRowIJ(), MatRestoreColumnIJ()
5293: @*/
5294: PetscErrorCode MatGetColumnIJ(Mat mat,PetscInt shift,PetscTruth symmetric,PetscTruth blockcompressed,PetscInt *n,PetscInt *ia[],PetscInt* ja[],PetscTruth *done)
5295: {
5305: MatPreallocated(mat);
5306: if (!mat->ops->getcolumnij) *done = PETSC_FALSE;
5307: else {
5308: *done = PETSC_TRUE;
5309: (*mat->ops->getcolumnij)(mat,shift,symmetric,blockcompressed,n,ia,ja,done);
5310: }
5311: return(0);
5312: }
5316: /*@C
5317: MatRestoreRowIJ - Call after you are completed with the ia,ja indices obtained with
5318: MatGetRowIJ().
5320: Collective on Mat
5322: Input Parameters:
5323: + mat - the matrix
5324: . shift - 1 or zero indicating we want the indices starting at 0 or 1
5325: . symmetric - PETSC_TRUE or PETSC_FALSE indicating the matrix data structure should be
5326: symmetrized
5327: - blockcompressed - PETSC_TRUE or PETSC_FALSE indicating if the nonzero structure of the
5328: blockcompressed matrix is desired or not [inode, baij have blockcompressed
5329: nonzero structure which is different than the full nonzero structure]
5331: Output Parameters:
5332: + n - size of (possibly compressed) matrix
5333: . ia - the row pointers
5334: . ja - the column indices
5335: - done - PETSC_TRUE or PETSC_FALSE indicated that the values have been returned
5337: Level: developer
5339: .seealso: MatGetRowIJ(), MatRestoreColumnIJ()
5340: @*/
5341: PetscErrorCode MatRestoreRowIJ(Mat mat,PetscInt shift,PetscTruth symmetric,PetscTruth blockcompressed,PetscInt *n,PetscInt *ia[],PetscInt* ja[],PetscTruth *done)
5342: {
5351: MatPreallocated(mat);
5353: if (!mat->ops->restorerowij) *done = PETSC_FALSE;
5354: else {
5355: *done = PETSC_TRUE;
5356: (*mat->ops->restorerowij)(mat,shift,symmetric,blockcompressed,n,ia,ja,done);
5357: }
5358: return(0);
5359: }
5363: /*@C
5364: MatRestoreColumnIJ - Call after you are completed with the ia,ja indices obtained with
5365: MatGetColumnIJ().
5367: Collective on Mat
5369: Input Parameters:
5370: + mat - the matrix
5371: . shift - 1 or zero indicating we want the indices starting at 0 or 1
5372: - symmetric - PETSC_TRUE or PETSC_FALSE indicating the matrix data structure should be
5373: symmetrized
5374: - blockcompressed - PETSC_TRUE or PETSC_FALSE indicating if the nonzero structure of the
5375: blockcompressed matrix is desired or not [inode, baij have blockcompressed
5376: nonzero structure which is different than the full nonzero structure]
5378: Output Parameters:
5379: + n - size of (possibly compressed) matrix
5380: . ia - the column pointers
5381: . ja - the row indices
5382: - done - PETSC_TRUE or PETSC_FALSE indicated that the values have been returned
5384: Level: developer
5386: .seealso: MatGetColumnIJ(), MatRestoreRowIJ()
5387: @*/
5388: PetscErrorCode MatRestoreColumnIJ(Mat mat,PetscInt shift,PetscTruth symmetric,PetscTruth blockcompressed,PetscInt *n,PetscInt *ia[],PetscInt* ja[],PetscTruth *done)
5389: {
5398: MatPreallocated(mat);
5400: if (!mat->ops->restorecolumnij) *done = PETSC_FALSE;
5401: else {
5402: *done = PETSC_TRUE;
5403: (*mat->ops->restorecolumnij)(mat,shift,symmetric,blockcompressed,n,ia,ja,done);
5404: }
5405: return(0);
5406: }
5410: /*@C
5411: MatColoringPatch -Used inside matrix coloring routines that
5412: use MatGetRowIJ() and/or MatGetColumnIJ().
5414: Collective on Mat
5416: Input Parameters:
5417: + mat - the matrix
5418: . ncolors - max color value
5419: . n - number of entries in colorarray
5420: - colorarray - array indicating color for each column
5422: Output Parameters:
5423: . iscoloring - coloring generated using colorarray information
5425: Level: developer
5427: .seealso: MatGetRowIJ(), MatGetColumnIJ()
5429: @*/
5430: PetscErrorCode MatColoringPatch(Mat mat,PetscInt ncolors,PetscInt n,ISColoringValue colorarray[],ISColoring *iscoloring)
5431: {
5439: MatPreallocated(mat);
5441: if (!mat->ops->coloringpatch){
5442: ISColoringCreate(mat->comm,ncolors,n,colorarray,iscoloring);
5443: } else {
5444: (*mat->ops->coloringpatch)(mat,ncolors,n,colorarray,iscoloring);
5445: }
5446: return(0);
5447: }
5452: /*@
5453: MatSetUnfactored - Resets a factored matrix to be treated as unfactored.
5455: Collective on Mat
5457: Input Parameter:
5458: . mat - the factored matrix to be reset
5460: Notes:
5461: This routine should be used only with factored matrices formed by in-place
5462: factorization via ILU(0) (or by in-place LU factorization for the MATSEQDENSE
5463: format). This option can save memory, for example, when solving nonlinear
5464: systems with a matrix-free Newton-Krylov method and a matrix-based, in-place
5465: ILU(0) preconditioner.
5467: Note that one can specify in-place ILU(0) factorization by calling
5468: .vb
5469: PCType(pc,PCILU);
5470: PCFactorSeUseInPlace(pc);
5471: .ve
5472: or by using the options -pc_type ilu -pc_factor_in_place
5474: In-place factorization ILU(0) can also be used as a local
5475: solver for the blocks within the block Jacobi or additive Schwarz
5476: methods (runtime option: -sub_pc_factor_in_place). See the discussion
5477: of these preconditioners in the users manual for details on setting
5478: local solver options.
5480: Most users should employ the simplified KSP interface for linear solvers
5481: instead of working directly with matrix algebra routines such as this.
5482: See, e.g., KSPCreate().
5484: Level: developer
5486: .seealso: PCFactorSetUseInPlace()
5488: Concepts: matrices^unfactored
5490: @*/
5491: PetscErrorCode MatSetUnfactored(Mat mat)
5492: {
5498: MatPreallocated(mat);
5499: mat->factor = 0;
5500: if (!mat->ops->setunfactored) return(0);
5501: (*mat->ops->setunfactored)(mat);
5502: return(0);
5503: }
5505: /*MC
5506: MatGetArrayF90 - Accesses a matrix array from Fortran90.
5508: Synopsis:
5509: MatGetArrayF90(Mat x,{Scalar, pointer :: xx_v(:)},integer ierr)
5511: Not collective
5513: Input Parameter:
5514: . x - matrix
5516: Output Parameters:
5517: + xx_v - the Fortran90 pointer to the array
5518: - ierr - error code
5520: Example of Usage:
5521: .vb
5522: PetscScalar, pointer xx_v(:)
5523: ....
5524: call MatGetArrayF90(x,xx_v,ierr)
5525: a = xx_v(3)
5526: call MatRestoreArrayF90(x,xx_v,ierr)
5527: .ve
5529: Notes:
5530: Not yet supported for all F90 compilers
5532: Level: advanced
5534: .seealso: MatRestoreArrayF90(), MatGetArray(), MatRestoreArray()
5536: Concepts: matrices^accessing array
5538: M*/
5540: /*MC
5541: MatRestoreArrayF90 - Restores a matrix array that has been
5542: accessed with MatGetArrayF90().
5544: Synopsis:
5545: MatRestoreArrayF90(Mat x,{Scalar, pointer :: xx_v(:)},integer ierr)
5547: Not collective
5549: Input Parameters:
5550: + x - matrix
5551: - xx_v - the Fortran90 pointer to the array
5553: Output Parameter:
5554: . ierr - error code
5556: Example of Usage:
5557: .vb
5558: PetscScalar, pointer xx_v(:)
5559: ....
5560: call MatGetArrayF90(x,xx_v,ierr)
5561: a = xx_v(3)
5562: call MatRestoreArrayF90(x,xx_v,ierr)
5563: .ve
5564:
5565: Notes:
5566: Not yet supported for all F90 compilers
5568: Level: advanced
5570: .seealso: MatGetArrayF90(), MatGetArray(), MatRestoreArray()
5572: M*/
5577: /*@
5578: MatGetSubMatrix - Gets a single submatrix on the same number of processors
5579: as the original matrix.
5581: Collective on Mat
5583: Input Parameters:
5584: + mat - the original matrix
5585: . isrow - rows this processor should obtain
5586: . iscol - columns for all processors you wish to keep
5587: . csize - number of columns "local" to this processor (does nothing for sequential
5588: matrices). This should match the result from VecGetLocalSize(x,...) if you
5589: plan to use the matrix in a A*x; alternatively, you can use PETSC_DECIDE
5590: - cll - either MAT_INITIAL_MATRIX or MAT_REUSE_MATRIX
5592: Output Parameter:
5593: . newmat - the new submatrix, of the same type as the old
5595: Level: advanced
5597: Notes: the iscol argument MUST be the same on each processor. You might be
5598: able to create the iscol argument with ISAllGather(). The rows is isrow will be
5599: sorted into the same order as the original matrix.
5601: The first time this is called you should use a cll of MAT_INITIAL_MATRIX,
5602: the MatGetSubMatrix() routine will create the newmat for you. Any additional calls
5603: to this routine with a mat of the same nonzero structure and with a call of MAT_REUSE_MATRIX
5604: will reuse the matrix generated the first time. You should call MatDestroy() on newmat when
5605: you are finished using it.
5607: Concepts: matrices^submatrices
5609: .seealso: MatGetSubMatrices(), ISAllGather()
5610: @*/
5611: PetscErrorCode MatGetSubMatrix(Mat mat,IS isrow,IS iscol,PetscInt csize,MatReuse cll,Mat *newmat)
5612: {
5614: PetscMPIInt size;
5615: Mat *local;
5624: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
5625: MatPreallocated(mat);
5626: MPI_Comm_size(mat->comm,&size);
5628: /* if original matrix is on just one processor then use submatrix generated */
5629: if (!mat->ops->getsubmatrix && size == 1 && cll == MAT_REUSE_MATRIX) {
5630: MatGetSubMatrices(mat,1,&isrow,&iscol,MAT_REUSE_MATRIX,&newmat);
5631: return(0);
5632: } else if (!mat->ops->getsubmatrix && size == 1) {
5633: MatGetSubMatrices(mat,1,&isrow,&iscol,MAT_INITIAL_MATRIX,&local);
5634: *newmat = *local;
5635: PetscFree(local);
5636: return(0);
5637: }
5639: if (!mat->ops->getsubmatrix) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
5640: (*mat->ops->getsubmatrix)(mat,isrow,iscol,csize,cll,newmat);
5641: PetscObjectStateIncrease((PetscObject)*newmat);
5642: return(0);
5643: }
5647: /*@
5648: MatGetSubMatrixRaw - Gets a single submatrix on the same number of processors
5649: as the original matrix.
5651: Collective on Mat
5653: Input Parameters:
5654: + mat - the original matrix
5655: . nrows - the number of rows this processor should obtain
5656: . rows - rows this processor should obtain
5657: . ncols - the number of columns for all processors you wish to keep
5658: . cols - columns for all processors you wish to keep
5659: . csize - number of columns "local" to this processor (does nothing for sequential
5660: matrices). This should match the result from VecGetLocalSize(x,...) if you
5661: plan to use the matrix in a A*x; alternatively, you can use PETSC_DECIDE
5662: - cll - either MAT_INITIAL_MATRIX or MAT_REUSE_MATRIX
5664: Output Parameter:
5665: . newmat - the new submatrix, of the same type as the old
5667: Level: advanced
5669: Notes: the iscol argument MUST be the same on each processor. You might be
5670: able to create the iscol argument with ISAllGather().
5672: The first time this is called you should use a cll of MAT_INITIAL_MATRIX,
5673: the MatGetSubMatrix() routine will create the newmat for you. Any additional calls
5674: to this routine with a mat of the same nonzero structure and with a cll of MAT_REUSE_MATRIX
5675: will reuse the matrix generated the first time.
5677: Concepts: matrices^submatrices
5679: .seealso: MatGetSubMatrices(), ISAllGather()
5680: @*/
5681: PetscErrorCode MatGetSubMatrixRaw(Mat mat,PetscInt nrows,const PetscInt rows[],PetscInt ncols,const PetscInt cols[],PetscInt csize,MatReuse cll,Mat *newmat)
5682: {
5683: IS isrow, iscol;
5693: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
5694: MatPreallocated(mat);
5695: ISCreateGeneralWithArray(PETSC_COMM_SELF, nrows, (PetscInt *) rows, &isrow);
5696: ISCreateGeneralWithArray(PETSC_COMM_SELF, ncols, (PetscInt *) cols, &iscol);
5697: MatGetSubMatrix(mat, isrow, iscol, csize, cll, newmat);
5698: ISDestroy(isrow);
5699: ISDestroy(iscol);
5700: return(0);
5701: }
5705: /*@
5706: MatStashSetInitialSize - sets the sizes of the matrix stash, that is
5707: used during the assembly process to store values that belong to
5708: other processors.
5710: Not Collective
5712: Input Parameters:
5713: + mat - the matrix
5714: . size - the initial size of the stash.
5715: - bsize - the initial size of the block-stash(if used).
5717: Options Database Keys:
5718: + -matstash_initial_size <size> or <size0,size1,...sizep-1>
5719: - -matstash_block_initial_size <bsize> or <bsize0,bsize1,...bsizep-1>
5721: Level: intermediate
5723: Notes:
5724: The block-stash is used for values set with MatSetValuesBlocked() while
5725: the stash is used for values set with MatSetValues()
5727: Run with the option -info and look for output of the form
5728: MatAssemblyBegin_MPIXXX:Stash has MM entries, uses nn mallocs.
5729: to determine the appropriate value, MM, to use for size and
5730: MatAssemblyBegin_MPIXXX:Block-Stash has BMM entries, uses nn mallocs.
5731: to determine the value, BMM to use for bsize
5733: Concepts: stash^setting matrix size
5734: Concepts: matrices^stash
5736: @*/
5737: PetscErrorCode MatStashSetInitialSize(Mat mat,PetscInt size, PetscInt bsize)
5738: {
5744: MatStashSetInitialSize_Private(&mat->stash,size);
5745: MatStashSetInitialSize_Private(&mat->bstash,bsize);
5746: return(0);
5747: }
5751: /*@
5752: MatInterpolateAdd - w = y + A*x or A'*x depending on the shape of
5753: the matrix
5755: Collective on Mat
5757: Input Parameters:
5758: + mat - the matrix
5759: . x,y - the vectors
5760: - w - where the result is stored
5762: Level: intermediate
5764: Notes:
5765: w may be the same vector as y.
5767: This allows one to use either the restriction or interpolation (its transpose)
5768: matrix to do the interpolation
5770: Concepts: interpolation
5772: .seealso: MatMultAdd(), MatMultTransposeAdd(), MatRestrict()
5774: @*/
5775: PetscErrorCode MatInterpolateAdd(Mat A,Vec x,Vec y,Vec w)
5776: {
5778: PetscInt M,N;
5786: MatPreallocated(A);
5787: MatGetSize(A,&M,&N);
5788: if (N > M) {
5789: MatMultTransposeAdd(A,x,y,w);
5790: } else {
5791: MatMultAdd(A,x,y,w);
5792: }
5793: return(0);
5794: }
5798: /*@
5799: MatInterpolate - y = A*x or A'*x depending on the shape of
5800: the matrix
5802: Collective on Mat
5804: Input Parameters:
5805: + mat - the matrix
5806: - x,y - the vectors
5808: Level: intermediate
5810: Notes:
5811: This allows one to use either the restriction or interpolation (its transpose)
5812: matrix to do the interpolation
5814: Concepts: matrices^interpolation
5816: .seealso: MatMultAdd(), MatMultTransposeAdd(), MatRestrict()
5818: @*/
5819: PetscErrorCode MatInterpolate(Mat A,Vec x,Vec y)
5820: {
5822: PetscInt M,N;
5829: MatPreallocated(A);
5830: MatGetSize(A,&M,&N);
5831: if (N > M) {
5832: MatMultTranspose(A,x,y);
5833: } else {
5834: MatMult(A,x,y);
5835: }
5836: return(0);
5837: }
5841: /*@
5842: MatRestrict - y = A*x or A'*x
5844: Collective on Mat
5846: Input Parameters:
5847: + mat - the matrix
5848: - x,y - the vectors
5850: Level: intermediate
5852: Notes:
5853: This allows one to use either the restriction or interpolation (its transpose)
5854: matrix to do the restriction
5856: Concepts: matrices^restriction
5858: .seealso: MatMultAdd(), MatMultTransposeAdd(), MatInterpolate()
5860: @*/
5861: PetscErrorCode MatRestrict(Mat A,Vec x,Vec y)
5862: {
5864: PetscInt M,N;
5871: MatPreallocated(A);
5873: MatGetSize(A,&M,&N);
5874: if (N > M) {
5875: MatMult(A,x,y);
5876: } else {
5877: MatMultTranspose(A,x,y);
5878: }
5879: return(0);
5880: }
5884: /*@C
5885: MatNullSpaceAttach - attaches a null space to a matrix.
5886: This null space will be removed from the resulting vector whenever
5887: MatMult() is called
5889: Collective on Mat
5891: Input Parameters:
5892: + mat - the matrix
5893: - nullsp - the null space object
5895: Level: developer
5897: Notes:
5898: Overwrites any previous null space that may have been attached
5900: Concepts: null space^attaching to matrix
5902: .seealso: MatCreate(), MatNullSpaceCreate()
5903: @*/
5904: PetscErrorCode MatNullSpaceAttach(Mat mat,MatNullSpace nullsp)
5905: {
5912: MatPreallocated(mat);
5913: PetscObjectReference((PetscObject)nullsp);
5914: if (mat->nullsp) { MatNullSpaceDestroy(mat->nullsp); }
5915: mat->nullsp = nullsp;
5916: return(0);
5917: }
5921: /*@
5922: MatICCFactor - Performs in-place incomplete Cholesky factorization of matrix.
5924: Collective on Mat
5926: Input Parameters:
5927: + mat - the matrix
5928: . row - row/column permutation
5929: . fill - expected fill factor >= 1.0
5930: - level - level of fill, for ICC(k)
5932: Notes:
5933: Probably really in-place only when level of fill is zero, otherwise allocates
5934: new space to store factored matrix and deletes previous memory.
5936: Most users should employ the simplified KSP interface for linear solvers
5937: instead of working directly with matrix algebra routines such as this.
5938: See, e.g., KSPCreate().
5940: Level: developer
5942: Concepts: matrices^incomplete Cholesky factorization
5943: Concepts: Cholesky factorization
5945: .seealso: MatICCFactorSymbolic(), MatLUFactorNumeric(), MatCholeskyFactor()
5946: @*/
5947: PetscErrorCode MatICCFactor(Mat mat,IS row,MatFactorInfo* info)
5948: {
5956: if (mat->rmap.N != mat->cmap.N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square");
5957: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
5958: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
5959: if (!mat->ops->iccfactor) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
5960: MatPreallocated(mat);
5961: (*mat->ops->iccfactor)(mat,row,info);
5962: PetscObjectStateIncrease((PetscObject)mat);
5963: return(0);
5964: }
5968: /*@
5969: MatSetValuesAdic - Sets values computed with ADIC automatic differentiation into a matrix.
5971: Not Collective
5973: Input Parameters:
5974: + mat - the matrix
5975: - v - the values compute with ADIC
5977: Level: developer
5979: Notes:
5980: Must call MatSetColoring() before using this routine. Also this matrix must already
5981: have its nonzero pattern determined.
5983: .seealso: MatSetOption(), MatAssemblyBegin(), MatAssemblyEnd(), MatSetValuesBlocked(), MatSetValuesLocal(),
5984: MatSetValues(), MatSetColoring(), MatSetValuesAdifor()
5985: @*/
5986: PetscErrorCode MatSetValuesAdic(Mat mat,void *v)
5987: {
5995: if (!mat->assembled) {
5996: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Matrix must be already assembled");
5997: }
5999: if (!mat->ops->setvaluesadic) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
6000: (*mat->ops->setvaluesadic)(mat,v);
6002: MatView_Private(mat);
6003: PetscObjectStateIncrease((PetscObject)mat);
6004: return(0);
6005: }
6010: /*@
6011: MatSetColoring - Sets a coloring used by calls to MatSetValuesAdic()
6013: Not Collective
6015: Input Parameters:
6016: + mat - the matrix
6017: - coloring - the coloring
6019: Level: developer
6021: .seealso: MatSetOption(), MatAssemblyBegin(), MatAssemblyEnd(), MatSetValuesBlocked(), MatSetValuesLocal(),
6022: MatSetValues(), MatSetValuesAdic()
6023: @*/
6024: PetscErrorCode MatSetColoring(Mat mat,ISColoring coloring)
6025: {
6033: if (!mat->assembled) {
6034: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Matrix must be already assembled");
6035: }
6036: if (!mat->ops->setcoloring) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
6037: (*mat->ops->setcoloring)(mat,coloring);
6038: return(0);
6039: }
6043: /*@
6044: MatSetValuesAdifor - Sets values computed with automatic differentiation into a matrix.
6046: Not Collective
6048: Input Parameters:
6049: + mat - the matrix
6050: . nl - leading dimension of v
6051: - v - the values compute with ADIFOR
6053: Level: developer
6055: Notes:
6056: Must call MatSetColoring() before using this routine. Also this matrix must already
6057: have its nonzero pattern determined.
6059: .seealso: MatSetOption(), MatAssemblyBegin(), MatAssemblyEnd(), MatSetValuesBlocked(), MatSetValuesLocal(),
6060: MatSetValues(), MatSetColoring()
6061: @*/
6062: PetscErrorCode MatSetValuesAdifor(Mat mat,PetscInt nl,void *v)
6063: {
6071: if (!mat->assembled) {
6072: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Matrix must be already assembled");
6073: }
6075: if (!mat->ops->setvaluesadifor) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
6076: (*mat->ops->setvaluesadifor)(mat,nl,v);
6078: PetscObjectStateIncrease((PetscObject)mat);
6079: return(0);
6080: }
6084: /*@
6085: MatDiagonalScaleLocal - Scales columns of a matrix given the scaling values including the
6086: ghosted ones.
6088: Not Collective
6090: Input Parameters:
6091: + mat - the matrix
6092: - diag = the diagonal values, including ghost ones
6094: Level: developer
6096: Notes: Works only for MPIAIJ and MPIBAIJ matrices
6097:
6098: .seealso: MatDiagonalScale()
6099: @*/
6100: PetscErrorCode MatDiagonalScaleLocal(Mat mat,Vec diag)
6101: {
6103: PetscMPIInt size;
6110: if (!mat->assembled) {
6111: SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Matrix must be already assembled");
6112: }
6114: MPI_Comm_size(mat->comm,&size);
6115: if (size == 1) {
6116: PetscInt n,m;
6117: VecGetSize(diag,&n);
6118: MatGetSize(mat,0,&m);
6119: if (m == n) {
6120: MatDiagonalScale(mat,0,diag);
6121: } else {
6122: SETERRQ(PETSC_ERR_SUP,"Only supported for sequential matrices when no ghost points/periodic conditions");
6123: }
6124: } else {
6125: PetscErrorCode (*f)(Mat,Vec);
6126: PetscObjectQueryFunction((PetscObject)mat,"MatDiagonalScaleLocal_C",(void (**)(void))&f);
6127: if (f) {
6128: (*f)(mat,diag);
6129: } else {
6130: SETERRQ(PETSC_ERR_SUP,"Only supported for MPIAIJ and MPIBAIJ parallel matrices");
6131: }
6132: }
6134: PetscObjectStateIncrease((PetscObject)mat);
6135: return(0);
6136: }
6140: /*@
6141: MatGetInertia - Gets the inertia from a factored matrix
6143: Collective on Mat
6145: Input Parameter:
6146: . mat - the matrix
6148: Output Parameters:
6149: + nneg - number of negative eigenvalues
6150: . nzero - number of zero eigenvalues
6151: - npos - number of positive eigenvalues
6153: Level: advanced
6155: Notes: Matrix must have been factored by MatCholeskyFactor()
6158: @*/
6159: PetscErrorCode MatGetInertia(Mat mat,PetscInt *nneg,PetscInt *nzero,PetscInt *npos)
6160: {
6166: if (!mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Unfactored matrix");
6167: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Numeric factor mat is not assembled");
6168: if (!mat->ops->getinertia) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
6169: (*mat->ops->getinertia)(mat,nneg,nzero,npos);
6170: return(0);
6171: }
6173: /* ----------------------------------------------------------------*/
6176: /*@
6177: MatSolves - Solves A x = b, given a factored matrix, for a collection of vectors
6179: Collective on Mat and Vecs
6181: Input Parameters:
6182: + mat - the factored matrix
6183: - b - the right-hand-side vectors
6185: Output Parameter:
6186: . x - the result vectors
6188: Notes:
6189: The vectors b and x cannot be the same. I.e., one cannot
6190: call MatSolves(A,x,x).
6192: Notes:
6193: Most users should employ the simplified KSP interface for linear solvers
6194: instead of working directly with matrix algebra routines such as this.
6195: See, e.g., KSPCreate().
6197: Level: developer
6199: Concepts: matrices^triangular solves
6201: .seealso: MatSolveAdd(), MatSolveTranspose(), MatSolveTransposeAdd(), MatSolve()
6202: @*/
6203: PetscErrorCode MatSolves(Mat mat,Vecs b,Vecs x)
6204: {
6210: if (x == b) SETERRQ(PETSC_ERR_ARG_IDN,"x and b must be different vectors");
6211: if (!mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Unfactored matrix");
6212: if (!mat->rmap.N && !mat->cmap.N) return(0);
6214: if (!mat->ops->solves) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
6215: MatPreallocated(mat);
6217: (*mat->ops->solves)(mat,b,x);
6219: return(0);
6220: }
6224: /*@
6225: MatIsSymmetric - Test whether a matrix is symmetric
6227: Collective on Mat
6229: Input Parameter:
6230: + A - the matrix to test
6231: - tol - difference between value and its transpose less than this amount counts as equal (use 0.0 for exact transpose)
6233: Output Parameters:
6234: . flg - the result
6236: Level: intermediate
6238: Concepts: matrix^symmetry
6240: .seealso: MatTranspose(), MatIsTranspose(), MatIsHermitian(), MatIsStructurallySymmetric(), MatSetOption(), MatIsSymmetricKnown()
6241: @*/
6242: PetscErrorCode MatIsSymmetric(Mat A,PetscReal tol,PetscTruth *flg)
6243: {
6249: if (!A->symmetric_set) {
6250: if (!A->ops->issymmetric) {
6251: MatType mattype;
6252: MatGetType(A,&mattype);
6253: SETERRQ1(PETSC_ERR_SUP,"Matrix of type <%s> does not support checking for symmetric",mattype);
6254: }
6255: (*A->ops->issymmetric)(A,tol,&A->symmetric);
6256: A->symmetric_set = PETSC_TRUE;
6257: if (A->symmetric) {
6258: A->structurally_symmetric_set = PETSC_TRUE;
6259: A->structurally_symmetric = PETSC_TRUE;
6260: }
6261: }
6262: *flg = A->symmetric;
6263: return(0);
6264: }
6268: /*@
6269: MatIsSymmetricKnown - Checks the flag on the matrix to see if it is symmetric.
6271: Collective on Mat
6273: Input Parameter:
6274: . A - the matrix to check
6276: Output Parameters:
6277: + set - if the symmetric flag is set (this tells you if the next flag is valid)
6278: - flg - the result
6280: Level: advanced
6282: Concepts: matrix^symmetry
6284: Note: Does not check the matrix values directly, so this may return unknown (set = PETSC_FALSE). Use MatIsSymmetric()
6285: if you want it explicitly checked
6287: .seealso: MatTranspose(), MatIsTranspose(), MatIsHermitian(), MatIsStructurallySymmetric(), MatSetOption(), MatIsSymmetric()
6288: @*/
6289: PetscErrorCode MatIsSymmetricKnown(Mat A,PetscTruth *set,PetscTruth *flg)
6290: {
6295: if (A->symmetric_set) {
6296: *set = PETSC_TRUE;
6297: *flg = A->symmetric;
6298: } else {
6299: *set = PETSC_FALSE;
6300: }
6301: return(0);
6302: }
6306: /*@
6307: MatIsHermitianKnown - Checks the flag on the matrix to see if it is hermitian.
6309: Collective on Mat
6311: Input Parameter:
6312: . A - the matrix to check
6314: Output Parameters:
6315: + set - if the hermitian flag is set (this tells you if the next flag is valid)
6316: - flg - the result
6318: Level: advanced
6320: Concepts: matrix^symmetry
6322: Note: Does not check the matrix values directly, so this may return unknown (set = PETSC_FALSE). Use MatIsHermitian()
6323: if you want it explicitly checked
6325: .seealso: MatTranspose(), MatIsTranspose(), MatIsHermitian(), MatIsStructurallySymmetric(), MatSetOption(), MatIsSymmetric()
6326: @*/
6327: PetscErrorCode MatIsHermitianKnown(Mat A,PetscTruth *set,PetscTruth *flg)
6328: {
6333: if (A->hermitian_set) {
6334: *set = PETSC_TRUE;
6335: *flg = A->hermitian;
6336: } else {
6337: *set = PETSC_FALSE;
6338: }
6339: return(0);
6340: }
6344: /*@
6345: MatIsStructurallySymmetric - Test whether a matrix is structurally symmetric
6347: Collective on Mat
6349: Input Parameter:
6350: . A - the matrix to test
6352: Output Parameters:
6353: . flg - the result
6355: Level: intermediate
6357: Concepts: matrix^symmetry
6359: .seealso: MatTranspose(), MatIsTranspose(), MatIsHermitian(), MatIsSymmetric(), MatSetOption()
6360: @*/
6361: PetscErrorCode MatIsStructurallySymmetric(Mat A,PetscTruth *flg)
6362: {
6368: if (!A->structurally_symmetric_set) {
6369: if (!A->ops->isstructurallysymmetric) SETERRQ(PETSC_ERR_SUP,"Matrix does not support checking for structural symmetric");
6370: (*A->ops->isstructurallysymmetric)(A,&A->structurally_symmetric);
6371: A->structurally_symmetric_set = PETSC_TRUE;
6372: }
6373: *flg = A->structurally_symmetric;
6374: return(0);
6375: }
6379: /*@
6380: MatIsHermitian - Test whether a matrix is Hermitian, i.e. it is the complex conjugate of its transpose.
6382: Collective on Mat
6384: Input Parameter:
6385: . A - the matrix to test
6387: Output Parameters:
6388: . flg - the result
6390: Level: intermediate
6392: Concepts: matrix^symmetry
6394: .seealso: MatTranspose(), MatIsTranspose(), MatIsSymmetric(), MatIsStructurallySymmetric(), MatSetOption()
6395: @*/
6396: PetscErrorCode MatIsHermitian(Mat A,PetscTruth *flg)
6397: {
6403: if (!A->hermitian_set) {
6404: if (!A->ops->ishermitian) SETERRQ(PETSC_ERR_SUP,"Matrix does not support checking for being Hermitian");
6405: (*A->ops->ishermitian)(A,&A->hermitian);
6406: A->hermitian_set = PETSC_TRUE;
6407: if (A->hermitian) {
6408: A->structurally_symmetric_set = PETSC_TRUE;
6409: A->structurally_symmetric = PETSC_TRUE;
6410: }
6411: }
6412: *flg = A->hermitian;
6413: return(0);
6414: }
6419: /*@
6420: MatStashGetInfo - Gets how many values are currently in the vector stash, i.e. need
6421: to be communicated to other processors during the MatAssemblyBegin/End() process
6423: Not collective
6425: Input Parameter:
6426: . vec - the vector
6428: Output Parameters:
6429: + nstash - the size of the stash
6430: . reallocs - the number of additional mallocs incurred.
6431: . bnstash - the size of the block stash
6432: - breallocs - the number of additional mallocs incurred.in the block stash
6433:
6434: Level: advanced
6436: .seealso: MatAssemblyBegin(), MatAssemblyEnd(), Mat, MatStashSetInitialSize()
6437:
6438: @*/
6439: PetscErrorCode MatStashGetInfo(Mat mat,PetscInt *nstash,PetscInt *reallocs,PetscInt *bnstash,PetscInt *breallocs)
6440: {
6443: MatStashGetInfo_Private(&mat->stash,nstash,reallocs);
6444: MatStashGetInfo_Private(&mat->bstash,bnstash,breallocs);
6445: return(0);
6446: }
6450: /*@
6451: MatGetVecs - Get vector(s) compatible with the matrix, i.e. with the same
6452: parallel layout
6453:
6454: Collective on Mat
6456: Input Parameter:
6457: . mat - the matrix
6459: Output Parameter:
6460: + right - (optional) vector that the matrix can be multiplied against
6461: - left - (optional) vector that the matrix vector product can be stored in
6463: Level: advanced
6465: .seealso: MatCreate()
6466: @*/
6467: PetscErrorCode MatGetVecs(Mat mat,Vec *right,Vec *left)
6468: {
6474: MatPreallocated(mat);
6475: if (mat->ops->getvecs) {
6476: (*mat->ops->getvecs)(mat,right,left);
6477: } else {
6478: PetscMPIInt size;
6479: MPI_Comm_size(mat->comm, &size);
6480: if (right) {
6481: VecCreate(mat->comm,right);
6482: VecSetSizes(*right,mat->cmap.n,PETSC_DETERMINE);
6483: if (size > 1) {VecSetType(*right,VECMPI);}
6484: else {VecSetType(*right,VECSEQ);}
6485: }
6486: if (left) {
6487: VecCreate(mat->comm,left);
6488: VecSetSizes(*left,mat->rmap.n,PETSC_DETERMINE);
6489: if (size > 1) {VecSetType(*left,VECMPI);}
6490: else {VecSetType(*left,VECSEQ);}
6491: }
6492: }
6493: if (right) {VecSetBlockSize(*right,mat->rmap.bs);}
6494: if (left) {VecSetBlockSize(*left,mat->rmap.bs);}
6495: if (mat->mapping) {
6496: if (right) {VecSetLocalToGlobalMapping(*right,mat->mapping);}
6497: if (left) {VecSetLocalToGlobalMapping(*left,mat->mapping);}
6498: }
6499: if (mat->bmapping) {
6500: if (right) {VecSetLocalToGlobalMappingBlock(*right,mat->bmapping);}
6501: if (left) {VecSetLocalToGlobalMappingBlock(*left,mat->bmapping);}
6502: }
6503: return(0);
6504: }
6508: /*@
6509: MatFactorInfoInitialize - Initializes a MatFactorInfo data structure
6510: with default values.
6512: Not Collective
6514: Input Parameters:
6515: . info - the MatFactorInfo data structure
6518: Notes: The solvers are generally used through the KSP and PC objects, for example
6519: PCLU, PCILU, PCCHOLESKY, PCICC
6521: Level: developer
6523: .seealso: MatFactorInfo
6524: @*/
6526: PetscErrorCode MatFactorInfoInitialize(MatFactorInfo *info)
6527: {
6531: PetscMemzero(info,sizeof(MatFactorInfo));
6532: return(0);
6533: }
6537: /*@
6538: MatPtAP - Creates the matrix projection C = P^T * A * P
6540: Collective on Mat
6542: Input Parameters:
6543: + A - the matrix
6544: . P - the projection matrix
6545: . scall - either MAT_INITIAL_MATRIX or MAT_REUSE_MATRIX
6546: - fill - expected fill as ratio of nnz(C)/nnz(A)
6548: Output Parameters:
6549: . C - the product matrix
6551: Notes:
6552: C will be created and must be destroyed by the user with MatDestroy().
6554: This routine is currently only implemented for pairs of AIJ matrices and classes
6555: which inherit from AIJ.
6557: Level: intermediate
6559: .seealso: MatPtAPSymbolic(), MatPtAPNumeric(), MatMatMult()
6560: @*/
6561: PetscErrorCode MatPtAP(Mat A,Mat P,MatReuse scall,PetscReal fill,Mat *C)
6562: {
6568: if (!A->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6569: if (A->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6572: MatPreallocated(P);
6573: if (!P->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6574: if (P->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6576: if (P->rmap.N!=A->cmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",P->rmap.N,A->cmap.N);
6577: if (fill < 1.0) SETERRQ1(PETSC_ERR_ARG_SIZ,"Expected fill=%G must be >= 1.0",fill);
6578: MatPreallocated(A);
6581: (*A->ops->ptap)(A,P,scall,fill,C);
6584: return(0);
6585: }
6589: /*@
6590: MatPtAPNumeric - Computes the matrix projection C = P^T * A * P
6592: Collective on Mat
6594: Input Parameters:
6595: + A - the matrix
6596: - P - the projection matrix
6598: Output Parameters:
6599: . C - the product matrix
6601: Notes:
6602: C must have been created by calling MatPtAPSymbolic and must be destroyed by
6603: the user using MatDeatroy().
6605: This routine is currently only implemented for pairs of AIJ matrices and classes
6606: which inherit from AIJ. C will be of type MATAIJ.
6608: Level: intermediate
6610: .seealso: MatPtAP(), MatPtAPSymbolic(), MatMatMultNumeric()
6611: @*/
6612: PetscErrorCode MatPtAPNumeric(Mat A,Mat P,Mat C)
6613: {
6619: if (!A->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6620: if (A->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6623: MatPreallocated(P);
6624: if (!P->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6625: if (P->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6628: MatPreallocated(C);
6629: if (C->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6630: if (P->cmap.N!=C->rmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",P->cmap.N,C->rmap.N);
6631: if (P->rmap.N!=A->cmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",P->rmap.N,A->cmap.N);
6632: if (A->rmap.N!=A->cmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix 'A' must be square, %D != %D",A->rmap.N,A->cmap.N);
6633: if (P->cmap.N!=C->cmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",P->cmap.N,C->cmap.N);
6634: MatPreallocated(A);
6637: (*A->ops->ptapnumeric)(A,P,C);
6639: return(0);
6640: }
6644: /*@
6645: MatPtAPSymbolic - Creates the (i,j) structure of the matrix projection C = P^T * A * P
6647: Collective on Mat
6649: Input Parameters:
6650: + A - the matrix
6651: - P - the projection matrix
6653: Output Parameters:
6654: . C - the (i,j) structure of the product matrix
6656: Notes:
6657: C will be created and must be destroyed by the user with MatDestroy().
6659: This routine is currently only implemented for pairs of SeqAIJ matrices and classes
6660: which inherit from SeqAIJ. C will be of type MATSEQAIJ. The product is computed using
6661: this (i,j) structure by calling MatPtAPNumeric().
6663: Level: intermediate
6665: .seealso: MatPtAP(), MatPtAPNumeric(), MatMatMultSymbolic()
6666: @*/
6667: PetscErrorCode MatPtAPSymbolic(Mat A,Mat P,PetscReal fill,Mat *C)
6668: {
6674: if (!A->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6675: if (A->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6676: if (fill <1.0) SETERRQ1(PETSC_ERR_ARG_SIZ,"Expected fill=%G must be >= 1.0",fill);
6679: MatPreallocated(P);
6680: if (!P->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6681: if (P->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6684: if (P->rmap.N!=A->cmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",P->rmap.N,A->cmap.N);
6685: if (A->rmap.N!=A->cmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix 'A' must be square, %D != %D",A->rmap.N,A->cmap.N);
6686: MatPreallocated(A);
6688: (*A->ops->ptapsymbolic)(A,P,fill,C);
6691: MatSetBlockSize(*C,A->rmap.bs);
6693: return(0);
6694: }
6698: /*@
6699: MatMatMult - Performs Matrix-Matrix Multiplication C=A*B.
6701: Collective on Mat
6703: Input Parameters:
6704: + A - the left matrix
6705: . B - the right matrix
6706: . scall - either MAT_INITIAL_MATRIX or MAT_REUSE_MATRIX
6707: - fill - expected fill as ratio of nnz(C)/(nnz(A) + nnz(B))
6709: Output Parameters:
6710: . C - the product matrix
6712: Notes:
6713: C will be created and must be destroyed by the user with MatDestroy().
6714: Unless scall is MAT_REUSE_MATRIX
6716: If you have many matrices with the same non-zero structure to multiply, you
6717: should either
6718: $ 1) use MAT_REUSE_MATRIX in all calls but the first or
6719: $ 2) call MatMatMultSymbolic() once and then MatMatMultNumeric() for each product needed
6721: Level: intermediate
6723: .seealso: MatMatMultSymbolic(), MatMatMultNumeric(), MatPtAP()
6724: @*/
6725: PetscErrorCode MatMatMult(Mat A,Mat B,MatReuse scall,PetscReal fill,Mat *C)
6726: {
6728: PetscErrorCode (*fA)(Mat,Mat,MatReuse,PetscReal,Mat*);
6729: PetscErrorCode (*fB)(Mat,Mat,MatReuse,PetscReal,Mat*);
6730: PetscErrorCode (*mult)(Mat,Mat,MatReuse,PetscReal,Mat *)=PETSC_NULL;
6735: if (!A->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6736: if (A->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6739: MatPreallocated(B);
6740: if (!B->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6741: if (B->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6743: if (B->rmap.N!=A->cmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",B->rmap.N,A->cmap.N);
6744: if (fill == PETSC_DEFAULT) fill = 2.0;
6745: if (fill < 1.0) SETERRQ1(PETSC_ERR_ARG_SIZ,"Expected fill=%G must be >= 1.0",fill);
6746: MatPreallocated(A);
6748: fA = A->ops->matmult;
6749: fB = B->ops->matmult;
6750: if (fB == fA) {
6751: if (!fB) SETERRQ1(PETSC_ERR_SUP,"MatMatMult not supported for B of type %s",B->type_name);
6752: mult = fB;
6753: } else {
6754: /* dispatch based on the type of A and B */
6755: char multname[256];
6756: PetscStrcpy(multname,"MatMatMult_");
6757: PetscStrcat(multname,A->type_name);
6758: PetscStrcat(multname,"_");
6759: PetscStrcat(multname,B->type_name);
6760: PetscStrcat(multname,"_C"); /* e.g., multname = "MatMatMult_aij_dense_C" */
6761: PetscObjectQueryFunction((PetscObject)B,multname,(void (**)(void))&mult);
6762: if (!mult) SETERRQ2(PETSC_ERR_ARG_INCOMP,"MatMatMult requires A, %s, to be compatible with B, %s",A->type_name,B->type_name);
6763: }
6765: (*mult)(A,B,scall,fill,C);
6767: return(0);
6768: }
6772: /*@
6773: MatMatMultSymbolic - Performs construction, preallocation, and computes the ij structure
6774: of the matrix-matrix product C=A*B. Call this routine before calling MatMatMultNumeric().
6776: Collective on Mat
6778: Input Parameters:
6779: + A - the left matrix
6780: . B - the right matrix
6781: - fill - expected fill as ratio of nnz(C)/(nnz(A) + nnz(B))
6783: Output Parameters:
6784: . C - the matrix containing the ij structure of product matrix
6786: Notes:
6787: C will be created and must be destroyed by the user with MatDestroy().
6789: This routine is currently implemented for
6790: - pairs of AIJ matrices and classes which inherit from AIJ, C will be of type MATAIJ.
6791: - pairs of AIJ (A) and Dense (B) matrix, C will be of type MATDENSE.
6793: Level: intermediate
6795: .seealso: MatMatMult(), MatMatMultNumeric()
6796: @*/
6797: PetscErrorCode MatMatMultSymbolic(Mat A,Mat B,PetscReal fill,Mat *C)
6798: {
6800: PetscErrorCode (*Asymbolic)(Mat,Mat,PetscReal,Mat *);
6801: PetscErrorCode (*Bsymbolic)(Mat,Mat,PetscReal,Mat *);
6802: PetscErrorCode (*symbolic)(Mat,Mat,PetscReal,Mat *)=PETSC_NULL;
6807: if (!A->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6808: if (A->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6812: MatPreallocated(B);
6813: if (!B->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6814: if (B->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6817: if (B->rmap.N!=A->cmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",B->rmap.N,A->cmap.N);
6818: if (fill == PETSC_DEFAULT) fill = 2.0;
6819: if (fill < 1.0) SETERRQ1(PETSC_ERR_ARG_SIZ,"Expected fill=%G must be > 1.0",fill);
6820: MatPreallocated(A);
6821:
6822: Asymbolic = A->ops->matmultsymbolic;
6823: Bsymbolic = B->ops->matmultsymbolic;
6824: if (Asymbolic == Bsymbolic){
6825: if (!Bsymbolic) SETERRQ1(PETSC_ERR_SUP,"C=A*B not implemented for B of type %s",B->type_name);
6826: symbolic = Bsymbolic;
6827: } else { /* dispatch based on the type of A and B */
6828: char symbolicname[256];
6829: PetscStrcpy(symbolicname,"MatMatMultSymbolic_");
6830: PetscStrcat(symbolicname,A->type_name);
6831: PetscStrcat(symbolicname,"_");
6832: PetscStrcat(symbolicname,B->type_name);
6833: PetscStrcat(symbolicname,"_C");
6834: PetscObjectQueryFunction((PetscObject)B,symbolicname,(void (**)(void))&symbolic);
6835: if (!symbolic) SETERRQ2(PETSC_ERR_ARG_INCOMP,"MatMatMultSymbolic requires A, %s, to be compatible with B, %s",A->type_name,B->type_name);
6836: }
6838: (*symbolic)(A,B,fill,C);
6840: return(0);
6841: }
6845: /*@
6846: MatMatMultNumeric - Performs the numeric matrix-matrix product.
6847: Call this routine after first calling MatMatMultSymbolic().
6849: Collective on Mat
6851: Input Parameters:
6852: + A - the left matrix
6853: - B - the right matrix
6855: Output Parameters:
6856: . C - the product matrix, whose ij structure was defined from MatMatMultSymbolic().
6858: Notes:
6859: C must have been created with MatMatMultSymbolic.
6861: This routine is currently implemented for
6862: - pairs of AIJ matrices and classes which inherit from AIJ, C will be of type MATAIJ.
6863: - pairs of AIJ (A) and Dense (B) matrix, C will be of type MATDENSE.
6865: Level: intermediate
6867: .seealso: MatMatMult(), MatMatMultSymbolic()
6868: @*/
6869: PetscErrorCode MatMatMultNumeric(Mat A,Mat B,Mat C)
6870: {
6872: PetscErrorCode (*Anumeric)(Mat,Mat,Mat);
6873: PetscErrorCode (*Bnumeric)(Mat,Mat,Mat);
6874: PetscErrorCode (*numeric)(Mat,Mat,Mat)=PETSC_NULL;
6879: if (!A->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6880: if (A->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6884: MatPreallocated(B);
6885: if (!B->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6886: if (B->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6890: MatPreallocated(C);
6891: if (!C->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6892: if (C->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6894: if (B->cmap.N!=C->cmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",B->cmap.N,C->cmap.N);
6895: if (B->rmap.N!=A->cmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",B->rmap.N,A->cmap.N);
6896: if (A->rmap.N!=C->rmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",A->rmap.N,C->rmap.N);
6897: MatPreallocated(A);
6899: Anumeric = A->ops->matmultnumeric;
6900: Bnumeric = B->ops->matmultnumeric;
6901: if (Anumeric == Bnumeric){
6902: if (!Bnumeric) SETERRQ1(PETSC_ERR_SUP,"MatMatMultNumeric not supported for B of type %s",B->type_name);
6903: numeric = Bnumeric;
6904: } else {
6905: char numericname[256];
6906: PetscStrcpy(numericname,"MatMatMultNumeric_");
6907: PetscStrcat(numericname,A->type_name);
6908: PetscStrcat(numericname,"_");
6909: PetscStrcat(numericname,B->type_name);
6910: PetscStrcat(numericname,"_C");
6911: PetscObjectQueryFunction((PetscObject)B,numericname,(void (**)(void))&numeric);
6912: if (!numeric)
6913: SETERRQ2(PETSC_ERR_ARG_INCOMP,"MatMatMultNumeric requires A, %s, to be compatible with B, %s",A->type_name,B->type_name);
6914: }
6916: (*numeric)(A,B,C);
6918: return(0);
6919: }
6923: /*@
6924: MatMatMultTranspose - Performs Matrix-Matrix Multiplication C=A^T*B.
6926: Collective on Mat
6928: Input Parameters:
6929: + A - the left matrix
6930: . B - the right matrix
6931: . scall - either MAT_INITIAL_MATRIX or MAT_REUSE_MATRIX
6932: - fill - expected fill as ratio of nnz(C)/(nnz(A) + nnz(B))
6934: Output Parameters:
6935: . C - the product matrix
6937: Notes:
6938: C will be created and must be destroyed by the user with MatDestroy().
6940: This routine is currently only implemented for pairs of SeqAIJ matrices and classes
6941: which inherit from SeqAIJ. C will be of type MATSEQAIJ.
6943: Level: intermediate
6945: .seealso: MatMatMultTransposeSymbolic(), MatMatMultTransposeNumeric(), MatPtAP()
6946: @*/
6947: PetscErrorCode MatMatMultTranspose(Mat A,Mat B,MatReuse scall,PetscReal fill,Mat *C)
6948: {
6950: PetscErrorCode (*fA)(Mat,Mat,MatReuse,PetscReal,Mat*);
6951: PetscErrorCode (*fB)(Mat,Mat,MatReuse,PetscReal,Mat*);
6956: if (!A->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6957: if (A->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6960: MatPreallocated(B);
6961: if (!B->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
6962: if (B->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
6964: if (B->rmap.N!=A->rmap.N) SETERRQ2(PETSC_ERR_ARG_SIZ,"Matrix dimensions are incompatible, %D != %D",B->rmap.N,A->rmap.N);
6965: if (fill < 1.0) SETERRQ1(PETSC_ERR_ARG_SIZ,"Expected fill=%G must be > 1.0",fill);
6966: MatPreallocated(A);
6968: fA = A->ops->matmulttranspose;
6969: if (!fA) SETERRQ1(PETSC_ERR_SUP,"MatMatMultTranspose not supported for A of type %s",A->type_name);
6970: fB = B->ops->matmulttranspose;
6971: if (!fB) SETERRQ1(PETSC_ERR_SUP,"MatMatMultTranspose not supported for B of type %s",B->type_name);
6972: if (fB!=fA) SETERRQ2(PETSC_ERR_ARG_INCOMP,"MatMatMultTranspose requires A, %s, to be compatible with B, %s",A->type_name,B->type_name);
6975: (*A->ops->matmulttranspose)(A,B,scall,fill,C);
6977:
6978: return(0);
6979: }
6983: /*@C
6984: MatGetRedundantMatrix - Create redundant matrices and put them into processors of subcommunicators.
6986: Collective on Mat
6988: Input Parameters:
6989: + mat - the matrix
6990: . nsubcomm - the number of subcommunicators (= number of redundant pareallel or sequential matrices)
6991: . subcomm - MPI communicator split from the communicator where mat resides in
6992: . mlocal_red - number of local rows of the redundant matrix
6993: - reuse - either MAT_INITIAL_MATRIX or MAT_REUSE_MATRIX
6995: Output Parameter:
6996: . matredundant - redundant matrix
6998: Notes:
6999: MAT_REUSE_MATRIX can only be used when the nonzero structure of the
7000: original matrix has not changed from that last call to MatGetRedundantMatrix().
7002: This routine creates the duplicated matrices in subcommunicators; you should NOT create them before
7003: calling it.
7005: Only MPIAIJ matrix is supported.
7006:
7007: Level: advanced
7009: Concepts: subcommunicator
7010: Concepts: duplicate matrix
7012: .seealso: MatDestroy()
7013: @*/
7014: PetscErrorCode MatGetRedundantMatrix(Mat mat,PetscInt nsubcomm,MPI_Comm subcomm,PetscInt mlocal_red,MatReuse reuse,Mat *matredundant)
7015: {
7020: if (nsubcomm && reuse == MAT_REUSE_MATRIX) {
7023: }
7024: if (!mat->ops->getredundantmatrix) SETERRQ1(PETSC_ERR_SUP,"Mat type %s",mat->type_name);
7025: if (!mat->assembled) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for unassembled matrix");
7026: if (mat->factor) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Not for factored matrix");
7027: MatPreallocated(mat);
7030: (*mat->ops->getredundantmatrix)(mat,nsubcomm,subcomm,mlocal_red,reuse,matredundant);
7032: return(0);
7033: }