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