xref: /petsc/src/mat/tests/ex23.c (revision 5042aa922c0f539047976c067f225499adfdbd75)
1d0dbe9f7SStefano Zampini static char help[] = "Tests the use of interface functions for MATIS matrices and conversion routines.\n";
2c4762a1bSJed Brown 
3c4762a1bSJed Brown #include <petscmat.h>
4c4762a1bSJed Brown 
5c4762a1bSJed Brown PetscErrorCode TestMatZeroRows(Mat, Mat, PetscBool, IS, PetscScalar);
6c4762a1bSJed Brown PetscErrorCode CheckMat(Mat, Mat, PetscBool, const char *);
7c4762a1bSJed Brown 
8d71ae5a4SJacob Faibussowitsch int main(int argc, char **args)
9d71ae5a4SJacob Faibussowitsch {
10c4762a1bSJed Brown   Mat                    A, B, A2, B2, T;
11c4762a1bSJed Brown   Mat                    Aee, Aeo, Aoe, Aoo;
12d0dbe9f7SStefano Zampini   Mat                   *mats, *Asub, *Bsub;
13c4762a1bSJed Brown   Vec                    x, y;
14c4762a1bSJed Brown   MatInfo                info;
15c4762a1bSJed Brown   ISLocalToGlobalMapping cmap, rmap;
16c4762a1bSJed Brown   IS                     is, is2, reven, rodd, ceven, codd;
17c4762a1bSJed Brown   IS                    *rows, *cols;
18d0dbe9f7SStefano Zampini   IS                     irow[2], icol[2];
19d0dbe9f7SStefano Zampini   PetscLayout            rlayout, clayout;
20d0dbe9f7SStefano Zampini   const PetscInt        *rrange, *crange;
21c4762a1bSJed Brown   MatType                lmtype;
22c4762a1bSJed Brown   PetscScalar            diag = 2.;
23e432b41dSStefano Zampini   PetscInt               n, m, i, lm, ln;
24c4762a1bSJed Brown   PetscInt               rst, ren, cst, cen, nr, nc;
25d0dbe9f7SStefano Zampini   PetscMPIInt            rank, size, lrank, rrank;
26c4762a1bSJed Brown   PetscBool              testT, squaretest, isaij;
274f58015eSStefano Zampini   PetscBool              permute = PETSC_FALSE, negmap = PETSC_FALSE, repmap = PETSC_FALSE, allow_repeated = PETSC_TRUE;
28*5042aa92SStefano Zampini   PetscBool              diffmap = PETSC_TRUE, symmetric = PETSC_FALSE, issymmetric, test_matlab = PETSC_FALSE;
29c4762a1bSJed Brown 
30327415f7SBarry Smith   PetscFunctionBeginUser;
319566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc, &args, (char *)0, help));
329566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank));
339566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size));
34c4762a1bSJed Brown   m = n = 2 * size;
359566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-symmetric", &symmetric, NULL));
369566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-m", &m, NULL));
379566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-n", &n, NULL));
389566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-negmap", &negmap, NULL));
399566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-repmap", &repmap, NULL));
409566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-permmap", &permute, NULL));
419566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-diffmap", &diffmap, NULL));
424f58015eSStefano Zampini   PetscCall(PetscOptionsGetBool(NULL, NULL, "-allow_repeated", &allow_repeated, NULL));
43*5042aa92SStefano Zampini   PetscCall(PetscOptionsGetBool(NULL, NULL, "-test_matlab", &test_matlab, NULL));
44e00437b9SBarry Smith   PetscCheck(size == 1 || m >= 4, PETSC_COMM_WORLD, PETSC_ERR_ARG_WRONG, "Number of rows should be larger or equal 4 for parallel runs");
45e00437b9SBarry Smith   PetscCheck(size != 1 || m >= 2, PETSC_COMM_WORLD, PETSC_ERR_ARG_WRONG, "Number of rows should be larger or equal 2 for uniprocessor runs");
46e00437b9SBarry Smith   PetscCheck(n >= 2, PETSC_COMM_WORLD, PETSC_ERR_ARG_WRONG, "Number of cols should be larger or equal 2");
47c4762a1bSJed Brown 
48c4762a1bSJed Brown   /* create a MATIS matrix */
499566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD, &A));
509566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A, PETSC_DECIDE, PETSC_DECIDE, m, n));
519566063dSJacob Faibussowitsch   PetscCall(MatSetType(A, MATIS));
529566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(A));
53e432b41dSStefano Zampini   if (!negmap && !repmap) {
54fc989267SStefano Zampini     /* This is not the proper setting for MATIS for finite elements, it is just used to test the routines
55fc989267SStefano Zampini        Here we use a one-to-one correspondence between local row/column spaces and global row/column spaces
56fc989267SStefano Zampini        Equivalent to passing NULL for the mapping */
579566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, n, 0, 1, &is));
58e432b41dSStefano Zampini   } else if (negmap && !repmap) { /* non repeated but with negative indices */
599566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, n + 2, -2, 1, &is));
60e432b41dSStefano Zampini   } else if (!negmap && repmap) { /* non negative but repeated indices */
61e432b41dSStefano Zampini     IS isl[2];
62e432b41dSStefano Zampini 
639566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, n, 0, 1, &isl[0]));
649566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, n, n - 1, -1, &isl[1]));
659566063dSJacob Faibussowitsch     PetscCall(ISConcatenate(PETSC_COMM_WORLD, 2, isl, &is));
669566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&isl[0]));
679566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&isl[1]));
68e432b41dSStefano Zampini   } else { /* negative and repeated indices */
69e432b41dSStefano Zampini     IS isl[2];
70e432b41dSStefano Zampini 
719566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, n + 1, -1, 1, &isl[0]));
729566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, n + 1, n - 1, -1, &isl[1]));
739566063dSJacob Faibussowitsch     PetscCall(ISConcatenate(PETSC_COMM_WORLD, 2, isl, &is));
749566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&isl[0]));
759566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&isl[1]));
76e432b41dSStefano Zampini   }
779566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingCreateIS(is, &cmap));
789566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is));
79c4762a1bSJed Brown 
80e432b41dSStefano Zampini   if (m != n || diffmap) {
819566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, m, permute ? m - 1 : 0, permute ? -1 : 1, &is));
829566063dSJacob Faibussowitsch     PetscCall(ISLocalToGlobalMappingCreateIS(is, &rmap));
839566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&is));
84c4762a1bSJed Brown   } else {
859566063dSJacob Faibussowitsch     PetscCall(PetscObjectReference((PetscObject)cmap));
86c4762a1bSJed Brown     rmap = cmap;
87c4762a1bSJed Brown   }
88e432b41dSStefano Zampini 
894f58015eSStefano Zampini   PetscCall(MatISSetAllowRepeated(A, allow_repeated));
909566063dSJacob Faibussowitsch   PetscCall(MatSetLocalToGlobalMapping(A, rmap, cmap));
919566063dSJacob Faibussowitsch   PetscCall(MatISStoreL2L(A, PETSC_FALSE));
929566063dSJacob Faibussowitsch   PetscCall(MatISSetPreallocation(A, 3, NULL, 3, NULL));
939566063dSJacob Faibussowitsch   PetscCall(MatSetOption(A, MAT_NEW_NONZERO_ALLOCATION_ERR, (PetscBool) !(repmap || negmap))); /* I do not want to precompute the pattern */
949566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingGetSize(rmap, &lm));
959566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingGetSize(cmap, &ln));
96e432b41dSStefano Zampini   for (i = 0; i < lm; i++) {
97c4762a1bSJed Brown     PetscScalar v[3];
98c4762a1bSJed Brown     PetscInt    cols[3];
99c4762a1bSJed Brown 
100c4762a1bSJed Brown     cols[0] = (i - 1 + n) % n;
101c4762a1bSJed Brown     cols[1] = i % n;
102c4762a1bSJed Brown     cols[2] = (i + 1) % n;
103c4762a1bSJed Brown     v[0]    = -1. * (symmetric ? PetscMin(i + 1, cols[0] + 1) : i + 1);
104c4762a1bSJed Brown     v[1]    = 2. * (symmetric ? PetscMin(i + 1, cols[1] + 1) : i + 1);
105c4762a1bSJed Brown     v[2]    = -1. * (symmetric ? PetscMin(i + 1, cols[2] + 1) : i + 1);
1069566063dSJacob Faibussowitsch     PetscCall(ISGlobalToLocalMappingApply(cmap, IS_GTOLM_MASK, 3, cols, NULL, cols));
1079566063dSJacob Faibussowitsch     PetscCall(MatSetValuesLocal(A, 1, &i, 3, cols, v, ADD_VALUES));
108c4762a1bSJed Brown   }
1099566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
1109566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
111c4762a1bSJed Brown 
112e432b41dSStefano Zampini   /* activate tests for square matrices with same maps only */
1139566063dSJacob Faibussowitsch   PetscCall(MatHasCongruentLayouts(A, &squaretest));
114e432b41dSStefano Zampini   if (squaretest && rmap != cmap) {
115e432b41dSStefano Zampini     PetscInt nr, nc;
116e432b41dSStefano Zampini 
1179566063dSJacob Faibussowitsch     PetscCall(ISLocalToGlobalMappingGetSize(rmap, &nr));
1189566063dSJacob Faibussowitsch     PetscCall(ISLocalToGlobalMappingGetSize(cmap, &nc));
119e432b41dSStefano Zampini     if (nr != nc) squaretest = PETSC_FALSE;
120e432b41dSStefano Zampini     else {
121e432b41dSStefano Zampini       const PetscInt *idxs1, *idxs2;
122e432b41dSStefano Zampini 
1239566063dSJacob Faibussowitsch       PetscCall(ISLocalToGlobalMappingGetIndices(rmap, &idxs1));
1249566063dSJacob Faibussowitsch       PetscCall(ISLocalToGlobalMappingGetIndices(cmap, &idxs2));
1259566063dSJacob Faibussowitsch       PetscCall(PetscArraycmp(idxs1, idxs2, nr, &squaretest));
1269566063dSJacob Faibussowitsch       PetscCall(ISLocalToGlobalMappingRestoreIndices(rmap, &idxs1));
1279566063dSJacob Faibussowitsch       PetscCall(ISLocalToGlobalMappingRestoreIndices(cmap, &idxs2));
128e432b41dSStefano Zampini     }
1291c2dc1cbSBarry Smith     PetscCall(MPIU_Allreduce(MPI_IN_PLACE, &squaretest, 1, MPIU_BOOL, MPI_LAND, PetscObjectComm((PetscObject)A)));
130e432b41dSStefano Zampini   }
1314f58015eSStefano Zampini   if (negmap && repmap) squaretest = PETSC_FALSE;
132e432b41dSStefano Zampini 
133e432b41dSStefano Zampini   /* test MatISGetLocalMat */
1349566063dSJacob Faibussowitsch   PetscCall(MatISGetLocalMat(A, &B));
1359566063dSJacob Faibussowitsch   PetscCall(MatGetType(B, &lmtype));
136c4762a1bSJed Brown 
137c4762a1bSJed Brown   /* test MatGetInfo */
1389566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatGetInfo\n"));
1399566063dSJacob Faibussowitsch   PetscCall(MatGetInfo(A, MAT_LOCAL, &info));
1409566063dSJacob Faibussowitsch   PetscCall(PetscViewerASCIIPushSynchronized(PETSC_VIEWER_STDOUT_WORLD));
1419371c9d4SSatish Balay   PetscCall(PetscViewerASCIISynchronizedPrintf(PETSC_VIEWER_STDOUT_WORLD, "Process  %2d: %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", PetscGlobalRank, (PetscInt)info.nz_used, (PetscInt)info.nz_allocated,
1429371c9d4SSatish Balay                                                (PetscInt)info.nz_unneeded, (PetscInt)info.assemblies, (PetscInt)info.mallocs));
1439566063dSJacob Faibussowitsch   PetscCall(PetscViewerFlush(PETSC_VIEWER_STDOUT_WORLD));
1449566063dSJacob Faibussowitsch   PetscCall(MatGetInfo(A, MAT_GLOBAL_MAX, &info));
1459371c9d4SSatish Balay   PetscCall(PetscViewerASCIIPrintf(PETSC_VIEWER_STDOUT_WORLD, "GlobalMax  : %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", (PetscInt)info.nz_used, (PetscInt)info.nz_allocated, (PetscInt)info.nz_unneeded,
1469371c9d4SSatish Balay                                    (PetscInt)info.assemblies, (PetscInt)info.mallocs));
1479566063dSJacob Faibussowitsch   PetscCall(MatGetInfo(A, MAT_GLOBAL_SUM, &info));
1489371c9d4SSatish Balay   PetscCall(PetscViewerASCIIPrintf(PETSC_VIEWER_STDOUT_WORLD, "GlobalSum  : %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", (PetscInt)info.nz_used, (PetscInt)info.nz_allocated, (PetscInt)info.nz_unneeded,
1499371c9d4SSatish Balay                                    (PetscInt)info.assemblies, (PetscInt)info.mallocs));
150c4762a1bSJed Brown 
151e432b41dSStefano Zampini   /* test MatIsSymmetric */
1529566063dSJacob Faibussowitsch   PetscCall(MatIsSymmetric(A, 0.0, &issymmetric));
1539566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatIsSymmetric: %d\n", issymmetric));
154c4762a1bSJed Brown 
155c4762a1bSJed Brown   /* Create a MPIAIJ matrix, same as A */
1569566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD, &B));
1579566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(B, PETSC_DECIDE, PETSC_DECIDE, m, n));
1589566063dSJacob Faibussowitsch   PetscCall(MatSetType(B, MATAIJ));
1599566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(B));
1609566063dSJacob Faibussowitsch   PetscCall(MatSetLocalToGlobalMapping(B, rmap, cmap));
1619566063dSJacob Faibussowitsch   PetscCall(MatMPIAIJSetPreallocation(B, 3, NULL, 3, NULL));
1629566063dSJacob Faibussowitsch   PetscCall(MatMPIBAIJSetPreallocation(B, 1, 3, NULL, 3, NULL));
163c4762a1bSJed Brown #if defined(PETSC_HAVE_HYPRE)
1649566063dSJacob Faibussowitsch   PetscCall(MatHYPRESetPreallocation(B, 3, NULL, 3, NULL));
165c4762a1bSJed Brown #endif
1669566063dSJacob Faibussowitsch   PetscCall(MatISSetPreallocation(B, 3, NULL, 3, NULL));
1679566063dSJacob Faibussowitsch   PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, (PetscBool) !(repmap || negmap))); /* I do not want to precompute the pattern */
168e432b41dSStefano Zampini   for (i = 0; i < lm; i++) {
169c4762a1bSJed Brown     PetscScalar v[3];
170c4762a1bSJed Brown     PetscInt    cols[3];
171c4762a1bSJed Brown 
172c4762a1bSJed Brown     cols[0] = (i - 1 + n) % n;
173c4762a1bSJed Brown     cols[1] = i % n;
174c4762a1bSJed Brown     cols[2] = (i + 1) % n;
175c4762a1bSJed Brown     v[0]    = -1. * (symmetric ? PetscMin(i + 1, cols[0] + 1) : i + 1);
176c4762a1bSJed Brown     v[1]    = 2. * (symmetric ? PetscMin(i + 1, cols[1] + 1) : i + 1);
177c4762a1bSJed Brown     v[2]    = -1. * (symmetric ? PetscMin(i + 1, cols[2] + 1) : i + 1);
1789566063dSJacob Faibussowitsch     PetscCall(ISGlobalToLocalMappingApply(cmap, IS_GTOLM_MASK, 3, cols, NULL, cols));
1799566063dSJacob Faibussowitsch     PetscCall(MatSetValuesLocal(B, 1, &i, 3, cols, v, ADD_VALUES));
180c4762a1bSJed Brown   }
1819566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
1829566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
183e432b41dSStefano Zampini 
184e432b41dSStefano Zampini   /* test MatView */
1859566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatView\n"));
1869566063dSJacob Faibussowitsch   PetscCall(MatView(A, NULL));
1879566063dSJacob Faibussowitsch   PetscCall(MatView(B, NULL));
188c4762a1bSJed Brown 
189*5042aa92SStefano Zampini   /* test MATLAB ASCII view */
190*5042aa92SStefano Zampini   if (test_matlab) { /* output is different when using real or complex numbers */
191*5042aa92SStefano Zampini     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatView ASCII MATLAB\n"));
192*5042aa92SStefano Zampini     PetscCall(PetscViewerPushFormat(PETSC_VIEWER_STDOUT_WORLD, PETSC_VIEWER_ASCII_MATLAB));
193*5042aa92SStefano Zampini     PetscCall(MatView(A, PETSC_VIEWER_STDOUT_WORLD));
194*5042aa92SStefano Zampini     PetscCall(PetscViewerPopFormat(PETSC_VIEWER_STDOUT_WORLD));
195*5042aa92SStefano Zampini   }
196*5042aa92SStefano Zampini 
197c4762a1bSJed Brown   /* test CheckMat */
1989566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test CheckMat\n"));
1999566063dSJacob Faibussowitsch   PetscCall(CheckMat(A, B, PETSC_FALSE, "CheckMat"));
200c4762a1bSJed Brown 
201*5042aa92SStefano Zampini   /* test binary MatView/MatLoad */
202*5042aa92SStefano Zampini   {
203*5042aa92SStefano Zampini     PetscMPIInt color = rank % 2;
204*5042aa92SStefano Zampini     MPI_Comm    comm;
205*5042aa92SStefano Zampini     char        name[PETSC_MAX_PATH_LEN];
206*5042aa92SStefano Zampini     PetscViewer wview, cview, sview, view;
207*5042aa92SStefano Zampini     Mat         A2;
208*5042aa92SStefano Zampini 
209*5042aa92SStefano Zampini     PetscCallMPI(MPI_Comm_split(PETSC_COMM_WORLD, color, rank, &comm));
210*5042aa92SStefano Zampini 
211*5042aa92SStefano Zampini     PetscCall(PetscSNPrintf(name, PETSC_STATIC_ARRAY_LENGTH(name), "world_is"));
212*5042aa92SStefano Zampini     PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD, name, FILE_MODE_WRITE, &wview));
213*5042aa92SStefano Zampini     PetscCall(PetscSNPrintf(name, PETSC_STATIC_ARRAY_LENGTH(name), "seq_is_%d", rank));
214*5042aa92SStefano Zampini     PetscCall(PetscViewerBinaryOpen(PETSC_COMM_SELF, name, FILE_MODE_WRITE, &sview));
215*5042aa92SStefano Zampini     PetscCall(PetscSNPrintf(name, PETSC_STATIC_ARRAY_LENGTH(name), "color_is_%d", color));
216*5042aa92SStefano Zampini     PetscCall(PetscViewerBinaryOpen(comm, name, FILE_MODE_WRITE, &cview));
217*5042aa92SStefano Zampini     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatView on binary world\n"));
218*5042aa92SStefano Zampini     PetscCall(MatView(A, wview));
219*5042aa92SStefano Zampini     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatView on binary self\n"));
220*5042aa92SStefano Zampini     PetscCall(MatView(A, sview));
221*5042aa92SStefano Zampini     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatView on binary subcomm\n"));
222*5042aa92SStefano Zampini     PetscCall(MatView(A, cview));
223*5042aa92SStefano Zampini     PetscCall(PetscViewerDestroy(&wview));
224*5042aa92SStefano Zampini     PetscCall(PetscViewerDestroy(&cview));
225*5042aa92SStefano Zampini     PetscCall(PetscViewerDestroy(&sview));
226*5042aa92SStefano Zampini 
227*5042aa92SStefano Zampini     /* Load a world matrix */
228*5042aa92SStefano Zampini     PetscCall(MatCreate(PETSC_COMM_WORLD, &A2));
229*5042aa92SStefano Zampini     PetscCall(MatSetType(A2, MATIS));
230*5042aa92SStefano Zampini     PetscCall(PetscViewerPushFormat(PETSC_VIEWER_STDOUT_WORLD, PETSC_VIEWER_ASCII_INFO_DETAIL));
231*5042aa92SStefano Zampini 
232*5042aa92SStefano Zampini     /* Read back the same matrix and check */
233*5042aa92SStefano Zampini     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatLoad from world\n"));
234*5042aa92SStefano Zampini     PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD, "world_is", FILE_MODE_READ, &view));
235*5042aa92SStefano Zampini     PetscCall(MatLoad(A2, view));
236*5042aa92SStefano Zampini     PetscCall(CheckMat(A, A2, PETSC_TRUE, "Load"));
237*5042aa92SStefano Zampini     PetscCall(MatView(A2, PETSC_VIEWER_STDOUT_WORLD));
238*5042aa92SStefano Zampini     PetscCall(PetscViewerDestroy(&view));
239*5042aa92SStefano Zampini 
240*5042aa92SStefano Zampini     /* Read the matrix from rank 0 only */
241*5042aa92SStefano Zampini     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatLoad from self\n"));
242*5042aa92SStefano Zampini     PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD, "seq_is_0", FILE_MODE_READ, &view));
243*5042aa92SStefano Zampini     PetscCall(MatLoad(A2, view));
244*5042aa92SStefano Zampini     PetscCall(MatView(A2, PETSC_VIEWER_STDOUT_WORLD));
245*5042aa92SStefano Zampini     PetscCall(PetscViewerDestroy(&view));
246*5042aa92SStefano Zampini 
247*5042aa92SStefano Zampini     /* Read the matrix from subcomm */
248*5042aa92SStefano Zampini     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatLoad from subcomm\n"));
249*5042aa92SStefano Zampini     PetscCall(PetscViewerBinaryOpen(PETSC_COMM_WORLD, "color_is_0", FILE_MODE_READ, &view));
250*5042aa92SStefano Zampini     PetscCall(MatLoad(A2, view));
251*5042aa92SStefano Zampini     PetscCall(MatView(A2, PETSC_VIEWER_STDOUT_WORLD));
252*5042aa92SStefano Zampini     PetscCall(PetscViewerDestroy(&view));
253*5042aa92SStefano Zampini 
254*5042aa92SStefano Zampini     PetscCall(PetscViewerPopFormat(PETSC_VIEWER_STDOUT_WORLD));
255*5042aa92SStefano Zampini     PetscCall(MatDestroy(&A2));
256*5042aa92SStefano Zampini 
257*5042aa92SStefano Zampini     /* now load the original matrix from color 0 only processes */
258*5042aa92SStefano Zampini     if (!color) {
259*5042aa92SStefano Zampini       PetscCall(PetscPrintf(comm, "Test subcomm MatLoad from world\n"));
260*5042aa92SStefano Zampini       PetscCall(MatCreate(comm, &A2));
261*5042aa92SStefano Zampini       PetscCall(MatSetType(A2, MATIS));
262*5042aa92SStefano Zampini       PetscCall(PetscViewerPushFormat(PETSC_VIEWER_STDOUT_(comm), PETSC_VIEWER_ASCII_INFO_DETAIL));
263*5042aa92SStefano Zampini       PetscCall(PetscViewerBinaryOpen(comm, "world_is", FILE_MODE_READ, &view));
264*5042aa92SStefano Zampini       PetscCall(MatLoad(A2, view));
265*5042aa92SStefano Zampini       PetscCall(MatView(A2, PETSC_VIEWER_STDOUT_(comm)));
266*5042aa92SStefano Zampini       PetscCall(PetscViewerDestroy(&view));
267*5042aa92SStefano Zampini       PetscCall(PetscViewerPopFormat(PETSC_VIEWER_STDOUT_(comm)));
268*5042aa92SStefano Zampini       PetscCall(MatDestroy(&A2));
269*5042aa92SStefano Zampini     }
270*5042aa92SStefano Zampini 
271*5042aa92SStefano Zampini     PetscCallMPI(MPI_Comm_free(&comm));
272*5042aa92SStefano Zampini   }
273*5042aa92SStefano Zampini 
274c4762a1bSJed Brown   /* test MatDuplicate and MatAXPY */
2759566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatDuplicate and MatAXPY\n"));
2769566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &A2));
2779566063dSJacob Faibussowitsch   PetscCall(CheckMat(A, A2, PETSC_FALSE, "MatDuplicate and MatAXPY"));
278c4762a1bSJed Brown 
279c4762a1bSJed Brown   /* test MatConvert */
2809566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatConvert_IS_XAIJ\n"));
2819566063dSJacob Faibussowitsch   PetscCall(MatConvert(A2, MATAIJ, MAT_INITIAL_MATRIX, &B2));
2829566063dSJacob Faibussowitsch   PetscCall(CheckMat(B, B2, PETSC_TRUE, "MatConvert_IS_XAIJ MAT_INITIAL_MATRIX"));
2839566063dSJacob Faibussowitsch   PetscCall(MatConvert(A2, MATAIJ, MAT_REUSE_MATRIX, &B2));
2849566063dSJacob Faibussowitsch   PetscCall(CheckMat(B, B2, PETSC_TRUE, "MatConvert_IS_XAIJ MAT_REUSE_MATRIX"));
2859566063dSJacob Faibussowitsch   PetscCall(MatConvert(A2, MATAIJ, MAT_INPLACE_MATRIX, &A2));
2869566063dSJacob Faibussowitsch   PetscCall(CheckMat(B, A2, PETSC_TRUE, "MatConvert_IS_XAIJ MAT_INPLACE_MATRIX"));
2879566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
2889566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B2));
2899566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatConvert_XAIJ_IS\n"));
2909566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(B, MAT_COPY_VALUES, &B2));
2919566063dSJacob Faibussowitsch   PetscCall(MatConvert(B2, MATIS, MAT_INITIAL_MATRIX, &A2));
2929566063dSJacob Faibussowitsch   PetscCall(CheckMat(A, A2, PETSC_TRUE, "MatConvert_XAIJ_IS MAT_INITIAL_MATRIX"));
2939566063dSJacob Faibussowitsch   PetscCall(MatConvert(B2, MATIS, MAT_REUSE_MATRIX, &A2));
2949566063dSJacob Faibussowitsch   PetscCall(CheckMat(A, A2, PETSC_TRUE, "MatConvert_XAIJ_IS MAT_REUSE_MATRIX"));
2959566063dSJacob Faibussowitsch   PetscCall(MatConvert(B2, MATIS, MAT_INPLACE_MATRIX, &B2));
2969566063dSJacob Faibussowitsch   PetscCall(CheckMat(A, B2, PETSC_TRUE, "MatConvert_XAIJ_IS MAT_INPLACE_MATRIX"));
2979566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
2989566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B2));
2999566063dSJacob Faibussowitsch   PetscCall(PetscStrcmp(lmtype, MATSEQAIJ, &isaij));
300c4762a1bSJed Brown   if (size == 1 && isaij) { /* tests special code paths in MatConvert_IS_XAIJ */
301c4762a1bSJed Brown     PetscInt               ri, ci, rr[3] = {0, 1, 0}, cr[4] = {1, 2, 0, 1}, rk[3] = {0, 2, 1}, ck[4] = {1, 0, 3, 2};
302e432b41dSStefano Zampini     ISLocalToGlobalMapping tcmap, trmap;
303c4762a1bSJed Brown 
304c4762a1bSJed Brown     for (ri = 0; ri < 2; ri++) {
305c4762a1bSJed Brown       PetscInt *r;
306c4762a1bSJed Brown 
307c4762a1bSJed Brown       r = (PetscInt *)(ri == 0 ? rr : rk);
308c4762a1bSJed Brown       for (ci = 0; ci < 2; ci++) {
309c4762a1bSJed Brown         PetscInt *c, rb, cb;
310c4762a1bSJed Brown 
311c4762a1bSJed Brown         c = (PetscInt *)(ci == 0 ? cr : ck);
312c4762a1bSJed Brown         for (rb = 1; rb < 4; rb++) {
3139566063dSJacob Faibussowitsch           PetscCall(ISCreateBlock(PETSC_COMM_SELF, rb, 3, r, PETSC_COPY_VALUES, &is));
3149566063dSJacob Faibussowitsch           PetscCall(ISLocalToGlobalMappingCreateIS(is, &trmap));
3159566063dSJacob Faibussowitsch           PetscCall(ISDestroy(&is));
316c4762a1bSJed Brown           for (cb = 1; cb < 4; cb++) {
317c4762a1bSJed Brown             Mat  T, lT, T2;
318c4762a1bSJed Brown             char testname[256];
319c4762a1bSJed Brown 
3209566063dSJacob Faibussowitsch             PetscCall(PetscSNPrintf(testname, sizeof(testname), "MatConvert_IS_XAIJ special case (%" PetscInt_FMT " %" PetscInt_FMT ", bs %" PetscInt_FMT " %" PetscInt_FMT ")", ri, ci, rb, cb));
3219566063dSJacob Faibussowitsch             PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test %s\n", testname));
322c4762a1bSJed Brown 
3239566063dSJacob Faibussowitsch             PetscCall(ISCreateBlock(PETSC_COMM_SELF, cb, 4, c, PETSC_COPY_VALUES, &is));
3249566063dSJacob Faibussowitsch             PetscCall(ISLocalToGlobalMappingCreateIS(is, &tcmap));
3259566063dSJacob Faibussowitsch             PetscCall(ISDestroy(&is));
326c4762a1bSJed Brown 
3279566063dSJacob Faibussowitsch             PetscCall(MatCreate(PETSC_COMM_SELF, &T));
3289566063dSJacob Faibussowitsch             PetscCall(MatSetSizes(T, PETSC_DECIDE, PETSC_DECIDE, rb * 3, cb * 4));
3299566063dSJacob Faibussowitsch             PetscCall(MatSetType(T, MATIS));
3309566063dSJacob Faibussowitsch             PetscCall(MatSetLocalToGlobalMapping(T, trmap, tcmap));
3319566063dSJacob Faibussowitsch             PetscCall(ISLocalToGlobalMappingDestroy(&tcmap));
3329566063dSJacob Faibussowitsch             PetscCall(MatISGetLocalMat(T, &lT));
3339566063dSJacob Faibussowitsch             PetscCall(MatSetType(lT, MATSEQAIJ));
3349566063dSJacob Faibussowitsch             PetscCall(MatSeqAIJSetPreallocation(lT, cb * 4, NULL));
3359566063dSJacob Faibussowitsch             PetscCall(MatSetRandom(lT, NULL));
3369566063dSJacob Faibussowitsch             PetscCall(MatConvert(lT, lmtype, MAT_INPLACE_MATRIX, &lT));
3379566063dSJacob Faibussowitsch             PetscCall(MatISRestoreLocalMat(T, &lT));
3389566063dSJacob Faibussowitsch             PetscCall(MatAssemblyBegin(T, MAT_FINAL_ASSEMBLY));
3399566063dSJacob Faibussowitsch             PetscCall(MatAssemblyEnd(T, MAT_FINAL_ASSEMBLY));
340c4762a1bSJed Brown 
3419566063dSJacob Faibussowitsch             PetscCall(MatConvert(T, MATAIJ, MAT_INITIAL_MATRIX, &T2));
3429566063dSJacob Faibussowitsch             PetscCall(CheckMat(T, T2, PETSC_TRUE, "MAT_INITIAL_MATRIX"));
3439566063dSJacob Faibussowitsch             PetscCall(MatConvert(T, MATAIJ, MAT_REUSE_MATRIX, &T2));
3449566063dSJacob Faibussowitsch             PetscCall(CheckMat(T, T2, PETSC_TRUE, "MAT_REUSE_MATRIX"));
3459566063dSJacob Faibussowitsch             PetscCall(MatDestroy(&T2));
3469566063dSJacob Faibussowitsch             PetscCall(MatDuplicate(T, MAT_COPY_VALUES, &T2));
3479566063dSJacob Faibussowitsch             PetscCall(MatConvert(T2, MATAIJ, MAT_INPLACE_MATRIX, &T2));
3489566063dSJacob Faibussowitsch             PetscCall(CheckMat(T, T2, PETSC_TRUE, "MAT_INPLACE_MATRIX"));
3499566063dSJacob Faibussowitsch             PetscCall(MatDestroy(&T));
3509566063dSJacob Faibussowitsch             PetscCall(MatDestroy(&T2));
351c4762a1bSJed Brown           }
3529566063dSJacob Faibussowitsch           PetscCall(ISLocalToGlobalMappingDestroy(&trmap));
353c4762a1bSJed Brown         }
354c4762a1bSJed Brown       }
355c4762a1bSJed Brown     }
356c4762a1bSJed Brown   }
357c4762a1bSJed Brown 
358c4762a1bSJed Brown   /* test MatDiagonalScale */
3599566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatDiagonalScale\n"));
3609566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &A2));
3619566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(B, MAT_COPY_VALUES, &B2));
3629566063dSJacob Faibussowitsch   PetscCall(MatCreateVecs(A, &x, &y));
3639566063dSJacob Faibussowitsch   PetscCall(VecSetRandom(x, NULL));
364e432b41dSStefano Zampini   if (issymmetric) {
3659566063dSJacob Faibussowitsch     PetscCall(VecCopy(x, y));
366c4762a1bSJed Brown   } else {
3679566063dSJacob Faibussowitsch     PetscCall(VecSetRandom(y, NULL));
3689566063dSJacob Faibussowitsch     PetscCall(VecScale(y, 8.));
369c4762a1bSJed Brown   }
3709566063dSJacob Faibussowitsch   PetscCall(MatDiagonalScale(A2, y, x));
3719566063dSJacob Faibussowitsch   PetscCall(MatDiagonalScale(B2, y, x));
3729566063dSJacob Faibussowitsch   PetscCall(CheckMat(A2, B2, PETSC_FALSE, "MatDiagonalScale"));
3739566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
3749566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B2));
3759566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
3769566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&y));
377c4762a1bSJed Brown 
378c4762a1bSJed Brown   /* test MatPtAP (A IS and B AIJ) */
379c4762a1bSJed Brown   if (isaij && m == n) {
3809566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatPtAP\n"));
3814f58015eSStefano Zampini     /* There's a bug in MatCreateSubMatrices_MPIAIJ I cannot figure out */
3824f58015eSStefano Zampini     if (!allow_repeated || !repmap || size == 1) {
3839566063dSJacob Faibussowitsch       PetscCall(MatISStoreL2L(A, PETSC_TRUE));
3849566063dSJacob Faibussowitsch       PetscCall(MatPtAP(A, B, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &A2));
3859566063dSJacob Faibussowitsch       PetscCall(MatPtAP(B, B, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &B2));
3869566063dSJacob Faibussowitsch       PetscCall(CheckMat(A2, B2, PETSC_FALSE, "MatPtAP MAT_INITIAL_MATRIX"));
3879566063dSJacob Faibussowitsch       PetscCall(MatPtAP(A, B, MAT_REUSE_MATRIX, PETSC_DEFAULT, &A2));
3889566063dSJacob Faibussowitsch       PetscCall(CheckMat(A2, B2, PETSC_FALSE, "MatPtAP MAT_REUSE_MATRIX"));
3899566063dSJacob Faibussowitsch       PetscCall(MatDestroy(&A2));
3909566063dSJacob Faibussowitsch       PetscCall(MatDestroy(&B2));
391c4762a1bSJed Brown     }
3924f58015eSStefano Zampini   }
393c4762a1bSJed Brown 
394c4762a1bSJed Brown   /* test MatGetLocalSubMatrix */
3959566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatGetLocalSubMatrix\n"));
3969566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(A, MAT_DO_NOT_COPY_VALUES, &A2));
3979566063dSJacob Faibussowitsch   PetscCall(ISCreateStride(PETSC_COMM_SELF, lm / 2 + lm % 2, 0, 2, &reven));
3989566063dSJacob Faibussowitsch   PetscCall(ISComplement(reven, 0, lm, &rodd));
3999566063dSJacob Faibussowitsch   PetscCall(ISCreateStride(PETSC_COMM_SELF, ln / 2 + ln % 2, 0, 2, &ceven));
4009566063dSJacob Faibussowitsch   PetscCall(ISComplement(ceven, 0, ln, &codd));
4019566063dSJacob Faibussowitsch   PetscCall(MatGetLocalSubMatrix(A2, reven, ceven, &Aee));
4029566063dSJacob Faibussowitsch   PetscCall(MatGetLocalSubMatrix(A2, reven, codd, &Aeo));
4039566063dSJacob Faibussowitsch   PetscCall(MatGetLocalSubMatrix(A2, rodd, ceven, &Aoe));
4049566063dSJacob Faibussowitsch   PetscCall(MatGetLocalSubMatrix(A2, rodd, codd, &Aoo));
405e432b41dSStefano Zampini   for (i = 0; i < lm; i++) {
406c4762a1bSJed Brown     PetscInt    j, je, jo, colse[3], colso[3];
407c4762a1bSJed Brown     PetscScalar ve[3], vo[3];
408c4762a1bSJed Brown     PetscScalar v[3];
409c4762a1bSJed Brown     PetscInt    cols[3];
410e432b41dSStefano Zampini     PetscInt    row = i / 2;
411c4762a1bSJed Brown 
412c4762a1bSJed Brown     cols[0] = (i - 1 + n) % n;
413c4762a1bSJed Brown     cols[1] = i % n;
414c4762a1bSJed Brown     cols[2] = (i + 1) % n;
415c4762a1bSJed Brown     v[0]    = -1. * (symmetric ? PetscMin(i + 1, cols[0] + 1) : i + 1);
416c4762a1bSJed Brown     v[1]    = 2. * (symmetric ? PetscMin(i + 1, cols[1] + 1) : i + 1);
417c4762a1bSJed Brown     v[2]    = -1. * (symmetric ? PetscMin(i + 1, cols[2] + 1) : i + 1);
4189566063dSJacob Faibussowitsch     PetscCall(ISGlobalToLocalMappingApply(cmap, IS_GTOLM_MASK, 3, cols, NULL, cols));
419c4762a1bSJed Brown     for (j = 0, je = 0, jo = 0; j < 3; j++) {
420c4762a1bSJed Brown       if (cols[j] % 2) {
421c4762a1bSJed Brown         vo[jo]      = v[j];
422c4762a1bSJed Brown         colso[jo++] = cols[j] / 2;
423c4762a1bSJed Brown       } else {
424c4762a1bSJed Brown         ve[je]      = v[j];
425c4762a1bSJed Brown         colse[je++] = cols[j] / 2;
426c4762a1bSJed Brown       }
427c4762a1bSJed Brown     }
428c4762a1bSJed Brown     if (i % 2) {
4299566063dSJacob Faibussowitsch       PetscCall(MatSetValuesLocal(Aoe, 1, &row, je, colse, ve, ADD_VALUES));
4309566063dSJacob Faibussowitsch       PetscCall(MatSetValuesLocal(Aoo, 1, &row, jo, colso, vo, ADD_VALUES));
431c4762a1bSJed Brown     } else {
4329566063dSJacob Faibussowitsch       PetscCall(MatSetValuesLocal(Aee, 1, &row, je, colse, ve, ADD_VALUES));
4339566063dSJacob Faibussowitsch       PetscCall(MatSetValuesLocal(Aeo, 1, &row, jo, colso, vo, ADD_VALUES));
434c4762a1bSJed Brown     }
435c4762a1bSJed Brown   }
4369566063dSJacob Faibussowitsch   PetscCall(MatRestoreLocalSubMatrix(A2, reven, ceven, &Aee));
4379566063dSJacob Faibussowitsch   PetscCall(MatRestoreLocalSubMatrix(A2, reven, codd, &Aeo));
4389566063dSJacob Faibussowitsch   PetscCall(MatRestoreLocalSubMatrix(A2, rodd, ceven, &Aoe));
4399566063dSJacob Faibussowitsch   PetscCall(MatRestoreLocalSubMatrix(A2, rodd, codd, &Aoo));
4409566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&reven));
4419566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&ceven));
4429566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&rodd));
4439566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&codd));
4449566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A2, MAT_FINAL_ASSEMBLY));
4459566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A2, MAT_FINAL_ASSEMBLY));
4469566063dSJacob Faibussowitsch   PetscCall(MatAXPY(A2, -1., A, SAME_NONZERO_PATTERN));
4479566063dSJacob Faibussowitsch   PetscCall(CheckMat(A2, NULL, PETSC_FALSE, "MatGetLocalSubMatrix"));
4489566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
449c4762a1bSJed Brown 
450c4762a1bSJed Brown   /* test MatConvert_Nest_IS */
451c4762a1bSJed Brown   testT = PETSC_FALSE;
4529566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-test_trans", &testT, NULL));
453c4762a1bSJed Brown 
4549566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatConvert_Nest_IS\n"));
455c4762a1bSJed Brown   nr = 2;
456c4762a1bSJed Brown   nc = 2;
4579566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-nr", &nr, NULL));
4589566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-nc", &nc, NULL));
459c4762a1bSJed Brown   if (testT) {
4609566063dSJacob Faibussowitsch     PetscCall(MatGetOwnershipRange(A, &cst, &cen));
4619566063dSJacob Faibussowitsch     PetscCall(MatGetOwnershipRangeColumn(A, &rst, &ren));
462c4762a1bSJed Brown   } else {
4639566063dSJacob Faibussowitsch     PetscCall(MatGetOwnershipRange(A, &rst, &ren));
4649566063dSJacob Faibussowitsch     PetscCall(MatGetOwnershipRangeColumn(A, &cst, &cen));
465c4762a1bSJed Brown   }
4669566063dSJacob Faibussowitsch   PetscCall(PetscMalloc3(nr, &rows, nc, &cols, 2 * nr * nc, &mats));
467c4762a1bSJed Brown   for (i = 0; i < nr * nc; i++) {
468c4762a1bSJed Brown     if (testT) {
4699566063dSJacob Faibussowitsch       PetscCall(MatCreateTranspose(A, &mats[i]));
4709566063dSJacob Faibussowitsch       PetscCall(MatTranspose(B, MAT_INITIAL_MATRIX, &mats[i + nr * nc]));
471c4762a1bSJed Brown     } else {
4729566063dSJacob Faibussowitsch       PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &mats[i]));
4739566063dSJacob Faibussowitsch       PetscCall(MatDuplicate(B, MAT_COPY_VALUES, &mats[i + nr * nc]));
474c4762a1bSJed Brown     }
475c4762a1bSJed Brown   }
47648a46eb9SPierre Jolivet   for (i = 0; i < nr; i++) PetscCall(ISCreateStride(PETSC_COMM_WORLD, ren - rst, i + rst, nr, &rows[i]));
47748a46eb9SPierre Jolivet   for (i = 0; i < nc; i++) PetscCall(ISCreateStride(PETSC_COMM_WORLD, cen - cst, i + cst, nc, &cols[i]));
4789566063dSJacob Faibussowitsch   PetscCall(MatCreateNest(PETSC_COMM_WORLD, nr, rows, nc, cols, mats, &A2));
4799566063dSJacob Faibussowitsch   PetscCall(MatCreateNest(PETSC_COMM_WORLD, nr, rows, nc, cols, mats + nr * nc, &B2));
48048a46eb9SPierre Jolivet   for (i = 0; i < nr; i++) PetscCall(ISDestroy(&rows[i]));
48148a46eb9SPierre Jolivet   for (i = 0; i < nc; i++) PetscCall(ISDestroy(&cols[i]));
48248a46eb9SPierre Jolivet   for (i = 0; i < 2 * nr * nc; i++) PetscCall(MatDestroy(&mats[i]));
4839566063dSJacob Faibussowitsch   PetscCall(PetscFree3(rows, cols, mats));
4849566063dSJacob Faibussowitsch   PetscCall(MatConvert(B2, MATAIJ, MAT_INITIAL_MATRIX, &T));
4859566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B2));
4869566063dSJacob Faibussowitsch   PetscCall(MatConvert(A2, MATIS, MAT_INITIAL_MATRIX, &B2));
4879566063dSJacob Faibussowitsch   PetscCall(CheckMat(B2, T, PETSC_TRUE, "MatConvert_Nest_IS MAT_INITIAL_MATRIX"));
4889566063dSJacob Faibussowitsch   PetscCall(MatConvert(A2, MATIS, MAT_REUSE_MATRIX, &B2));
4899566063dSJacob Faibussowitsch   PetscCall(CheckMat(B2, T, PETSC_TRUE, "MatConvert_Nest_IS MAT_REUSE_MATRIX"));
4909566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B2));
4919566063dSJacob Faibussowitsch   PetscCall(MatConvert(A2, MATIS, MAT_INPLACE_MATRIX, &A2));
4929566063dSJacob Faibussowitsch   PetscCall(CheckMat(A2, T, PETSC_TRUE, "MatConvert_Nest_IS MAT_INPLACE_MATRIX"));
4939566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&T));
4949566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
495c4762a1bSJed Brown 
496c4762a1bSJed Brown   /* test MatCreateSubMatrix */
4979566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatCreateSubMatrix\n"));
498dd400576SPatrick Sanan   if (rank == 0) {
4999566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, 1, 1, 1, &is));
5009566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, 2, 0, 1, &is2));
501c4762a1bSJed Brown   } else if (rank == 1) {
5029566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, 1, 0, 1, &is));
503c4762a1bSJed Brown     if (n > 3) {
5049566063dSJacob Faibussowitsch       PetscCall(ISCreateStride(PETSC_COMM_WORLD, 1, 3, 1, &is2));
505c4762a1bSJed Brown     } else {
5069566063dSJacob Faibussowitsch       PetscCall(ISCreateStride(PETSC_COMM_WORLD, 0, 0, 1, &is2));
507c4762a1bSJed Brown     }
508c4762a1bSJed Brown   } else if (rank == 2 && n > 4) {
5099566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, 0, 0, 1, &is));
5109566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, n - 4, 4, 1, &is2));
511c4762a1bSJed Brown   } else {
5129566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, 0, 0, 1, &is));
5139566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, 0, 0, 1, &is2));
514c4762a1bSJed Brown   }
5159566063dSJacob Faibussowitsch   PetscCall(MatCreateSubMatrix(A, is, is, MAT_INITIAL_MATRIX, &A2));
5169566063dSJacob Faibussowitsch   PetscCall(MatCreateSubMatrix(B, is, is, MAT_INITIAL_MATRIX, &B2));
5179566063dSJacob Faibussowitsch   PetscCall(CheckMat(A2, B2, PETSC_TRUE, "first MatCreateSubMatrix"));
518c4762a1bSJed Brown 
5199566063dSJacob Faibussowitsch   PetscCall(MatCreateSubMatrix(A, is, is, MAT_REUSE_MATRIX, &A2));
5209566063dSJacob Faibussowitsch   PetscCall(MatCreateSubMatrix(B, is, is, MAT_REUSE_MATRIX, &B2));
5219566063dSJacob Faibussowitsch   PetscCall(CheckMat(A2, B2, PETSC_FALSE, "reuse MatCreateSubMatrix"));
5229566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
5239566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B2));
524c4762a1bSJed Brown 
525e432b41dSStefano Zampini   if (!issymmetric) {
5269566063dSJacob Faibussowitsch     PetscCall(MatCreateSubMatrix(A, is, is2, MAT_INITIAL_MATRIX, &A2));
5279566063dSJacob Faibussowitsch     PetscCall(MatCreateSubMatrix(B, is, is2, MAT_INITIAL_MATRIX, &B2));
5289566063dSJacob Faibussowitsch     PetscCall(MatCreateSubMatrix(A, is, is2, MAT_REUSE_MATRIX, &A2));
5299566063dSJacob Faibussowitsch     PetscCall(MatCreateSubMatrix(B, is, is2, MAT_REUSE_MATRIX, &B2));
5309566063dSJacob Faibussowitsch     PetscCall(CheckMat(A2, B2, PETSC_FALSE, "second MatCreateSubMatrix"));
531c4762a1bSJed Brown   }
532c4762a1bSJed Brown 
5339566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
5349566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B2));
5359566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is));
5369566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is2));
537c4762a1bSJed Brown 
538d0dbe9f7SStefano Zampini   /* test MatCreateSubMatrices */
539d0dbe9f7SStefano Zampini   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatCreateSubMatrices\n"));
540d0dbe9f7SStefano Zampini   PetscCall(MatGetLayouts(A, &rlayout, &clayout));
541d0dbe9f7SStefano Zampini   PetscCall(PetscLayoutGetRanges(rlayout, &rrange));
542d0dbe9f7SStefano Zampini   PetscCall(PetscLayoutGetRanges(clayout, &crange));
543d0dbe9f7SStefano Zampini   lrank = (size + rank - 1) % size;
544d0dbe9f7SStefano Zampini   rrank = (rank + 1) % size;
545d0dbe9f7SStefano Zampini   PetscCall(ISCreateStride(PETSC_COMM_SELF, (rrange[lrank + 1] - rrange[lrank]), rrange[lrank], 1, &irow[0]));
546d0dbe9f7SStefano Zampini   PetscCall(ISCreateStride(PETSC_COMM_SELF, (crange[rrank + 1] - crange[rrank]), crange[rrank], 1, &icol[0]));
547d0dbe9f7SStefano Zampini   PetscCall(ISCreateStride(PETSC_COMM_SELF, (rrange[rrank + 1] - rrange[rrank]), rrange[rrank], 1, &irow[1]));
548d0dbe9f7SStefano Zampini   PetscCall(ISCreateStride(PETSC_COMM_SELF, (crange[lrank + 1] - crange[lrank]), crange[lrank], 1, &icol[1]));
549d0dbe9f7SStefano Zampini   PetscCall(MatCreateSubMatrices(A, 2, irow, icol, MAT_INITIAL_MATRIX, &Asub));
550d0dbe9f7SStefano Zampini   PetscCall(MatCreateSubMatrices(B, 2, irow, icol, MAT_INITIAL_MATRIX, &Bsub));
551d0dbe9f7SStefano Zampini   PetscCall(CheckMat(Asub[0], Bsub[0], PETSC_FALSE, "MatCreateSubMatrices[0]"));
552d0dbe9f7SStefano Zampini   PetscCall(CheckMat(Asub[1], Bsub[1], PETSC_FALSE, "MatCreateSubMatrices[1]"));
553d0dbe9f7SStefano Zampini   PetscCall(MatCreateSubMatrices(A, 2, irow, icol, MAT_REUSE_MATRIX, &Asub));
554d0dbe9f7SStefano Zampini   PetscCall(MatCreateSubMatrices(B, 2, irow, icol, MAT_REUSE_MATRIX, &Bsub));
555d0dbe9f7SStefano Zampini   PetscCall(CheckMat(Asub[0], Bsub[0], PETSC_FALSE, "MatCreateSubMatrices[0]"));
556d0dbe9f7SStefano Zampini   PetscCall(CheckMat(Asub[1], Bsub[1], PETSC_FALSE, "MatCreateSubMatrices[1]"));
557d0dbe9f7SStefano Zampini   PetscCall(MatDestroySubMatrices(2, &Asub));
558d0dbe9f7SStefano Zampini   PetscCall(MatDestroySubMatrices(2, &Bsub));
559d0dbe9f7SStefano Zampini   PetscCall(ISDestroy(&irow[0]));
560d0dbe9f7SStefano Zampini   PetscCall(ISDestroy(&irow[1]));
561d0dbe9f7SStefano Zampini   PetscCall(ISDestroy(&icol[0]));
562d0dbe9f7SStefano Zampini   PetscCall(ISDestroy(&icol[1]));
563d0dbe9f7SStefano Zampini 
564c4762a1bSJed Brown   /* Create an IS required by MatZeroRows(): just rank zero provides the rows to be eliminated */
565c4762a1bSJed Brown   if (size > 1) {
566dd400576SPatrick Sanan     if (rank == 0) {
567c4762a1bSJed Brown       PetscInt st, len;
568c4762a1bSJed Brown 
569c4762a1bSJed Brown       st  = (m + 1) / 2;
570c4762a1bSJed Brown       len = PetscMin(m / 2, PetscMax(m - (m + 1) / 2 - 1, 0));
5719566063dSJacob Faibussowitsch       PetscCall(ISCreateStride(PETSC_COMM_WORLD, len, st, 1, &is));
572c4762a1bSJed Brown     } else {
5739566063dSJacob Faibussowitsch       PetscCall(ISCreateStride(PETSC_COMM_WORLD, 0, 0, 1, &is));
574c4762a1bSJed Brown     }
575c4762a1bSJed Brown   } else {
5769566063dSJacob Faibussowitsch     PetscCall(ISCreateStride(PETSC_COMM_WORLD, 1, 0, 1, &is));
577c4762a1bSJed Brown   }
578c4762a1bSJed Brown 
579c4762a1bSJed Brown   if (squaretest) { /* tests for square matrices only, with same maps for rows and columns */
580d0dbe9f7SStefano Zampini     PetscInt *idx0, *idx1, n0, n1;
581d0dbe9f7SStefano Zampini     IS        Ais[2], Bis[2];
582d0dbe9f7SStefano Zampini 
583c4762a1bSJed Brown     /* test MatDiagonalSet */
5849566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatDiagonalSet\n"));
5859566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &A2));
5869566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(B, MAT_COPY_VALUES, &B2));
5879566063dSJacob Faibussowitsch     PetscCall(MatCreateVecs(A, NULL, &x));
5889566063dSJacob Faibussowitsch     PetscCall(VecSetRandom(x, NULL));
5894f58015eSStefano Zampini     PetscCall(MatDiagonalSet(A2, x, allow_repeated ? ADD_VALUES : INSERT_VALUES));
5904f58015eSStefano Zampini     PetscCall(MatDiagonalSet(B2, x, allow_repeated ? ADD_VALUES : INSERT_VALUES));
5919566063dSJacob Faibussowitsch     PetscCall(CheckMat(A2, B2, PETSC_FALSE, "MatDiagonalSet"));
5929566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&x));
5939566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&A2));
5949566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&B2));
595c4762a1bSJed Brown 
596c4762a1bSJed Brown     /* test MatShift (MatShift_IS internally uses MatDiagonalSet_IS with ADD_VALUES) */
5979566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatShift\n"));
5989566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &A2));
5999566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(B, MAT_COPY_VALUES, &B2));
6009566063dSJacob Faibussowitsch     PetscCall(MatShift(A2, 2.0));
6019566063dSJacob Faibussowitsch     PetscCall(MatShift(B2, 2.0));
6029566063dSJacob Faibussowitsch     PetscCall(CheckMat(A2, B2, PETSC_FALSE, "MatShift"));
6039566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&A2));
6049566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&B2));
605c4762a1bSJed Brown 
606c4762a1bSJed Brown     /* nonzero diag value is supported for square matrices only */
6079566063dSJacob Faibussowitsch     PetscCall(TestMatZeroRows(A, B, PETSC_TRUE, is, diag));
608d0dbe9f7SStefano Zampini 
609d0dbe9f7SStefano Zampini     /* test MatIncreaseOverlap */
610d0dbe9f7SStefano Zampini     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatIncreaseOverlap\n"));
611d0dbe9f7SStefano Zampini     PetscCall(MatGetOwnershipRange(A, &rst, &ren));
612d0dbe9f7SStefano Zampini     n0 = (ren - rst) / 2;
613d0dbe9f7SStefano Zampini     n1 = (ren - rst) / 3;
614d0dbe9f7SStefano Zampini     PetscCall(PetscMalloc1(n0, &idx0));
615d0dbe9f7SStefano Zampini     PetscCall(PetscMalloc1(n1, &idx1));
616d0dbe9f7SStefano Zampini     for (i = 0; i < n0; i++) idx0[i] = ren - i - 1;
617d0dbe9f7SStefano Zampini     for (i = 0; i < n1; i++) idx1[i] = rst + i;
618d0dbe9f7SStefano Zampini     PetscCall(ISCreateGeneral(PETSC_COMM_WORLD, n0, idx0, PETSC_OWN_POINTER, &Ais[0]));
619d0dbe9f7SStefano Zampini     PetscCall(ISCreateGeneral(PETSC_COMM_WORLD, n1, idx1, PETSC_OWN_POINTER, &Ais[1]));
620d0dbe9f7SStefano Zampini     PetscCall(ISCreateGeneral(PETSC_COMM_WORLD, n0, idx0, PETSC_COPY_VALUES, &Bis[0]));
621d0dbe9f7SStefano Zampini     PetscCall(ISCreateGeneral(PETSC_COMM_WORLD, n1, idx1, PETSC_COPY_VALUES, &Bis[1]));
622d0dbe9f7SStefano Zampini     PetscCall(MatIncreaseOverlap(A, 2, Ais, 3));
623d0dbe9f7SStefano Zampini     PetscCall(MatIncreaseOverlap(B, 2, Bis, 3));
624d0dbe9f7SStefano Zampini     /* Non deterministic output! */
625d0dbe9f7SStefano Zampini     PetscCall(ISSort(Ais[0]));
626d0dbe9f7SStefano Zampini     PetscCall(ISSort(Ais[1]));
627d0dbe9f7SStefano Zampini     PetscCall(ISSort(Bis[0]));
628d0dbe9f7SStefano Zampini     PetscCall(ISSort(Bis[1]));
629d0dbe9f7SStefano Zampini     PetscCall(ISView(Ais[0], NULL));
630d0dbe9f7SStefano Zampini     PetscCall(ISView(Bis[0], NULL));
631d0dbe9f7SStefano Zampini     PetscCall(ISView(Ais[1], NULL));
632d0dbe9f7SStefano Zampini     PetscCall(ISView(Bis[1], NULL));
633d0dbe9f7SStefano Zampini     PetscCall(MatCreateSubMatrices(A, 2, Ais, Ais, MAT_INITIAL_MATRIX, &Asub));
634d0dbe9f7SStefano Zampini     PetscCall(MatCreateSubMatrices(B, 2, Bis, Ais, MAT_INITIAL_MATRIX, &Bsub));
635d0dbe9f7SStefano Zampini     PetscCall(CheckMat(Asub[0], Bsub[0], PETSC_FALSE, "MatIncreaseOverlap[0]"));
636d0dbe9f7SStefano Zampini     PetscCall(CheckMat(Asub[1], Bsub[1], PETSC_FALSE, "MatIncreaseOverlap[1]"));
637d0dbe9f7SStefano Zampini     PetscCall(MatDestroySubMatrices(2, &Asub));
638d0dbe9f7SStefano Zampini     PetscCall(MatDestroySubMatrices(2, &Bsub));
639d0dbe9f7SStefano Zampini     PetscCall(ISDestroy(&Ais[0]));
640d0dbe9f7SStefano Zampini     PetscCall(ISDestroy(&Ais[1]));
641d0dbe9f7SStefano Zampini     PetscCall(ISDestroy(&Bis[0]));
642d0dbe9f7SStefano Zampini     PetscCall(ISDestroy(&Bis[1]));
643c4762a1bSJed Brown   }
6449566063dSJacob Faibussowitsch   PetscCall(TestMatZeroRows(A, B, squaretest, is, 0.0));
6459566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&is));
646c4762a1bSJed Brown 
647c4762a1bSJed Brown   /* test MatTranspose */
6489566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatTranspose\n"));
6499566063dSJacob Faibussowitsch   PetscCall(MatTranspose(A, MAT_INITIAL_MATRIX, &A2));
6509566063dSJacob Faibussowitsch   PetscCall(MatTranspose(B, MAT_INITIAL_MATRIX, &B2));
6519566063dSJacob Faibussowitsch   PetscCall(CheckMat(A2, B2, PETSC_FALSE, "initial matrix MatTranspose"));
652c4762a1bSJed Brown 
6539566063dSJacob Faibussowitsch   PetscCall(MatTranspose(A, MAT_REUSE_MATRIX, &A2));
6549566063dSJacob Faibussowitsch   PetscCall(CheckMat(A2, B2, PETSC_FALSE, "reuse matrix (not in place) MatTranspose"));
6559566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
656c4762a1bSJed Brown 
6579566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &A2));
6589566063dSJacob Faibussowitsch   PetscCall(MatTranspose(A2, MAT_INPLACE_MATRIX, &A2));
6599566063dSJacob Faibussowitsch   PetscCall(CheckMat(A2, B2, PETSC_FALSE, "reuse matrix (in place) MatTranspose"));
6609566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
661c4762a1bSJed Brown 
6629566063dSJacob Faibussowitsch   PetscCall(MatTranspose(A, MAT_INITIAL_MATRIX, &A2));
6639566063dSJacob Faibussowitsch   PetscCall(CheckMat(A2, B2, PETSC_FALSE, "reuse matrix (different type) MatTranspose"));
6649566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
6659566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B2));
666c4762a1bSJed Brown 
667c4762a1bSJed Brown   /* test MatISFixLocalEmpty */
668c4762a1bSJed Brown   if (isaij) {
669c4762a1bSJed Brown     PetscInt r[2];
670c4762a1bSJed Brown 
671c4762a1bSJed Brown     r[0] = 0;
672c4762a1bSJed Brown     r[1] = PetscMin(m, n) - 1;
6739566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatISFixLocalEmpty\n"));
6749566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &A2));
675e432b41dSStefano Zampini 
6769566063dSJacob Faibussowitsch     PetscCall(MatISFixLocalEmpty(A2, PETSC_TRUE));
6779566063dSJacob Faibussowitsch     PetscCall(MatAssemblyBegin(A2, MAT_FINAL_ASSEMBLY));
6789566063dSJacob Faibussowitsch     PetscCall(MatAssemblyEnd(A2, MAT_FINAL_ASSEMBLY));
6799566063dSJacob Faibussowitsch     PetscCall(CheckMat(A2, B, PETSC_FALSE, "MatISFixLocalEmpty (null)"));
680c4762a1bSJed Brown 
6819566063dSJacob Faibussowitsch     PetscCall(MatZeroRows(A2, 2, r, 0.0, NULL, NULL));
6829566063dSJacob Faibussowitsch     PetscCall(MatViewFromOptions(A2, NULL, "-fixempty_view"));
6839566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(B, MAT_COPY_VALUES, &B2));
6849566063dSJacob Faibussowitsch     PetscCall(MatZeroRows(B2, 2, r, 0.0, NULL, NULL));
6859566063dSJacob Faibussowitsch     PetscCall(MatISFixLocalEmpty(A2, PETSC_TRUE));
6869566063dSJacob Faibussowitsch     PetscCall(MatAssemblyBegin(A2, MAT_FINAL_ASSEMBLY));
6879566063dSJacob Faibussowitsch     PetscCall(MatAssemblyEnd(A2, MAT_FINAL_ASSEMBLY));
6889566063dSJacob Faibussowitsch     PetscCall(MatViewFromOptions(A2, NULL, "-fixempty_view"));
6899566063dSJacob Faibussowitsch     PetscCall(CheckMat(A2, B2, PETSC_FALSE, "MatISFixLocalEmpty (rows)"));
6909566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&A2));
691c4762a1bSJed Brown 
6929566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &A2));
6939566063dSJacob Faibussowitsch     PetscCall(MatZeroRows(A2, 2, r, 0.0, NULL, NULL));
6949566063dSJacob Faibussowitsch     PetscCall(MatTranspose(A2, MAT_INPLACE_MATRIX, &A2));
6959566063dSJacob Faibussowitsch     PetscCall(MatTranspose(B2, MAT_INPLACE_MATRIX, &B2));
6969566063dSJacob Faibussowitsch     PetscCall(MatViewFromOptions(A2, NULL, "-fixempty_view"));
6979566063dSJacob Faibussowitsch     PetscCall(MatISFixLocalEmpty(A2, PETSC_TRUE));
6989566063dSJacob Faibussowitsch     PetscCall(MatAssemblyBegin(A2, MAT_FINAL_ASSEMBLY));
6999566063dSJacob Faibussowitsch     PetscCall(MatAssemblyEnd(A2, MAT_FINAL_ASSEMBLY));
7009566063dSJacob Faibussowitsch     PetscCall(MatViewFromOptions(A2, NULL, "-fixempty_view"));
7019566063dSJacob Faibussowitsch     PetscCall(CheckMat(A2, B2, PETSC_FALSE, "MatISFixLocalEmpty (cols)"));
702c4762a1bSJed Brown 
7039566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&A2));
7049566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&B2));
705c4762a1bSJed Brown 
706c4762a1bSJed Brown     if (squaretest) {
7079566063dSJacob Faibussowitsch       PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &A2));
7089566063dSJacob Faibussowitsch       PetscCall(MatDuplicate(B, MAT_COPY_VALUES, &B2));
7099566063dSJacob Faibussowitsch       PetscCall(MatZeroRowsColumns(A2, 2, r, 0.0, NULL, NULL));
7109566063dSJacob Faibussowitsch       PetscCall(MatZeroRowsColumns(B2, 2, r, 0.0, NULL, NULL));
7119566063dSJacob Faibussowitsch       PetscCall(MatViewFromOptions(A2, NULL, "-fixempty_view"));
7129566063dSJacob Faibussowitsch       PetscCall(MatISFixLocalEmpty(A2, PETSC_TRUE));
7139566063dSJacob Faibussowitsch       PetscCall(MatAssemblyBegin(A2, MAT_FINAL_ASSEMBLY));
7149566063dSJacob Faibussowitsch       PetscCall(MatAssemblyEnd(A2, MAT_FINAL_ASSEMBLY));
7159566063dSJacob Faibussowitsch       PetscCall(MatViewFromOptions(A2, NULL, "-fixempty_view"));
7169566063dSJacob Faibussowitsch       PetscCall(CheckMat(A2, B2, PETSC_FALSE, "MatISFixLocalEmpty (rows+cols)"));
7179566063dSJacob Faibussowitsch       PetscCall(MatDestroy(&A2));
7189566063dSJacob Faibussowitsch       PetscCall(MatDestroy(&B2));
719c4762a1bSJed Brown     }
720c4762a1bSJed Brown   }
721c4762a1bSJed Brown 
722c4762a1bSJed Brown   /* test MatInvertBlockDiagonal
723c4762a1bSJed Brown        special cases for block-diagonal matrices */
724c4762a1bSJed Brown   if (m == n) {
725c4762a1bSJed Brown     ISLocalToGlobalMapping map;
726c4762a1bSJed Brown     Mat                    Abd, Bbd;
727c4762a1bSJed Brown     IS                     is, bis;
728c4762a1bSJed Brown     const PetscScalar     *isbd, *aijbd;
729c4762a1bSJed Brown     PetscScalar           *vals;
730c4762a1bSJed Brown     const PetscInt        *sts, *idxs;
731c4762a1bSJed Brown     PetscInt              *idxs2, diff, perm, nl, bs, st, en, in;
732c4762a1bSJed Brown     PetscBool              ok;
733c4762a1bSJed Brown 
734c4762a1bSJed Brown     for (diff = 0; diff < 3; diff++) {
735c4762a1bSJed Brown       for (perm = 0; perm < 3; perm++) {
736c4762a1bSJed Brown         for (bs = 1; bs < 4; bs++) {
7379566063dSJacob Faibussowitsch           PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatInvertBlockDiagonal blockdiag %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", n, diff, perm, bs));
7389566063dSJacob Faibussowitsch           PetscCall(PetscMalloc1(bs * bs, &vals));
7399566063dSJacob Faibussowitsch           PetscCall(MatGetOwnershipRanges(A, &sts));
740c4762a1bSJed Brown           switch (diff) {
741c4762a1bSJed Brown           case 1: /* inverted layout by processes */
742c4762a1bSJed Brown             in = 1;
743c4762a1bSJed Brown             st = sts[size - rank - 1];
744c4762a1bSJed Brown             en = sts[size - rank];
745c4762a1bSJed Brown             nl = en - st;
746c4762a1bSJed Brown             break;
747c4762a1bSJed Brown           case 2: /* round-robin layout */
748c4762a1bSJed Brown             in = size;
749c4762a1bSJed Brown             st = rank;
750c4762a1bSJed Brown             nl = n / size;
751c4762a1bSJed Brown             if (rank < n % size) nl++;
752c4762a1bSJed Brown             break;
753c4762a1bSJed Brown           default: /* same layout */
754c4762a1bSJed Brown             in = 1;
755c4762a1bSJed Brown             st = sts[rank];
756c4762a1bSJed Brown             en = sts[rank + 1];
757c4762a1bSJed Brown             nl = en - st;
758c4762a1bSJed Brown             break;
759c4762a1bSJed Brown           }
7609566063dSJacob Faibussowitsch           PetscCall(ISCreateStride(PETSC_COMM_WORLD, nl, st, in, &is));
7619566063dSJacob Faibussowitsch           PetscCall(ISGetLocalSize(is, &nl));
7629566063dSJacob Faibussowitsch           PetscCall(ISGetIndices(is, &idxs));
7639566063dSJacob Faibussowitsch           PetscCall(PetscMalloc1(nl, &idxs2));
764c4762a1bSJed Brown           for (i = 0; i < nl; i++) {
765c4762a1bSJed Brown             switch (perm) { /* invert some of the indices */
766d71ae5a4SJacob Faibussowitsch             case 2:
767d71ae5a4SJacob Faibussowitsch               idxs2[i] = rank % 2 ? idxs[i] : idxs[nl - i - 1];
768d71ae5a4SJacob Faibussowitsch               break;
769d71ae5a4SJacob Faibussowitsch             case 1:
770d71ae5a4SJacob Faibussowitsch               idxs2[i] = rank % 2 ? idxs[nl - i - 1] : idxs[i];
771d71ae5a4SJacob Faibussowitsch               break;
772d71ae5a4SJacob Faibussowitsch             default:
773d71ae5a4SJacob Faibussowitsch               idxs2[i] = idxs[i];
774d71ae5a4SJacob Faibussowitsch               break;
775c4762a1bSJed Brown             }
776c4762a1bSJed Brown           }
7779566063dSJacob Faibussowitsch           PetscCall(ISRestoreIndices(is, &idxs));
7789566063dSJacob Faibussowitsch           PetscCall(ISCreateBlock(PETSC_COMM_WORLD, bs, nl, idxs2, PETSC_OWN_POINTER, &bis));
7799566063dSJacob Faibussowitsch           PetscCall(ISLocalToGlobalMappingCreateIS(bis, &map));
7809566063dSJacob Faibussowitsch           PetscCall(MatCreateIS(PETSC_COMM_WORLD, bs, PETSC_DECIDE, PETSC_DECIDE, bs * n, bs * n, map, map, &Abd));
7819566063dSJacob Faibussowitsch           PetscCall(ISLocalToGlobalMappingDestroy(&map));
7829566063dSJacob Faibussowitsch           PetscCall(MatISSetPreallocation(Abd, bs, NULL, 0, NULL));
783c4762a1bSJed Brown           for (i = 0; i < nl; i++) {
784c4762a1bSJed Brown             PetscInt b1, b2;
785c4762a1bSJed Brown 
786c4762a1bSJed Brown             for (b1 = 0; b1 < bs; b1++) {
787ad540459SPierre Jolivet               for (b2 = 0; b2 < bs; b2++) vals[b1 * bs + b2] = i * bs * bs + b1 * bs + b2 + 1 + (b1 == b2 ? 1.0 : 0);
788c4762a1bSJed Brown             }
7899566063dSJacob Faibussowitsch             PetscCall(MatSetValuesBlockedLocal(Abd, 1, &i, 1, &i, vals, INSERT_VALUES));
790c4762a1bSJed Brown           }
7919566063dSJacob Faibussowitsch           PetscCall(MatAssemblyBegin(Abd, MAT_FINAL_ASSEMBLY));
7929566063dSJacob Faibussowitsch           PetscCall(MatAssemblyEnd(Abd, MAT_FINAL_ASSEMBLY));
7939566063dSJacob Faibussowitsch           PetscCall(MatConvert(Abd, MATAIJ, MAT_INITIAL_MATRIX, &Bbd));
7949566063dSJacob Faibussowitsch           PetscCall(MatInvertBlockDiagonal(Abd, &isbd));
7959566063dSJacob Faibussowitsch           PetscCall(MatInvertBlockDiagonal(Bbd, &aijbd));
7969566063dSJacob Faibussowitsch           PetscCall(MatGetLocalSize(Bbd, &nl, NULL));
797c4762a1bSJed Brown           ok = PETSC_TRUE;
798c4762a1bSJed Brown           for (i = 0; i < nl / bs; i++) {
799c4762a1bSJed Brown             PetscInt b1, b2;
800c4762a1bSJed Brown 
801c4762a1bSJed Brown             for (b1 = 0; b1 < bs; b1++) {
802c4762a1bSJed Brown               for (b2 = 0; b2 < bs; b2++) {
803c4762a1bSJed Brown                 if (PetscAbsScalar(isbd[i * bs * bs + b1 * bs + b2] - aijbd[i * bs * bs + b1 * bs + b2]) > PETSC_SMALL) ok = PETSC_FALSE;
804c4762a1bSJed Brown                 if (!ok) {
8059566063dSJacob Faibussowitsch                   PetscCall(PetscPrintf(PETSC_COMM_SELF, "[%d] ERROR block %" PetscInt_FMT ", entry %" PetscInt_FMT " %" PetscInt_FMT ": %g %g\n", rank, i, b1, b2, (double)PetscAbsScalar(isbd[i * bs * bs + b1 * bs + b2]), (double)PetscAbsScalar(aijbd[i * bs * bs + b1 * bs + b2])));
806c4762a1bSJed Brown                   break;
807c4762a1bSJed Brown                 }
808c4762a1bSJed Brown               }
809c4762a1bSJed Brown               if (!ok) break;
810c4762a1bSJed Brown             }
811c4762a1bSJed Brown             if (!ok) break;
812c4762a1bSJed Brown           }
8139566063dSJacob Faibussowitsch           PetscCall(MatDestroy(&Abd));
8149566063dSJacob Faibussowitsch           PetscCall(MatDestroy(&Bbd));
8159566063dSJacob Faibussowitsch           PetscCall(PetscFree(vals));
8169566063dSJacob Faibussowitsch           PetscCall(ISDestroy(&is));
8179566063dSJacob Faibussowitsch           PetscCall(ISDestroy(&bis));
818c4762a1bSJed Brown         }
819c4762a1bSJed Brown       }
820c4762a1bSJed Brown     }
821c4762a1bSJed Brown   }
822d0dbe9f7SStefano Zampini 
823d0dbe9f7SStefano Zampini   /* test MatGetDiagonalBlock */
824d0dbe9f7SStefano Zampini   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatGetDiagonalBlock\n"));
825d0dbe9f7SStefano Zampini   PetscCall(MatGetDiagonalBlock(A, &A2));
826d0dbe9f7SStefano Zampini   PetscCall(MatGetDiagonalBlock(B, &B2));
827d0dbe9f7SStefano Zampini   PetscCall(CheckMat(A2, B2, PETSC_FALSE, "MatGetDiagonalBlock"));
828d0dbe9f7SStefano Zampini   PetscCall(MatScale(A, 2.0));
829d0dbe9f7SStefano Zampini   PetscCall(MatScale(B, 2.0));
830d0dbe9f7SStefano Zampini   PetscCall(MatGetDiagonalBlock(A, &A2));
831d0dbe9f7SStefano Zampini   PetscCall(MatGetDiagonalBlock(B, &B2));
832d0dbe9f7SStefano Zampini   PetscCall(CheckMat(A2, B2, PETSC_FALSE, "MatGetDiagonalBlock"));
833d0dbe9f7SStefano Zampini 
8344f58015eSStefano Zampini   /* test MatISSetAllowRepeated on a MATIS */
8354f58015eSStefano Zampini   PetscCall(MatISSetAllowRepeated(A, allow_repeated));
8364f58015eSStefano Zampini   if (allow_repeated) { /* original MATIS maybe with repeated entries, test assembling of local matrices */
8374f58015eSStefano Zampini     Mat lA, lA2;
8384f58015eSStefano Zampini 
8394f58015eSStefano Zampini     for (PetscInt i = 0; i < 1; i++) { /* TODO: make MatScatter inherit from MATSHELL and support MatProducts */
8404f58015eSStefano Zampini       PetscBool usemult = PETSC_FALSE;
8414f58015eSStefano Zampini 
8424f58015eSStefano Zampini       PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &A2));
8434f58015eSStefano Zampini       if (i) {
8444f58015eSStefano Zampini         Mat tA;
8454f58015eSStefano Zampini 
8464f58015eSStefano Zampini         usemult = PETSC_TRUE;
8474f58015eSStefano Zampini         PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatISSetAllowRepeated(false) with possibly repeated entries and local shell matrices\n"));
8484f58015eSStefano Zampini         PetscCall(MatISGetLocalMat(A2, &lA2));
8494f58015eSStefano Zampini         PetscCall(MatConvert(lA2, MATSHELL, MAT_INITIAL_MATRIX, &tA));
8504f58015eSStefano Zampini         PetscCall(MatISRestoreLocalMat(A2, &lA2));
8514f58015eSStefano Zampini         PetscCall(MatISSetLocalMat(A2, tA));
8524f58015eSStefano Zampini         PetscCall(MatDestroy(&tA));
8534f58015eSStefano Zampini       } else {
8544f58015eSStefano Zampini         PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatISSetAllowRepeated(false) with possibly repeated entries\n"));
8554f58015eSStefano Zampini       }
8564f58015eSStefano Zampini       PetscCall(MatISSetAllowRepeated(A2, PETSC_FALSE));
8574f58015eSStefano Zampini       PetscCall(MatISGetLocalMat(A, &lA));
8584f58015eSStefano Zampini       PetscCall(MatISGetLocalMat(A2, &lA2));
8594f58015eSStefano Zampini       if (!repmap) PetscCall(CheckMat(lA, lA2, usemult, "MatISSetAllowRepeated(false) with non-repeated entries"));
8604f58015eSStefano Zampini       PetscCall(MatISRestoreLocalMat(A, &lA));
8614f58015eSStefano Zampini       PetscCall(MatISRestoreLocalMat(A2, &lA2));
8624f58015eSStefano Zampini       if (repmap) PetscCall(CheckMat(A2, B, usemult, "MatISSetAllowRepeated(false) with repeated entries"));
8634f58015eSStefano Zampini       else PetscCall(CheckMat(A2, B, usemult, "MatISSetAllowRepeated(false) with non-repeated entries"));
8644f58015eSStefano Zampini       PetscCall(MatDestroy(&A2));
8654f58015eSStefano Zampini     }
8664f58015eSStefano Zampini   } else { /* original matis with non-repeated entries, this should only recreate the local matrices */
8674f58015eSStefano Zampini     Mat       lA;
8684f58015eSStefano Zampini     PetscBool flg;
8694f58015eSStefano Zampini 
8704f58015eSStefano Zampini     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatISSetAllowRepeated(true) with non repeated entries\n"));
8714f58015eSStefano Zampini     PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &A2));
8724f58015eSStefano Zampini     PetscCall(MatISSetAllowRepeated(A2, PETSC_TRUE));
8734f58015eSStefano Zampini     PetscCall(MatISGetLocalMat(A2, &lA));
8744f58015eSStefano Zampini     PetscCall(MatAssembled(lA, &flg));
8754f58015eSStefano Zampini     PetscCheck(!flg, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Local mat should be unassembled");
8764f58015eSStefano Zampini     PetscCall(MatISRestoreLocalMat(A2, &lA));
8774f58015eSStefano Zampini     PetscCall(MatDestroy(&A2));
8784f58015eSStefano Zampini   }
8794f58015eSStefano Zampini 
880c4762a1bSJed Brown   /* free testing matrices */
8819566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingDestroy(&cmap));
8829566063dSJacob Faibussowitsch   PetscCall(ISLocalToGlobalMappingDestroy(&rmap));
8839566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
8849566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B));
8859566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
886b122ec5aSJacob Faibussowitsch   return 0;
887c4762a1bSJed Brown }
888c4762a1bSJed Brown 
889d71ae5a4SJacob Faibussowitsch PetscErrorCode CheckMat(Mat A, Mat B, PetscBool usemult, const char *func)
890d71ae5a4SJacob Faibussowitsch {
891c4762a1bSJed Brown   Mat       Bcheck;
892c4762a1bSJed Brown   PetscReal error;
893c4762a1bSJed Brown 
894c4762a1bSJed Brown   PetscFunctionBeginUser;
895c4762a1bSJed Brown   if (!usemult && B) {
896c4762a1bSJed Brown     PetscBool hasnorm;
897c4762a1bSJed Brown 
8989566063dSJacob Faibussowitsch     PetscCall(MatHasOperation(B, MATOP_NORM, &hasnorm));
899c4762a1bSJed Brown     if (!hasnorm) usemult = PETSC_TRUE;
900c4762a1bSJed Brown   }
901c4762a1bSJed Brown   if (!usemult) {
902c4762a1bSJed Brown     if (B) {
903c4762a1bSJed Brown       MatType Btype;
904c4762a1bSJed Brown 
9059566063dSJacob Faibussowitsch       PetscCall(MatGetType(B, &Btype));
9069566063dSJacob Faibussowitsch       PetscCall(MatConvert(A, Btype, MAT_INITIAL_MATRIX, &Bcheck));
907c4762a1bSJed Brown     } else {
9089566063dSJacob Faibussowitsch       PetscCall(MatConvert(A, MATAIJ, MAT_INITIAL_MATRIX, &Bcheck));
909c4762a1bSJed Brown     }
910c4762a1bSJed Brown     if (B) { /* if B is present, subtract it */
9119566063dSJacob Faibussowitsch       PetscCall(MatAXPY(Bcheck, -1., B, DIFFERENT_NONZERO_PATTERN));
912c4762a1bSJed Brown     }
9139566063dSJacob Faibussowitsch     PetscCall(MatNorm(Bcheck, NORM_INFINITY, &error));
914c4762a1bSJed Brown     if (error > PETSC_SQRT_MACHINE_EPSILON) {
915c4762a1bSJed Brown       ISLocalToGlobalMapping rl2g, cl2g;
916c4762a1bSJed Brown 
917d0dbe9f7SStefano Zampini       PetscCall(PetscObjectSetName((PetscObject)Bcheck, "Bcheck"));
9189566063dSJacob Faibussowitsch       PetscCall(MatView(Bcheck, NULL));
919c4762a1bSJed Brown       if (B) {
920d0dbe9f7SStefano Zampini         PetscCall(PetscObjectSetName((PetscObject)B, "B"));
9219566063dSJacob Faibussowitsch         PetscCall(MatView(B, NULL));
9229566063dSJacob Faibussowitsch         PetscCall(MatDestroy(&Bcheck));
9239566063dSJacob Faibussowitsch         PetscCall(MatConvert(A, MATAIJ, MAT_INITIAL_MATRIX, &Bcheck));
924d0dbe9f7SStefano Zampini         PetscCall(PetscObjectSetName((PetscObject)Bcheck, "Assembled A"));
9259566063dSJacob Faibussowitsch         PetscCall(MatView(Bcheck, NULL));
926c4762a1bSJed Brown       }
9279566063dSJacob Faibussowitsch       PetscCall(MatDestroy(&Bcheck));
928d0dbe9f7SStefano Zampini       PetscCall(PetscObjectSetName((PetscObject)A, "A"));
9299566063dSJacob Faibussowitsch       PetscCall(MatView(A, NULL));
9309566063dSJacob Faibussowitsch       PetscCall(MatGetLocalToGlobalMapping(A, &rl2g, &cl2g));
931d0dbe9f7SStefano Zampini       if (rl2g) PetscCall(ISLocalToGlobalMappingView(rl2g, NULL));
932d0dbe9f7SStefano Zampini       if (cl2g) PetscCall(ISLocalToGlobalMappingView(cl2g, NULL));
933d0dbe9f7SStefano Zampini       SETERRQ(PetscObjectComm((PetscObject)A), PETSC_ERR_PLIB, "ERROR ON %s: %g", func, (double)error);
934c4762a1bSJed Brown     }
9359566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&Bcheck));
936c4762a1bSJed Brown   } else {
937c4762a1bSJed Brown     PetscBool ok, okt;
938c4762a1bSJed Brown 
9399566063dSJacob Faibussowitsch     PetscCall(MatMultEqual(A, B, 3, &ok));
9409566063dSJacob Faibussowitsch     PetscCall(MatMultTransposeEqual(A, B, 3, &okt));
941e00437b9SBarry Smith     PetscCheck(ok && okt, PETSC_COMM_WORLD, PETSC_ERR_PLIB, "ERROR ON %s: mult ok ?  %d, multtranspose ok ? %d", func, ok, okt);
942c4762a1bSJed Brown   }
9433ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
944c4762a1bSJed Brown }
945c4762a1bSJed Brown 
946d71ae5a4SJacob Faibussowitsch PetscErrorCode TestMatZeroRows(Mat A, Mat Afull, PetscBool squaretest, IS is, PetscScalar diag)
947d71ae5a4SJacob Faibussowitsch {
948c4762a1bSJed Brown   Mat                    B, Bcheck, B2 = NULL, lB;
949c4762a1bSJed Brown   Vec                    x = NULL, b = NULL, b2 = NULL;
950c4762a1bSJed Brown   ISLocalToGlobalMapping l2gr, l2gc;
951c4762a1bSJed Brown   PetscReal              error;
952c4762a1bSJed Brown   char                   diagstr[16];
953c4762a1bSJed Brown   const PetscInt        *idxs;
954c4762a1bSJed Brown   PetscInt               rst, ren, i, n, N, d;
955c4762a1bSJed Brown   PetscMPIInt            rank;
956c4762a1bSJed Brown   PetscBool              miss, haszerorows;
957c4762a1bSJed Brown 
958c4762a1bSJed Brown   PetscFunctionBeginUser;
959c4762a1bSJed Brown   if (diag == 0.) {
960c6a7a370SJeremy L Thompson     PetscCall(PetscStrncpy(diagstr, "zero", sizeof(diagstr)));
961c4762a1bSJed Brown   } else {
962c6a7a370SJeremy L Thompson     PetscCall(PetscStrncpy(diagstr, "nonzero", sizeof(diagstr)));
963c4762a1bSJed Brown   }
9649566063dSJacob Faibussowitsch   PetscCall(ISView(is, NULL));
9659566063dSJacob Faibussowitsch   PetscCall(MatGetLocalToGlobalMapping(A, &l2gr, &l2gc));
966c4762a1bSJed Brown   /* tests MatDuplicate and MatCopy */
967c4762a1bSJed Brown   if (diag == 0.) {
9689566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(A, MAT_COPY_VALUES, &B));
969c4762a1bSJed Brown   } else {
9709566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(A, MAT_DO_NOT_COPY_VALUES, &B));
9719566063dSJacob Faibussowitsch     PetscCall(MatCopy(A, B, SAME_NONZERO_PATTERN));
972c4762a1bSJed Brown   }
9739566063dSJacob Faibussowitsch   PetscCall(MatISGetLocalMat(B, &lB));
9749566063dSJacob Faibussowitsch   PetscCall(MatHasOperation(lB, MATOP_ZERO_ROWS, &haszerorows));
975c4762a1bSJed Brown   if (squaretest && haszerorows) {
9769566063dSJacob Faibussowitsch     PetscCall(MatCreateVecs(B, &x, &b));
9779566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(B, MAT_COPY_VALUES, &B2));
9789566063dSJacob Faibussowitsch     PetscCall(VecSetLocalToGlobalMapping(b, l2gr));
9799566063dSJacob Faibussowitsch     PetscCall(VecSetLocalToGlobalMapping(x, l2gc));
9809566063dSJacob Faibussowitsch     PetscCall(VecSetRandom(x, NULL));
9819566063dSJacob Faibussowitsch     PetscCall(VecSetRandom(b, NULL));
982c4762a1bSJed Brown     /* mimic b[is] = x[is] */
9839566063dSJacob Faibussowitsch     PetscCall(VecDuplicate(b, &b2));
9849566063dSJacob Faibussowitsch     PetscCall(VecSetLocalToGlobalMapping(b2, l2gr));
9859566063dSJacob Faibussowitsch     PetscCall(VecCopy(b, b2));
9869566063dSJacob Faibussowitsch     PetscCall(ISGetLocalSize(is, &n));
9879566063dSJacob Faibussowitsch     PetscCall(ISGetIndices(is, &idxs));
9889566063dSJacob Faibussowitsch     PetscCall(VecGetSize(x, &N));
989c4762a1bSJed Brown     for (i = 0; i < n; i++) {
990c4762a1bSJed Brown       if (0 <= idxs[i] && idxs[i] < N) {
9919566063dSJacob Faibussowitsch         PetscCall(VecSetValue(b2, idxs[i], diag, INSERT_VALUES));
9929566063dSJacob Faibussowitsch         PetscCall(VecSetValue(x, idxs[i], 1., INSERT_VALUES));
993c4762a1bSJed Brown       }
994c4762a1bSJed Brown     }
9959566063dSJacob Faibussowitsch     PetscCall(VecAssemblyBegin(b2));
9969566063dSJacob Faibussowitsch     PetscCall(VecAssemblyEnd(b2));
9979566063dSJacob Faibussowitsch     PetscCall(VecAssemblyBegin(x));
9989566063dSJacob Faibussowitsch     PetscCall(VecAssemblyEnd(x));
9999566063dSJacob Faibussowitsch     PetscCall(ISRestoreIndices(is, &idxs));
1000c4762a1bSJed Brown     /*  test ZeroRows on MATIS */
10019566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatZeroRows (diag %s)\n", diagstr));
10029566063dSJacob Faibussowitsch     PetscCall(MatZeroRowsIS(B, is, diag, x, b));
10039566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatZeroRowsColumns (diag %s)\n", diagstr));
10049566063dSJacob Faibussowitsch     PetscCall(MatZeroRowsColumnsIS(B2, is, diag, NULL, NULL));
1005c4762a1bSJed Brown   } else if (haszerorows) {
1006c4762a1bSJed Brown     /*  test ZeroRows on MATIS */
10079566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatZeroRows (diag %s)\n", diagstr));
10089566063dSJacob Faibussowitsch     PetscCall(MatZeroRowsIS(B, is, diag, NULL, NULL));
1009c4762a1bSJed Brown     b = b2 = x = NULL;
1010c4762a1bSJed Brown   } else {
10119566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Skipping MatZeroRows (diag %s)\n", diagstr));
1012c4762a1bSJed Brown     b = b2 = x = NULL;
1013c4762a1bSJed Brown   }
1014c4762a1bSJed Brown 
1015c4762a1bSJed Brown   if (squaretest && haszerorows) {
10169566063dSJacob Faibussowitsch     PetscCall(VecAXPY(b2, -1., b));
10179566063dSJacob Faibussowitsch     PetscCall(VecNorm(b2, NORM_INFINITY, &error));
1018e00437b9SBarry Smith     PetscCheck(error <= PETSC_SQRT_MACHINE_EPSILON, PETSC_COMM_WORLD, PETSC_ERR_PLIB, "ERROR IN ZEROROWS ON B %g (diag %s)", (double)error, diagstr);
1019c4762a1bSJed Brown   }
1020c4762a1bSJed Brown 
1021c4762a1bSJed Brown   /* test MatMissingDiagonal */
10229566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Test MatMissingDiagonal\n"));
10239566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank));
10249566063dSJacob Faibussowitsch   PetscCall(MatMissingDiagonal(B, &miss, &d));
10259566063dSJacob Faibussowitsch   PetscCall(MatGetOwnershipRange(B, &rst, &ren));
10269566063dSJacob Faibussowitsch   PetscCall(PetscViewerASCIIPushSynchronized(PETSC_VIEWER_STDOUT_WORLD));
10279566063dSJacob Faibussowitsch   PetscCall(PetscViewerASCIISynchronizedPrintf(PETSC_VIEWER_STDOUT_WORLD, "[%d] [%" PetscInt_FMT ",%" PetscInt_FMT ") Missing %d, row %" PetscInt_FMT " (diag %s)\n", rank, rst, ren, (int)miss, d, diagstr));
10289566063dSJacob Faibussowitsch   PetscCall(PetscViewerFlush(PETSC_VIEWER_STDOUT_WORLD));
10299566063dSJacob Faibussowitsch   PetscCall(PetscViewerASCIIPopSynchronized(PETSC_VIEWER_STDOUT_WORLD));
1030c4762a1bSJed Brown 
10319566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
10329566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&b));
10339566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&b2));
1034c4762a1bSJed Brown 
1035c4762a1bSJed Brown   /* check the result of ZeroRows with that from MPIAIJ routines
1036c4762a1bSJed Brown      assuming that MatConvert_IS_XAIJ and MatZeroRows_MPIAIJ work fine */
1037c4762a1bSJed Brown   if (haszerorows) {
10389566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(Afull, MAT_COPY_VALUES, &Bcheck));
10399566063dSJacob Faibussowitsch     PetscCall(MatSetOption(Bcheck, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_FALSE));
10409566063dSJacob Faibussowitsch     PetscCall(MatZeroRowsIS(Bcheck, is, diag, NULL, NULL));
10419566063dSJacob Faibussowitsch     PetscCall(CheckMat(B, Bcheck, PETSC_FALSE, "Zerorows"));
10429566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&Bcheck));
1043c4762a1bSJed Brown   }
10449566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B));
1045c4762a1bSJed Brown 
1046c4762a1bSJed Brown   if (B2) { /* test MatZeroRowsColumns */
10479566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(Afull, MAT_COPY_VALUES, &B));
10489566063dSJacob Faibussowitsch     PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_FALSE));
10499566063dSJacob Faibussowitsch     PetscCall(MatZeroRowsColumnsIS(B, is, diag, NULL, NULL));
10509566063dSJacob Faibussowitsch     PetscCall(CheckMat(B2, B, PETSC_FALSE, "MatZeroRowsColumns"));
10519566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&B));
10529566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&B2));
1053c4762a1bSJed Brown   }
10543ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
1055c4762a1bSJed Brown }
1056c4762a1bSJed Brown 
1057c4762a1bSJed Brown /*TEST
1058c4762a1bSJed Brown 
1059c4762a1bSJed Brown    test:
1060*5042aa92SStefano Zampini       requires: !complex
1061*5042aa92SStefano Zampini       args: -test_matlab -test_trans
1062c4762a1bSJed Brown 
1063c4762a1bSJed Brown    test:
1064c4762a1bSJed Brown       suffix: 2
1065c4762a1bSJed Brown       nsize: 4
10664f58015eSStefano Zampini       args: -mat_is_convert_local_nest -nr 3 -nc 4
1067c4762a1bSJed Brown 
1068c4762a1bSJed Brown    test:
1069c4762a1bSJed Brown       suffix: 3
1070c4762a1bSJed Brown       nsize: 5
10714f58015eSStefano Zampini       args: -m 11 -n 10 -mat_is_convert_local_nest -nr 2 -nc 1
1072c4762a1bSJed Brown 
1073c4762a1bSJed Brown    test:
1074c4762a1bSJed Brown       suffix: 4
1075c4762a1bSJed Brown       nsize: 6
1076c4762a1bSJed Brown       args: -m 9 -n 12 -test_trans -nr 2 -nc 7
1077c4762a1bSJed Brown 
1078c4762a1bSJed Brown    test:
1079c4762a1bSJed Brown       suffix: 5
1080c4762a1bSJed Brown       nsize: 6
1081c4762a1bSJed Brown       args: -m 12 -n 12 -test_trans -nr 3 -nc 1
1082c4762a1bSJed Brown 
1083c4762a1bSJed Brown    test:
1084c4762a1bSJed Brown       suffix: 6
1085c4762a1bSJed Brown       args: -m 12 -n 12 -test_trans -nr 2 -nc 3 -diffmap
1086c4762a1bSJed Brown 
1087c4762a1bSJed Brown    test:
1088c4762a1bSJed Brown       suffix: 7
1089c4762a1bSJed Brown       args: -m 12 -n 12 -test_trans -nr 2 -nc 3 -diffmap -permmap
1090c4762a1bSJed Brown 
1091c4762a1bSJed Brown    test:
1092c4762a1bSJed Brown       suffix: 8
1093c4762a1bSJed Brown       args: -m 12 -n 17 -test_trans -nr 2 -nc 3 -permmap
1094c4762a1bSJed Brown 
1095c4762a1bSJed Brown    test:
1096c4762a1bSJed Brown       suffix: 9
1097c4762a1bSJed Brown       nsize: 5
1098c4762a1bSJed Brown       args: -m 12 -n 12 -test_trans -nr 2 -nc 3 -diffmap
1099c4762a1bSJed Brown 
1100c4762a1bSJed Brown    test:
1101c4762a1bSJed Brown       suffix: 10
1102c4762a1bSJed Brown       nsize: 5
1103c4762a1bSJed Brown       args: -m 12 -n 12 -test_trans -nr 2 -nc 3 -diffmap -permmap
1104c4762a1bSJed Brown 
1105c20d7725SJed Brown    test:
1106c20d7725SJed Brown       suffix: vscat_default
1107c4762a1bSJed Brown       nsize: 5
1108c4762a1bSJed Brown       args: -m 12 -n 17 -test_trans -nr 2 -nc 3 -permmap
1109c4762a1bSJed Brown       output_file: output/ex23_11.out
1110c4762a1bSJed Brown 
1111c4762a1bSJed Brown    test:
1112c4762a1bSJed Brown       suffix: 12
1113c4762a1bSJed Brown       nsize: 3
11144f58015eSStefano Zampini       args: -m 12 -n 12 -symmetric -mat_is_localmat_type sbaij -test_trans -nr 2 -nc 3
1115c4762a1bSJed Brown 
1116c4762a1bSJed Brown    testset:
1117c4762a1bSJed Brown       output_file: output/ex23_13.out
1118c4762a1bSJed Brown       nsize: 3
1119c4762a1bSJed Brown       args: -m 12 -n 17 -test_trans -nr 2 -nc 3 -diffmap -permmap
1120*5042aa92SStefano Zampini       filter: grep -v "type:" | grep -v "block size is 1" | grep -v "not using I-node routines"
1121c4762a1bSJed Brown       test:
1122c4762a1bSJed Brown         suffix: baij
11234f58015eSStefano Zampini         args: -mat_is_localmat_type baij
1124c4762a1bSJed Brown       test:
1125c4762a1bSJed Brown         requires: viennacl
1126c4762a1bSJed Brown         suffix: viennacl
11274f58015eSStefano Zampini         args: -mat_is_localmat_type aijviennacl
1128c4762a1bSJed Brown       test:
1129c4762a1bSJed Brown         requires: cuda
1130c4762a1bSJed Brown         suffix: cusparse
11314f58015eSStefano Zampini         args: -mat_is_localmat_type aijcusparse
1132*5042aa92SStefano Zampini       test:
1133*5042aa92SStefano Zampini         requires: kokkos_kernels
1134*5042aa92SStefano Zampini         suffix: kokkos
1135*5042aa92SStefano Zampini         args: -mat_is_localmat_type aijkokkos
1136c4762a1bSJed Brown 
1137e432b41dSStefano Zampini    test:
1138e432b41dSStefano Zampini       suffix: negrep
1139e432b41dSStefano Zampini       nsize: {{1 3}separate output}
11404f58015eSStefano Zampini       args: -m {{5 7}separate output} -n {{5 7}separate output} -test_trans -nr 2 -nc 3 -negmap {{0 1}separate output} -repmap {{0 1}separate output} -permmap -diffmap {{0 1}separate output} -allow_repeated 0
11414f58015eSStefano Zampini 
11424f58015eSStefano Zampini    test:
11434f58015eSStefano Zampini       suffix: negrep_allowrep
11444f58015eSStefano Zampini       nsize: {{1 3}separate output}
11454f58015eSStefano Zampini       args: -m {{5 7}separate output} -n {{5 7}separate output} -test_trans -nr 2 -nc 3 -negmap {{0 1}separate output} -repmap {{0 1}separate output} -permmap -diffmap {{0 1}separate output} -allow_repeated
1146e432b41dSStefano Zampini 
1147c4762a1bSJed Brown TEST*/
1148