xref: /petsc/src/dm/impls/plex/tests/ex10.c (revision 2c71b3e237ead271e4f3aa1505f92bf476e3413d)
1c4762a1bSJed Brown static char help[] = "Test for mesh reordering\n\n";
2c4762a1bSJed Brown 
3c4762a1bSJed Brown #include <petscdmplex.h>
4c4762a1bSJed Brown 
5c4762a1bSJed Brown typedef struct {
6c4762a1bSJed Brown   PetscInt  dim;               /* The topological mesh dimension */
7c4762a1bSJed Brown   PetscReal refinementLimit;   /* Maximum volume of a refined cell */
8c4762a1bSJed Brown   PetscInt  numFields;         /* The number of section fields */
9c4762a1bSJed Brown   PetscInt *numComponents;     /* The number of field components */
10c4762a1bSJed Brown   PetscInt *numDof;            /* The dof signature for the section */
11c4762a1bSJed Brown   PetscInt  numGroups;         /* If greater than 1, use grouping in test */
12c4762a1bSJed Brown } AppCtx;
13c4762a1bSJed Brown 
14c4762a1bSJed Brown PetscErrorCode ProcessOptions(AppCtx *options)
15c4762a1bSJed Brown {
16c4762a1bSJed Brown   PetscInt       len;
17c4762a1bSJed Brown   PetscBool      flg;
18c4762a1bSJed Brown   PetscErrorCode ierr;
19c4762a1bSJed Brown 
20c4762a1bSJed Brown   PetscFunctionBegin;
21c4762a1bSJed Brown   options->numFields     = 1;
22c4762a1bSJed Brown   options->numComponents = NULL;
23c4762a1bSJed Brown   options->numDof        = NULL;
24c4762a1bSJed Brown   options->numGroups     = 0;
25c4762a1bSJed Brown 
26c4762a1bSJed Brown   ierr = PetscOptionsBegin(PETSC_COMM_SELF, "", "Meshing Problem Options", "DMPLEX");CHKERRQ(ierr);
27c4762a1bSJed Brown   ierr = PetscOptionsBoundedInt("-num_fields", "The number of section fields", "ex10.c", options->numFields, &options->numFields, NULL,1);CHKERRQ(ierr);
28c4762a1bSJed Brown   if (options->numFields) {
29c4762a1bSJed Brown     len  = options->numFields;
30c4762a1bSJed Brown     ierr = PetscCalloc1(len, &options->numComponents);CHKERRQ(ierr);
31c4762a1bSJed Brown     ierr = PetscOptionsIntArray("-num_components", "The number of components per field", "ex10.c", options->numComponents, &len, &flg);CHKERRQ(ierr);
32*2c71b3e2SJacob Faibussowitsch     PetscCheckFalse(flg && (len != options->numFields),PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Length of components array is %D should be %D", len, options->numFields);
33c4762a1bSJed Brown   }
34c4762a1bSJed Brown   ierr = PetscOptionsBoundedInt("-num_groups", "Group permutation by this many label values", "ex10.c", options->numGroups, &options->numGroups, NULL,0);CHKERRQ(ierr);
35c4762a1bSJed Brown   ierr = PetscOptionsEnd();CHKERRQ(ierr);
36c4762a1bSJed Brown   PetscFunctionReturn(0);
37c4762a1bSJed Brown }
38c4762a1bSJed Brown 
39c4762a1bSJed Brown PetscErrorCode CleanupContext(AppCtx *user)
40c4762a1bSJed Brown {
41c4762a1bSJed Brown   PetscErrorCode ierr;
42c4762a1bSJed Brown 
43c4762a1bSJed Brown   PetscFunctionBegin;
44c4762a1bSJed Brown   ierr = PetscFree(user->numComponents);CHKERRQ(ierr);
45c4762a1bSJed Brown   ierr = PetscFree(user->numDof);CHKERRQ(ierr);
46c4762a1bSJed Brown   PetscFunctionReturn(0);
47c4762a1bSJed Brown }
48c4762a1bSJed Brown 
49c4762a1bSJed Brown /* This mesh comes from~\cite{saad2003}, Fig. 2.10, p. 70. */
50c4762a1bSJed Brown PetscErrorCode CreateTestMesh(MPI_Comm comm, DM *dm, AppCtx *options)
51c4762a1bSJed Brown {
52a4a685f2SJacob Faibussowitsch   const PetscInt    cells[16*3]  = {6, 7, 8,   7, 9, 10,  10, 11, 12,  11, 13, 14,   0,  6, 8,  6,  2,  7,   1, 8,  7,   1,  7, 10,
53c4762a1bSJed Brown                                     2, 9, 7,  10, 9,  4,   1, 10, 12,  10,  4, 11,  12, 11, 3,  3, 11, 14,  11, 4, 13,  14, 13,  5};
54a4a685f2SJacob Faibussowitsch   const PetscReal   coords[15*2] = {0, -3,  0, -1,  2, -1,  0,  1,  2, 1,
55c4762a1bSJed Brown                                     0,  3,  1, -2,  1, -1,  0, -2,  2, 0,
56c4762a1bSJed Brown                                     1,  0,  1,  1,  0,  0,  1,  2,  0, 2};
57c4762a1bSJed Brown   PetscErrorCode ierr;
58c4762a1bSJed Brown 
59c4762a1bSJed Brown   PetscFunctionBegin;
600fdc7489SMatthew Knepley   ierr = DMPlexCreateFromCellListPetsc(comm, 2, 16, 15, 3, PETSC_FALSE, cells, 2, coords, dm);CHKERRQ(ierr);
61c4762a1bSJed Brown   PetscFunctionReturn(0);
62c4762a1bSJed Brown }
63c4762a1bSJed Brown 
64c4762a1bSJed Brown PetscErrorCode TestReordering(DM dm, AppCtx *user)
65c4762a1bSJed Brown {
66c4762a1bSJed Brown   DM              pdm;
67c4762a1bSJed Brown   IS              perm;
68c4762a1bSJed Brown   Mat             A, pA;
69c4762a1bSJed Brown   PetscInt        bw, pbw;
70c4762a1bSJed Brown   MatOrderingType order = MATORDERINGRCM;
71c4762a1bSJed Brown   PetscErrorCode  ierr;
72c4762a1bSJed Brown 
73c4762a1bSJed Brown   PetscFunctionBegin;
74c4762a1bSJed Brown   ierr = DMPlexGetOrdering(dm, order, NULL, &perm);CHKERRQ(ierr);
75c4762a1bSJed Brown   ierr = DMPlexPermute(dm, perm, &pdm);CHKERRQ(ierr);
760fdc7489SMatthew Knepley   ierr = PetscObjectSetOptionsPrefix((PetscObject) pdm, "perm_");CHKERRQ(ierr);
77c4762a1bSJed Brown   ierr = DMSetFromOptions(pdm);CHKERRQ(ierr);
78c4762a1bSJed Brown   ierr = ISDestroy(&perm);CHKERRQ(ierr);
790fdc7489SMatthew Knepley   ierr = DMViewFromOptions(dm,  NULL, "-orig_dm_view");CHKERRQ(ierr);
800fdc7489SMatthew Knepley   ierr = DMViewFromOptions(pdm, NULL, "-dm_view");CHKERRQ(ierr);
81c4762a1bSJed Brown   ierr = DMCreateMatrix(dm, &A);CHKERRQ(ierr);
82c4762a1bSJed Brown   ierr = DMCreateMatrix(pdm, &pA);CHKERRQ(ierr);
83c4762a1bSJed Brown   ierr = MatComputeBandwidth(A, 0.0, &bw);CHKERRQ(ierr);
84c4762a1bSJed Brown   ierr = MatComputeBandwidth(pA, 0.0, &pbw);CHKERRQ(ierr);
850fdc7489SMatthew Knepley   ierr = MatViewFromOptions(A,  NULL, "-orig_mat_view");CHKERRQ(ierr);
860fdc7489SMatthew Knepley   ierr = MatViewFromOptions(pA, NULL, "-perm_mat_view");CHKERRQ(ierr);
87c4762a1bSJed Brown   ierr = MatDestroy(&A);CHKERRQ(ierr);
88c4762a1bSJed Brown   ierr = MatDestroy(&pA);CHKERRQ(ierr);
89c4762a1bSJed Brown   ierr = DMDestroy(&pdm);CHKERRQ(ierr);
90c4762a1bSJed Brown   if (pbw > bw) {
91c4762a1bSJed Brown     ierr = PetscPrintf(PetscObjectComm((PetscObject) dm), "Ordering method %s increased bandwidth from %D to %D\n", order, bw, pbw);CHKERRQ(ierr);
92c4762a1bSJed Brown   } else {
93c4762a1bSJed Brown     ierr = PetscPrintf(PetscObjectComm((PetscObject) dm), "Ordering method %s reduced bandwidth from %D to %D\n", order, bw, pbw);CHKERRQ(ierr);
94c4762a1bSJed Brown   }
95c4762a1bSJed Brown   PetscFunctionReturn(0);
96c4762a1bSJed Brown }
97c4762a1bSJed Brown 
98c4762a1bSJed Brown PetscErrorCode CreateGroupLabel(DM dm, PetscInt numGroups, DMLabel *label, AppCtx *options)
99c4762a1bSJed Brown {
100c4762a1bSJed Brown   const PetscInt groupA[10] = {15, 3, 13, 12, 2, 10, 7, 6, 0, 4};
101c4762a1bSJed Brown   const PetscInt groupB[6]  = {14, 11, 9, 1, 8, 5};
102c4762a1bSJed Brown   PetscInt       c;
103c4762a1bSJed Brown   PetscErrorCode ierr;
104c4762a1bSJed Brown 
105c4762a1bSJed Brown   PetscFunctionBegin;
106c4762a1bSJed Brown   if (numGroups < 2) {*label = NULL; PetscFunctionReturn(0);}
107*2c71b3e2SJacob Faibussowitsch   PetscCheckFalse(numGroups != 2,PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Test only coded for 2 groups, not %D", numGroups);
108c4762a1bSJed Brown   ierr = DMLabelCreate(PETSC_COMM_SELF, "groups", label);CHKERRQ(ierr);
109c4762a1bSJed Brown   for (c = 0; c < 10; ++c) {ierr = DMLabelSetValue(*label, groupA[c], 101);CHKERRQ(ierr);}
110c4762a1bSJed Brown   for (c = 0; c < 6;  ++c) {ierr = DMLabelSetValue(*label, groupB[c], 1001);CHKERRQ(ierr);}
111c4762a1bSJed Brown   PetscFunctionReturn(0);
112c4762a1bSJed Brown }
113c4762a1bSJed Brown 
114c4762a1bSJed Brown PetscErrorCode TestReorderingByGroup(DM dm, AppCtx *user)
115c4762a1bSJed Brown {
116c4762a1bSJed Brown   DM              pdm;
117c4762a1bSJed Brown   DMLabel         label;
118c4762a1bSJed Brown   Mat             A, pA;
119c4762a1bSJed Brown   MatOrderingType order = MATORDERINGRCM;
120c4762a1bSJed Brown   IS              perm;
121c4762a1bSJed Brown   PetscErrorCode  ierr;
122c4762a1bSJed Brown 
123c4762a1bSJed Brown   PetscFunctionBegin;
124c4762a1bSJed Brown   ierr = CreateGroupLabel(dm, user->numGroups, &label, user);CHKERRQ(ierr);
125c4762a1bSJed Brown   ierr = DMPlexGetOrdering(dm, order, label, &perm);CHKERRQ(ierr);
126c4762a1bSJed Brown   ierr = DMLabelDestroy(&label);CHKERRQ(ierr);
127c4762a1bSJed Brown   ierr = DMPlexPermute(dm, perm, &pdm);CHKERRQ(ierr);
1280fdc7489SMatthew Knepley   ierr = PetscObjectSetOptionsPrefix((PetscObject) pdm, "perm_");CHKERRQ(ierr);
129c4762a1bSJed Brown   ierr = DMSetFromOptions(pdm);CHKERRQ(ierr);
1300fdc7489SMatthew Knepley   ierr = DMViewFromOptions(dm,  NULL, "-orig_dm_view");CHKERRQ(ierr);
1310fdc7489SMatthew Knepley   ierr = DMViewFromOptions(pdm, NULL, "-perm_dm_view");CHKERRQ(ierr);
132c4762a1bSJed Brown   ierr = ISDestroy(&perm);CHKERRQ(ierr);
133c4762a1bSJed Brown   ierr = DMCreateMatrix(dm, &A);CHKERRQ(ierr);
134c4762a1bSJed Brown   ierr = DMCreateMatrix(pdm, &pA);CHKERRQ(ierr);
135c4762a1bSJed Brown   ierr = MatViewFromOptions(A,  NULL, "-orig_mat_view");CHKERRQ(ierr);
136c4762a1bSJed Brown   ierr = MatViewFromOptions(pA, NULL, "-perm_mat_view");CHKERRQ(ierr);
137c4762a1bSJed Brown   ierr = MatDestroy(&A);CHKERRQ(ierr);
138c4762a1bSJed Brown   ierr = MatDestroy(&pA);CHKERRQ(ierr);
139c4762a1bSJed Brown   ierr = DMDestroy(&pdm);CHKERRQ(ierr);
140c4762a1bSJed Brown   PetscFunctionReturn(0);
141c4762a1bSJed Brown }
142c4762a1bSJed Brown 
143c4762a1bSJed Brown int main(int argc, char **argv)
144c4762a1bSJed Brown {
145c4762a1bSJed Brown   DM             dm;
146c4762a1bSJed Brown   PetscSection   s;
147c4762a1bSJed Brown   AppCtx         user;
14830602db0SMatthew G. Knepley   PetscInt       dim;
149c4762a1bSJed Brown   PetscErrorCode ierr;
150c4762a1bSJed Brown 
151c4762a1bSJed Brown   ierr = PetscInitialize(&argc, &argv, NULL, help);if (ierr) return ierr;
152c4762a1bSJed Brown   ierr = ProcessOptions(&user);CHKERRQ(ierr);
153c4762a1bSJed Brown   if (user.numGroups < 1) {
15430602db0SMatthew G. Knepley     ierr = DMCreate(PETSC_COMM_WORLD, &dm);CHKERRQ(ierr);
15530602db0SMatthew G. Knepley     ierr = DMSetType(dm, DMPLEX);CHKERRQ(ierr);
15630602db0SMatthew G. Knepley   } else {
15730602db0SMatthew G. Knepley     ierr = CreateTestMesh(PETSC_COMM_WORLD, &dm, &user);CHKERRQ(ierr);
1580fdc7489SMatthew Knepley   }
159c4762a1bSJed Brown   ierr = DMSetFromOptions(dm);CHKERRQ(ierr);
16030602db0SMatthew G. Knepley   ierr = DMViewFromOptions(dm, NULL, "-dm_view");CHKERRQ(ierr);
16130602db0SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
16230602db0SMatthew G. Knepley   {
16330602db0SMatthew G. Knepley     PetscInt  len = (dim+1) * PetscMax(1, user.numFields);
16430602db0SMatthew G. Knepley     PetscBool flg;
16530602db0SMatthew G. Knepley 
16630602db0SMatthew G. Knepley     ierr = PetscMalloc1(len, &user.numDof);CHKERRQ(ierr);
16730602db0SMatthew G. Knepley     ierr = PetscOptionsBegin(PETSC_COMM_SELF, "", "Meshing Problem Options", "DMPLEX");CHKERRQ(ierr);
16830602db0SMatthew G. Knepley     ierr = PetscOptionsIntArray("-num_dof", "The dof signature for the section", "ex10.c", user.numDof, &len, &flg);CHKERRQ(ierr);
169*2c71b3e2SJacob Faibussowitsch     PetscCheckFalse(flg && (len != (dim+1) * PetscMax(1, user.numFields)),PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Length of dof array is %D should be %D", len, (dim+1) * PetscMax(1, user.numFields));
17030602db0SMatthew G. Knepley     ierr = PetscOptionsEnd();CHKERRQ(ierr);
17130602db0SMatthew G. Knepley   }
17230602db0SMatthew G. Knepley   if (user.numGroups < 1) {
173c4762a1bSJed Brown     ierr = DMSetNumFields(dm, user.numFields);CHKERRQ(ierr);
174c4762a1bSJed Brown     ierr = DMCreateDS(dm);CHKERRQ(ierr);
175c4762a1bSJed Brown     ierr = DMPlexCreateSection(dm, NULL, user.numComponents, user.numDof, 0, NULL, NULL, NULL, NULL, &s);CHKERRQ(ierr);
176c4762a1bSJed Brown     ierr = DMSetLocalSection(dm, s);CHKERRQ(ierr);
177c4762a1bSJed Brown     ierr = PetscSectionDestroy(&s);CHKERRQ(ierr);
178c4762a1bSJed Brown     ierr = TestReordering(dm, &user);CHKERRQ(ierr);
179c4762a1bSJed Brown   } else {
180c4762a1bSJed Brown     ierr = DMSetNumFields(dm, user.numFields);CHKERRQ(ierr);
181c4762a1bSJed Brown     ierr = DMCreateDS(dm);CHKERRQ(ierr);
182c4762a1bSJed Brown     ierr = DMPlexCreateSection(dm, NULL, user.numComponents, user.numDof, 0, NULL, NULL, NULL, NULL, &s);CHKERRQ(ierr);
183c4762a1bSJed Brown     ierr = DMSetLocalSection(dm, s);CHKERRQ(ierr);
184c4762a1bSJed Brown     ierr = PetscSectionDestroy(&s);CHKERRQ(ierr);
185c4762a1bSJed Brown     ierr = TestReorderingByGroup(dm, &user);CHKERRQ(ierr);
186c4762a1bSJed Brown   }
187c4762a1bSJed Brown   ierr = DMDestroy(&dm);CHKERRQ(ierr);
188c4762a1bSJed Brown   ierr = CleanupContext(&user);CHKERRQ(ierr);
189c4762a1bSJed Brown   ierr = PetscFinalize();
190c4762a1bSJed Brown   return ierr;
191c4762a1bSJed Brown }
192c4762a1bSJed Brown 
193c4762a1bSJed Brown /*TEST
194c4762a1bSJed Brown 
195c4762a1bSJed Brown   # Two cell tests 0-3
196c4762a1bSJed Brown   test:
197c4762a1bSJed Brown     suffix: 0
1980fdc7489SMatthew Knepley     requires: triangle
19930602db0SMatthew G. Knepley     args: -dm_plex_simplex 1 -num_dof 1,0,0 -mat_view -dm_coord_space 0
200c4762a1bSJed Brown   test:
201c4762a1bSJed Brown     suffix: 1
20230602db0SMatthew G. Knepley     args: -dm_plex_simplex 0 -num_dof 1,0,0 -mat_view -dm_coord_space 0
203c4762a1bSJed Brown   test:
204c4762a1bSJed Brown     suffix: 2
2050fdc7489SMatthew Knepley     requires: ctetgen
20630602db0SMatthew G. Knepley     args: -dm_plex_dim 3 -dm_plex_simplex 1 -num_dof 1,0,0,0 -mat_view -dm_coord_space 0
207c4762a1bSJed Brown   test:
208c4762a1bSJed Brown     suffix: 3
20930602db0SMatthew G. Knepley     args: -dm_plex_dim 3 -dm_plex_simplex 0 -num_dof 1,0,0,0 -mat_view -dm_coord_space 0
210c4762a1bSJed Brown   # Refined tests 4-7
211c4762a1bSJed Brown   test:
212c4762a1bSJed Brown     suffix: 4
213c4762a1bSJed Brown     requires: triangle
21430602db0SMatthew G. Knepley     args: -dm_plex_simplex 1 -dm_refine_volume_limit_pre 0.00625 -num_dof 1,0,0
215c4762a1bSJed Brown   test:
216c4762a1bSJed Brown     suffix: 5
21730602db0SMatthew G. Knepley     args: -dm_plex_simplex 0 -dm_refine 1 -num_dof 1,0,0
218c4762a1bSJed Brown   test:
219c4762a1bSJed Brown     suffix: 6
220c4762a1bSJed Brown     requires: ctetgen
22130602db0SMatthew G. Knepley     args: -dm_plex_dim 3 -dm_plex_simplex 1 -dm_refine_volume_limit_pre 0.00625 -num_dof 1,0,0,0
222c4762a1bSJed Brown   test:
223c4762a1bSJed Brown     suffix: 7
22430602db0SMatthew G. Knepley     args: -dm_plex_dim 3 -dm_plex_simplex 0 -dm_refine 1 -num_dof 1,0,0,0
225c4762a1bSJed Brown   # Parallel tests
226c4762a1bSJed Brown   # Grouping tests
227c4762a1bSJed Brown   test:
228c4762a1bSJed Brown     suffix: group_1
229c4762a1bSJed Brown     args: -num_groups 1 -num_dof 1,0,0 -is_view -orig_mat_view -perm_mat_view
230c4762a1bSJed Brown   test:
231c4762a1bSJed Brown     suffix: group_2
232c4762a1bSJed Brown     args: -num_groups 2 -num_dof 1,0,0 -is_view -perm_mat_view
233c4762a1bSJed Brown 
234c4762a1bSJed Brown TEST*/
235