xref: /petsc/src/mat/tests/ex250.c (revision 732aec7a18f2199fb53bb9a2f3aef439a834ce31)
1076ba34aSJunchao Zhang static char help[] = "Test Mat products \n\n";
2076ba34aSJunchao Zhang 
3076ba34aSJunchao Zhang #include <petscmat.h>
main(int argc,char ** args)4d71ae5a4SJacob Faibussowitsch int main(int argc, char **args)
5d71ae5a4SJacob Faibussowitsch {
6076ba34aSJunchao Zhang   Mat            A = NULL, B = NULL, C = NULL, D = NULL, E = NULL;
7076ba34aSJunchao Zhang   PetscInt       k;
8076ba34aSJunchao Zhang   const PetscInt M = 18, N = 18;
9076ba34aSJunchao Zhang   PetscMPIInt    rank;
10076ba34aSJunchao Zhang 
11076ba34aSJunchao Zhang   /* A, B are 18 x 18 nonsymmetric matrices and have the same sparsity pattern but different values.
12076ba34aSJunchao Zhang      Big enough to have complex communication patterns but still small enough for debugging.
13076ba34aSJunchao Zhang   */
14076ba34aSJunchao 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};
15076ba34aSJunchao 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};
16076ba34aSJunchao 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};
17076ba34aSJunchao 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};
18076ba34aSJunchao Zhang 
19dd39110bSPierre Jolivet   PetscInt Annz = PETSC_STATIC_ARRAY_LENGTH(Ai);
20dd39110bSPierre Jolivet   PetscInt Bnnz = PETSC_STATIC_ARRAY_LENGTH(Bi);
21076ba34aSJunchao Zhang 
22327415f7SBarry Smith   PetscFunctionBeginUser;
23*c8025a54SPierre Jolivet   PetscCall(PetscInitialize(&argc, &args, NULL, help));
249566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank));
25076ba34aSJunchao Zhang 
269566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD, &A));
279566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A, PETSC_DECIDE, PETSC_DECIDE, M, N));
289566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(A));
299566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(A, 2, NULL));
309566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(A, 2, NULL, 2, NULL));
319566063dSJacob Faibussowitsch   PetscCall(MatSetOption(A, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_FALSE));
32076ba34aSJunchao Zhang 
33076ba34aSJunchao Zhang   if (rank == 0) {
349566063dSJacob Faibussowitsch     for (k = 0; k < Annz; k++) PetscCall(MatSetValue(A, Ai[k], Aj[k], Ai[k] + Aj[k] + 1.0, INSERT_VALUES));
35076ba34aSJunchao Zhang   }
36076ba34aSJunchao Zhang 
379566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
389566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
39076ba34aSJunchao Zhang 
409566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD, &B));
419566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(B, PETSC_DECIDE, PETSC_DECIDE, M, N));
429566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(B));
439566063dSJacob Faibussowitsch   PetscCall(MatSeqAIJSetPreallocation(B, 2, NULL));
449566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(B, 2, NULL, 2, NULL));
459566063dSJacob Faibussowitsch   PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_FALSE));
46076ba34aSJunchao Zhang 
47076ba34aSJunchao Zhang   if (rank == 0) {
489566063dSJacob Faibussowitsch     for (k = 0; k < Bnnz; k++) PetscCall(MatSetValue(B, Bi[k], Bj[k], Bi[k] + Bj[k] + 2.0, INSERT_VALUES));
49076ba34aSJunchao Zhang   }
509566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
519566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
52076ba34aSJunchao Zhang 
53fb842aefSJose E. Roman   PetscCall(MatMatMult(A, B, MAT_INITIAL_MATRIX, PETSC_DETERMINE, &C));
549566063dSJacob Faibussowitsch   PetscCall(MatView(C, PETSC_VIEWER_STDOUT_WORLD));
55076ba34aSJunchao Zhang 
56076ba34aSJunchao Zhang   /* B, A have the same nonzero pattern, so it is legitimate to do so */
57fb842aefSJose E. Roman   PetscCall(MatMatMult(B, A, MAT_REUSE_MATRIX, PETSC_DETERMINE, &C));
589566063dSJacob Faibussowitsch   PetscCall(MatView(C, PETSC_VIEWER_STDOUT_WORLD));
59076ba34aSJunchao Zhang 
60fb842aefSJose E. Roman   PetscCall(MatTransposeMatMult(A, B, MAT_INITIAL_MATRIX, PETSC_DETERMINE, &D));
619566063dSJacob Faibussowitsch   PetscCall(MatView(D, PETSC_VIEWER_STDOUT_WORLD));
62076ba34aSJunchao Zhang 
63fb842aefSJose E. Roman   PetscCall(MatPtAP(A, B, MAT_INITIAL_MATRIX, PETSC_DETERMINE, &E));
649566063dSJacob Faibussowitsch   PetscCall(MatView(E, PETSC_VIEWER_STDOUT_WORLD));
65076ba34aSJunchao Zhang 
669566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
679566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B));
689566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&C));
699566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&D));
709566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&E));
71076ba34aSJunchao Zhang 
729566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
73b122ec5aSJacob Faibussowitsch   return 0;
74076ba34aSJunchao Zhang }
75076ba34aSJunchao Zhang 
76076ba34aSJunchao Zhang /*TEST
77076ba34aSJunchao Zhang   testset:
78076ba34aSJunchao Zhang     filter: grep -ve type -ve "Mat Object"
79076ba34aSJunchao Zhang     output_file: output/ex250_1.out
80076ba34aSJunchao Zhang 
81076ba34aSJunchao Zhang     test:
82076ba34aSJunchao Zhang       suffix: 1
83076ba34aSJunchao Zhang       nsize: {{1 3}}
84076ba34aSJunchao Zhang       args: -mat_type aij
85076ba34aSJunchao Zhang 
86076ba34aSJunchao Zhang     test:
87076ba34aSJunchao Zhang       suffix: 2
88076ba34aSJunchao Zhang       nsize: {{3 4}}
89076ba34aSJunchao Zhang       args: -mat_type aij -matmatmult_via backend -matptap_via backend -mattransposematmult_via backend
90076ba34aSJunchao Zhang 
91076ba34aSJunchao Zhang     test:
92076ba34aSJunchao Zhang       suffix: cuda
93076ba34aSJunchao Zhang       requires: cuda
94076ba34aSJunchao Zhang       nsize: {{1 3 4}}
95076ba34aSJunchao Zhang       args: -mat_type aijcusparse
96076ba34aSJunchao Zhang 
97076ba34aSJunchao Zhang     test:
98076ba34aSJunchao Zhang       suffix: kok
99dcfd994dSJunchao Zhang       requires: kokkos_kernels
100076ba34aSJunchao Zhang       nsize: {{1 3 4}}
101076ba34aSJunchao Zhang       args: -mat_type aijkokkos
102076ba34aSJunchao Zhang 
103076ba34aSJunchao Zhang TEST*/
104