xref: /petsc/src/dm/impls/plex/tests/ex11.c (revision c4762a1b19cd2af06abeed90e8f9d34fb975dd94)
1*c4762a1bSJed Brown static char help[] = "Tests for DMLabel\n\n";
2*c4762a1bSJed Brown 
3*c4762a1bSJed Brown #include <petscdmplex.h>
4*c4762a1bSJed Brown 
5*c4762a1bSJed Brown static PetscErrorCode TestInsertion()
6*c4762a1bSJed Brown {
7*c4762a1bSJed Brown   DMLabel        label, label2;
8*c4762a1bSJed Brown   const PetscInt values[5] = {0, 3, 4, -1, 176}, N = 10000;
9*c4762a1bSJed Brown   PetscInt       i, v;
10*c4762a1bSJed Brown   PetscErrorCode ierr;
11*c4762a1bSJed Brown 
12*c4762a1bSJed Brown   PetscFunctionBegin;
13*c4762a1bSJed Brown   ierr = DMLabelCreate(PETSC_COMM_SELF, "Test Label", &label);CHKERRQ(ierr);
14*c4762a1bSJed Brown   ierr = DMLabelSetDefaultValue(label, -100);CHKERRQ(ierr);
15*c4762a1bSJed Brown   for (i = 0; i < N; ++i) {
16*c4762a1bSJed Brown     ierr = DMLabelSetValue(label, i, values[i%5]);CHKERRQ(ierr);
17*c4762a1bSJed Brown   }
18*c4762a1bSJed Brown   /* Test get in hash mode */
19*c4762a1bSJed Brown   for (i = 0; i < N; ++i) {
20*c4762a1bSJed Brown     PetscInt val;
21*c4762a1bSJed Brown 
22*c4762a1bSJed Brown     ierr = DMLabelGetValue(label, i, &val);CHKERRQ(ierr);
23*c4762a1bSJed Brown     if (val != values[i%5]) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Value %d for point %d should be %d", val, i, values[i%5]);
24*c4762a1bSJed Brown   }
25*c4762a1bSJed Brown   /* Test stratum */
26*c4762a1bSJed Brown   for (v = 0; v < 5; ++v) {
27*c4762a1bSJed Brown     IS              stratum;
28*c4762a1bSJed Brown     const PetscInt *points;
29*c4762a1bSJed Brown     PetscInt        n;
30*c4762a1bSJed Brown 
31*c4762a1bSJed Brown     ierr = DMLabelGetStratumIS(label, values[v], &stratum);CHKERRQ(ierr);
32*c4762a1bSJed Brown     if (!stratum) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Stratum %d is empty!", v);
33*c4762a1bSJed Brown     ierr = ISGetIndices(stratum, &points);CHKERRQ(ierr);
34*c4762a1bSJed Brown     ierr = ISGetLocalSize(stratum, &n);CHKERRQ(ierr);
35*c4762a1bSJed Brown     for (i = 0; i < n; ++i) {
36*c4762a1bSJed Brown       if (points[i] != i*5+v) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Point %d should be %d", points[i], i*5+v);
37*c4762a1bSJed Brown     }
38*c4762a1bSJed Brown     ierr = ISRestoreIndices(stratum, &points);CHKERRQ(ierr);
39*c4762a1bSJed Brown     ierr = ISDestroy(&stratum);CHKERRQ(ierr);
40*c4762a1bSJed Brown   }
41*c4762a1bSJed Brown   /* Test get in array mode */
42*c4762a1bSJed Brown   for (i = 0; i < N; ++i) {
43*c4762a1bSJed Brown     PetscInt val;
44*c4762a1bSJed Brown 
45*c4762a1bSJed Brown     ierr = DMLabelGetValue(label, i, &val);CHKERRQ(ierr);
46*c4762a1bSJed Brown     if (val != values[i%5]) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Value %d should be %d", val, values[i%5]);
47*c4762a1bSJed Brown   }
48*c4762a1bSJed Brown   /* Test Duplicate */
49*c4762a1bSJed Brown   ierr = DMLabelDuplicate(label, &label2);CHKERRQ(ierr);
50*c4762a1bSJed Brown   for (i = 0; i < N; ++i) {
51*c4762a1bSJed Brown     PetscInt val;
52*c4762a1bSJed Brown 
53*c4762a1bSJed Brown     ierr = DMLabelGetValue(label2, i, &val);CHKERRQ(ierr);
54*c4762a1bSJed Brown     if (val != values[i%5]) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Value %d should be %d", val, values[i%5]);
55*c4762a1bSJed Brown   }
56*c4762a1bSJed Brown   ierr = DMLabelDestroy(&label2);CHKERRQ(ierr);
57*c4762a1bSJed Brown   ierr = DMLabelDestroy(&label);CHKERRQ(ierr);
58*c4762a1bSJed Brown   PetscFunctionReturn(0);
59*c4762a1bSJed Brown }
60*c4762a1bSJed Brown 
61*c4762a1bSJed Brown static PetscErrorCode TestEmptyStrata(MPI_Comm comm)
62*c4762a1bSJed Brown {
63*c4762a1bSJed Brown   DM               dm, dmDist;
64*c4762a1bSJed Brown   PetscPartitioner part;
65*c4762a1bSJed Brown   PetscInt         c0[6]  = {2,3,6,7,9,11};
66*c4762a1bSJed Brown   PetscInt         c1[6]  = {4,5,7,8,10,12};
67*c4762a1bSJed Brown   PetscInt         c2[4]  = {13,15,19,21};
68*c4762a1bSJed Brown   PetscInt         c3[4]  = {14,16,20,22};
69*c4762a1bSJed Brown   PetscInt         c4[4]  = {15,17,21,23};
70*c4762a1bSJed Brown   PetscInt         c5[4]  = {16,18,22,24};
71*c4762a1bSJed Brown   PetscInt         c6[4]  = {13,14,19,20};
72*c4762a1bSJed Brown   PetscInt         c7[4]  = {15,16,21,22};
73*c4762a1bSJed Brown   PetscInt         c8[4]  = {17,18,23,24};
74*c4762a1bSJed Brown   PetscInt         c9[4]  = {13,14,15,16};
75*c4762a1bSJed Brown   PetscInt         c10[4] = {15,16,17,18};
76*c4762a1bSJed Brown   PetscInt         c11[4] = {19,20,21,22};
77*c4762a1bSJed Brown   PetscInt         c12[4] = {21,22,23,24};
78*c4762a1bSJed Brown   PetscInt         dim    = 3;
79*c4762a1bSJed Brown   PetscMPIInt      rank;
80*c4762a1bSJed Brown   PetscErrorCode   ierr;
81*c4762a1bSJed Brown 
82*c4762a1bSJed Brown   PetscFunctionBegin;
83*c4762a1bSJed Brown   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
84*c4762a1bSJed Brown   /* A 3D box with two adjacent cells, sharing one face and four vertices */
85*c4762a1bSJed Brown   ierr = DMCreate(comm, &dm);CHKERRQ(ierr);
86*c4762a1bSJed Brown   ierr = DMSetType(dm, DMPLEX);CHKERRQ(ierr);
87*c4762a1bSJed Brown   ierr = DMSetDimension(dm, dim);CHKERRQ(ierr);
88*c4762a1bSJed Brown   if (!rank) {
89*c4762a1bSJed Brown     ierr = DMPlexSetChart(dm, 0, 25);CHKERRQ(ierr);
90*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 0, 6);CHKERRQ(ierr);
91*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 1, 6);CHKERRQ(ierr);
92*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 2, 4);CHKERRQ(ierr);
93*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 3, 4);CHKERRQ(ierr);
94*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 4, 4);CHKERRQ(ierr);
95*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 5, 4);CHKERRQ(ierr);
96*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 6, 4);CHKERRQ(ierr);
97*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 7, 4);CHKERRQ(ierr);
98*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 8, 4);CHKERRQ(ierr);
99*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 9, 4);CHKERRQ(ierr);
100*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 10, 4);CHKERRQ(ierr);
101*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 11, 4);CHKERRQ(ierr);
102*c4762a1bSJed Brown     ierr = DMPlexSetConeSize(dm, 12, 4);CHKERRQ(ierr);
103*c4762a1bSJed Brown   }
104*c4762a1bSJed Brown   ierr = DMSetUp(dm);CHKERRQ(ierr);
105*c4762a1bSJed Brown   if (!rank) {
106*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 0, c0);CHKERRQ(ierr);
107*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 1, c1);CHKERRQ(ierr);
108*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 2, c2);CHKERRQ(ierr);
109*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 3, c3);CHKERRQ(ierr);
110*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 4, c4);CHKERRQ(ierr);
111*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 5, c5);CHKERRQ(ierr);
112*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 6, c6);CHKERRQ(ierr);
113*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 7, c7);CHKERRQ(ierr);
114*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 8, c8);CHKERRQ(ierr);
115*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 9, c9);CHKERRQ(ierr);
116*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 10, c10);CHKERRQ(ierr);
117*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 11, c11);CHKERRQ(ierr);
118*c4762a1bSJed Brown     ierr = DMPlexSetCone(dm, 12, c12);CHKERRQ(ierr);
119*c4762a1bSJed Brown   }
120*c4762a1bSJed Brown   ierr = DMPlexSymmetrize(dm);CHKERRQ(ierr);
121*c4762a1bSJed Brown   /* Create a user managed depth label, so that we can leave out edges */
122*c4762a1bSJed Brown   {
123*c4762a1bSJed Brown     DMLabel label;
124*c4762a1bSJed Brown     PetscInt numValues, maxValues = 0, v;
125*c4762a1bSJed Brown 
126*c4762a1bSJed Brown     ierr = DMCreateLabel(dm, "depth");CHKERRQ(ierr);
127*c4762a1bSJed Brown     ierr = DMPlexGetDepthLabel(dm, &label);CHKERRQ(ierr);
128*c4762a1bSJed Brown     if (!rank) {
129*c4762a1bSJed Brown       PetscInt i;
130*c4762a1bSJed Brown 
131*c4762a1bSJed Brown       for (i = 0; i < 25; ++i) {
132*c4762a1bSJed Brown         if (i < 2)       {ierr = DMLabelSetValue(label, i, 3);CHKERRQ(ierr);}
133*c4762a1bSJed Brown         else if (i < 13) {ierr = DMLabelSetValue(label, i, 2);CHKERRQ(ierr);}
134*c4762a1bSJed Brown         else             {
135*c4762a1bSJed Brown           if (i==13) {ierr = DMLabelAddStratum(label, 1);CHKERRQ(ierr);}
136*c4762a1bSJed Brown           ierr = DMLabelSetValue(label, i, 0);CHKERRQ(ierr);
137*c4762a1bSJed Brown         }
138*c4762a1bSJed Brown       }
139*c4762a1bSJed Brown     }
140*c4762a1bSJed Brown     ierr = DMLabelGetNumValues(label, &numValues);CHKERRQ(ierr);
141*c4762a1bSJed Brown     ierr = MPI_Allreduce(&numValues, &maxValues, 1, MPIU_INT, MPI_MAX, PetscObjectComm((PetscObject) dm));CHKERRQ(ierr);
142*c4762a1bSJed Brown     for (v = numValues; v < maxValues; ++v) {ierr = DMLabelAddStratum(label,v);CHKERRQ(ierr);}
143*c4762a1bSJed Brown   }
144*c4762a1bSJed Brown   {
145*c4762a1bSJed Brown     DMLabel label;
146*c4762a1bSJed Brown     ierr = DMPlexGetDepthLabel(dm, &label);CHKERRQ(ierr);
147*c4762a1bSJed Brown     ierr = DMLabelView(label, PETSC_VIEWER_STDOUT_(comm));CHKERRQ(ierr);
148*c4762a1bSJed Brown   }
149*c4762a1bSJed Brown   ierr = DMPlexGetPartitioner(dm,&part);CHKERRQ(ierr);
150*c4762a1bSJed Brown   ierr = PetscPartitionerSetFromOptions(part);CHKERRQ(ierr);
151*c4762a1bSJed Brown   ierr = DMPlexDistribute(dm, 1, NULL, &dmDist);CHKERRQ(ierr);
152*c4762a1bSJed Brown   if (dmDist) {
153*c4762a1bSJed Brown     ierr = DMDestroy(&dm);CHKERRQ(ierr);
154*c4762a1bSJed Brown     dm   = dmDist;
155*c4762a1bSJed Brown   }
156*c4762a1bSJed Brown   {
157*c4762a1bSJed Brown     DMLabel label;
158*c4762a1bSJed Brown     ierr = DMPlexGetDepthLabel(dm, &label);CHKERRQ(ierr);
159*c4762a1bSJed Brown     ierr = DMLabelView(label, PETSC_VIEWER_STDOUT_(comm));CHKERRQ(ierr);
160*c4762a1bSJed Brown   }
161*c4762a1bSJed Brown   /* Create a cell vector */
162*c4762a1bSJed Brown   {
163*c4762a1bSJed Brown     Vec          v;
164*c4762a1bSJed Brown     PetscSection s;
165*c4762a1bSJed Brown     PetscInt     numComp[] = {1};
166*c4762a1bSJed Brown     PetscInt     dof[]     = {0,0,0,1};
167*c4762a1bSJed Brown     PetscInt     N;
168*c4762a1bSJed Brown 
169*c4762a1bSJed Brown     ierr = DMSetNumFields(dm, 1);CHKERRQ(ierr);
170*c4762a1bSJed Brown     ierr = DMPlexCreateSection(dm, NULL, numComp, dof, 0, NULL, NULL, NULL, NULL, &s);CHKERRQ(ierr);
171*c4762a1bSJed Brown     ierr = DMSetLocalSection(dm, s);CHKERRQ(ierr);
172*c4762a1bSJed Brown     ierr = PetscSectionDestroy(&s);CHKERRQ(ierr);
173*c4762a1bSJed Brown     ierr = DMCreateGlobalVector(dm, &v);CHKERRQ(ierr);
174*c4762a1bSJed Brown     ierr = VecGetSize(v, &N);CHKERRQ(ierr);
175*c4762a1bSJed Brown     if (N != 2) {
176*c4762a1bSJed Brown       ierr = DMView(dm, PETSC_VIEWER_STDOUT_(comm));CHKERRQ(ierr);
177*c4762a1bSJed Brown       SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "FAIL: Vector size %d != 2\n", N);
178*c4762a1bSJed Brown     }
179*c4762a1bSJed Brown     ierr = VecDestroy(&v);CHKERRQ(ierr);
180*c4762a1bSJed Brown   }
181*c4762a1bSJed Brown   ierr = DMDestroy(&dm);CHKERRQ(ierr);
182*c4762a1bSJed Brown   PetscFunctionReturn(0);
183*c4762a1bSJed Brown }
184*c4762a1bSJed Brown 
185*c4762a1bSJed Brown static PetscErrorCode TestDistribution(MPI_Comm comm)
186*c4762a1bSJed Brown {
187*c4762a1bSJed Brown   DM               dm, dmDist;
188*c4762a1bSJed Brown   PetscPartitioner part;
189*c4762a1bSJed Brown   DMLabel          label;
190*c4762a1bSJed Brown   char             filename[2048];
191*c4762a1bSJed Brown   const char      *name    = "test label";
192*c4762a1bSJed Brown   PetscInt         overlap = 0, cStart, cEnd, c;
193*c4762a1bSJed Brown   PetscMPIInt      rank;
194*c4762a1bSJed Brown   PetscBool        flg;
195*c4762a1bSJed Brown   PetscErrorCode   ierr;
196*c4762a1bSJed Brown 
197*c4762a1bSJed Brown   PetscFunctionBegin;
198*c4762a1bSJed Brown   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
199*c4762a1bSJed Brown   ierr = PetscOptionsGetString(NULL, NULL, "-filename", filename, 2048, &flg);CHKERRQ(ierr);
200*c4762a1bSJed Brown   if (!flg) PetscFunctionReturn(0);
201*c4762a1bSJed Brown   ierr = PetscOptionsGetInt(NULL, NULL, "-overlap", &overlap, NULL);CHKERRQ(ierr);
202*c4762a1bSJed Brown   ierr = DMPlexCreateFromFile(comm, filename, PETSC_TRUE, &dm); CHKERRQ(ierr);
203*c4762a1bSJed Brown   ierr = DMSetBasicAdjacency(dm, PETSC_TRUE, PETSC_FALSE);CHKERRQ(ierr);
204*c4762a1bSJed Brown   ierr = DMCreateLabel(dm, name);CHKERRQ(ierr);
205*c4762a1bSJed Brown   ierr = DMGetLabel(dm, name, &label);CHKERRQ(ierr);
206*c4762a1bSJed Brown   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
207*c4762a1bSJed Brown   for (c = cStart; c < cEnd; ++c) {
208*c4762a1bSJed Brown     ierr = DMLabelSetValue(label, c, c);CHKERRQ(ierr);
209*c4762a1bSJed Brown   }
210*c4762a1bSJed Brown   ierr = DMLabelView(label, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
211*c4762a1bSJed Brown   ierr = DMPlexGetPartitioner(dm,&part);CHKERRQ(ierr);
212*c4762a1bSJed Brown   ierr = PetscPartitionerSetFromOptions(part);CHKERRQ(ierr);
213*c4762a1bSJed Brown   ierr = DMPlexDistribute(dm, overlap, NULL, &dmDist);CHKERRQ(ierr);
214*c4762a1bSJed Brown   if (dmDist) {
215*c4762a1bSJed Brown     ierr = DMDestroy(&dm);CHKERRQ(ierr);
216*c4762a1bSJed Brown     dm   = dmDist;
217*c4762a1bSJed Brown   }
218*c4762a1bSJed Brown   ierr = DMViewFromOptions(dm, NULL, "-dm_view");CHKERRQ(ierr);
219*c4762a1bSJed Brown   ierr = DMGetLabel(dm, name, &label);CHKERRQ(ierr);
220*c4762a1bSJed Brown   ierr = DMLabelView(label, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
221*c4762a1bSJed Brown   ierr = DMDestroy(&dm);CHKERRQ(ierr);
222*c4762a1bSJed Brown   PetscFunctionReturn(0);
223*c4762a1bSJed Brown }
224*c4762a1bSJed Brown 
225*c4762a1bSJed Brown int main(int argc, char **argv)
226*c4762a1bSJed Brown {
227*c4762a1bSJed Brown   PetscErrorCode ierr;
228*c4762a1bSJed Brown 
229*c4762a1bSJed Brown   ierr = PetscInitialize(&argc, &argv, NULL, help);if (ierr) return ierr;
230*c4762a1bSJed Brown   /*ierr = ProcessOptions(PETSC_COMM_WORLD, &user);CHKERRQ(ierr);*/
231*c4762a1bSJed Brown   ierr = TestInsertion();CHKERRQ(ierr);
232*c4762a1bSJed Brown   ierr = TestEmptyStrata(PETSC_COMM_WORLD);CHKERRQ(ierr);
233*c4762a1bSJed Brown   ierr = TestDistribution(PETSC_COMM_WORLD);CHKERRQ(ierr);
234*c4762a1bSJed Brown   ierr = PetscFinalize();
235*c4762a1bSJed Brown   return ierr;
236*c4762a1bSJed Brown }
237*c4762a1bSJed Brown 
238*c4762a1bSJed Brown /*TEST
239*c4762a1bSJed Brown 
240*c4762a1bSJed Brown   test:
241*c4762a1bSJed Brown     suffix: 0
242*c4762a1bSJed Brown   test:
243*c4762a1bSJed Brown     suffix: 1
244*c4762a1bSJed Brown     nsize: 2
245*c4762a1bSJed Brown     args: -petscpartitioner_type simple
246*c4762a1bSJed Brown 
247*c4762a1bSJed Brown   testset:
248*c4762a1bSJed Brown     suffix: gmsh
249*c4762a1bSJed Brown     args: -filename ${wPETSC_DIR}/share/petsc/datafiles/meshes/square.msh -petscpartitioner_type simple
250*c4762a1bSJed Brown     test:
251*c4762a1bSJed Brown       suffix: 1
252*c4762a1bSJed Brown       nsize: 1
253*c4762a1bSJed Brown     test:
254*c4762a1bSJed Brown       suffix: 2
255*c4762a1bSJed Brown       nsize: 2
256*c4762a1bSJed Brown 
257*c4762a1bSJed Brown   testset:
258*c4762a1bSJed Brown     suffix: exodusii
259*c4762a1bSJed Brown     requires: exodusii
260*c4762a1bSJed Brown     args: -filename ${wPETSC_DIR}/share/petsc/datafiles/meshes/2Dgrd.exo -petscpartitioner_type simple
261*c4762a1bSJed Brown     test:
262*c4762a1bSJed Brown       suffix: 1
263*c4762a1bSJed Brown       nsize: 1
264*c4762a1bSJed Brown     test:
265*c4762a1bSJed Brown       suffix: 2
266*c4762a1bSJed Brown       nsize: 2
267*c4762a1bSJed Brown 
268*c4762a1bSJed Brown TEST*/
269