xref: /petsc/src/mat/tests/ex250.c (revision dcfd994d081f5f6b19844c8e8bc67e93edfc619a)
1076ba34aSJunchao Zhang static char help[] = "Test Mat products \n\n";
2076ba34aSJunchao Zhang 
3076ba34aSJunchao Zhang #include <petscmat.h>
49371c9d4SSatish Balay int main(int argc, char **args) {
5076ba34aSJunchao Zhang   Mat            A = NULL, B = NULL, C = NULL, D = NULL, E = NULL;
6076ba34aSJunchao Zhang   PetscInt       k;
7076ba34aSJunchao Zhang   const PetscInt M = 18, N = 18;
8076ba34aSJunchao Zhang   PetscMPIInt    rank;
9076ba34aSJunchao Zhang 
10076ba34aSJunchao Zhang   /* A, B are 18 x 18 nonsymmetric matrices and have the same sparsity pattern but different values.
11076ba34aSJunchao Zhang      Big enough to have complex communication patterns but still small enough for debugging.
12076ba34aSJunchao Zhang   */
13076ba34aSJunchao Zhang   PetscInt Ai[] = {0, 0, 1, 1, 2, 2, 3, 3, 4, 4, 5, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9, 10, 10, 11, 11, 12, 12, 13, 13, 13, 14, 14, 15, 15, 16, 16, 17, 17};
14076ba34aSJunchao Zhang   PetscInt Aj[] = {0, 1, 2, 7, 3, 8, 4, 9, 5, 8, 2, 6, 11, 0, 7, 1, 6, 2, 4, 10, 16, 11, 15, 12, 17, 12, 13, 14, 15, 17, 11, 13, 3, 16, 9, 15, 11, 13};
15076ba34aSJunchao Zhang   PetscInt Bi[] = {0, 0, 1, 1, 2, 2, 3, 3, 4, 4, 5, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9, 10, 10, 11, 11, 12, 12, 13, 13, 13, 14, 14, 15, 15, 16, 16, 17, 17};
16076ba34aSJunchao Zhang   PetscInt Bj[] = {0, 1, 2, 7, 3, 8, 4, 9, 5, 8, 2, 6, 11, 0, 7, 1, 6, 2, 4, 10, 16, 11, 15, 12, 17, 12, 13, 14, 15, 17, 11, 13, 3, 16, 9, 15, 11, 13};
17076ba34aSJunchao Zhang 
18dd39110bSPierre Jolivet   PetscInt Annz = PETSC_STATIC_ARRAY_LENGTH(Ai);
19dd39110bSPierre Jolivet   PetscInt Bnnz = PETSC_STATIC_ARRAY_LENGTH(Bi);
20076ba34aSJunchao Zhang 
21327415f7SBarry Smith   PetscFunctionBeginUser;
229566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc, &args, (char *)0, help));
239566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank));
24076ba34aSJunchao Zhang 
259566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD, &A));
269566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A, PETSC_DECIDE, PETSC_DECIDE, M, N));
279566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(A));
289566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(A, 2, NULL));
299566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(A, 2, NULL, 2, NULL));
309566063dSJacob Faibussowitsch   PetscCall(MatSetOption(A, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_FALSE));
31076ba34aSJunchao Zhang 
32076ba34aSJunchao Zhang   if (rank == 0) {
339566063dSJacob Faibussowitsch     for (k = 0; k < Annz; k++) PetscCall(MatSetValue(A, Ai[k], Aj[k], Ai[k] + Aj[k] + 1.0, INSERT_VALUES));
34076ba34aSJunchao Zhang   }
35076ba34aSJunchao Zhang 
369566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
379566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
38076ba34aSJunchao Zhang 
399566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD, &B));
409566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(B, PETSC_DECIDE, PETSC_DECIDE, M, N));
419566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(B));
429566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(B, 2, NULL));
439566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(B, 2, NULL, 2, NULL));
449566063dSJacob Faibussowitsch   PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_FALSE));
45076ba34aSJunchao Zhang 
46076ba34aSJunchao Zhang   if (rank == 0) {
479566063dSJacob Faibussowitsch     for (k = 0; k < Bnnz; k++) PetscCall(MatSetValue(B, Bi[k], Bj[k], Bi[k] + Bj[k] + 2.0, INSERT_VALUES));
48076ba34aSJunchao Zhang   }
499566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
509566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
51076ba34aSJunchao Zhang 
529566063dSJacob Faibussowitsch   PetscCall(MatMatMult(A, B, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &C));
539566063dSJacob Faibussowitsch   PetscCall(MatView(C, PETSC_VIEWER_STDOUT_WORLD));
54076ba34aSJunchao Zhang 
55076ba34aSJunchao Zhang   /* B, A have the same nonzero pattern, so it is legitimate to do so */
569566063dSJacob Faibussowitsch   PetscCall(MatMatMult(B, A, MAT_REUSE_MATRIX, PETSC_DEFAULT, &C));
579566063dSJacob Faibussowitsch   PetscCall(MatView(C, PETSC_VIEWER_STDOUT_WORLD));
58076ba34aSJunchao Zhang 
599566063dSJacob Faibussowitsch   PetscCall(MatTransposeMatMult(A, B, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &D));
609566063dSJacob Faibussowitsch   PetscCall(MatView(D, PETSC_VIEWER_STDOUT_WORLD));
61076ba34aSJunchao Zhang 
629566063dSJacob Faibussowitsch   PetscCall(MatPtAP(A, B, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &E));
639566063dSJacob Faibussowitsch   PetscCall(MatView(E, PETSC_VIEWER_STDOUT_WORLD));
64076ba34aSJunchao Zhang 
659566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
669566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B));
679566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&C));
689566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&D));
699566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&E));
70076ba34aSJunchao Zhang 
719566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
72b122ec5aSJacob Faibussowitsch   return 0;
73076ba34aSJunchao Zhang }
74076ba34aSJunchao Zhang 
75076ba34aSJunchao Zhang /*TEST
76076ba34aSJunchao Zhang   testset:
77076ba34aSJunchao Zhang     filter: grep -ve type -ve "Mat Object"
78076ba34aSJunchao Zhang     output_file: output/ex250_1.out
79076ba34aSJunchao Zhang 
80076ba34aSJunchao Zhang     test:
81076ba34aSJunchao Zhang       suffix: 1
82076ba34aSJunchao Zhang       nsize: {{1 3}}
83076ba34aSJunchao Zhang       args: -mat_type aij
84076ba34aSJunchao Zhang 
85076ba34aSJunchao Zhang     test:
86076ba34aSJunchao Zhang       suffix: 2
87076ba34aSJunchao Zhang       nsize: {{3 4}}
88076ba34aSJunchao Zhang       args: -mat_type aij -matmatmult_via backend -matptap_via backend -mattransposematmult_via backend
89076ba34aSJunchao Zhang 
90076ba34aSJunchao Zhang     test:
91076ba34aSJunchao Zhang       suffix: cuda
92076ba34aSJunchao Zhang       requires: cuda
93076ba34aSJunchao Zhang       nsize: {{1 3 4}}
94076ba34aSJunchao Zhang       args: -mat_type aijcusparse
95076ba34aSJunchao Zhang 
96076ba34aSJunchao Zhang     test:
97076ba34aSJunchao Zhang       suffix: kok
98*dcfd994dSJunchao Zhang       requires: kokkos_kernels
99076ba34aSJunchao Zhang       nsize: {{1 3 4}}
100076ba34aSJunchao Zhang       args: -mat_type aijkokkos
101076ba34aSJunchao Zhang 
102076ba34aSJunchao Zhang TEST*/
103