xref: /petsc/src/dm/interface/dmi.c (revision 44a7f3ddb7c7b58d48c7b1b1b026d93f7d23fd5f)
1af0996ceSBarry Smith #include <petsc/private/dmimpl.h>     /*I      "petscdm.h"     I*/
22764a2aaSMatthew G. Knepley #include <petscds.h>
311689aebSJed Brown 
411689aebSJed Brown PetscErrorCode DMCreateGlobalVector_Section_Private(DM dm,Vec *vec)
511689aebSJed Brown {
611689aebSJed Brown   PetscSection   gSection;
7cc30b04dSMatthew G Knepley   PetscInt       localSize, bs, blockSize = -1, pStart, pEnd, p;
8fad22124SMatthew G Knepley   PetscErrorCode ierr;
95d1c0279SHong Zhang   PetscInt       in[2],out[2];
1011689aebSJed Brown 
1111689aebSJed Brown   PetscFunctionBegin;
12e87a4003SBarry Smith   ierr = DMGetGlobalSection(dm, &gSection);CHKERRQ(ierr);
13fad22124SMatthew G Knepley   ierr = PetscSectionGetChart(gSection, &pStart, &pEnd);CHKERRQ(ierr);
1411689aebSJed Brown   for (p = pStart; p < pEnd; ++p) {
1511689aebSJed Brown     PetscInt dof, cdof;
1611689aebSJed Brown 
17fad22124SMatthew G Knepley     ierr = PetscSectionGetDof(gSection, p, &dof);CHKERRQ(ierr);
18fad22124SMatthew G Knepley     ierr = PetscSectionGetConstraintDof(gSection, p, &cdof);CHKERRQ(ierr);
190680ce0aSHong Zhang 
200680ce0aSHong Zhang     if (dof > 0) {
210680ce0aSHong Zhang       if (blockSize < 0 && dof-cdof > 0) {
220680ce0aSHong Zhang         /* set blockSize */
230680ce0aSHong Zhang         blockSize = dof-cdof;
240680ce0aSHong Zhang       } else if (dof-cdof != blockSize) {
250680ce0aSHong Zhang         /* non-identical blockSize, set it as 1 */
2611689aebSJed Brown         blockSize = 1;
2711689aebSJed Brown         break;
2811689aebSJed Brown       }
2911689aebSJed Brown     }
300680ce0aSHong Zhang   }
315d1c0279SHong Zhang 
322c8be454SMatthew G. Knepley   in[0] = blockSize < 0 ? PETSC_MIN_INT : -blockSize;
335d1c0279SHong Zhang   in[1] = blockSize;
34bdfec8b8SHong Zhang   ierr = MPIU_Allreduce(in,out,2,MPIU_INT,MPI_MAX,PetscObjectComm((PetscObject)dm));CHKERRQ(ierr);
355d1c0279SHong Zhang   /* -out[0] = min(blockSize), out[1] = max(blockSize) */
365d1c0279SHong Zhang   if (-out[0] == out[1]) {
375d1c0279SHong Zhang     bs = out[1];
385d1c0279SHong Zhang   } else bs = 1;
395d1c0279SHong Zhang 
405d1c0279SHong Zhang   if (bs < 0) { /* Everyone was empty */
415d1c0279SHong Zhang     blockSize = 1;
425d1c0279SHong Zhang     bs        = 1;
435d1c0279SHong Zhang   }
445d1c0279SHong Zhang 
45fad22124SMatthew G Knepley   ierr = PetscSectionGetConstrainedStorageSize(gSection, &localSize);CHKERRQ(ierr);
4682f516ccSBarry Smith   if (localSize%blockSize) SETERRQ2(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Mismatch between blocksize %d and local storage size %d", blockSize, localSize);
4782f516ccSBarry Smith   ierr = VecCreate(PetscObjectComm((PetscObject)dm), vec);CHKERRQ(ierr);
4811689aebSJed Brown   ierr = VecSetSizes(*vec, localSize, PETSC_DETERMINE);CHKERRQ(ierr);
49cc30b04dSMatthew G Knepley   ierr = VecSetBlockSize(*vec, bs);CHKERRQ(ierr);
50c0dedaeaSBarry Smith   ierr = VecSetType(*vec,dm->vectype);CHKERRQ(ierr);
5111689aebSJed Brown   ierr = VecSetDM(*vec, dm);CHKERRQ(ierr);
5211689aebSJed Brown   /* ierr = VecSetLocalToGlobalMapping(*vec, dm->ltogmap);CHKERRQ(ierr); */
5311689aebSJed Brown   PetscFunctionReturn(0);
5411689aebSJed Brown }
5511689aebSJed Brown 
5611689aebSJed Brown PetscErrorCode DMCreateLocalVector_Section_Private(DM dm,Vec *vec)
5711689aebSJed Brown {
58fad22124SMatthew G Knepley   PetscSection   section;
5911689aebSJed Brown   PetscInt       localSize, blockSize = -1, pStart, pEnd, p;
60fad22124SMatthew G Knepley   PetscErrorCode ierr;
6111689aebSJed Brown 
6211689aebSJed Brown   PetscFunctionBegin;
63e87a4003SBarry Smith   ierr = DMGetSection(dm, &section);CHKERRQ(ierr);
64fad22124SMatthew G Knepley   ierr = PetscSectionGetChart(section, &pStart, &pEnd);CHKERRQ(ierr);
6511689aebSJed Brown   for (p = pStart; p < pEnd; ++p) {
6611689aebSJed Brown     PetscInt dof;
6711689aebSJed Brown 
68fad22124SMatthew G Knepley     ierr = PetscSectionGetDof(section, p, &dof);CHKERRQ(ierr);
6911689aebSJed Brown     if ((blockSize < 0) && (dof > 0)) blockSize = dof;
7011689aebSJed Brown     if ((dof > 0) && (dof != blockSize)) {
7111689aebSJed Brown       blockSize = 1;
7211689aebSJed Brown       break;
7311689aebSJed Brown     }
7411689aebSJed Brown   }
75fad22124SMatthew G Knepley   ierr = PetscSectionGetStorageSize(section, &localSize);CHKERRQ(ierr);
7611689aebSJed Brown   ierr = VecCreate(PETSC_COMM_SELF, vec);CHKERRQ(ierr);
7711689aebSJed Brown   ierr = VecSetSizes(*vec, localSize, localSize);CHKERRQ(ierr);
7811689aebSJed Brown   ierr = VecSetBlockSize(*vec, blockSize);CHKERRQ(ierr);
79c0dedaeaSBarry Smith   ierr = VecSetType(*vec,dm->vectype);CHKERRQ(ierr);
8011689aebSJed Brown   ierr = VecSetDM(*vec, dm);CHKERRQ(ierr);
8111689aebSJed Brown   PetscFunctionReturn(0);
8211689aebSJed Brown }
834d9407bcSMatthew G. Knepley 
844d9407bcSMatthew G. Knepley /* This assumes that the DM has been cloned prior to the call */
85276c5506SMatthew G. Knepley PetscErrorCode DMCreateSubDM_Section_Private(DM dm, PetscInt numFields, const PetscInt fields[], IS *is, DM *subdm)
864d9407bcSMatthew G. Knepley {
874d9407bcSMatthew G. Knepley   PetscSection   section, sectionGlobal;
884d9407bcSMatthew G. Knepley   PetscInt      *subIndices;
894d9407bcSMatthew G. Knepley   PetscInt       subSize = 0, subOff = 0, nF, f, pStart, pEnd, p;
904d9407bcSMatthew G. Knepley   PetscErrorCode ierr;
914d9407bcSMatthew G. Knepley 
924d9407bcSMatthew G. Knepley   PetscFunctionBegin;
934d9407bcSMatthew G. Knepley   if (!numFields) PetscFunctionReturn(0);
94e87a4003SBarry Smith   ierr = DMGetSection(dm, &section);CHKERRQ(ierr);
95e87a4003SBarry Smith   ierr = DMGetGlobalSection(dm, &sectionGlobal);CHKERRQ(ierr);
964d9407bcSMatthew G. Knepley   if (!section) SETERRQ(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Must set default section for DM before splitting fields");
974d9407bcSMatthew G. Knepley   if (!sectionGlobal) SETERRQ(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Must set default global section for DM before splitting fields");
984d9407bcSMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &nF);CHKERRQ(ierr);
994d9407bcSMatthew G. Knepley   if (numFields > nF) SETERRQ2(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Number of requested fields %d greater than number of DM fields %d", numFields, nF);
1004d9407bcSMatthew G. Knepley   if (is) {
1013a544194SStefano Zampini     PetscInt bs, bsLocal[2], bsMinMax[2];
1023a544194SStefano Zampini 
1033a544194SStefano Zampini     for (f = 0, bs = 0; f < numFields; ++f) {
1043a544194SStefano Zampini       PetscInt Nc;
1053a544194SStefano Zampini 
1063a544194SStefano Zampini       ierr = PetscSectionGetFieldComponents(section, fields[f], &Nc);CHKERRQ(ierr);
1073a544194SStefano Zampini       bs  += Nc;
1083a544194SStefano Zampini     }
1094d9407bcSMatthew G. Knepley     ierr = PetscSectionGetChart(sectionGlobal, &pStart, &pEnd);CHKERRQ(ierr);
1104d9407bcSMatthew G. Knepley     for (p = pStart; p < pEnd; ++p) {
111b9eca265Ssarens       PetscInt gdof, pSubSize  = 0;
1124d9407bcSMatthew G. Knepley 
1134d9407bcSMatthew G. Knepley       ierr = PetscSectionGetDof(sectionGlobal, p, &gdof);CHKERRQ(ierr);
1144d9407bcSMatthew G. Knepley       if (gdof > 0) {
1154d9407bcSMatthew G. Knepley         for (f = 0; f < numFields; ++f) {
1164d9407bcSMatthew G. Knepley           PetscInt fdof, fcdof;
1174d9407bcSMatthew G. Knepley 
1184d9407bcSMatthew G. Knepley           ierr     = PetscSectionGetFieldDof(section, p, fields[f], &fdof);CHKERRQ(ierr);
1194d9407bcSMatthew G. Knepley           ierr     = PetscSectionGetFieldConstraintDof(section, p, fields[f], &fcdof);CHKERRQ(ierr);
120b9eca265Ssarens           pSubSize += fdof-fcdof;
121b9eca265Ssarens         }
122b9eca265Ssarens         subSize += pSubSize;
1233a544194SStefano Zampini         if (pSubSize && bs != pSubSize) {
124b9eca265Ssarens           /* Layout does not admit a pointwise block size */
125b9eca265Ssarens           bs = 1;
1264d9407bcSMatthew G. Knepley         }
1274d9407bcSMatthew G. Knepley       }
1284d9407bcSMatthew G. Knepley     }
129b9eca265Ssarens     /* Must have same blocksize on all procs (some might have no points) */
1300be3e97aSMatthew G. Knepley     bsLocal[0] = bs < 0 ? PETSC_MAX_INT : bs; bsLocal[1] = bs;
1310be3e97aSMatthew G. Knepley     ierr = PetscGlobalMinMaxInt(PetscObjectComm((PetscObject) dm), bsLocal, bsMinMax);CHKERRQ(ierr);
1320be3e97aSMatthew G. Knepley     if (bsMinMax[0] != bsMinMax[1]) {bs = 1;}
1330be3e97aSMatthew G. Knepley     else                            {bs = bsMinMax[0];}
134785e854fSJed Brown     ierr = PetscMalloc1(subSize, &subIndices);CHKERRQ(ierr);
1354d9407bcSMatthew G. Knepley     for (p = pStart; p < pEnd; ++p) {
1364d9407bcSMatthew G. Knepley       PetscInt gdof, goff;
1374d9407bcSMatthew G. Knepley 
1384d9407bcSMatthew G. Knepley       ierr = PetscSectionGetDof(sectionGlobal, p, &gdof);CHKERRQ(ierr);
1394d9407bcSMatthew G. Knepley       if (gdof > 0) {
1404d9407bcSMatthew G. Knepley         ierr = PetscSectionGetOffset(sectionGlobal, p, &goff);CHKERRQ(ierr);
1414d9407bcSMatthew G. Knepley         for (f = 0; f < numFields; ++f) {
1424d9407bcSMatthew G. Knepley           PetscInt fdof, fcdof, fc, f2, poff = 0;
1434d9407bcSMatthew G. Knepley 
1444d9407bcSMatthew G. Knepley           /* Can get rid of this loop by storing field information in the global section */
1454d9407bcSMatthew G. Knepley           for (f2 = 0; f2 < fields[f]; ++f2) {
1464d9407bcSMatthew G. Knepley             ierr  = PetscSectionGetFieldDof(section, p, f2, &fdof);CHKERRQ(ierr);
1474d9407bcSMatthew G. Knepley             ierr  = PetscSectionGetFieldConstraintDof(section, p, f2, &fcdof);CHKERRQ(ierr);
1484d9407bcSMatthew G. Knepley             poff += fdof-fcdof;
1494d9407bcSMatthew G. Knepley           }
1504d9407bcSMatthew G. Knepley           ierr = PetscSectionGetFieldDof(section, p, fields[f], &fdof);CHKERRQ(ierr);
1514d9407bcSMatthew G. Knepley           ierr = PetscSectionGetFieldConstraintDof(section, p, fields[f], &fcdof);CHKERRQ(ierr);
1524d9407bcSMatthew G. Knepley           for (fc = 0; fc < fdof-fcdof; ++fc, ++subOff) {
1534d9407bcSMatthew G. Knepley             subIndices[subOff] = goff+poff+fc;
1544d9407bcSMatthew G. Knepley           }
1554d9407bcSMatthew G. Knepley         }
1564d9407bcSMatthew G. Knepley       }
1574d9407bcSMatthew G. Knepley     }
1584d9407bcSMatthew G. Knepley     ierr = ISCreateGeneral(PetscObjectComm((PetscObject)dm), subSize, subIndices, PETSC_OWN_POINTER, is);CHKERRQ(ierr);
159627349f5SMatthew G. Knepley     if (bs > 1) {
160627349f5SMatthew G. Knepley       /* We need to check that the block size does not come from non-contiguous fields */
161627349f5SMatthew G. Knepley       PetscInt i, j, set = 1;
162627349f5SMatthew G. Knepley       for (i = 0; i < subSize; i += bs) {
163627349f5SMatthew G. Knepley         for (j = 0; j < bs; ++j) {
164627349f5SMatthew G. Knepley           if (subIndices[i+j] != subIndices[i]+j) {set = 0; break;}
165627349f5SMatthew G. Knepley         }
166627349f5SMatthew G. Knepley       }
167627349f5SMatthew G. Knepley       if (set) {ierr = ISSetBlockSize(*is, bs);CHKERRQ(ierr);}
168627349f5SMatthew G. Knepley     }
1694d9407bcSMatthew G. Knepley   }
1704d9407bcSMatthew G. Knepley   if (subdm) {
1714d9407bcSMatthew G. Knepley     PetscSection subsection;
1724d9407bcSMatthew G. Knepley     PetscBool    haveNull = PETSC_FALSE;
1734d9407bcSMatthew G. Knepley     PetscInt     f, nf = 0;
1744d9407bcSMatthew G. Knepley 
1754d9407bcSMatthew G. Knepley     ierr = PetscSectionCreateSubsection(section, numFields, fields, &subsection);CHKERRQ(ierr);
176e87a4003SBarry Smith     ierr = DMSetSection(*subdm, subsection);CHKERRQ(ierr);
1774d9407bcSMatthew G. Knepley     ierr = PetscSectionDestroy(&subsection);CHKERRQ(ierr);
1784d9407bcSMatthew G. Knepley     for (f = 0; f < numFields; ++f) {
1794d9407bcSMatthew G. Knepley       (*subdm)->nullspaceConstructors[f] = dm->nullspaceConstructors[fields[f]];
1804d9407bcSMatthew G. Knepley       if ((*subdm)->nullspaceConstructors[f]) {
1814d9407bcSMatthew G. Knepley         haveNull = PETSC_TRUE;
1824d9407bcSMatthew G. Knepley         nf       = f;
1834d9407bcSMatthew G. Knepley       }
1844d9407bcSMatthew G. Knepley     }
185f646a522SMatthew G. Knepley     if (haveNull && is) {
1864d9407bcSMatthew G. Knepley       MatNullSpace nullSpace;
1874d9407bcSMatthew G. Knepley 
1884d9407bcSMatthew G. Knepley       ierr = (*(*subdm)->nullspaceConstructors[nf])(*subdm, nf, &nullSpace);CHKERRQ(ierr);
1894d9407bcSMatthew G. Knepley       ierr = PetscObjectCompose((PetscObject) *is, "nullspace", (PetscObject) nullSpace);CHKERRQ(ierr);
1904d9407bcSMatthew G. Knepley       ierr = MatNullSpaceDestroy(&nullSpace);CHKERRQ(ierr);
1914d9407bcSMatthew G. Knepley     }
1920f21e855SMatthew G. Knepley     if (dm->prob) {
1930f21e855SMatthew G. Knepley       PetscInt Nf;
1940f21e855SMatthew G. Knepley 
1952764a2aaSMatthew G. Knepley       ierr = PetscDSGetNumFields(dm->prob, &Nf);CHKERRQ(ierr);
1960f21e855SMatthew G. Knepley       if (nF != Nf) SETERRQ2(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "The number of DM fields %d does not match the number of Section fields %d", Nf, nF);
1974d9407bcSMatthew G. Knepley       ierr = DMSetNumFields(*subdm, numFields);CHKERRQ(ierr);
1984d9407bcSMatthew G. Knepley       for (f = 0; f < numFields; ++f) {
1990f21e855SMatthew G. Knepley         PetscObject disc;
2000f21e855SMatthew G. Knepley 
201*44a7f3ddSMatthew G. Knepley         ierr = DMGetField(dm, fields[f], NULL, &disc);CHKERRQ(ierr);
202*44a7f3ddSMatthew G. Knepley         ierr = DMSetField(*subdm, f, NULL, disc);CHKERRQ(ierr);
2034d9407bcSMatthew G. Knepley       }
204f646a522SMatthew G. Knepley       if (numFields == 1 && is) {
2050f21e855SMatthew G. Knepley         PetscObject disc, space, pmat;
2064d9407bcSMatthew G. Knepley 
207*44a7f3ddSMatthew G. Knepley         ierr = DMGetField(*subdm, 0, NULL, &disc);CHKERRQ(ierr);
2080f21e855SMatthew G. Knepley         ierr = PetscObjectQuery(disc, "nullspace", &space);CHKERRQ(ierr);
2090f21e855SMatthew G. Knepley         if (space) {ierr = PetscObjectCompose((PetscObject) *is, "nullspace", space);CHKERRQ(ierr);}
2100f21e855SMatthew G. Knepley         ierr = PetscObjectQuery(disc, "nearnullspace", &space);CHKERRQ(ierr);
2110f21e855SMatthew G. Knepley         if (space) {ierr = PetscObjectCompose((PetscObject) *is, "nearnullspace", space);CHKERRQ(ierr);}
2120f21e855SMatthew G. Knepley         ierr = PetscObjectQuery(disc, "pmat", &pmat);CHKERRQ(ierr);
2130f21e855SMatthew G. Knepley         if (pmat) {ierr = PetscObjectCompose((PetscObject) *is, "pmat", pmat);CHKERRQ(ierr);}
2144d9407bcSMatthew G. Knepley       }
215d5af271aSMatthew G. Knepley       ierr = PetscDSCopyConstants(dm->prob, (*subdm)->prob);CHKERRQ(ierr);
216d5af271aSMatthew G. Knepley       ierr = PetscDSCopyBoundary(dm->prob, (*subdm)->prob);CHKERRQ(ierr);
217d5af271aSMatthew G. Knepley       ierr = PetscDSSelectEquations(dm->prob, numFields, fields, (*subdm)->prob);CHKERRQ(ierr);
218d5af271aSMatthew G. Knepley     }
219d5af271aSMatthew G. Knepley     if (dm->coarseMesh) {
220d5af271aSMatthew G. Knepley       ierr = DMCreateSubDM(dm->coarseMesh, numFields, fields, NULL, &(*subdm)->coarseMesh);CHKERRQ(ierr);
2214d9407bcSMatthew G. Knepley     }
2224d9407bcSMatthew G. Knepley   }
2234d9407bcSMatthew G. Knepley   PetscFunctionReturn(0);
2244d9407bcSMatthew G. Knepley }
2252adcc780SMatthew G. Knepley 
2262adcc780SMatthew G. Knepley /* This assumes that the DM has been cloned prior to the call */
2272adcc780SMatthew G. Knepley PetscErrorCode DMCreateSuperDM_Section_Private(DM dms[], PetscInt len, IS **is, DM *superdm)
2282adcc780SMatthew G. Knepley {
2299796d432SMatthew G. Knepley   MPI_Comm       comm;
2309796d432SMatthew G. Knepley   PetscSection   supersection, *sections, *sectionGlobals;
2319796d432SMatthew G. Knepley   PetscInt      *Nfs, Nf = 0, f, supf, nullf = -1, i;
2329796d432SMatthew G. Knepley   PetscBool      haveNull = PETSC_FALSE;
2332adcc780SMatthew G. Knepley   PetscErrorCode ierr;
2342adcc780SMatthew G. Knepley 
2352adcc780SMatthew G. Knepley   PetscFunctionBegin;
2369796d432SMatthew G. Knepley   ierr = PetscObjectGetComm((PetscObject)dms[0], &comm);CHKERRQ(ierr);
2379796d432SMatthew G. Knepley   /* Pull out local and global sections */
2382adcc780SMatthew G. Knepley   ierr = PetscMalloc3(len, &Nfs, len, &sections, len, &sectionGlobals);CHKERRQ(ierr);
2392adcc780SMatthew G. Knepley   for (i = 0 ; i < len; ++i) {
240e87a4003SBarry Smith     ierr = DMGetSection(dms[i], &sections[i]);CHKERRQ(ierr);
241e87a4003SBarry Smith     ierr = DMGetGlobalSection(dms[i], &sectionGlobals[i]);CHKERRQ(ierr);
2429796d432SMatthew G. Knepley     if (!sections[i]) SETERRQ(comm, PETSC_ERR_ARG_WRONG, "Must set default section for DM before splitting fields");
2439796d432SMatthew G. Knepley     if (!sectionGlobals[i]) SETERRQ(comm, PETSC_ERR_ARG_WRONG, "Must set default global section for DM before splitting fields");
2442adcc780SMatthew G. Knepley     ierr = PetscSectionGetNumFields(sections[i], &Nfs[i]);CHKERRQ(ierr);
2452adcc780SMatthew G. Knepley     Nf += Nfs[i];
2462adcc780SMatthew G. Knepley   }
2479796d432SMatthew G. Knepley   /* Create the supersection */
2489796d432SMatthew G. Knepley   ierr = PetscSectionCreateSupersection(sections, len, &supersection);CHKERRQ(ierr);
2493b16a644SMatthew G. Knepley   ierr = DMSetSection(*superdm, supersection);CHKERRQ(ierr);
2509796d432SMatthew G. Knepley   /* Create ISes */
2512adcc780SMatthew G. Knepley   if (is) {
2529796d432SMatthew G. Knepley     PetscSection supersectionGlobal;
2539796d432SMatthew G. Knepley     PetscInt     bs = -1, startf = 0;
2542adcc780SMatthew G. Knepley 
2552adcc780SMatthew G. Knepley     ierr = PetscMalloc1(len, is);CHKERRQ(ierr);
2569796d432SMatthew G. Knepley     ierr = DMGetDefaultGlobalSection(*superdm, &supersectionGlobal);CHKERRQ(ierr);
2579796d432SMatthew G. Knepley     for (i = 0 ; i < len; startf += Nfs[i], ++i) {
2589796d432SMatthew G. Knepley       PetscInt *subIndices;
259ec4c761aSMatthew G. Knepley       PetscInt  subSize, subOff, pStart, pEnd, p, start, end, dummy;
2602adcc780SMatthew G. Knepley 
2612adcc780SMatthew G. Knepley       ierr = PetscSectionGetChart(sectionGlobals[i], &pStart, &pEnd);CHKERRQ(ierr);
2622adcc780SMatthew G. Knepley       ierr = PetscSectionGetConstrainedStorageSize(sectionGlobals[i], &subSize);CHKERRQ(ierr);
2632adcc780SMatthew G. Knepley       ierr = PetscMalloc1(subSize, &subIndices);CHKERRQ(ierr);
2649796d432SMatthew G. Knepley       for (p = pStart, subOff = 0; p < pEnd; ++p) {
2659796d432SMatthew G. Knepley         PetscInt gdof, gcdof, gtdof, d;
2662adcc780SMatthew G. Knepley 
2672adcc780SMatthew G. Knepley         ierr = PetscSectionGetDof(sectionGlobals[i], p, &gdof);CHKERRQ(ierr);
2682adcc780SMatthew G. Knepley         ierr = PetscSectionGetConstraintDof(sections[i], p, &gcdof);CHKERRQ(ierr);
2692adcc780SMatthew G. Knepley         gtdof = gdof - gcdof;
2702adcc780SMatthew G. Knepley         if (gdof > 0 && gtdof) {
2712adcc780SMatthew G. Knepley           if (bs < 0)           {bs = gtdof;}
2722adcc780SMatthew G. Knepley           else if (bs != gtdof) {bs = 1;}
273ec4c761aSMatthew G. Knepley           ierr = DMGetGlobalFieldOffset_Private(*superdm, p, startf, &start, &dummy);CHKERRQ(ierr);
274ec4c761aSMatthew G. Knepley           ierr = DMGetGlobalFieldOffset_Private(*superdm, p, startf+Nfs[i]-1, &dummy, &end);CHKERRQ(ierr);
2759796d432SMatthew G. Knepley           if (end-start != gtdof) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Invalid number of global dofs %D != %D for dm %D on point %D", end-start, gtdof, i, p);
2769796d432SMatthew G. Knepley           for (d = start; d < end; ++d, ++subOff) subIndices[subOff] = d;
2772adcc780SMatthew G. Knepley         }
2782adcc780SMatthew G. Knepley       }
2799796d432SMatthew G. Knepley       ierr = ISCreateGeneral(comm, subSize, subIndices, PETSC_OWN_POINTER, &(*is)[i]);CHKERRQ(ierr);
2802adcc780SMatthew G. Knepley       /* Must have same blocksize on all procs (some might have no points) */
2819796d432SMatthew G. Knepley       {
2829796d432SMatthew G. Knepley         PetscInt bs = -1, bsLocal[2], bsMinMax[2];
2839796d432SMatthew G. Knepley 
2842adcc780SMatthew G. Knepley         bsLocal[0] = bs < 0 ? PETSC_MAX_INT : bs; bsLocal[1] = bs;
2859796d432SMatthew G. Knepley         ierr = PetscGlobalMinMaxInt(comm, bsLocal, bsMinMax);CHKERRQ(ierr);
2862adcc780SMatthew G. Knepley         if (bsMinMax[0] != bsMinMax[1]) {bs = 1;}
2872adcc780SMatthew G. Knepley         else                            {bs = bsMinMax[0];}
2882adcc780SMatthew G. Knepley         ierr = ISSetBlockSize((*is)[i], bs);CHKERRQ(ierr);
2892adcc780SMatthew G. Knepley       }
2902adcc780SMatthew G. Knepley     }
2912adcc780SMatthew G. Knepley   }
2929796d432SMatthew G. Knepley   /* Preserve discretizations */
2932adcc780SMatthew G. Knepley   if (len && dms[0]->prob) {
2942adcc780SMatthew G. Knepley     ierr = DMSetNumFields(*superdm, Nf);CHKERRQ(ierr);
2959796d432SMatthew G. Knepley     for (i = 0, supf = 0; i < len; ++i) {
2969796d432SMatthew G. Knepley       for (f = 0; f < Nfs[i]; ++f, ++supf) {
2972adcc780SMatthew G. Knepley         PetscObject disc;
2982adcc780SMatthew G. Knepley 
299*44a7f3ddSMatthew G. Knepley         ierr = DMGetField(dms[i], f, NULL, &disc);CHKERRQ(ierr);
300*44a7f3ddSMatthew G. Knepley         ierr = DMSetField(*superdm, supf, NULL, disc);CHKERRQ(ierr);
3012adcc780SMatthew G. Knepley       }
3022adcc780SMatthew G. Knepley     }
3032adcc780SMatthew G. Knepley   }
3049796d432SMatthew G. Knepley   /* Preserve nullspaces */
3059796d432SMatthew G. Knepley   for (i = 0, supf = 0; i < len; ++i) {
3069796d432SMatthew G. Knepley     for (f = 0; f < Nfs[i]; ++f, ++supf) {
3079796d432SMatthew G. Knepley       (*superdm)->nullspaceConstructors[supf] = dms[i]->nullspaceConstructors[f];
3089796d432SMatthew G. Knepley       if ((*superdm)->nullspaceConstructors[supf]) {
3099796d432SMatthew G. Knepley         haveNull = PETSC_TRUE;
3109796d432SMatthew G. Knepley         nullf    = supf;
3112adcc780SMatthew G. Knepley       }
3129796d432SMatthew G. Knepley     }
3139796d432SMatthew G. Knepley   }
3149796d432SMatthew G. Knepley   /* Attach nullspace to IS */
3159796d432SMatthew G. Knepley   if (haveNull && is) {
3169796d432SMatthew G. Knepley     MatNullSpace nullSpace;
3179796d432SMatthew G. Knepley 
3189796d432SMatthew G. Knepley     ierr = (*(*superdm)->nullspaceConstructors[nullf])(*superdm, nullf, &nullSpace);CHKERRQ(ierr);
3199796d432SMatthew G. Knepley     ierr = PetscObjectCompose((PetscObject) (*is)[nullf], "nullspace", (PetscObject) nullSpace);CHKERRQ(ierr);
3209796d432SMatthew G. Knepley     ierr = MatNullSpaceDestroy(&nullSpace);CHKERRQ(ierr);
3219796d432SMatthew G. Knepley   }
3229796d432SMatthew G. Knepley   ierr = PetscSectionDestroy(&supersection);CHKERRQ(ierr);
32395b1d6b7SMatthew G. Knepley   ierr = PetscFree3(Nfs, sections, sectionGlobals);CHKERRQ(ierr);
3242adcc780SMatthew G. Knepley   PetscFunctionReturn(0);
3252adcc780SMatthew G. Knepley }
326