xref: /petsc/src/dm/impls/plex/plexproject.c (revision 2af580224ffb69e4479c0cfe092d96bb54bdf16e)
147923291SMatthew G. Knepley #include <petsc/private/dmpleximpl.h>   /*I      "petscdmplex.h"   I*/
247923291SMatthew G. Knepley 
38c6c5593SMatthew G. Knepley #include <petsc/private/petscfeimpl.h>
48c6c5593SMatthew G. Knepley 
5496733e2SMatthew G. Knepley static PetscErrorCode DMProjectPoint_Func_Private(DM dm, PetscReal time, PetscFECellGeom *fegeom, PetscFVCellGeom *fvgeom, PetscBool isFE[], PetscDualSpace sp[],
68c6c5593SMatthew G. Knepley                                                   PetscErrorCode (**funcs)(PetscInt, PetscReal, const PetscReal [], PetscInt, PetscScalar *, void *), void **ctxs,
78c6c5593SMatthew G. Knepley                                                   PetscScalar values[])
847923291SMatthew G. Knepley {
98c6c5593SMatthew G. Knepley   PetscDS        prob;
10496733e2SMatthew G. Knepley   PetscInt       Nf, *Nc, f, spDim, d, c, v;
118c6c5593SMatthew G. Knepley   PetscErrorCode ierr;
128c6c5593SMatthew G. Knepley 
138c6c5593SMatthew G. Knepley   PetscFunctionBeginHot;
148c6c5593SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
158c6c5593SMatthew G. Knepley   ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr);
16496733e2SMatthew G. Knepley   ierr = PetscDSGetComponents(prob, &Nc);CHKERRQ(ierr);
178c6c5593SMatthew G. Knepley   /* Get values for closure */
188c6c5593SMatthew G. Knepley   for (f = 0, v = 0; f < Nf; ++f) {
198c6c5593SMatthew G. Knepley     void * const ctx = ctxs ? ctxs[f] : NULL;
208c6c5593SMatthew G. Knepley 
218c6c5593SMatthew G. Knepley     if (!sp[f]) continue;
228c6c5593SMatthew G. Knepley     ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
238c6c5593SMatthew G. Knepley     for (d = 0; d < spDim; ++d) {
248c6c5593SMatthew G. Knepley       if (funcs[f]) {
258c6c5593SMatthew G. Knepley         if (isFE[f]) {ierr = PetscDualSpaceApply(sp[f], d, time, fegeom, Nc[f], funcs[f], ctx, &values[v]);CHKERRQ(ierr);}
268c6c5593SMatthew G. Knepley         else         {ierr = PetscDualSpaceApplyFVM(sp[f], d, time, fvgeom, Nc[f], funcs[f], ctx, &values[v]);CHKERRQ(ierr);}
278c6c5593SMatthew G. Knepley       } else {
288c6c5593SMatthew G. Knepley         for (c = 0; c < Nc[f]; ++c) values[v+c] = 0.0;
298c6c5593SMatthew G. Knepley       }
308c6c5593SMatthew G. Knepley       v += Nc[f];
318c6c5593SMatthew G. Knepley     }
328c6c5593SMatthew G. Knepley   }
338c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
348c6c5593SMatthew G. Knepley }
358c6c5593SMatthew G. Knepley 
36496733e2SMatthew G. Knepley static PetscErrorCode DMProjectPoint_Field_Private(DM dm, DM dmAux, PetscReal time, Vec localU, Vec localA, PetscFECellGeom *fegeom, PetscDualSpace sp[], PetscInt p,
370c898c18SMatthew G. Knepley                                                    PetscReal **basisTab, PetscReal **basisDerTab, PetscReal **basisTabAux, PetscReal **basisDerTabAux,
388c6c5593SMatthew G. Knepley                                                    void (**funcs)(PetscInt, PetscInt, PetscInt,
398c6c5593SMatthew G. Knepley                                                                   const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
408c6c5593SMatthew G. Knepley                                                                   const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
418c6c5593SMatthew G. Knepley                                                                   PetscReal, const PetscReal[], PetscScalar[]), void **ctxs,
428c6c5593SMatthew G. Knepley                                                    PetscScalar values[])
438c6c5593SMatthew G. Knepley {
448c6c5593SMatthew G. Knepley   PetscDS        prob, probAux = NULL;
458c6c5593SMatthew G. Knepley   PetscSection   section, sectionAux = NULL;
46496733e2SMatthew G. Knepley   PetscScalar   *u, *u_t = NULL, *u_x, *a = NULL, *a_t = NULL, *a_x = NULL, *refSpaceDer, *refSpaceDerAux = NULL;
478c6c5593SMatthew G. Knepley   PetscScalar   *coefficients   = NULL, *coefficientsAux   = NULL;
488c6c5593SMatthew G. Knepley   PetscScalar   *coefficients_t = NULL, *coefficientsAux_t = NULL;
498c6c5593SMatthew G. Knepley   PetscReal     *x;
50496733e2SMatthew G. Knepley   PetscInt      *uOff, *uOff_x, *aOff = NULL, *aOff_x = NULL, *Nb, *Nc, *NbAux = NULL, *NcAux = NULL;
510c898c18SMatthew G. Knepley   PetscInt       dim, Nf, NfAux = 0, f, spDim, d, c, v, tp = 0;
528c6c5593SMatthew G. Knepley   PetscErrorCode ierr;
538c6c5593SMatthew G. Knepley 
548c6c5593SMatthew G. Knepley   PetscFunctionBeginHot;
558c6c5593SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
568c6c5593SMatthew G. Knepley   ierr = PetscDSGetSpatialDimension(prob, &dim);CHKERRQ(ierr);
578c6c5593SMatthew G. Knepley   ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr);
58496733e2SMatthew G. Knepley   ierr = PetscDSGetDimensions(prob, &Nb);CHKERRQ(ierr);
59496733e2SMatthew G. Knepley   ierr = PetscDSGetComponents(prob, &Nc);CHKERRQ(ierr);
608c6c5593SMatthew G. Knepley   ierr = PetscDSGetComponentOffsets(prob, &uOff);CHKERRQ(ierr);
618c6c5593SMatthew G. Knepley   ierr = PetscDSGetComponentDerivativeOffsets(prob, &uOff_x);CHKERRQ(ierr);
6211d189daSMatthew G. Knepley   ierr = PetscDSGetEvaluationArrays(prob, &u, NULL /*&u_t*/, &u_x);CHKERRQ(ierr);
63496733e2SMatthew G. Knepley   ierr = PetscDSGetRefCoordArrays(prob, &x, &refSpaceDer);CHKERRQ(ierr);
648c6c5593SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
65496733e2SMatthew G. Knepley   ierr = DMPlexVecGetClosure(dm, section, localU, p, NULL, &coefficients);CHKERRQ(ierr);
668c6c5593SMatthew G. Knepley   if (dmAux) {
678c6c5593SMatthew G. Knepley     ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr);
688c6c5593SMatthew G. Knepley     ierr = PetscDSGetNumFields(probAux, &NfAux);CHKERRQ(ierr);
69496733e2SMatthew G. Knepley     ierr = PetscDSGetDimensions(probAux, &NbAux);CHKERRQ(ierr);
70496733e2SMatthew G. Knepley     ierr = PetscDSGetComponents(probAux, &NcAux);CHKERRQ(ierr);
718c6c5593SMatthew G. Knepley     ierr = DMGetDefaultSection(dmAux, &sectionAux);CHKERRQ(ierr);
728c6c5593SMatthew G. Knepley     ierr = PetscDSGetComponentOffsets(probAux, &aOff);CHKERRQ(ierr);
738c6c5593SMatthew G. Knepley     ierr = PetscDSGetComponentDerivativeOffsets(probAux, &aOff_x);CHKERRQ(ierr);
7411d189daSMatthew G. Knepley     ierr = PetscDSGetEvaluationArrays(probAux, &a, NULL /*&a_t*/, &a_x);CHKERRQ(ierr);
75496733e2SMatthew G. Knepley     ierr = PetscDSGetRefCoordArrays(probAux, NULL, &refSpaceDerAux);CHKERRQ(ierr);
76496733e2SMatthew G. Knepley     ierr = DMPlexVecGetClosure(dmAux, sectionAux, localA, p, NULL, &coefficientsAux);CHKERRQ(ierr);
778c6c5593SMatthew G. Knepley   }
788c6c5593SMatthew G. Knepley   /* Get values for closure */
798c6c5593SMatthew G. Knepley   for (f = 0, v = 0; f < Nf; ++f) {
808c6c5593SMatthew G. Knepley     if (!sp[f]) continue;
818c6c5593SMatthew G. Knepley     ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
828c6c5593SMatthew G. Knepley     for (d = 0; d < spDim; ++d) {
838c6c5593SMatthew G. Knepley       if (funcs[f]) {
848c6c5593SMatthew G. Knepley         PetscQuadrature  quad;
850c898c18SMatthew G. Knepley         const PetscReal *points;
868c6c5593SMatthew G. Knepley         PetscInt         numPoints, q;
878c6c5593SMatthew G. Knepley 
888c6c5593SMatthew G. Knepley         ierr = PetscDualSpaceGetFunctional(sp[f], d, &quad);CHKERRQ(ierr);
890c898c18SMatthew G. Knepley         ierr = PetscQuadratureGetData(quad, NULL, &numPoints, &points, NULL);CHKERRQ(ierr);
900c898c18SMatthew G. Knepley         for (q = 0; q < numPoints; ++q, ++tp) {
918c6c5593SMatthew G. Knepley           CoordinatesRefToReal(dim, dim, fegeom->v0, fegeom->J, &points[q*dim], x);
92496733e2SMatthew G. Knepley           EvaluateFieldJets(dim, Nf, Nb, Nc, tp, basisTab, basisDerTab, refSpaceDer, fegeom->invJ, coefficients, coefficients_t, u, u_x, u_t);
93496733e2SMatthew G. Knepley           if (probAux) {EvaluateFieldJets(dim, NfAux, NbAux, NcAux, tp, basisTabAux, basisDerTabAux, refSpaceDerAux, fegeom->invJ, coefficientsAux, coefficientsAux_t, a, a_x, a_t);}
948c6c5593SMatthew G. Knepley           (*funcs[f])(dim, Nf, NfAux, uOff, uOff_x, u, u_t, u_x, aOff, aOff_x, a, a_t, a_x, time, x, &values[v]);
958c6c5593SMatthew G. Knepley         }
968c6c5593SMatthew G. Knepley       } else {
978c6c5593SMatthew G. Knepley         for (c = 0; c < Nc[f]; ++c) values[v+c] = 0.0;
988c6c5593SMatthew G. Knepley       }
998c6c5593SMatthew G. Knepley       v += Nc[f];
1008c6c5593SMatthew G. Knepley     }
1018c6c5593SMatthew G. Knepley   }
1028c6c5593SMatthew G. Knepley   ierr = DMPlexVecRestoreClosure(dm, section, localU, p, NULL, &coefficients);CHKERRQ(ierr);
1038c6c5593SMatthew G. Knepley   if (dmAux) {ierr = DMPlexVecRestoreClosure(dmAux, sectionAux, localA, p, NULL, &coefficientsAux);CHKERRQ(ierr);}
1048c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
1058c6c5593SMatthew G. Knepley }
1068c6c5593SMatthew G. Knepley 
1070c898c18SMatthew G. Knepley static PetscErrorCode DMProjectPoint_Private(DM dm, DM dmAux, PetscInt h, PetscReal time, Vec localU, Vec localA, PetscBool hasFE, PetscBool hasFV, PetscBool isFE[],
108496733e2SMatthew G. Knepley                                              PetscDualSpace sp[], PetscInt p, PetscReal **basisTab, PetscReal **basisDerTab, PetscReal **basisTabAux, PetscReal **basisDerTabAux,
1098c6c5593SMatthew G. Knepley                                              DMBoundaryConditionType type, void (**funcs)(void), void **ctxs, PetscBool fieldActive[], PetscScalar values[])
1108c6c5593SMatthew G. Knepley {
1118c6c5593SMatthew G. Knepley   PetscFECellGeom fegeom;
1128c6c5593SMatthew G. Knepley   PetscFVCellGeom fvgeom;
1138c6c5593SMatthew G. Knepley   PetscInt        dim, dimEmbed;
1148c6c5593SMatthew G. Knepley   PetscErrorCode  ierr;
1158c6c5593SMatthew G. Knepley 
1168c6c5593SMatthew G. Knepley   PetscFunctionBeginHot;
1178c6c5593SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
1188c6c5593SMatthew G. Knepley   ierr = DMGetCoordinateDim(dm, &dimEmbed);CHKERRQ(ierr);
1198c6c5593SMatthew G. Knepley   if (hasFE) {
12043048b12SMatthew G. Knepley     ierr = DMPlexComputeCellGeometryFEM(dm, p, NULL, fegeom.v0, fegeom.J, fegeom.invJ, &fegeom.detJ);CHKERRQ(ierr);
1218c6c5593SMatthew G. Knepley     fegeom.dim      = dim - h;
1228c6c5593SMatthew G. Knepley     fegeom.dimEmbed = dimEmbed;
1238c6c5593SMatthew G. Knepley   }
1248c6c5593SMatthew G. Knepley   if (hasFV) {ierr = DMPlexComputeCellGeometryFVM(dm, p, &fvgeom.volume, fvgeom.centroid, NULL);CHKERRQ(ierr);}
1258c6c5593SMatthew G. Knepley   switch (type) {
1268c6c5593SMatthew G. Knepley   case DM_BC_ESSENTIAL:
1278c6c5593SMatthew G. Knepley   case DM_BC_NATURAL:
128496733e2SMatthew G. Knepley     ierr = DMProjectPoint_Func_Private(dm, time, &fegeom, &fvgeom, isFE, sp, (PetscErrorCode (**)(PetscInt, PetscReal, const PetscReal [], PetscInt, PetscScalar *, void *)) funcs, ctxs, values);CHKERRQ(ierr);break;
1298c6c5593SMatthew G. Knepley   case DM_BC_ESSENTIAL_FIELD:
1308c6c5593SMatthew G. Knepley   case DM_BC_NATURAL_FIELD:
131496733e2SMatthew G. Knepley     ierr = DMProjectPoint_Field_Private(dm, dmAux, time, localU, localA, &fegeom, sp, p,
1320c898c18SMatthew G. Knepley                                         basisTab, basisDerTab, basisTabAux, basisDerTabAux,
1330c898c18SMatthew G. Knepley                                         (void (**)(PetscInt, PetscInt, PetscInt,
1340c898c18SMatthew G. Knepley                                                    const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
1350c898c18SMatthew G. Knepley                                                    const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
1360c898c18SMatthew G. Knepley                                                    PetscReal, const PetscReal[], PetscScalar[])) funcs, ctxs, values);CHKERRQ(ierr);break;
1378c6c5593SMatthew G. Knepley   default: SETERRQ1(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Unknown boundary condition type: %d", (int) type);
1388c6c5593SMatthew G. Knepley   }
1398c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
1408c6c5593SMatthew G. Knepley }
1418c6c5593SMatthew G. Knepley 
1428c6c5593SMatthew G. Knepley PetscErrorCode DMProjectLocal_Generic_Plex(DM dm, PetscReal time, Vec localU,
1438c6c5593SMatthew G. Knepley                                            DMLabel label, PetscInt numIds, const PetscInt ids[],
1448c6c5593SMatthew G. Knepley                                            DMBoundaryConditionType type, void (**funcs)(void), void **ctxs,
1458c6c5593SMatthew G. Knepley                                            InsertMode mode, Vec localX)
1468c6c5593SMatthew G. Knepley {
1478c6c5593SMatthew G. Knepley   DM              dmAux = NULL;
1480c898c18SMatthew G. Knepley   PetscDS         prob, probAux = NULL;
1498c6c5593SMatthew G. Knepley   Vec             localA = NULL;
15047923291SMatthew G. Knepley   PetscSection    section;
1518c6c5593SMatthew G. Knepley   PetscDualSpace *sp, *cellsp;
1520c898c18SMatthew G. Knepley   PetscReal     **basisTab = NULL, **basisDerTab = NULL, **basisTabAux = NULL, **basisDerTabAux = NULL;
1538c6c5593SMatthew G. Knepley   PetscInt       *Nc;
154*2af58022SMatthew G. Knepley   PetscInt        dim, dimEmbed, minHeight, maxHeight, h, Nf, NfAux = 0, f;
15547923291SMatthew G. Knepley   PetscBool      *isFE, hasFE = PETSC_FALSE, hasFV = PETSC_FALSE;
15647923291SMatthew G. Knepley   PetscErrorCode  ierr;
15747923291SMatthew G. Knepley 
15847923291SMatthew G. Knepley   PetscFunctionBegin;
1598c6c5593SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
160*2af58022SMatthew G. Knepley   ierr = DMPlexGetVTKCellHeight(dm, &minHeight);CHKERRQ(ierr);
1618c6c5593SMatthew G. Knepley   ierr = DMPlexGetMaxProjectionHeight(dm, &maxHeight);CHKERRQ(ierr);
162*2af58022SMatthew G. Knepley   maxHeight = PetscMax(maxHeight, minHeight);
1638c6c5593SMatthew G. Knepley   if (maxHeight < 0 || maxHeight > dim) {SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Maximum projection height %d not in [0, %d)\n", maxHeight, dim);}
1640c898c18SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
1658c6c5593SMatthew G. Knepley   ierr = DMGetCoordinateDim(dm, &dimEmbed);CHKERRQ(ierr);
16647923291SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
16747923291SMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr);
1688c6c5593SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr);
1698c6c5593SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &localA);CHKERRQ(ierr);
1700c898c18SMatthew G. Knepley   if (dmAux) {
1710c898c18SMatthew G. Knepley     ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr);
1720c898c18SMatthew G. Knepley     ierr = PetscDSGetNumFields(probAux, &NfAux);CHKERRQ(ierr);
1730c898c18SMatthew G. Knepley   }
174496733e2SMatthew G. Knepley   ierr = PetscDSGetComponents(prob, &Nc);CHKERRQ(ierr);
175496733e2SMatthew G. Knepley   ierr = PetscMalloc2(Nf, &isFE, Nf, &sp);CHKERRQ(ierr);
1768c6c5593SMatthew G. Knepley   if (maxHeight > 0) {ierr = PetscMalloc1(Nf, &cellsp);CHKERRQ(ierr);}
1778c6c5593SMatthew G. Knepley   else               {cellsp = sp;}
1788c6c5593SMatthew G. Knepley   if (localU && localU != localX) {ierr = DMPlexInsertBoundaryValues(dm, PETSC_TRUE, localU, time, NULL, NULL, NULL);CHKERRQ(ierr);}
1798c6c5593SMatthew G. Knepley   /* Get cell dual spaces */
18047923291SMatthew G. Knepley   for (f = 0; f < Nf; ++f) {
18147923291SMatthew G. Knepley     PetscObject  obj;
18247923291SMatthew G. Knepley     PetscClassId id;
18347923291SMatthew G. Knepley 
18447923291SMatthew G. Knepley     ierr = DMGetField(dm, f, &obj);CHKERRQ(ierr);
18547923291SMatthew G. Knepley     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
18647923291SMatthew G. Knepley     if (id == PETSCFE_CLASSID) {
18747923291SMatthew G. Knepley       PetscFE fe = (PetscFE) obj;
18847923291SMatthew G. Knepley 
18947923291SMatthew G. Knepley       hasFE   = PETSC_TRUE;
19047923291SMatthew G. Knepley       isFE[f] = PETSC_TRUE;
19147923291SMatthew G. Knepley       ierr  = PetscFEGetDualSpace(fe, &cellsp[f]);CHKERRQ(ierr);
19247923291SMatthew G. Knepley     } else if (id == PETSCFV_CLASSID) {
19347923291SMatthew G. Knepley       PetscFV fv = (PetscFV) obj;
19447923291SMatthew G. Knepley 
19547923291SMatthew G. Knepley       hasFV   = PETSC_TRUE;
19647923291SMatthew G. Knepley       isFE[f] = PETSC_FALSE;
19747923291SMatthew G. Knepley       ierr = PetscFVGetDualSpace(fv, &cellsp[f]);CHKERRQ(ierr);
19847923291SMatthew G. Knepley     } else SETERRQ1(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", f);
19947923291SMatthew G. Knepley   }
2000c898c18SMatthew G. Knepley   if (type == DM_BC_ESSENTIAL_FIELD || type == DM_BC_NATURAL_FIELD) {
2010c898c18SMatthew G. Knepley     PetscFE    fem;
2020c898c18SMatthew G. Knepley     PetscReal *points;
2030c898c18SMatthew G. Knepley     PetscInt   numPoints, spDim, d;
2040c898c18SMatthew G. Knepley 
205*2af58022SMatthew G. Knepley     if (maxHeight > minHeight) SETERRQ(PetscObjectComm((PetscObject) dm), PETSC_ERR_SUP, "Field projection not supported for face interpolation");
2060c898c18SMatthew G. Knepley     numPoints = 0;
2070c898c18SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
2080c898c18SMatthew G. Knepley       ierr = PetscDualSpaceGetDimension(cellsp[f], &spDim);CHKERRQ(ierr);
2090c898c18SMatthew G. Knepley       for (d = 0; d < spDim; ++d) {
2100c898c18SMatthew G. Knepley         if (funcs[f]) {
2110c898c18SMatthew G. Knepley           PetscQuadrature quad;
2120c898c18SMatthew G. Knepley           PetscInt        Nq;
2130c898c18SMatthew G. Knepley 
2140c898c18SMatthew G. Knepley           ierr = PetscDualSpaceGetFunctional(cellsp[f], d, &quad);CHKERRQ(ierr);
2150c898c18SMatthew G. Knepley           ierr = PetscQuadratureGetData(quad, NULL, &Nq, NULL, NULL);CHKERRQ(ierr);
2160c898c18SMatthew G. Knepley           numPoints += Nq;
2170c898c18SMatthew G. Knepley         }
2180c898c18SMatthew G. Knepley       }
2190c898c18SMatthew G. Knepley     }
2200c898c18SMatthew G. Knepley     ierr = PetscMalloc1(numPoints*dim, &points);CHKERRQ(ierr);
2210c898c18SMatthew G. Knepley     numPoints = 0;
2220c898c18SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
2230c898c18SMatthew G. Knepley       ierr = PetscDualSpaceGetDimension(cellsp[f], &spDim);CHKERRQ(ierr);
2240c898c18SMatthew G. Knepley       for (d = 0; d < spDim; ++d) {
2250c898c18SMatthew G. Knepley         if (funcs[f]) {
2260c898c18SMatthew G. Knepley           PetscQuadrature  quad;
2270c898c18SMatthew G. Knepley           const PetscReal *qpoints;
2280c898c18SMatthew G. Knepley           PetscInt         Nq, q;
2290c898c18SMatthew G. Knepley 
2300c898c18SMatthew G. Knepley           ierr = PetscDualSpaceGetFunctional(cellsp[f], d, &quad);CHKERRQ(ierr);
2310c898c18SMatthew G. Knepley           ierr = PetscQuadratureGetData(quad, NULL, &Nq, &qpoints, NULL);CHKERRQ(ierr);
2320c898c18SMatthew G. Knepley           for (q = 0; q < Nq*dim; ++q) points[numPoints*dim+q] = qpoints[q];
2330c898c18SMatthew G. Knepley           numPoints += Nq;
2340c898c18SMatthew G. Knepley         }
2350c898c18SMatthew G. Knepley       }
2360c898c18SMatthew G. Knepley     }
2370c898c18SMatthew G. Knepley     ierr = PetscMalloc4(Nf, &basisTab, Nf, &basisDerTab, NfAux, &basisTabAux, NfAux, &basisDerTabAux);CHKERRQ(ierr);
2380c898c18SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
2390c898c18SMatthew G. Knepley       if (!isFE[f]) continue;
2400c898c18SMatthew G. Knepley       ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fem);CHKERRQ(ierr);
2410c898c18SMatthew G. Knepley       ierr = PetscFEGetTabulation(fem, numPoints, points, &basisTab[f], &basisDerTab[f], NULL);CHKERRQ(ierr);
2420c898c18SMatthew G. Knepley     }
2430c898c18SMatthew G. Knepley     for (f = 0; f < NfAux; ++f) {
2440c898c18SMatthew G. Knepley       ierr = PetscDSGetDiscretization(probAux, f, (PetscObject *) &fem);CHKERRQ(ierr);
2450c898c18SMatthew G. Knepley       ierr = PetscFEGetTabulation(fem, numPoints, points, &basisTabAux[f], &basisDerTabAux[f], NULL);CHKERRQ(ierr);
2460c898c18SMatthew G. Knepley     }
2470c898c18SMatthew G. Knepley     ierr = PetscFree(points);CHKERRQ(ierr);
2480c898c18SMatthew G. Knepley   }
24947923291SMatthew G. Knepley   /* Note: We make no attempt to optimize for height. Higher height things just overwrite the lower height results. */
250*2af58022SMatthew G. Knepley   for (h = minHeight; h <= maxHeight; h++) {
2518c6c5593SMatthew G. Knepley     PetscScalar *values;
2528c6c5593SMatthew G. Knepley     PetscBool   *fieldActive;
25384f7fa7aSMatthew G. Knepley     PetscInt     pStart, pEnd, p, spDim, totDim, numValues;
2548c6c5593SMatthew G. Knepley 
25547923291SMatthew G. Knepley     ierr = DMPlexGetHeightStratum(dm, h, &pStart, &pEnd);CHKERRQ(ierr);
2568c6c5593SMatthew G. Knepley     if (!h) {
2578c6c5593SMatthew G. Knepley       PetscInt cEndInterior;
2588c6c5593SMatthew G. Knepley 
2598c6c5593SMatthew G. Knepley       ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
2608c6c5593SMatthew G. Knepley       pEnd = cEndInterior < 0 ? pEnd : cEndInterior;
2618c6c5593SMatthew G. Knepley     }
26247923291SMatthew G. Knepley     if (pEnd <= pStart) continue;
26347923291SMatthew G. Knepley     /* Compute totDim, the number of dofs in the closure of a point at this height */
26447923291SMatthew G. Knepley     totDim = 0;
26547923291SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
26647923291SMatthew G. Knepley       if (!h) {
26747923291SMatthew G. Knepley         sp[f] = cellsp[f];
26847923291SMatthew G. Knepley       } else {
26947923291SMatthew G. Knepley         ierr = PetscDualSpaceGetHeightSubspace(cellsp[f], h, &sp[f]);CHKERRQ(ierr);
27047923291SMatthew G. Knepley         if (!sp[f]) continue;
27147923291SMatthew G. Knepley       }
27247923291SMatthew G. Knepley       ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
2738c6c5593SMatthew G. Knepley       totDim += spDim*Nc[f];
27447923291SMatthew G. Knepley     }
27547923291SMatthew G. Knepley     ierr = DMPlexVecGetClosure(dm, section, localX, pStart, &numValues, NULL);CHKERRQ(ierr);
2768c6c5593SMatthew G. Knepley     if (numValues != totDim) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "The section point closure size %d != dual space dimension %d", numValues, totDim);
27747923291SMatthew G. Knepley     if (!totDim) continue;
27847923291SMatthew G. Knepley     /* Loop over points at this height */
27947923291SMatthew G. Knepley     ierr = DMGetWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr);
2808c6c5593SMatthew G. Knepley     ierr = DMGetWorkArray(dm, Nf, PETSC_BOOL, &fieldActive);CHKERRQ(ierr);
2818c6c5593SMatthew G. Knepley     for (f = 0; f < Nf; ++f) fieldActive[f] = (funcs[f] && sp[f]) ? PETSC_TRUE : PETSC_FALSE;
2828c6c5593SMatthew G. Knepley     if (label) {
2838c6c5593SMatthew G. Knepley       PetscInt i;
28447923291SMatthew G. Knepley 
28547923291SMatthew G. Knepley       for (i = 0; i < numIds; ++i) {
28647923291SMatthew G. Knepley         IS              pointIS;
28747923291SMatthew G. Knepley         const PetscInt *points;
2888c6c5593SMatthew G. Knepley         PetscInt        n;
28947923291SMatthew G. Knepley 
29047923291SMatthew G. Knepley         ierr = DMLabelGetStratumIS(label, ids[i], &pointIS);CHKERRQ(ierr);
29147923291SMatthew G. Knepley         if (!pointIS) continue; /* No points with that id on this process */
29247923291SMatthew G. Knepley         ierr = ISGetLocalSize(pointIS, &n);CHKERRQ(ierr);
29347923291SMatthew G. Knepley         ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr);
29447923291SMatthew G. Knepley         for (p = 0; p < n; ++p) {
29547923291SMatthew G. Knepley           const PetscInt  point = points[p];
29647923291SMatthew G. Knepley 
29747923291SMatthew G. Knepley           if ((point < pStart) || (point >= pEnd)) continue;
298496733e2SMatthew G. Knepley           ierr = DMProjectPoint_Private(dm, dmAux, h, time, localU, localA, hasFE, hasFV, isFE, sp, point, basisTab, basisDerTab, basisTabAux, basisDerTabAux, type, funcs, ctxs, fieldActive, values);
29947923291SMatthew G. Knepley           if (ierr) {
30047923291SMatthew G. Knepley             PetscErrorCode ierr2;
30147923291SMatthew G. Knepley             ierr2 = DMRestoreWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr2);
3028c6c5593SMatthew G. Knepley             ierr2 = DMRestoreWorkArray(dm, Nf, PETSC_BOOL, &fieldActive);CHKERRQ(ierr2);
30347923291SMatthew G. Knepley             CHKERRQ(ierr);
30447923291SMatthew G. Knepley           }
30547923291SMatthew G. Knepley           ierr = DMPlexVecSetFieldClosure_Internal(dm, section, localX, fieldActive, point, values, mode);CHKERRQ(ierr);
30647923291SMatthew G. Knepley         }
30747923291SMatthew G. Knepley         ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr);
30847923291SMatthew G. Knepley         ierr = ISDestroy(&pointIS);CHKERRQ(ierr);
30947923291SMatthew G. Knepley       }
3108c6c5593SMatthew G. Knepley     } else {
3118c6c5593SMatthew G. Knepley       for (p = pStart; p < pEnd; ++p) {
312496733e2SMatthew G. Knepley         ierr = DMProjectPoint_Private(dm, dmAux, h, time, localU, localA, hasFE, hasFV, isFE, sp, p, basisTab, basisDerTab, basisTabAux, basisDerTabAux, type, funcs, ctxs, fieldActive, values);
3138c6c5593SMatthew G. Knepley         if (ierr) {
3148c6c5593SMatthew G. Knepley           PetscErrorCode ierr2;
3158c6c5593SMatthew G. Knepley           ierr2 = DMRestoreWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr2);
3168c6c5593SMatthew G. Knepley           ierr2 = DMRestoreWorkArray(dm, Nf, PETSC_BOOL, &fieldActive);CHKERRQ(ierr2);
3178c6c5593SMatthew G. Knepley           CHKERRQ(ierr);
3188c6c5593SMatthew G. Knepley         }
3198c6c5593SMatthew G. Knepley         ierr = DMPlexVecSetFieldClosure_Internal(dm, section, localX, fieldActive, p, values, mode);CHKERRQ(ierr);
3208c6c5593SMatthew G. Knepley       }
3218c6c5593SMatthew G. Knepley     }
32247923291SMatthew G. Knepley     ierr = DMRestoreWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr);
3238c6c5593SMatthew G. Knepley     ierr = DMRestoreWorkArray(dm, Nf, PETSC_BOOL, &fieldActive);CHKERRQ(ierr);
32447923291SMatthew G. Knepley   }
3258c6c5593SMatthew G. Knepley   /* Cleanup */
3260c898c18SMatthew G. Knepley   if (type == DM_BC_ESSENTIAL_FIELD || type == DM_BC_NATURAL_FIELD) {
3270c898c18SMatthew G. Knepley     PetscFE fem;
3280c898c18SMatthew G. Knepley 
3290c898c18SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
3300c898c18SMatthew G. Knepley       if (!isFE[f]) continue;
3310c898c18SMatthew G. Knepley       ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fem);CHKERRQ(ierr);
3320c898c18SMatthew G. Knepley       ierr = PetscFERestoreTabulation(fem, 0, NULL, &basisTab[f], &basisDerTab[f], NULL);CHKERRQ(ierr);
3330c898c18SMatthew G. Knepley     }
3340c898c18SMatthew G. Knepley     for (f = 0; f < NfAux; ++f) {
3350c898c18SMatthew G. Knepley       ierr = PetscDSGetDiscretization(probAux, f, (PetscObject *) &fem);CHKERRQ(ierr);
3360c898c18SMatthew G. Knepley       ierr = PetscFERestoreTabulation(fem, 0, NULL, &basisTabAux[f], &basisDerTabAux[f], NULL);CHKERRQ(ierr);
3370c898c18SMatthew G. Knepley     }
3380c898c18SMatthew G. Knepley     ierr = PetscFree4(basisTab, basisDerTab, basisTabAux, basisDerTabAux);CHKERRQ(ierr);
3390c898c18SMatthew G. Knepley   }
340496733e2SMatthew G. Knepley   ierr = PetscFree2(isFE, sp);CHKERRQ(ierr);
3418c6c5593SMatthew G. Knepley   if (maxHeight > 0) {ierr = PetscFree(cellsp);CHKERRQ(ierr);}
3428c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
34347923291SMatthew G. Knepley }
3448c6c5593SMatthew G. Knepley 
3458c6c5593SMatthew G. Knepley PetscErrorCode DMProjectFunctionLocal_Plex(DM dm, PetscReal time, PetscErrorCode (**funcs)(PetscInt, PetscReal, const PetscReal [], PetscInt, PetscScalar *, void *), void **ctxs, InsertMode mode, Vec localX)
3468c6c5593SMatthew G. Knepley {
3478c6c5593SMatthew G. Knepley   PetscErrorCode ierr;
3488c6c5593SMatthew G. Knepley 
3498c6c5593SMatthew G. Knepley   PetscFunctionBegin;
3508c6c5593SMatthew G. Knepley   ierr = DMProjectLocal_Generic_Plex(dm, time, localX, NULL, 0, NULL, DM_BC_ESSENTIAL, (void (**)(void)) funcs, ctxs, mode, localX);CHKERRQ(ierr);
3518c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
3528c6c5593SMatthew G. Knepley }
3538c6c5593SMatthew G. Knepley 
3548c6c5593SMatthew G. Knepley PetscErrorCode DMProjectFunctionLabelLocal_Plex(DM dm, PetscReal time, DMLabel label, PetscInt numIds, const PetscInt ids[], PetscErrorCode (**funcs)(PetscInt, PetscReal, const PetscReal [], PetscInt, PetscScalar *, void *), void **ctxs, InsertMode mode, Vec localX)
3558c6c5593SMatthew G. Knepley {
3568c6c5593SMatthew G. Knepley   PetscErrorCode ierr;
3578c6c5593SMatthew G. Knepley 
3588c6c5593SMatthew G. Knepley   PetscFunctionBegin;
3598c6c5593SMatthew G. Knepley   ierr = DMProjectLocal_Generic_Plex(dm, time, localX, label, numIds, ids, DM_BC_ESSENTIAL, (void (**)(void)) funcs, ctxs, mode, localX);CHKERRQ(ierr);
36047923291SMatthew G. Knepley   PetscFunctionReturn(0);
36147923291SMatthew G. Knepley }
36247923291SMatthew G. Knepley 
3638c6c5593SMatthew G. Knepley PetscErrorCode DMProjectFieldLocal_Plex(DM dm, PetscReal time, Vec localU,
36447923291SMatthew G. Knepley                                         void (**funcs)(PetscInt, PetscInt, PetscInt,
36547923291SMatthew G. Knepley                                                        const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
36647923291SMatthew G. Knepley                                                        const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
36747923291SMatthew G. Knepley                                                        PetscReal, const PetscReal[], PetscScalar[]),
36847923291SMatthew G. Knepley                                         InsertMode mode, Vec localX)
36947923291SMatthew G. Knepley {
37047923291SMatthew G. Knepley   PetscErrorCode ierr;
37147923291SMatthew G. Knepley 
37247923291SMatthew G. Knepley   PetscFunctionBegin;
3738c6c5593SMatthew G. Knepley   ierr = DMProjectLocal_Generic_Plex(dm, time, localU, NULL, 0, NULL, DM_BC_ESSENTIAL_FIELD, (void (**)(void)) funcs, NULL, mode, localX);CHKERRQ(ierr);
3748c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
37547923291SMatthew G. Knepley }
37647923291SMatthew G. Knepley 
3778c6c5593SMatthew G. Knepley PetscErrorCode DMProjectFieldLabelLocal_Plex(DM dm, PetscReal time, DMLabel label, PetscInt numIds, const PetscInt ids[], Vec localU,
3788c6c5593SMatthew G. Knepley                                              void (**funcs)(PetscInt, PetscInt, PetscInt,
3798c6c5593SMatthew G. Knepley                                                             const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
3808c6c5593SMatthew G. Knepley                                                             const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
3818c6c5593SMatthew G. Knepley                                                             PetscReal, const PetscReal[], PetscScalar[]),
3828c6c5593SMatthew G. Knepley                                              InsertMode mode, Vec localX)
3838c6c5593SMatthew G. Knepley {
3848c6c5593SMatthew G. Knepley   PetscErrorCode ierr;
38547923291SMatthew G. Knepley 
3868c6c5593SMatthew G. Knepley   PetscFunctionBegin;
3878c6c5593SMatthew G. Knepley   ierr = DMProjectLocal_Generic_Plex(dm, time, localU, label, numIds, ids, DM_BC_ESSENTIAL_FIELD, (void (**)(void)) funcs, NULL, mode, localX);CHKERRQ(ierr);
38847923291SMatthew G. Knepley   PetscFunctionReturn(0);
38947923291SMatthew G. Knepley }
390