xref: /petsc/src/dm/impls/plex/tutorials/ex8.c (revision a05c9aa344bb46cb75e00e7d65af16b0da4ecf29)
1c4762a1bSJed Brown static char help[] = "Element closure restrictions in tensor/lexicographic/spectral-element ordering using DMPlex\n\n";
2c4762a1bSJed Brown 
3c4762a1bSJed Brown #include <petscdmplex.h>
4c4762a1bSJed Brown 
5dd7309edSJed Brown static PetscErrorCode ViewOffsets(DM dm, Vec X)
6dd7309edSJed Brown {
7dd7309edSJed Brown   PetscInt num_elem, elem_size, num_comp, num_dof;
8dd7309edSJed Brown   PetscInt *elem_restr_offsets;
9dd7309edSJed Brown   const PetscScalar *x = NULL;
10dd7309edSJed Brown   const char *name;
11dd7309edSJed Brown   PetscErrorCode ierr;
12dd7309edSJed Brown 
13dd7309edSJed Brown   PetscFunctionBegin;
14dd7309edSJed Brown   ierr = PetscObjectGetName((PetscObject)dm, &name);CHKERRQ(ierr);
15dd7309edSJed Brown   ierr = DMPlexGetLocalOffsets(dm, NULL, 0, 0, 0, &num_elem, &elem_size, &num_comp, &num_dof, &elem_restr_offsets);CHKERRQ(ierr);
16dd7309edSJed Brown   ierr = PetscPrintf(PETSC_COMM_SELF,"DM %s offsets: num_elem %" PetscInt_FMT ", size %" PetscInt_FMT
17dd7309edSJed Brown                      ", comp %" PetscInt_FMT ", dof %" PetscInt_FMT "\n",
18dd7309edSJed Brown                      name, num_elem, elem_size, num_comp, num_dof);CHKERRQ(ierr);
19dd7309edSJed Brown   if (X) {ierr = VecGetArrayRead(X, &x);CHKERRQ(ierr);}
20dd7309edSJed Brown   for (PetscInt c=0; c<num_elem; c++) {
21dd7309edSJed Brown     ierr = PetscIntView(elem_size, &elem_restr_offsets[c*elem_size], PETSC_VIEWER_STDOUT_SELF);CHKERRQ(ierr);
22dd7309edSJed Brown     if (x) {
23dd7309edSJed Brown       for (PetscInt i=0; i<elem_size; i++) {
24dd7309edSJed Brown         ierr = PetscScalarView(num_comp, &x[elem_restr_offsets[c*elem_size+i]], PETSC_VIEWER_STDERR_SELF);CHKERRQ(ierr);
25dd7309edSJed Brown       }
26dd7309edSJed Brown     }
27dd7309edSJed Brown   }
28dd7309edSJed Brown   if (X) {ierr = VecRestoreArrayRead(X, &x);CHKERRQ(ierr);}
29dd7309edSJed Brown   ierr = PetscFree(elem_restr_offsets);CHKERRQ(ierr);
30dd7309edSJed Brown   PetscFunctionReturn(0);
31dd7309edSJed Brown }
32dd7309edSJed Brown 
33c4762a1bSJed Brown int main(int argc, char **argv)
34c4762a1bSJed Brown {
35c4762a1bSJed Brown   DM             dm;
36c4762a1bSJed Brown   PetscSection   section;
37c4762a1bSJed Brown   PetscFE        fe;
3830602db0SMatthew G. Knepley   PetscInt       dim,c,cStart,cEnd;
39dd7309edSJed Brown   PetscBool      view_coord = PETSC_FALSE, tensor = PETSC_TRUE;
40c4762a1bSJed Brown   PetscErrorCode ierr;
41c4762a1bSJed Brown 
42c4762a1bSJed Brown   ierr = PetscInitialize(&argc,&argv,NULL,help);if (ierr) return ierr;
4346181b2aSJed Brown   ierr = PetscOptionsBegin(PETSC_COMM_WORLD, NULL, "Tensor closure restrictions", "DMPLEX");CHKERRQ(ierr);
44dd7309edSJed Brown   ierr = PetscOptionsBool("-closure_tensor", "Apply DMPlexSetClosurePermutationTensor", "ex8.c", tensor, &tensor, NULL);CHKERRQ(ierr);
4546181b2aSJed Brown   ierr = PetscOptionsBool("-view_coord", "View coordinates of element closures", "ex8.c", view_coord, &view_coord, NULL);CHKERRQ(ierr);
4646181b2aSJed Brown   ierr = PetscOptionsEnd();CHKERRQ(ierr);
4746181b2aSJed Brown 
4830602db0SMatthew G. Knepley   ierr = DMCreate(PETSC_COMM_WORLD, &dm);CHKERRQ(ierr);
4930602db0SMatthew G. Knepley   ierr = DMSetType(dm, DMPLEX);CHKERRQ(ierr);
5030602db0SMatthew G. Knepley   ierr = DMSetFromOptions(dm);CHKERRQ(ierr);
5130602db0SMatthew G. Knepley   ierr = DMViewFromOptions(dm, NULL, "-dm_view");CHKERRQ(ierr);
5230602db0SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
53c4762a1bSJed Brown 
54c4762a1bSJed Brown   ierr = PetscFECreateDefault(PETSC_COMM_SELF,dim,1,PETSC_FALSE,NULL,PETSC_DETERMINE,&fe);CHKERRQ(ierr);
55c4762a1bSJed Brown   ierr = DMAddField(dm,NULL,(PetscObject)fe);CHKERRQ(ierr);
56c4762a1bSJed Brown   ierr = DMCreateDS(dm);CHKERRQ(ierr);
57dd7309edSJed Brown   if (tensor) {ierr = DMPlexSetClosurePermutationTensor(dm,PETSC_DETERMINE,NULL);CHKERRQ(ierr);}
58c4762a1bSJed Brown   ierr = DMGetLocalSection(dm,&section);CHKERRQ(ierr);
59c4762a1bSJed Brown   ierr = DMPlexGetHeightStratum(dm,0,&cStart,&cEnd);CHKERRQ(ierr);
60c4762a1bSJed Brown   for (c=cStart; c<cEnd; c++) {
61c4762a1bSJed Brown     PetscInt numindices,*indices;
6271f0bbf9SMatthew G. Knepley     ierr = DMPlexGetClosureIndices(dm,section,section,c,PETSC_TRUE,&numindices,&indices,NULL,NULL);CHKERRQ(ierr);
6346181b2aSJed Brown     ierr = PetscPrintf(PETSC_COMM_SELF,"Element #%" PetscInt_FMT "\n",c-cStart);CHKERRQ(ierr);
64c4762a1bSJed Brown     ierr = PetscIntView(numindices,indices,PETSC_VIEWER_STDOUT_SELF);CHKERRQ(ierr);
6571f0bbf9SMatthew G. Knepley     ierr = DMPlexRestoreClosureIndices(dm,section,section,c,PETSC_TRUE,&numindices,&indices,NULL,NULL);CHKERRQ(ierr);
66c4762a1bSJed Brown   }
6746181b2aSJed Brown   if (view_coord) {
6846181b2aSJed Brown     DM cdm;
6946181b2aSJed Brown     Vec X;
7046181b2aSJed Brown     PetscInt cdim;
7146181b2aSJed Brown     ierr = DMGetCoordinateDM(dm,&cdm);CHKERRQ(ierr);
72dd7309edSJed Brown     ierr = PetscObjectSetName((PetscObject)cdm, "coords");CHKERRQ(ierr);
73dd7309edSJed Brown     if (tensor) {ierr = DMPlexSetClosurePermutationTensor(cdm,PETSC_DETERMINE,NULL);CHKERRQ(ierr);}
7446181b2aSJed Brown     ierr = DMGetCoordinatesLocal(dm, &X);CHKERRQ(ierr);
7546181b2aSJed Brown     ierr = DMGetCoordinateDim(dm, &cdim);CHKERRQ(ierr);
7646181b2aSJed Brown     for (c=cStart; c<cEnd; c++) {
77dd7309edSJed Brown       PetscScalar *x = NULL;
7846181b2aSJed Brown       PetscInt ndof;
7946181b2aSJed Brown       ierr = DMPlexVecGetClosure(cdm, NULL, X, c, &ndof, &x);CHKERRQ(ierr);
8046181b2aSJed Brown       PetscCheck(ndof % cdim == 0, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "ndof not divisible by cdim");
8146181b2aSJed Brown       ierr = PetscPrintf(PETSC_COMM_SELF,"Element #%" PetscInt_FMT " coordinates\n",c-cStart);CHKERRQ(ierr);
8246181b2aSJed Brown       for (PetscInt i=0; i<ndof; i+= cdim) {
8346181b2aSJed Brown         ierr = PetscScalarView(cdim, &x[i], PETSC_VIEWER_STDOUT_SELF);CHKERRQ(ierr);
8446181b2aSJed Brown       }
8546181b2aSJed Brown       ierr = DMPlexVecRestoreClosure(cdm, NULL, X, c, &ndof, &x);CHKERRQ(ierr);
8646181b2aSJed Brown     }
87dd7309edSJed Brown     ierr = ViewOffsets(dm, NULL);CHKERRQ(ierr);
88dd7309edSJed Brown     ierr = ViewOffsets(cdm, X);CHKERRQ(ierr);
8946181b2aSJed Brown   }
90c4762a1bSJed Brown   ierr = PetscFEDestroy(&fe);CHKERRQ(ierr);
91c4762a1bSJed Brown   ierr = DMDestroy(&dm);CHKERRQ(ierr);
92c4762a1bSJed Brown   ierr = PetscFinalize();
93c4762a1bSJed Brown   return ierr;
94c4762a1bSJed Brown }
95c4762a1bSJed Brown 
96c4762a1bSJed Brown /*TEST
97c4762a1bSJed Brown 
98c4762a1bSJed Brown   test:
99c4762a1bSJed Brown     suffix: 1d_q2
10030602db0SMatthew G. Knepley     args: -dm_plex_dim 1 -petscspace_degree 2 -dm_plex_simplex 0 -dm_plex_box_faces 2
101c4762a1bSJed Brown   test:
102c4762a1bSJed Brown     suffix: 2d_q1
10330602db0SMatthew G. Knepley     args: -dm_plex_dim 2 -petscspace_degree 1 -dm_plex_simplex 0 -dm_plex_box_faces 2,2
104c4762a1bSJed Brown   test:
105c4762a1bSJed Brown     suffix: 2d_q2
10630602db0SMatthew G. Knepley     args: -dm_plex_dim 2 -petscspace_degree 2 -dm_plex_simplex 0 -dm_plex_box_faces 2,2
107c4762a1bSJed Brown   test:
108c4762a1bSJed Brown     suffix: 2d_q3
10930602db0SMatthew G. Knepley     args: -dm_plex_dim 2 -petscspace_degree 3 -dm_plex_simplex 0 -dm_plex_box_faces 1,1
110c4762a1bSJed Brown   test:
111c4762a1bSJed Brown     suffix: 3d_q1
11230602db0SMatthew G. Knepley     args: -dm_plex_dim 3 -petscspace_degree 1 -dm_plex_simplex 0 -dm_plex_box_faces 1,1,1
11346181b2aSJed Brown   test:
11446181b2aSJed Brown     suffix: 1d_q1_periodic
115*a05c9aa3SJed Brown     requires: !complex
116dd7309edSJed Brown     args: -dm_plex_dim 1 -petscspace_degree 1 -dm_plex_simplex 0 -dm_plex_box_faces 3 -dm_plex_box_bd periodic -dm_view -view_coord
11746181b2aSJed Brown   test:
11846181b2aSJed Brown     suffix: 2d_q1_periodic
119*a05c9aa3SJed Brown     requires: !complex
120dd7309edSJed Brown     args: -dm_plex_dim 2 -petscspace_degree 1 -dm_plex_simplex 0 -dm_plex_box_faces 3,2 -dm_plex_box_bd periodic,none -dm_view -view_coord
12146181b2aSJed Brown   test:
122*a05c9aa3SJed Brown     suffix: 3d_q1_periodic
123*a05c9aa3SJed Brown     requires: !complex
124*a05c9aa3SJed Brown     args: -dm_plex_dim 3 -petscspace_degree 1 -dm_plex_simplex 0 -dm_plex_box_faces 3,2,1 -dm_plex_box_bd periodic,none,none -dm_view -view_coord
125*a05c9aa3SJed Brown   test:
126*a05c9aa3SJed Brown     suffix: 3d_q2_periodic  # not actually periodic because only 2 cells
12746181b2aSJed Brown     args: -dm_plex_dim 3 -petscspace_degree 2 -dm_plex_simplex 0 -dm_plex_box_faces 2,2,2 -dm_plex_box_bd periodic,none,periodic -dm_view
128c4762a1bSJed Brown 
129c4762a1bSJed Brown TEST*/
130