xref: /petsc/src/mat/impls/normal/normmh.c (revision a29b93af14c8cd8444aaaea91c6f829c7cf01058)
127d8b95cSPierre Jolivet #include <../src/mat/impls/shell/shell.h> /*I "petscmat.h" I*/
2ebda224cSfranklin5 
3ebda224cSfranklin5 typedef struct {
4ebda224cSfranklin5   Mat A;
5a48507d3SJose E. Roman   Mat D; /* local submatrix for diagonal part */
627d8b95cSPierre Jolivet   Vec w;
713b343c1SBarry Smith } Mat_NormalHermitian;
8ebda224cSfranklin5 
966976f2fSJacob Faibussowitsch static PetscErrorCode MatCreateSubMatrices_NormalHermitian(Mat mat, PetscInt n, const IS irow[], const IS icol[], MatReuse scall, Mat *submat[])
10d71ae5a4SJacob Faibussowitsch {
1127d8b95cSPierre Jolivet   Mat_NormalHermitian *a;
1227d8b95cSPierre Jolivet   Mat                  B, *suba;
13ab704866SPierre Jolivet   IS                  *row;
14ab704866SPierre Jolivet   PetscInt             M;
15ab704866SPierre Jolivet 
16ab704866SPierre Jolivet   PetscFunctionBegin;
1727d8b95cSPierre Jolivet   PetscCheck(!((Mat_Shell *)mat->data)->zrows && !((Mat_Shell *)mat->data)->zcols, PetscObjectComm((PetscObject)mat), PETSC_ERR_SUP, "Cannot call MatCreateSubMatrices() if MatZeroRows() or MatZeroRowsColumns() has been called on the input Mat"); // TODO FIXME: lift this limitation by calling MatZeroRows()/MatZeroRowsColumns() after the SubMatrices creation
1827d8b95cSPierre Jolivet   PetscCheck(!((Mat_Shell *)mat->data)->axpy, PetscObjectComm((PetscObject)mat), PETSC_ERR_SUP, "Cannot call MatCreateSubMatrices() if MatAXPY() has been called on the input Mat"); // TODO FIXME: lift this limitation by calling MatAXPY() after the SubMatrices creation
1927d8b95cSPierre Jolivet   PetscCheck(!((Mat_Shell *)mat->data)->left && !((Mat_Shell *)mat->data)->right, PetscObjectComm((PetscObject)mat), PETSC_ERR_SUP, "Cannot call MatCreateSubMatrices() if MatDiagonalScale() has been called on the input Mat"); // TODO FIXME: lift this limitation by calling MatDiagonalScale() after the SubMatrices creation with a SubVector
2027d8b95cSPierre Jolivet   PetscCheck(!((Mat_Shell *)mat->data)->dshift, PetscObjectComm((PetscObject)mat), PETSC_ERR_SUP, "Cannot call MatCreateSubMatrices() if MatDiagonalSet() has been called on the input Mat"); // TODO FIXME: lift this limitation by calling MatDiagonalSet() after the SubMatrices creation with a SubVector
2127d8b95cSPierre Jolivet   PetscCheck(irow == icol, PetscObjectComm((PetscObject)mat), PETSC_ERR_SUP, "Not implemented");
2227d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(mat, &a));
2327d8b95cSPierre Jolivet   B = a->A;
2448a46eb9SPierre Jolivet   if (scall != MAT_REUSE_MATRIX) PetscCall(PetscCalloc1(n, submat));
25ab704866SPierre Jolivet   PetscCall(MatGetSize(B, &M, NULL));
26ab704866SPierre Jolivet   PetscCall(PetscMalloc1(n, &row));
27ab704866SPierre Jolivet   PetscCall(ISCreateStride(PETSC_COMM_SELF, M, 0, 1, &row[0]));
28ab704866SPierre Jolivet   PetscCall(ISSetIdentity(row[0]));
29ab704866SPierre Jolivet   for (M = 1; M < n; ++M) row[M] = row[0];
30ab704866SPierre Jolivet   PetscCall(MatCreateSubMatrices(B, n, row, icol, MAT_INITIAL_MATRIX, &suba));
31ab704866SPierre Jolivet   for (M = 0; M < n; ++M) {
32ab704866SPierre Jolivet     PetscCall(MatCreateNormalHermitian(suba[M], *submat + M));
3327d8b95cSPierre Jolivet     ((Mat_Shell *)(*submat)[M]->data)->vscale = ((Mat_Shell *)mat->data)->vscale;
3427d8b95cSPierre Jolivet     ((Mat_Shell *)(*submat)[M]->data)->vshift = ((Mat_Shell *)mat->data)->vshift;
35ab704866SPierre Jolivet   }
36ab704866SPierre Jolivet   PetscCall(ISDestroy(&row[0]));
37ab704866SPierre Jolivet   PetscCall(PetscFree(row));
38ab704866SPierre Jolivet   PetscCall(MatDestroySubMatrices(n, &suba));
393ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
40ab704866SPierre Jolivet }
41ab704866SPierre Jolivet 
4266976f2fSJacob Faibussowitsch static PetscErrorCode MatPermute_NormalHermitian(Mat A, IS rowp, IS colp, Mat *B)
43d71ae5a4SJacob Faibussowitsch {
4427d8b95cSPierre Jolivet   Mat_NormalHermitian *a;
4527d8b95cSPierre Jolivet   Mat                  C, Aa;
46ab704866SPierre Jolivet   IS                   row;
47ab704866SPierre Jolivet 
48ab704866SPierre Jolivet   PetscFunctionBegin;
4927d8b95cSPierre Jolivet   PetscCheck(!((Mat_Shell *)A->data)->zrows && !((Mat_Shell *)A->data)->zcols, PetscObjectComm((PetscObject)A), PETSC_ERR_SUP, "Cannot call MatCreateSubMatrices() if MatZeroRows() or MatZeroRowsColumns() has been called on the input Mat"); // TODO FIXME: lift this limitation by calling MatZeroRows()/MatZeroRowsColumns() after the permutation with a permuted zrows and zcols
5027d8b95cSPierre Jolivet   PetscCheck(!((Mat_Shell *)A->data)->axpy, PetscObjectComm((PetscObject)A), PETSC_ERR_SUP, "Cannot call MatCreateSubMatrices() if MatAXPY() has been called on the input Mat"); // TODO FIXME: lift this limitation by calling MatAXPY() after the permutation with a permuted axpy
5127d8b95cSPierre Jolivet   PetscCheck(!((Mat_Shell *)A->data)->left && !((Mat_Shell *)A->data)->right, PetscObjectComm((PetscObject)A), PETSC_ERR_SUP, "Cannot call MatCreateSubMatrices() if MatDiagonalScale() has been called on the input Mat"); // TODO FIXME: lift this limitation by calling MatDiagonalScale() after the permutation with a permuted left and right
5227d8b95cSPierre Jolivet   PetscCheck(!((Mat_Shell *)A->data)->dshift, PetscObjectComm((PetscObject)A), PETSC_ERR_SUP, "Cannot call MatCreateSubMatrices() if MatDiagonalSet() has been called on the input Mat"); // TODO FIXME: lift this limitation by calling MatDiagonalSet() after the permutation with a permuted dshift
53ab704866SPierre Jolivet   PetscCheck(rowp == colp, PetscObjectComm((PetscObject)A), PETSC_ERR_ARG_INCOMP, "Row permutation and column permutation must be the same");
5427d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(A, &a));
5527d8b95cSPierre Jolivet   Aa = a->A;
56ab704866SPierre Jolivet   PetscCall(ISCreateStride(PetscObjectComm((PetscObject)Aa), Aa->rmap->n, Aa->rmap->rstart, 1, &row));
57ab704866SPierre Jolivet   PetscCall(ISSetIdentity(row));
58ab704866SPierre Jolivet   PetscCall(MatPermute(Aa, row, colp, &C));
59ab704866SPierre Jolivet   PetscCall(ISDestroy(&row));
60ab704866SPierre Jolivet   PetscCall(MatCreateNormalHermitian(C, B));
61ab704866SPierre Jolivet   PetscCall(MatDestroy(&C));
6227d8b95cSPierre Jolivet   ((Mat_Shell *)(*B)->data)->vscale = ((Mat_Shell *)A->data)->vscale;
6327d8b95cSPierre Jolivet   ((Mat_Shell *)(*B)->data)->vshift = ((Mat_Shell *)A->data)->vshift;
643ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
65ab704866SPierre Jolivet }
66ab704866SPierre Jolivet 
6766976f2fSJacob Faibussowitsch static PetscErrorCode MatDuplicate_NormalHermitian(Mat A, MatDuplicateOption op, Mat *B)
68d71ae5a4SJacob Faibussowitsch {
6927d8b95cSPierre Jolivet   Mat_NormalHermitian *a;
70ab704866SPierre Jolivet   Mat                  C;
71ab704866SPierre Jolivet 
72ab704866SPierre Jolivet   PetscFunctionBegin;
7327d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(A, &a));
74ab704866SPierre Jolivet   PetscCall(MatDuplicate(a->A, op, &C));
75ab704866SPierre Jolivet   PetscCall(MatCreateNormalHermitian(C, B));
76ab704866SPierre Jolivet   PetscCall(MatDestroy(&C));
7727d8b95cSPierre Jolivet   if (op == MAT_COPY_VALUES) PetscCall(MatCopy(A, *B, SAME_NONZERO_PATTERN));
783ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
79ab704866SPierre Jolivet }
80ab704866SPierre Jolivet 
8166976f2fSJacob Faibussowitsch static PetscErrorCode MatCopy_NormalHermitian(Mat A, Mat B, MatStructure str)
82d71ae5a4SJacob Faibussowitsch {
8327d8b95cSPierre Jolivet   Mat_NormalHermitian *a, *b;
84ab704866SPierre Jolivet 
85ab704866SPierre Jolivet   PetscFunctionBegin;
8627d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(A, &a));
8727d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(B, &b));
88ab704866SPierre Jolivet   PetscCall(MatCopy(a->A, b->A, str));
893ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
90ab704866SPierre Jolivet }
91ab704866SPierre Jolivet 
9266976f2fSJacob Faibussowitsch static PetscErrorCode MatMult_NormalHermitian(Mat N, Vec x, Vec y)
93d71ae5a4SJacob Faibussowitsch {
9427d8b95cSPierre Jolivet   Mat_NormalHermitian *Na;
95ebda224cSfranklin5 
96ebda224cSfranklin5   PetscFunctionBegin;
9727d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(N, &Na));
9827d8b95cSPierre Jolivet   PetscCall(MatMult(Na->A, x, Na->w));
999566063dSJacob Faibussowitsch   PetscCall(MatMultHermitianTranspose(Na->A, Na->w, y));
1003ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
101ebda224cSfranklin5 }
102ebda224cSfranklin5 
10366976f2fSJacob Faibussowitsch static PetscErrorCode MatDestroy_NormalHermitian(Mat N)
104d71ae5a4SJacob Faibussowitsch {
10527d8b95cSPierre Jolivet   Mat_NormalHermitian *Na;
106ebda224cSfranklin5 
107ebda224cSfranklin5   PetscFunctionBegin;
10827d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(N, &Na));
1099566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&Na->A));
110a48507d3SJose E. Roman   PetscCall(MatDestroy(&Na->D));
1119566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&Na->w));
11227d8b95cSPierre Jolivet   PetscCall(PetscFree(Na));
11314e4dea2SJose E. Roman   PetscCall(PetscObjectComposeFunction((PetscObject)N, "MatNormalHermitianGetMat_C", NULL));
11427d8b95cSPierre Jolivet #if !defined(PETSC_USE_COMPLEX)
11527d8b95cSPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)N, "MatNormalGetMat_C", NULL));
11627d8b95cSPierre Jolivet #endif
117ab704866SPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)N, "MatConvert_normalh_seqaij_C", NULL));
118ab704866SPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)N, "MatConvert_normalh_mpiaij_C", NULL));
1192f0a5c5aSJose E. Roman #if defined(PETSC_HAVE_HYPRE)
1202f0a5c5aSJose E. Roman   PetscCall(PetscObjectComposeFunction((PetscObject)N, "MatConvert_normalh_hypre_C", NULL));
1212f0a5c5aSJose E. Roman #endif
12227d8b95cSPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)N, "MatShellSetContext_C", NULL));
1233ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
124ebda224cSfranklin5 }
125ebda224cSfranklin5 
126ebda224cSfranklin5 /*
127ebda224cSfranklin5       Slow, nonscalable version
128ebda224cSfranklin5 */
12966976f2fSJacob Faibussowitsch static PetscErrorCode MatGetDiagonal_NormalHermitian(Mat N, Vec v)
130d71ae5a4SJacob Faibussowitsch {
13127d8b95cSPierre Jolivet   Mat_NormalHermitian *Na;
13227d8b95cSPierre Jolivet   Mat                  A;
133ebda224cSfranklin5   PetscInt             i, j, rstart, rend, nnz;
134ebda224cSfranklin5   const PetscInt      *cols;
135ebda224cSfranklin5   PetscScalar         *diag, *work, *values;
136ebda224cSfranklin5   const PetscScalar   *mvalues;
137ebda224cSfranklin5 
138ebda224cSfranklin5   PetscFunctionBegin;
13927d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(N, &Na));
14027d8b95cSPierre Jolivet   A = Na->A;
1419566063dSJacob Faibussowitsch   PetscCall(PetscMalloc2(A->cmap->N, &diag, A->cmap->N, &work));
1429566063dSJacob Faibussowitsch   PetscCall(PetscArrayzero(work, A->cmap->N));
1439566063dSJacob Faibussowitsch   PetscCall(MatGetOwnershipRange(A, &rstart, &rend));
144ebda224cSfranklin5   for (i = rstart; i < rend; i++) {
1459566063dSJacob Faibussowitsch     PetscCall(MatGetRow(A, i, &nnz, &cols, &mvalues));
146ad540459SPierre Jolivet     for (j = 0; j < nnz; j++) work[cols[j]] += mvalues[j] * PetscConj(mvalues[j]);
1479566063dSJacob Faibussowitsch     PetscCall(MatRestoreRow(A, i, &nnz, &cols, &mvalues));
148ebda224cSfranklin5   }
1491c2dc1cbSBarry Smith   PetscCall(MPIU_Allreduce(work, diag, A->cmap->N, MPIU_SCALAR, MPIU_SUM, PetscObjectComm((PetscObject)N)));
150ebda224cSfranklin5   rstart = N->cmap->rstart;
151ebda224cSfranklin5   rend   = N->cmap->rend;
1529566063dSJacob Faibussowitsch   PetscCall(VecGetArray(v, &values));
1539566063dSJacob Faibussowitsch   PetscCall(PetscArraycpy(values, diag + rstart, rend - rstart));
1549566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(v, &values));
1559566063dSJacob Faibussowitsch   PetscCall(PetscFree2(diag, work));
1563ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
157ebda224cSfranklin5 }
158ebda224cSfranklin5 
15966976f2fSJacob Faibussowitsch static PetscErrorCode MatGetDiagonalBlock_NormalHermitian(Mat N, Mat *D)
160d71ae5a4SJacob Faibussowitsch {
16127d8b95cSPierre Jolivet   Mat_NormalHermitian *Na;
16227d8b95cSPierre Jolivet   Mat                  M, A;
163a48507d3SJose E. Roman 
164a48507d3SJose E. Roman   PetscFunctionBegin;
16527d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(N, &Na));
16627d8b95cSPierre Jolivet   A = Na->A;
167a48507d3SJose E. Roman   PetscCall(MatGetDiagonalBlock(A, &M));
168a48507d3SJose E. Roman   PetscCall(MatCreateNormalHermitian(M, &Na->D));
169a48507d3SJose E. Roman   *D = Na->D;
1703ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
171a48507d3SJose E. Roman }
172a48507d3SJose E. Roman 
17314e4dea2SJose E. Roman static PetscErrorCode MatNormalHermitianGetMat_NormalHermitian(Mat A, Mat *M)
174d71ae5a4SJacob Faibussowitsch {
17527d8b95cSPierre Jolivet   Mat_NormalHermitian *Aa;
17665f45395SPierre Jolivet 
17765f45395SPierre Jolivet   PetscFunctionBegin;
17827d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(A, &Aa));
17965f45395SPierre Jolivet   *M = Aa->A;
1803ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
18165f45395SPierre Jolivet }
18265f45395SPierre Jolivet 
18365f45395SPierre Jolivet /*@
18411a5261eSBarry Smith   MatNormalHermitianGetMat - Gets the `Mat` object stored inside a `MATNORMALHERMITIAN`
18565f45395SPierre Jolivet 
1862ef1f0ffSBarry Smith   Logically Collective
18765f45395SPierre Jolivet 
18865f45395SPierre Jolivet   Input Parameter:
18911a5261eSBarry Smith . A - the `MATNORMALHERMITIAN` matrix
19065f45395SPierre Jolivet 
19165f45395SPierre Jolivet   Output Parameter:
19227d8b95cSPierre Jolivet . M - the matrix object stored inside `A`
19365f45395SPierre Jolivet 
19465f45395SPierre Jolivet   Level: intermediate
19565f45395SPierre Jolivet 
1961cc06b55SBarry Smith .seealso: [](ch_matrices), `Mat`, `MATNORMALHERMITIAN`, `MatCreateNormalHermitian()`
19765f45395SPierre Jolivet @*/
198d71ae5a4SJacob Faibussowitsch PetscErrorCode MatNormalHermitianGetMat(Mat A, Mat *M)
199d71ae5a4SJacob Faibussowitsch {
20065f45395SPierre Jolivet   PetscFunctionBegin;
20165f45395SPierre Jolivet   PetscValidHeaderSpecific(A, MAT_CLASSID, 1);
20265f45395SPierre Jolivet   PetscValidType(A, 1);
2034f572ea9SToby Isaac   PetscAssertPointer(M, 2);
20414e4dea2SJose E. Roman   PetscUseMethod(A, "MatNormalHermitianGetMat_C", (Mat, Mat *), (A, M));
2053ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
20665f45395SPierre Jolivet }
20765f45395SPierre Jolivet 
20866976f2fSJacob Faibussowitsch static PetscErrorCode MatConvert_NormalHermitian_AIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat)
209d71ae5a4SJacob Faibussowitsch {
21027d8b95cSPierre Jolivet   Mat_NormalHermitian *Aa;
211ab704866SPierre Jolivet   Mat                  B, conjugate;
212ab704866SPierre Jolivet   PetscInt             m, n, M, N;
213ab704866SPierre Jolivet 
214ab704866SPierre Jolivet   PetscFunctionBegin;
21527d8b95cSPierre Jolivet   PetscCall(MatShellGetContext(A, &Aa));
216ab704866SPierre Jolivet   PetscCall(MatGetSize(A, &M, &N));
217ab704866SPierre Jolivet   PetscCall(MatGetLocalSize(A, &m, &n));
218ab704866SPierre Jolivet   if (reuse == MAT_REUSE_MATRIX) {
219ab704866SPierre Jolivet     B = *newmat;
220ab704866SPierre Jolivet     PetscCall(MatProductReplaceMats(Aa->A, Aa->A, NULL, B));
221ab704866SPierre Jolivet   } else {
222ab704866SPierre Jolivet     PetscCall(MatProductCreate(Aa->A, Aa->A, NULL, &B));
223ab704866SPierre Jolivet     PetscCall(MatProductSetType(B, MATPRODUCT_AtB));
224ab704866SPierre Jolivet     PetscCall(MatProductSetFromOptions(B));
225ab704866SPierre Jolivet     PetscCall(MatProductSymbolic(B));
226ab704866SPierre Jolivet     PetscCall(MatSetOption(B, !PetscDefined(USE_COMPLEX) ? MAT_SYMMETRIC : MAT_HERMITIAN, PETSC_TRUE));
227ab704866SPierre Jolivet   }
228ab704866SPierre Jolivet   if (PetscDefined(USE_COMPLEX)) {
229ab704866SPierre Jolivet     PetscCall(MatDuplicate(Aa->A, MAT_COPY_VALUES, &conjugate));
230ab704866SPierre Jolivet     PetscCall(MatConjugate(conjugate));
231ab704866SPierre Jolivet     PetscCall(MatProductReplaceMats(conjugate, Aa->A, NULL, B));
232ab704866SPierre Jolivet   }
233ab704866SPierre Jolivet   PetscCall(MatProductNumeric(B));
234ab704866SPierre Jolivet   if (PetscDefined(USE_COMPLEX)) PetscCall(MatDestroy(&conjugate));
235ab704866SPierre Jolivet   if (reuse == MAT_INPLACE_MATRIX) {
236ab704866SPierre Jolivet     PetscCall(MatHeaderReplace(A, &B));
237ab704866SPierre Jolivet   } else if (reuse == MAT_INITIAL_MATRIX) *newmat = B;
238ab704866SPierre Jolivet   PetscCall(MatConvert(*newmat, MATAIJ, MAT_INPLACE_MATRIX, newmat));
2393ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
240ab704866SPierre Jolivet }
241ab704866SPierre Jolivet 
2422f0a5c5aSJose E. Roman #if defined(PETSC_HAVE_HYPRE)
24366976f2fSJacob Faibussowitsch static PetscErrorCode MatConvert_NormalHermitian_HYPRE(Mat A, MatType type, MatReuse reuse, Mat *B)
2442f0a5c5aSJose E. Roman {
2452f0a5c5aSJose E. Roman   PetscFunctionBegin;
2462f0a5c5aSJose E. Roman   if (reuse == MAT_INITIAL_MATRIX) {
2472f0a5c5aSJose E. Roman     PetscCall(MatConvert(A, MATAIJ, reuse, B));
2482f0a5c5aSJose E. Roman     PetscCall(MatConvert(*B, type, MAT_INPLACE_MATRIX, B));
2492f0a5c5aSJose E. Roman   } else PetscCall(MatConvert_Basic(A, type, reuse, B)); /* fall back to basic convert */
2503ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
2512f0a5c5aSJose E. Roman }
2522f0a5c5aSJose E. Roman #endif
2532f0a5c5aSJose E. Roman 
2542ef1f0ffSBarry Smith /*MC
2552ef1f0ffSBarry Smith   MATNORMALHERMITIAN - a matrix that behaves like (A*)'*A for `MatMult()` while only containing A
2562ef1f0ffSBarry Smith 
2572ef1f0ffSBarry Smith   Level: intermediate
2582ef1f0ffSBarry Smith 
25927d8b95cSPierre Jolivet   Developer Notes:
26027d8b95cSPierre Jolivet   This is implemented on top of `MATSHELL` to get support for scaling and shifting without requiring duplicate code
26127d8b95cSPierre Jolivet 
26227d8b95cSPierre Jolivet   Users can not call `MatShellSetOperation()` operations on this class, there is some error checking for that incorrect usage
26327d8b95cSPierre Jolivet 
2641cc06b55SBarry Smith .seealso: [](ch_matrices), `Mat`, `MatCreateNormalHermitian()`, `MatMult()`, `MatNormalHermitianGetMat()`, `MATNORMAL`, `MatCreateNormal()`
2652ef1f0ffSBarry Smith M*/
2662ef1f0ffSBarry Smith 
267ebda224cSfranklin5 /*@
26811a5261eSBarry Smith   MatCreateNormalHermitian - Creates a new matrix object `MATNORMALHERMITIAN` that behaves like (A*)'*A.
269ebda224cSfranklin5 
270c3339decSBarry Smith   Collective
271ebda224cSfranklin5 
272ebda224cSfranklin5   Input Parameter:
273ebda224cSfranklin5 . A - the (possibly rectangular complex) matrix
274ebda224cSfranklin5 
275ebda224cSfranklin5   Output Parameter:
276ebda224cSfranklin5 . N - the matrix that represents (A*)'*A
277ebda224cSfranklin5 
278ebda224cSfranklin5   Level: intermediate
279ebda224cSfranklin5 
28011a5261eSBarry Smith   Note:
28195452b02SPatrick Sanan   The product (A*)'*A is NOT actually formed! Rather the new matrix
28211a5261eSBarry Smith   object performs the matrix-vector product, `MatMult()`, by first multiplying by
283ebda224cSfranklin5   A and then (A*)'
28411a5261eSBarry Smith 
2851cc06b55SBarry Smith .seealso: [](ch_matrices), `Mat`, `MATNORMAL`, `MATNORMALHERMITIAN`, `MatNormalHermitianGetMat()`
286ebda224cSfranklin5 @*/
287d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCreateNormalHermitian(Mat A, Mat *N)
288d71ae5a4SJacob Faibussowitsch {
28913b343c1SBarry Smith   Mat_NormalHermitian *Na;
2905cb049f5SJose E. Roman   VecType              vtype;
291ebda224cSfranklin5 
292ebda224cSfranklin5   PetscFunctionBegin;
2939566063dSJacob Faibussowitsch   PetscCall(MatCreate(PetscObjectComm((PetscObject)A), N));
2949566063dSJacob Faibussowitsch   PetscCall(PetscLayoutReference(A->cmap, &(*N)->rmap));
2959566063dSJacob Faibussowitsch   PetscCall(PetscLayoutReference(A->cmap, &(*N)->cmap));
29627d8b95cSPierre Jolivet   PetscCall(MatSetType(*N, MATSHELL));
2974dfa11a4SJacob Faibussowitsch   PetscCall(PetscNew(&Na));
29827d8b95cSPierre Jolivet   PetscCall(MatShellSetContext(*N, Na));
2999566063dSJacob Faibussowitsch   PetscCall(PetscObjectReference((PetscObject)A));
300ebda224cSfranklin5   Na->A = A;
3019566063dSJacob Faibussowitsch   PetscCall(MatCreateVecs(A, NULL, &Na->w));
302ebda224cSfranklin5 
30327d8b95cSPierre Jolivet   PetscCall(MatSetBlockSizes(*N, PetscAbs(A->cmap->bs), PetscAbs(A->rmap->bs)));
30427d8b95cSPierre Jolivet   PetscCall(MatShellSetOperation(*N, MATOP_DESTROY, (void (*)(void))MatDestroy_NormalHermitian));
30527d8b95cSPierre Jolivet   PetscCall(MatShellSetOperation(*N, MATOP_MULT, (void (*)(void))MatMult_NormalHermitian));
30627d8b95cSPierre Jolivet   PetscCall(MatShellSetOperation(*N, MATOP_MULT_HERMITIAN_TRANSPOSE, (void (*)(void))MatMult_NormalHermitian));
30727d8b95cSPierre Jolivet #if !defined(PETSC_USE_COMPLEX)
30827d8b95cSPierre Jolivet   PetscCall(MatShellSetOperation(*N, MATOP_MULT_TRANSPOSE, (void (*)(void))MatMult_NormalHermitian));
30927d8b95cSPierre Jolivet #endif
31027d8b95cSPierre Jolivet   PetscCall(MatShellSetOperation(*N, MATOP_DUPLICATE, (void (*)(void))MatDuplicate_NormalHermitian));
31127d8b95cSPierre Jolivet   PetscCall(MatShellSetOperation(*N, MATOP_GET_DIAGONAL, (void (*)(void))MatGetDiagonal_NormalHermitian));
312*a29b93afSAudic XU   PetscCall(MatShellSetOperation(*N, MATOP_GET_DIAGONAL_BLOCK, (void (*)(void))MatGetDiagonalBlock_NormalHermitian));
31327d8b95cSPierre Jolivet   PetscCall(MatShellSetOperation(*N, MATOP_COPY, (void (*)(void))MatCopy_NormalHermitian));
314ab704866SPierre Jolivet   (*N)->ops->createsubmatrices = MatCreateSubMatrices_NormalHermitian;
315ab704866SPierre Jolivet   (*N)->ops->permute           = MatPermute_NormalHermitian;
31612ab1b64SPierre Jolivet 
31727d8b95cSPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)*N, "MatNormalHermitianGetMat_C", MatNormalHermitianGetMat_NormalHermitian));
31827d8b95cSPierre Jolivet #if !defined(PETSC_USE_COMPLEX)
31927d8b95cSPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)*N, "MatNormalGetMat_C", MatNormalHermitianGetMat_NormalHermitian));
3202f0a5c5aSJose E. Roman #endif
32127d8b95cSPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)*N, "MatConvert_normalh_seqaij_C", MatConvert_NormalHermitian_AIJ));
32227d8b95cSPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)*N, "MatConvert_normalh_mpiaij_C", MatConvert_NormalHermitian_AIJ));
32327d8b95cSPierre Jolivet #if defined(PETSC_HAVE_HYPRE)
32427d8b95cSPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)*N, "MatConvert_normalh_hypre_C", MatConvert_NormalHermitian_HYPRE));
32527d8b95cSPierre Jolivet #endif
32627d8b95cSPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)*N, "MatShellSetContext_C", MatShellSetContext_Immutable));
32727d8b95cSPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)*N, "MatShellSetContextDestroy_C", MatShellSetContextDestroy_Immutable));
32827d8b95cSPierre Jolivet   PetscCall(PetscObjectComposeFunction((PetscObject)*N, "MatShellSetManageScalingShifts_C", MatShellSetManageScalingShifts_Immutable));
32927d8b95cSPierre Jolivet   PetscCall(MatSetOption(*N, !PetscDefined(USE_COMPLEX) ? MAT_SYMMETRIC : MAT_HERMITIAN, PETSC_TRUE));
3309566063dSJacob Faibussowitsch   PetscCall(MatGetVecType(A, &vtype));
3319566063dSJacob Faibussowitsch   PetscCall(MatSetVecType(*N, vtype));
3325cb049f5SJose E. Roman #if defined(PETSC_HAVE_DEVICE)
3339566063dSJacob Faibussowitsch   PetscCall(MatBindToCPU(*N, A->boundtocpu));
3345cb049f5SJose E. Roman #endif
33527d8b95cSPierre Jolivet   PetscCall(MatSetUp(*N));
33627d8b95cSPierre Jolivet   PetscCall(PetscObjectChangeTypeName((PetscObject)*N, MATNORMALHERMITIAN));
3373ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
338ebda224cSfranklin5 }
339