xref: /petsc/src/dm/impls/plex/tests/ex60.c (revision f49e87b02549cb88095cdbebcfd268f3de859c69)
1 static char help[] = "Test metric utils in the uniform, isotropic case.\n\n";
2 
3 #include <petscdmplex.h>
4 
5 static PetscErrorCode bowl(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nc, PetscScalar *u, void *ctx)
6 {
7   PetscInt d;
8 
9   *u = 0.0;
10   for (d = 0; d < dim; d++) *u += 0.5*(x[d] - 0.5)*(x[d] - 0.5);
11 
12   return 0;
13 }
14 
15 int main(int argc, char **argv) {
16   DM              dm, dmDist, dmAdapt;
17   DMLabel         bdLabel = NULL, rgLabel = NULL;
18   MPI_Comm        comm;
19   PetscBool       uniform = PETSC_FALSE, isotropic = PETSC_FALSE;
20   PetscErrorCode  ierr;
21   PetscInt       *faces, dim = 3, d;
22   PetscReal       scaling = 1.0;
23   Vec             metric;
24 
25   /* Set up */
26   ierr = PetscInitialize(&argc, &argv, NULL, help);if (ierr) return ierr;
27   comm = PETSC_COMM_WORLD;
28   ierr = PetscOptionsBegin(comm, "", "Mesh adaptation options", "DMPLEX");CHKERRQ(ierr);
29   ierr = PetscOptionsRangeInt("-dim", "The topological mesh dimension", "ex60.c", dim, &dim, NULL, 2, 3);CHKERRQ(ierr);
30   ierr = PetscOptionsBool("-uniform", "Should the metric be assumed uniform?", "ex60.c", uniform, &uniform, NULL);CHKERRQ(ierr);
31   ierr = PetscOptionsBool("-isotropic", "Should the metric be assumed isotropic, or computed as a recovered Hessian?", "ex60.c", isotropic, &isotropic, NULL);CHKERRQ(ierr);
32   ierr = PetscOptionsEnd();
33 
34   /* Create box mesh */
35   ierr = PetscMalloc1(dim, &faces);CHKERRQ(ierr);
36   for (d = 0; d < dim; ++d) faces[d] = 4;
37   ierr = DMPlexCreateBoxMesh(comm, dim, PETSC_TRUE, faces, NULL, NULL, NULL, PETSC_TRUE, &dm);CHKERRQ(ierr);
38   ierr = PetscFree(faces);CHKERRQ(ierr);
39   ierr = DMSetFromOptions(dm);CHKERRQ(ierr);
40 
41   /* Distribute mesh over processes */
42   ierr = DMPlexDistribute(dm, 0, NULL, &dmDist);CHKERRQ(ierr);
43   if (dmDist) {
44     ierr = DMDestroy(&dm);CHKERRQ(ierr);
45     dm = dmDist;
46   }
47   ierr = PetscObjectSetName((PetscObject) dm, "DM_init");CHKERRQ(ierr);
48   ierr = DMViewFromOptions(dm, NULL, "-initial_mesh_view");CHKERRQ(ierr);
49 
50   /* Construct metric */
51   if (uniform) {
52     if (isotropic) { ierr = DMPlexMetricCreateUniform(dm, 0, scaling, &metric);CHKERRQ(ierr); }
53     else SETERRQ(comm, PETSC_ERR_ARG_WRONG, "Uniform anisotropic metrics not supported.");
54   }
55   else {
56     DM      dmIndi;
57     PetscFE fe;
58     Vec     indicator;
59 
60     /* Construct "error indicator" */
61     ierr = DMClone(dm, &dmIndi);CHKERRQ(ierr);
62     ierr = PetscFECreateLagrange(comm, dim, 1, PETSC_TRUE, 1, PETSC_DETERMINE, &fe);CHKERRQ(ierr);
63     ierr = DMSetField(dmIndi, 0, NULL, (PetscObject)fe);CHKERRQ(ierr);
64     ierr = DMCreateDS(dmIndi);CHKERRQ(ierr);
65     ierr = PetscFEDestroy(&fe);CHKERRQ(ierr);
66     ierr = DMCreateLocalVector(dmIndi, &indicator);CHKERRQ(ierr);
67     if (isotropic) {
68 
69       /* Isotropic case: just specify unity */
70       ierr = VecSet(indicator, scaling);CHKERRQ(ierr);
71       ierr = DMPlexMetricCreateIsotropic(dm, 0, indicator, &metric);CHKERRQ(ierr);
72 
73     } else {
74 
75       /* 'Anisotropic' case: approximate the identity by recovering the Hessian of a parabola */
76       DM               dmGrad;
77       PetscErrorCode (*funcs[1])(PetscInt, PetscReal, const PetscReal[], PetscInt, PetscScalar*, void*) = {bowl};
78       Vec              gradient;
79 
80       /* Project the parabola into P1 space */
81       ierr = DMProjectFunctionLocal(dmIndi, 0.0, funcs, NULL, INSERT_ALL_VALUES, indicator);CHKERRQ(ierr);
82 
83       /* Approximate the gradient */
84       ierr = DMClone(dmIndi, &dmGrad);CHKERRQ(ierr);
85       ierr = PetscFECreateLagrange(comm, dim, dim, PETSC_TRUE, 1, PETSC_DETERMINE, &fe);CHKERRQ(ierr);
86       ierr = DMSetField(dmGrad, 0, NULL, (PetscObject)fe);CHKERRQ(ierr);
87       ierr = DMCreateDS(dmGrad);CHKERRQ(ierr);
88       ierr = PetscFEDestroy(&fe);CHKERRQ(ierr);
89       ierr = DMCreateLocalVector(dmGrad, &gradient);CHKERRQ(ierr);
90       ierr = DMPlexComputeGradientClementInterpolant(dmIndi, indicator, gradient);CHKERRQ(ierr);
91       ierr = VecViewFromOptions(gradient, NULL, "-adapt_gradient_view");CHKERRQ(ierr);
92 
93       /* Approximate the Hessian */
94       ierr = DMPlexMetricCreate(dm, 0, &metric);CHKERRQ(ierr);
95       ierr = DMPlexComputeGradientClementInterpolant(dmGrad, gradient, metric);CHKERRQ(ierr);
96       ierr = VecViewFromOptions(metric, NULL, "-adapt_hessian_view");CHKERRQ(ierr);
97       ierr = VecDestroy(&gradient);CHKERRQ(ierr);
98       ierr = DMDestroy(&dmGrad);CHKERRQ(ierr);
99     }
100     ierr = VecDestroy(&indicator);CHKERRQ(ierr);
101     ierr = DMDestroy(&dmIndi);CHKERRQ(ierr);
102   }
103 
104   /* Test metric routines */
105   {
106     DM        dmDet;
107     PetscReal errornorm, norm, tol = 1.0e-10, weights[2] = {0.8, 0.2};
108     Vec       metric1, metric2, metricComb, determinant;
109     Vec       metrics[2];
110 
111     ierr = VecDuplicate(metric, &metric1);CHKERRQ(ierr);
112     ierr = VecSet(metric1, 0);CHKERRQ(ierr);
113     ierr = VecAXPY(metric1, 0.625, metric);CHKERRQ(ierr);
114     ierr = VecDuplicate(metric, &metric2);CHKERRQ(ierr);
115     ierr = VecSet(metric2, 0);CHKERRQ(ierr);
116     ierr = VecAXPY(metric2, 2.5, metric);CHKERRQ(ierr);
117     metrics[0] = metric1;
118     metrics[1] = metric2;
119 
120     /* Test metric average */
121     ierr = DMPlexMetricAverage(dm, 2, weights, metrics, &metricComb);CHKERRQ(ierr);
122     ierr = VecAXPY(metricComb, -1, metric);CHKERRQ(ierr);
123     ierr = VecNorm(metric, NORM_2, &norm);CHKERRQ(ierr);
124     ierr = VecNorm(metricComb, NORM_2, &errornorm);CHKERRQ(ierr);
125     errornorm /= norm;
126     if (errornorm > tol) SETERRQ1(comm, PETSC_ERR_ARG_OUTOFRANGE, "Metric average test failed (L2 error %f)", errornorm);
127     ierr = VecDestroy(&metricComb);CHKERRQ(ierr);
128 
129     /* Test metric intersection */
130     if (isotropic) {
131       ierr = DMPlexMetricIntersection(dm, 2, metrics, &metricComb);CHKERRQ(ierr);
132       ierr = VecAXPY(metricComb, -1, metric1);CHKERRQ(ierr);
133       ierr = VecNorm(metricComb, NORM_2, &errornorm);CHKERRQ(ierr);
134       errornorm /= norm;
135       if (errornorm > tol) SETERRQ1(comm, PETSC_ERR_ARG_OUTOFRANGE, "Metric intersection test failed (L2 error %f)", errornorm);
136     }
137     ierr = VecDestroy(&metric1);CHKERRQ(ierr);
138     ierr = VecDestroy(&metric2);CHKERRQ(ierr);
139     ierr = VecDestroy(&metricComb);CHKERRQ(ierr);
140 
141     /* Test metric SPD enforcement */
142     ierr = DMPlexMetricEnforceSPD(dm, metric, PETSC_TRUE, PETSC_TRUE, &metric1, &determinant);CHKERRQ(ierr);
143     if (isotropic) {
144       Vec err;
145 
146       ierr = VecDuplicate(determinant, &err);CHKERRQ(ierr);
147       ierr = VecSet(err, 1.0);CHKERRQ(ierr);
148       ierr = VecNorm(err, NORM_2, &norm);CHKERRQ(ierr);
149       ierr = VecAXPY(err, -1, determinant);CHKERRQ(ierr);
150       ierr = VecNorm(err, NORM_2, &errornorm);CHKERRQ(ierr);
151       ierr = VecDestroy(&err);CHKERRQ(ierr);
152       errornorm /= norm;
153       if (errornorm > tol) SETERRQ1(comm, PETSC_ERR_ARG_OUTOFRANGE, "Determinant is not unit (L2 error %f)", errornorm);
154       ierr = VecAXPY(metric1, -1, metric);CHKERRQ(ierr);
155       ierr = VecNorm(metric1, NORM_2, &errornorm);CHKERRQ(ierr);
156       errornorm /= norm;
157       if (errornorm > tol) SETERRQ1(comm, PETSC_ERR_ARG_OUTOFRANGE, "Metric SPD enforcement test failed (L2 error %f)", errornorm);
158     }
159     ierr = VecDestroy(&metric1);CHKERRQ(ierr);
160     ierr = VecGetDM(determinant, &dmDet);CHKERRQ(ierr);
161     ierr = VecDestroy(&determinant);CHKERRQ(ierr);
162     ierr = DMDestroy(&dmDet);CHKERRQ(ierr);
163 
164     /* Test metric normalization */
165     ierr = DMPlexMetricNormalize(dm, metric, PETSC_TRUE, PETSC_TRUE, &metric1);CHKERRQ(ierr);
166     if (isotropic) {
167       PetscReal target;
168 
169       ierr = DMPlexMetricGetTargetComplexity(dm, &target);CHKERRQ(ierr);
170       scaling = PetscPowReal(target, 2.0/dim);
171       ierr = DMPlexMetricCreateUniform(dm, 0, scaling, &metric2);CHKERRQ(ierr);
172       ierr = VecAXPY(metric2, -1, metric1);CHKERRQ(ierr);
173       ierr = VecNorm(metric2, NORM_2, &errornorm);CHKERRQ(ierr);
174       errornorm /= norm;
175       if (errornorm > tol) SETERRQ1(comm, PETSC_ERR_ARG_OUTOFRANGE, "Metric normalization test failed (L2 error %f)", errornorm);
176     }
177     ierr = VecCopy(metric1, metric);CHKERRQ(ierr);
178     ierr = VecDestroy(&metric2);CHKERRQ(ierr);
179     ierr = VecDestroy(&metric1);CHKERRQ(ierr);
180   }
181   ierr = DMView(dm, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
182 
183   /* Adapt the mesh */
184   ierr = DMAdaptMetric(dm, metric, bdLabel, rgLabel, &dmAdapt);CHKERRQ(ierr);
185   ierr = DMDestroy(&dm);CHKERRQ(ierr);
186   ierr = PetscObjectSetName((PetscObject) dmAdapt, "DM_adapted");CHKERRQ(ierr);
187   ierr = VecDestroy(&metric);CHKERRQ(ierr);
188   ierr = DMViewFromOptions(dmAdapt, NULL, "-adapted_mesh_view");CHKERRQ(ierr);
189   ierr = DMView(dmAdapt, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
190 
191   /* Clean up */
192   ierr = DMDestroy(&dmAdapt);CHKERRQ(ierr);
193   ierr = PetscFinalize();
194   return 0;
195 }
196 
197 /*TEST
198 
199   test:
200     suffix: uniform_2d_pragmatic
201     requires: pragmatic
202     args: -dm_plex_metric_target_complexity 100 -dim 2 -dm_adaptor pragmatic -uniform -isotropic
203   test:
204     suffix: uniform_3d_pragmatic
205     requires: pragmatic tetgen
206     args: -dm_plex_metric_target_complexity 100 -dim 3 -dm_adaptor pragmatic -uniform -isotropic
207   test:
208     suffix: iso_2d_pragmatic
209     requires: pragmatic
210     args: -dm_plex_metric_target_complexity 100 -dim 2 -dm_adaptor pragmatic -isotropic
211   test:
212     suffix: iso_3d_pragmatic
213     requires: pragmatic tetgen
214     args: -dm_plex_metric_target_complexity 100 -dim 3 -dm_adaptor pragmatic -isotropic
215   test:
216     suffix: hessian_2d_pragmatic
217     requires: pragmatic
218     args: -dm_plex_metric_target_complexity 100 -dim 2 -dm_adaptor pragmatic
219   test:
220     suffix: hessian_3d_pragmatic
221     requires: pragmatic tetgen
222     args: -dm_plex_metric_target_complexity 100 -dim 3 -dm_adaptor pragmatic
223   test:
224     suffix: uniform_2d_mmg
225     requires: mmg
226     args: -dm_plex_metric_target_complexity 100 -dim 2 -dm_adaptor mmg -uniform -isotropic
227   test:
228     suffix: uniform_3d_mmg
229     requires: mmg tetgen
230     args: -dm_plex_metric_target_complexity 100 -dim 3 -dm_adaptor mmg -uniform -isotropic
231   test:
232     suffix: iso_2d_mmg
233     requires: mmg
234     args: -dm_plex_metric_target_complexity 100 -dim 2 -dm_adaptor mmg -isotropic
235   test:
236     suffix: iso_3d_mmg
237     requires: mmg tetgen
238     args: -dm_plex_metric_target_complexity 100 -dim 3 -dm_adaptor mmg -isotropic
239   test:
240     suffix: hessian_2d_mmg
241     requires: mmg
242     args: -dm_plex_metric_target_complexity 100 -dim 2 -dm_adaptor mmg
243   test:
244     suffix: hessian_3d_mmg
245     requires: mmg tetgen
246     args: -dm_plex_metric_target_complexity 100 -dim 3 -dm_adaptor mmg
247   test:
248     suffix: uniform_3d_parmmg
249     requires: parmmg tetgen
250     nsize: 2
251     args: -dm_plex_metric_target_complexity 100 -dim 3 -dm_adaptor parmmg -uniform -isotropic
252   test:
253     suffix: iso_3d_parmmg
254     requires: parmmg tetgen
255     nsize: 2
256     args: -dm_plex_metric_target_complexity 100 -dim 3 -dm_adaptor parmmg -isotropic
257   test:
258     suffix: hessian_3d_parmmg
259     requires: parmmg tetgen
260     nsize: 2
261     args: -dm_plex_metric_target_complexity 100 -dim 3 -dm_adaptor parmmg
262 
263 TEST*/
264