xref: /petsc/src/dm/impls/plex/plexproject.c (revision 9c3cf19f96b150d3072ff3db14cab4776f10ce04)
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;
10*9c3cf19fSMatthew G. Knepley   PetscInt       Nf, *Nc, f, totDim, spDim, d, 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);
17*9c3cf19fSMatthew G. Knepley   ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr);
188c6c5593SMatthew G. Knepley   /* Get values for closure */
198c6c5593SMatthew G. Knepley   for (f = 0, v = 0; f < Nf; ++f) {
208c6c5593SMatthew G. Knepley     void * const ctx = ctxs ? ctxs[f] : NULL;
218c6c5593SMatthew G. Knepley 
228c6c5593SMatthew G. Knepley     if (!sp[f]) continue;
238c6c5593SMatthew G. Knepley     ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
24*9c3cf19fSMatthew G. Knepley     for (d = 0; d < spDim; ++d, ++v) {
258c6c5593SMatthew G. Knepley       if (funcs[f]) {
268c6c5593SMatthew G. Knepley         if (isFE[f]) {ierr = PetscDualSpaceApply(sp[f], d, time, fegeom, Nc[f], funcs[f], ctx, &values[v]);CHKERRQ(ierr);}
278c6c5593SMatthew G. Knepley         else         {ierr = PetscDualSpaceApplyFVM(sp[f], d, time, fvgeom, Nc[f], funcs[f], ctx, &values[v]);CHKERRQ(ierr);}
288c6c5593SMatthew G. Knepley       } else {
29*9c3cf19fSMatthew G. Knepley         values[v] = 0.0;
308c6c5593SMatthew G. Knepley       }
318c6c5593SMatthew G. Knepley     }
32*9c3cf19fSMatthew G. Knepley   }
33*9c3cf19fSMatthew G. Knepley   if (v != totDim) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "The projection size %d != total DS dimension %d", v, totDim);
348c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
358c6c5593SMatthew G. Knepley }
368c6c5593SMatthew G. Knepley 
37496733e2SMatthew G. Knepley static PetscErrorCode DMProjectPoint_Field_Private(DM dm, DM dmAux, PetscReal time, Vec localU, Vec localA, PetscFECellGeom *fegeom, PetscDualSpace sp[], PetscInt p,
380c898c18SMatthew G. Knepley                                                    PetscReal **basisTab, PetscReal **basisDerTab, PetscReal **basisTabAux, PetscReal **basisDerTabAux,
398c6c5593SMatthew G. Knepley                                                    void (**funcs)(PetscInt, PetscInt, PetscInt,
408c6c5593SMatthew G. Knepley                                                                   const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
418c6c5593SMatthew G. Knepley                                                                   const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
428c6c5593SMatthew G. Knepley                                                                   PetscReal, const PetscReal[], PetscScalar[]), void **ctxs,
438c6c5593SMatthew G. Knepley                                                    PetscScalar values[])
448c6c5593SMatthew G. Knepley {
458c6c5593SMatthew G. Knepley   PetscDS        prob, probAux = NULL;
468c6c5593SMatthew G. Knepley   PetscSection   section, sectionAux = NULL;
47*9c3cf19fSMatthew G. Knepley   PetscScalar   *u, *u_t = NULL, *u_x, *a = NULL, *a_t = NULL, *a_x = NULL, *refSpaceDer, *refSpaceDerAux = NULL, *bc;
488c6c5593SMatthew G. Knepley   PetscScalar   *coefficients   = NULL, *coefficientsAux   = NULL;
498c6c5593SMatthew G. Knepley   PetscScalar   *coefficients_t = NULL, *coefficientsAux_t = NULL;
508c6c5593SMatthew G. Knepley   PetscReal     *x;
51496733e2SMatthew G. Knepley   PetscInt      *uOff, *uOff_x, *aOff = NULL, *aOff_x = NULL, *Nb, *Nc, *NbAux = NULL, *NcAux = NULL;
520c898c18SMatthew G. Knepley   PetscInt       dim, Nf, NfAux = 0, f, spDim, d, c, v, tp = 0;
538c6c5593SMatthew G. Knepley   PetscErrorCode ierr;
548c6c5593SMatthew G. Knepley 
558c6c5593SMatthew G. Knepley   PetscFunctionBeginHot;
568c6c5593SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
578c6c5593SMatthew G. Knepley   ierr = PetscDSGetSpatialDimension(prob, &dim);CHKERRQ(ierr);
588c6c5593SMatthew G. Knepley   ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr);
59496733e2SMatthew G. Knepley   ierr = PetscDSGetDimensions(prob, &Nb);CHKERRQ(ierr);
60496733e2SMatthew G. Knepley   ierr = PetscDSGetComponents(prob, &Nc);CHKERRQ(ierr);
618c6c5593SMatthew G. Knepley   ierr = PetscDSGetComponentOffsets(prob, &uOff);CHKERRQ(ierr);
628c6c5593SMatthew G. Knepley   ierr = PetscDSGetComponentDerivativeOffsets(prob, &uOff_x);CHKERRQ(ierr);
63*9c3cf19fSMatthew G. Knepley   ierr = PetscDSGetEvaluationArrays(prob, &u, &bc /*&u_t*/, &u_x);CHKERRQ(ierr);
64496733e2SMatthew G. Knepley   ierr = PetscDSGetRefCoordArrays(prob, &x, &refSpaceDer);CHKERRQ(ierr);
658c6c5593SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
66496733e2SMatthew G. Knepley   ierr = DMPlexVecGetClosure(dm, section, localU, p, NULL, &coefficients);CHKERRQ(ierr);
678c6c5593SMatthew G. Knepley   if (dmAux) {
688c6c5593SMatthew G. Knepley     ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr);
698c6c5593SMatthew G. Knepley     ierr = PetscDSGetNumFields(probAux, &NfAux);CHKERRQ(ierr);
70496733e2SMatthew G. Knepley     ierr = PetscDSGetDimensions(probAux, &NbAux);CHKERRQ(ierr);
71496733e2SMatthew G. Knepley     ierr = PetscDSGetComponents(probAux, &NcAux);CHKERRQ(ierr);
728c6c5593SMatthew G. Knepley     ierr = DMGetDefaultSection(dmAux, &sectionAux);CHKERRQ(ierr);
738c6c5593SMatthew G. Knepley     ierr = PetscDSGetComponentOffsets(probAux, &aOff);CHKERRQ(ierr);
748c6c5593SMatthew G. Knepley     ierr = PetscDSGetComponentDerivativeOffsets(probAux, &aOff_x);CHKERRQ(ierr);
7511d189daSMatthew G. Knepley     ierr = PetscDSGetEvaluationArrays(probAux, &a, NULL /*&a_t*/, &a_x);CHKERRQ(ierr);
76496733e2SMatthew G. Knepley     ierr = PetscDSGetRefCoordArrays(probAux, NULL, &refSpaceDerAux);CHKERRQ(ierr);
77496733e2SMatthew G. Knepley     ierr = DMPlexVecGetClosure(dmAux, sectionAux, localA, p, NULL, &coefficientsAux);CHKERRQ(ierr);
788c6c5593SMatthew G. Knepley   }
798c6c5593SMatthew G. Knepley   /* Get values for closure */
808c6c5593SMatthew G. Knepley   for (f = 0, v = 0; f < Nf; ++f) {
818c6c5593SMatthew G. Knepley     if (!sp[f]) continue;
828c6c5593SMatthew G. Knepley     ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
83*9c3cf19fSMatthew G. Knepley     for (d = 0; d < spDim; ++d, ++v) {
848c6c5593SMatthew G. Knepley       if (funcs[f]) {
858c6c5593SMatthew G. Knepley         PetscQuadrature  quad;
86*9c3cf19fSMatthew G. Knepley         const PetscReal *points, *weights;
878c6c5593SMatthew G. Knepley         PetscInt         numPoints, q;
888c6c5593SMatthew G. Knepley 
898c6c5593SMatthew G. Knepley         ierr = PetscDualSpaceGetFunctional(sp[f], d, &quad);CHKERRQ(ierr);
90*9c3cf19fSMatthew G. Knepley         ierr = PetscQuadratureGetData(quad, NULL, NULL, &numPoints, &points, &weights);CHKERRQ(ierr);
910c898c18SMatthew G. Knepley         for (q = 0; q < numPoints; ++q, ++tp) {
928c6c5593SMatthew G. Knepley           CoordinatesRefToReal(dim, dim, fegeom->v0, fegeom->J, &points[q*dim], x);
93496733e2SMatthew G. Knepley           EvaluateFieldJets(dim, Nf, Nb, Nc, tp, basisTab, basisDerTab, refSpaceDer, fegeom->invJ, coefficients, coefficients_t, u, u_x, u_t);
94496733e2SMatthew G. Knepley           if (probAux) {EvaluateFieldJets(dim, NfAux, NbAux, NcAux, tp, basisTabAux, basisDerTabAux, refSpaceDerAux, fegeom->invJ, coefficientsAux, coefficientsAux_t, a, a_x, a_t);}
95*9c3cf19fSMatthew 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, bc);
96*9c3cf19fSMatthew G. Knepley           for (c = 0; c < Nc[f]; ++c) values[v] += bc[c]*weights[c];
978c6c5593SMatthew G. Knepley         }
988c6c5593SMatthew G. Knepley       } else {
99*9c3cf19fSMatthew G. Knepley         values[v] = 0.0;
1008c6c5593SMatthew G. Knepley       }
1018c6c5593SMatthew G. Knepley     }
1028c6c5593SMatthew G. Knepley   }
1038c6c5593SMatthew G. Knepley   ierr = DMPlexVecRestoreClosure(dm, section, localU, p, NULL, &coefficients);CHKERRQ(ierr);
1048c6c5593SMatthew G. Knepley   if (dmAux) {ierr = DMPlexVecRestoreClosure(dmAux, sectionAux, localA, p, NULL, &coefficientsAux);CHKERRQ(ierr);}
1058c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
1068c6c5593SMatthew G. Knepley }
1078c6c5593SMatthew G. Knepley 
1080c898c18SMatthew G. Knepley static PetscErrorCode DMProjectPoint_Private(DM dm, DM dmAux, PetscInt h, PetscReal time, Vec localU, Vec localA, PetscBool hasFE, PetscBool hasFV, PetscBool isFE[],
109496733e2SMatthew G. Knepley                                              PetscDualSpace sp[], PetscInt p, PetscReal **basisTab, PetscReal **basisDerTab, PetscReal **basisTabAux, PetscReal **basisDerTabAux,
1108c6c5593SMatthew G. Knepley                                              DMBoundaryConditionType type, void (**funcs)(void), void **ctxs, PetscBool fieldActive[], PetscScalar values[])
1118c6c5593SMatthew G. Knepley {
1128c6c5593SMatthew G. Knepley   PetscFECellGeom fegeom;
1138c6c5593SMatthew G. Knepley   PetscFVCellGeom fvgeom;
1148c6c5593SMatthew G. Knepley   PetscInt        dim, dimEmbed;
1158c6c5593SMatthew G. Knepley   PetscErrorCode  ierr;
1168c6c5593SMatthew G. Knepley 
1178c6c5593SMatthew G. Knepley   PetscFunctionBeginHot;
1188c6c5593SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
1198c6c5593SMatthew G. Knepley   ierr = DMGetCoordinateDim(dm, &dimEmbed);CHKERRQ(ierr);
1208c6c5593SMatthew G. Knepley   if (hasFE) {
12143048b12SMatthew G. Knepley     ierr = DMPlexComputeCellGeometryFEM(dm, p, NULL, fegeom.v0, fegeom.J, fegeom.invJ, &fegeom.detJ);CHKERRQ(ierr);
1228c6c5593SMatthew G. Knepley     fegeom.dim      = dim - h;
1238c6c5593SMatthew G. Knepley     fegeom.dimEmbed = dimEmbed;
1248c6c5593SMatthew G. Knepley   }
1258c6c5593SMatthew G. Knepley   if (hasFV) {ierr = DMPlexComputeCellGeometryFVM(dm, p, &fvgeom.volume, fvgeom.centroid, NULL);CHKERRQ(ierr);}
1268c6c5593SMatthew G. Knepley   switch (type) {
1278c6c5593SMatthew G. Knepley   case DM_BC_ESSENTIAL:
1288c6c5593SMatthew G. Knepley   case DM_BC_NATURAL:
129496733e2SMatthew 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;
1308c6c5593SMatthew G. Knepley   case DM_BC_ESSENTIAL_FIELD:
1318c6c5593SMatthew G. Knepley   case DM_BC_NATURAL_FIELD:
132496733e2SMatthew G. Knepley     ierr = DMProjectPoint_Field_Private(dm, dmAux, time, localU, localA, &fegeom, sp, p,
1330c898c18SMatthew G. Knepley                                         basisTab, basisDerTab, basisTabAux, basisDerTabAux,
1340c898c18SMatthew G. Knepley                                         (void (**)(PetscInt, PetscInt, PetscInt,
1350c898c18SMatthew G. Knepley                                                    const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
1360c898c18SMatthew G. Knepley                                                    const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
1370c898c18SMatthew G. Knepley                                                    PetscReal, const PetscReal[], PetscScalar[])) funcs, ctxs, values);CHKERRQ(ierr);break;
1388c6c5593SMatthew G. Knepley   default: SETERRQ1(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Unknown boundary condition type: %d", (int) type);
1398c6c5593SMatthew G. Knepley   }
1408c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
1418c6c5593SMatthew G. Knepley }
1428c6c5593SMatthew G. Knepley 
1438c6c5593SMatthew G. Knepley PetscErrorCode DMProjectLocal_Generic_Plex(DM dm, PetscReal time, Vec localU,
1448c6c5593SMatthew G. Knepley                                            DMLabel label, PetscInt numIds, const PetscInt ids[],
1458c6c5593SMatthew G. Knepley                                            DMBoundaryConditionType type, void (**funcs)(void), void **ctxs,
1468c6c5593SMatthew G. Knepley                                            InsertMode mode, Vec localX)
1478c6c5593SMatthew G. Knepley {
1488c6c5593SMatthew G. Knepley   DM              dmAux = NULL;
1490c898c18SMatthew G. Knepley   PetscDS         prob, probAux = NULL;
1508c6c5593SMatthew G. Knepley   Vec             localA = NULL;
15147923291SMatthew G. Knepley   PetscSection    section;
1528c6c5593SMatthew G. Knepley   PetscDualSpace *sp, *cellsp;
1530c898c18SMatthew G. Knepley   PetscReal     **basisTab = NULL, **basisDerTab = NULL, **basisTabAux = NULL, **basisDerTabAux = NULL;
1548c6c5593SMatthew G. Knepley   PetscInt       *Nc;
1550c898c18SMatthew G. Knepley   PetscInt        dim, dimEmbed, maxHeight, h, Nf, NfAux = 0, f;
15647923291SMatthew G. Knepley   PetscBool      *isFE, hasFE = PETSC_FALSE, hasFV = PETSC_FALSE;
15747923291SMatthew G. Knepley   PetscErrorCode  ierr;
15847923291SMatthew G. Knepley 
15947923291SMatthew G. Knepley   PetscFunctionBegin;
1608c6c5593SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
1618c6c5593SMatthew G. Knepley   ierr = DMPlexGetMaxProjectionHeight(dm, &maxHeight);CHKERRQ(ierr);
1628c6c5593SMatthew 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);}
1630c898c18SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
1648c6c5593SMatthew G. Knepley   ierr = DMGetCoordinateDim(dm, &dimEmbed);CHKERRQ(ierr);
16547923291SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
16647923291SMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr);
1678c6c5593SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr);
1688c6c5593SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &localA);CHKERRQ(ierr);
1690c898c18SMatthew G. Knepley   if (dmAux) {
1700c898c18SMatthew G. Knepley     ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr);
1710c898c18SMatthew G. Knepley     ierr = PetscDSGetNumFields(probAux, &NfAux);CHKERRQ(ierr);
1720c898c18SMatthew G. Knepley   }
173496733e2SMatthew G. Knepley   ierr = PetscDSGetComponents(prob, &Nc);CHKERRQ(ierr);
174496733e2SMatthew G. Knepley   ierr = PetscMalloc2(Nf, &isFE, Nf, &sp);CHKERRQ(ierr);
1758c6c5593SMatthew G. Knepley   if (maxHeight > 0) {ierr = PetscMalloc1(Nf, &cellsp);CHKERRQ(ierr);}
1768c6c5593SMatthew G. Knepley   else               {cellsp = sp;}
1778c6c5593SMatthew G. Knepley   if (localU && localU != localX) {ierr = DMPlexInsertBoundaryValues(dm, PETSC_TRUE, localU, time, NULL, NULL, NULL);CHKERRQ(ierr);}
1788c6c5593SMatthew G. Knepley   /* Get cell dual spaces */
17947923291SMatthew G. Knepley   for (f = 0; f < Nf; ++f) {
18047923291SMatthew G. Knepley     PetscObject  obj;
18147923291SMatthew G. Knepley     PetscClassId id;
18247923291SMatthew G. Knepley 
18347923291SMatthew G. Knepley     ierr = DMGetField(dm, f, &obj);CHKERRQ(ierr);
18447923291SMatthew G. Knepley     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
18547923291SMatthew G. Knepley     if (id == PETSCFE_CLASSID) {
18647923291SMatthew G. Knepley       PetscFE fe = (PetscFE) obj;
18747923291SMatthew G. Knepley 
18847923291SMatthew G. Knepley       hasFE   = PETSC_TRUE;
18947923291SMatthew G. Knepley       isFE[f] = PETSC_TRUE;
19047923291SMatthew G. Knepley       ierr  = PetscFEGetDualSpace(fe, &cellsp[f]);CHKERRQ(ierr);
19147923291SMatthew G. Knepley     } else if (id == PETSCFV_CLASSID) {
19247923291SMatthew G. Knepley       PetscFV fv = (PetscFV) obj;
19347923291SMatthew G. Knepley 
19447923291SMatthew G. Knepley       hasFV   = PETSC_TRUE;
19547923291SMatthew G. Knepley       isFE[f] = PETSC_FALSE;
19647923291SMatthew G. Knepley       ierr = PetscFVGetDualSpace(fv, &cellsp[f]);CHKERRQ(ierr);
19747923291SMatthew G. Knepley     } else SETERRQ1(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", f);
19847923291SMatthew G. Knepley   }
1990c898c18SMatthew G. Knepley   if (type == DM_BC_ESSENTIAL_FIELD || type == DM_BC_NATURAL_FIELD) {
2000c898c18SMatthew G. Knepley     PetscFE    fem;
2010c898c18SMatthew G. Knepley     PetscReal *points;
2020c898c18SMatthew G. Knepley     PetscInt   numPoints, spDim, d;
2030c898c18SMatthew G. Knepley 
2040c898c18SMatthew G. Knepley     if (maxHeight) SETERRQ(PetscObjectComm((PetscObject) dm), PETSC_ERR_SUP, "Field proejction not supported for face interpolation");
2050c898c18SMatthew G. Knepley     numPoints = 0;
2060c898c18SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
2070c898c18SMatthew G. Knepley       ierr = PetscDualSpaceGetDimension(cellsp[f], &spDim);CHKERRQ(ierr);
2080c898c18SMatthew G. Knepley       for (d = 0; d < spDim; ++d) {
2090c898c18SMatthew G. Knepley         if (funcs[f]) {
2100c898c18SMatthew G. Knepley           PetscQuadrature quad;
2110c898c18SMatthew G. Knepley           PetscInt        Nq;
2120c898c18SMatthew G. Knepley 
2130c898c18SMatthew G. Knepley           ierr = PetscDualSpaceGetFunctional(cellsp[f], d, &quad);CHKERRQ(ierr);
214*9c3cf19fSMatthew G. Knepley           ierr = PetscQuadratureGetData(quad, NULL, NULL, &Nq, NULL, NULL);CHKERRQ(ierr);
2150c898c18SMatthew G. Knepley           numPoints += Nq;
2160c898c18SMatthew G. Knepley         }
2170c898c18SMatthew G. Knepley       }
2180c898c18SMatthew G. Knepley     }
2190c898c18SMatthew G. Knepley     ierr = PetscMalloc1(numPoints*dim, &points);CHKERRQ(ierr);
2200c898c18SMatthew G. Knepley     numPoints = 0;
2210c898c18SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
2220c898c18SMatthew G. Knepley       ierr = PetscDualSpaceGetDimension(cellsp[f], &spDim);CHKERRQ(ierr);
2230c898c18SMatthew G. Knepley       for (d = 0; d < spDim; ++d) {
2240c898c18SMatthew G. Knepley         if (funcs[f]) {
2250c898c18SMatthew G. Knepley           PetscQuadrature  quad;
2260c898c18SMatthew G. Knepley           const PetscReal *qpoints;
2270c898c18SMatthew G. Knepley           PetscInt         Nq, q;
2280c898c18SMatthew G. Knepley 
2290c898c18SMatthew G. Knepley           ierr = PetscDualSpaceGetFunctional(cellsp[f], d, &quad);CHKERRQ(ierr);
230*9c3cf19fSMatthew G. Knepley           ierr = PetscQuadratureGetData(quad, NULL, NULL, &Nq, &qpoints, NULL);CHKERRQ(ierr);
2310c898c18SMatthew G. Knepley           for (q = 0; q < Nq*dim; ++q) points[numPoints*dim+q] = qpoints[q];
2320c898c18SMatthew G. Knepley           numPoints += Nq;
2330c898c18SMatthew G. Knepley         }
2340c898c18SMatthew G. Knepley       }
2350c898c18SMatthew G. Knepley     }
2360c898c18SMatthew G. Knepley     ierr = PetscMalloc4(Nf, &basisTab, Nf, &basisDerTab, NfAux, &basisTabAux, NfAux, &basisDerTabAux);CHKERRQ(ierr);
2370c898c18SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
2380c898c18SMatthew G. Knepley       if (!isFE[f]) continue;
2390c898c18SMatthew G. Knepley       ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fem);CHKERRQ(ierr);
2400c898c18SMatthew G. Knepley       ierr = PetscFEGetTabulation(fem, numPoints, points, &basisTab[f], &basisDerTab[f], NULL);CHKERRQ(ierr);
2410c898c18SMatthew G. Knepley     }
2420c898c18SMatthew G. Knepley     for (f = 0; f < NfAux; ++f) {
2430c898c18SMatthew G. Knepley       ierr = PetscDSGetDiscretization(probAux, f, (PetscObject *) &fem);CHKERRQ(ierr);
2440c898c18SMatthew G. Knepley       ierr = PetscFEGetTabulation(fem, numPoints, points, &basisTabAux[f], &basisDerTabAux[f], NULL);CHKERRQ(ierr);
2450c898c18SMatthew G. Knepley     }
2460c898c18SMatthew G. Knepley     ierr = PetscFree(points);CHKERRQ(ierr);
2470c898c18SMatthew G. Knepley   }
24847923291SMatthew G. Knepley   /* Note: We make no attempt to optimize for height. Higher height things just overwrite the lower height results. */
24947923291SMatthew G. Knepley   for (h = 0; h <= maxHeight; h++) {
2508c6c5593SMatthew G. Knepley     PetscScalar *values;
2518c6c5593SMatthew G. Knepley     PetscBool   *fieldActive;
25284f7fa7aSMatthew G. Knepley     PetscInt     pStart, pEnd, p, spDim, totDim, numValues;
2538c6c5593SMatthew G. Knepley 
25447923291SMatthew G. Knepley     ierr = DMPlexGetHeightStratum(dm, h, &pStart, &pEnd);CHKERRQ(ierr);
2558c6c5593SMatthew G. Knepley     if (!h) {
2568c6c5593SMatthew G. Knepley       PetscInt cEndInterior;
2578c6c5593SMatthew G. Knepley 
2588c6c5593SMatthew G. Knepley       ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
2598c6c5593SMatthew G. Knepley       pEnd = cEndInterior < 0 ? pEnd : cEndInterior;
2608c6c5593SMatthew G. Knepley     }
26147923291SMatthew G. Knepley     if (pEnd <= pStart) continue;
26247923291SMatthew G. Knepley     /* Compute totDim, the number of dofs in the closure of a point at this height */
26347923291SMatthew G. Knepley     totDim = 0;
26447923291SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
26547923291SMatthew G. Knepley       if (!h) {
26647923291SMatthew G. Knepley         sp[f] = cellsp[f];
26747923291SMatthew G. Knepley       } else {
26847923291SMatthew G. Knepley         ierr = PetscDualSpaceGetHeightSubspace(cellsp[f], h, &sp[f]);CHKERRQ(ierr);
26947923291SMatthew G. Knepley         if (!sp[f]) continue;
27047923291SMatthew G. Knepley       }
27147923291SMatthew G. Knepley       ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
272*9c3cf19fSMatthew G. Knepley       totDim += spDim;
27347923291SMatthew G. Knepley     }
27447923291SMatthew G. Knepley     ierr = DMPlexVecGetClosure(dm, section, localX, pStart, &numValues, NULL);CHKERRQ(ierr);
2758c6c5593SMatthew 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);
27647923291SMatthew G. Knepley     if (!totDim) continue;
27747923291SMatthew G. Knepley     /* Loop over points at this height */
27847923291SMatthew G. Knepley     ierr = DMGetWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr);
2798c6c5593SMatthew G. Knepley     ierr = DMGetWorkArray(dm, Nf, PETSC_BOOL, &fieldActive);CHKERRQ(ierr);
2808c6c5593SMatthew G. Knepley     for (f = 0; f < Nf; ++f) fieldActive[f] = (funcs[f] && sp[f]) ? PETSC_TRUE : PETSC_FALSE;
2818c6c5593SMatthew G. Knepley     if (label) {
2828c6c5593SMatthew G. Knepley       PetscInt i;
28347923291SMatthew G. Knepley 
28447923291SMatthew G. Knepley       for (i = 0; i < numIds; ++i) {
28547923291SMatthew G. Knepley         IS              pointIS;
28647923291SMatthew G. Knepley         const PetscInt *points;
2878c6c5593SMatthew G. Knepley         PetscInt        n;
28847923291SMatthew G. Knepley 
28947923291SMatthew G. Knepley         ierr = DMLabelGetStratumIS(label, ids[i], &pointIS);CHKERRQ(ierr);
29047923291SMatthew G. Knepley         if (!pointIS) continue; /* No points with that id on this process */
29147923291SMatthew G. Knepley         ierr = ISGetLocalSize(pointIS, &n);CHKERRQ(ierr);
29247923291SMatthew G. Knepley         ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr);
29347923291SMatthew G. Knepley         for (p = 0; p < n; ++p) {
29447923291SMatthew G. Knepley           const PetscInt  point = points[p];
29547923291SMatthew G. Knepley 
29647923291SMatthew G. Knepley           if ((point < pStart) || (point >= pEnd)) continue;
297496733e2SMatthew 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);
29847923291SMatthew G. Knepley           if (ierr) {
29947923291SMatthew G. Knepley             PetscErrorCode ierr2;
30047923291SMatthew G. Knepley             ierr2 = DMRestoreWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr2);
3018c6c5593SMatthew G. Knepley             ierr2 = DMRestoreWorkArray(dm, Nf, PETSC_BOOL, &fieldActive);CHKERRQ(ierr2);
30247923291SMatthew G. Knepley             CHKERRQ(ierr);
30347923291SMatthew G. Knepley           }
30447923291SMatthew G. Knepley           ierr = DMPlexVecSetFieldClosure_Internal(dm, section, localX, fieldActive, point, values, mode);CHKERRQ(ierr);
30547923291SMatthew G. Knepley         }
30647923291SMatthew G. Knepley         ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr);
30747923291SMatthew G. Knepley         ierr = ISDestroy(&pointIS);CHKERRQ(ierr);
30847923291SMatthew G. Knepley       }
3098c6c5593SMatthew G. Knepley     } else {
3108c6c5593SMatthew G. Knepley       for (p = pStart; p < pEnd; ++p) {
311496733e2SMatthew 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);
3128c6c5593SMatthew G. Knepley         if (ierr) {
3138c6c5593SMatthew G. Knepley           PetscErrorCode ierr2;
3148c6c5593SMatthew G. Knepley           ierr2 = DMRestoreWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr2);
3158c6c5593SMatthew G. Knepley           ierr2 = DMRestoreWorkArray(dm, Nf, PETSC_BOOL, &fieldActive);CHKERRQ(ierr2);
3168c6c5593SMatthew G. Knepley           CHKERRQ(ierr);
3178c6c5593SMatthew G. Knepley         }
3188c6c5593SMatthew G. Knepley         ierr = DMPlexVecSetFieldClosure_Internal(dm, section, localX, fieldActive, p, values, mode);CHKERRQ(ierr);
3198c6c5593SMatthew G. Knepley       }
3208c6c5593SMatthew G. Knepley     }
32147923291SMatthew G. Knepley     ierr = DMRestoreWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr);
3228c6c5593SMatthew G. Knepley     ierr = DMRestoreWorkArray(dm, Nf, PETSC_BOOL, &fieldActive);CHKERRQ(ierr);
32347923291SMatthew G. Knepley   }
3248c6c5593SMatthew G. Knepley   /* Cleanup */
3250c898c18SMatthew G. Knepley   if (type == DM_BC_ESSENTIAL_FIELD || type == DM_BC_NATURAL_FIELD) {
3260c898c18SMatthew G. Knepley     PetscFE fem;
3270c898c18SMatthew G. Knepley 
3280c898c18SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
3290c898c18SMatthew G. Knepley       if (!isFE[f]) continue;
3300c898c18SMatthew G. Knepley       ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fem);CHKERRQ(ierr);
3310c898c18SMatthew G. Knepley       ierr = PetscFERestoreTabulation(fem, 0, NULL, &basisTab[f], &basisDerTab[f], NULL);CHKERRQ(ierr);
3320c898c18SMatthew G. Knepley     }
3330c898c18SMatthew G. Knepley     for (f = 0; f < NfAux; ++f) {
3340c898c18SMatthew G. Knepley       ierr = PetscDSGetDiscretization(probAux, f, (PetscObject *) &fem);CHKERRQ(ierr);
3350c898c18SMatthew G. Knepley       ierr = PetscFERestoreTabulation(fem, 0, NULL, &basisTabAux[f], &basisDerTabAux[f], NULL);CHKERRQ(ierr);
3360c898c18SMatthew G. Knepley     }
3370c898c18SMatthew G. Knepley     ierr = PetscFree4(basisTab, basisDerTab, basisTabAux, basisDerTabAux);CHKERRQ(ierr);
3380c898c18SMatthew G. Knepley   }
339496733e2SMatthew G. Knepley   ierr = PetscFree2(isFE, sp);CHKERRQ(ierr);
3408c6c5593SMatthew G. Knepley   if (maxHeight > 0) {ierr = PetscFree(cellsp);CHKERRQ(ierr);}
3418c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
34247923291SMatthew G. Knepley }
3438c6c5593SMatthew G. Knepley 
3448c6c5593SMatthew G. Knepley PetscErrorCode DMProjectFunctionLocal_Plex(DM dm, PetscReal time, PetscErrorCode (**funcs)(PetscInt, PetscReal, const PetscReal [], PetscInt, PetscScalar *, void *), void **ctxs, InsertMode mode, Vec localX)
3458c6c5593SMatthew G. Knepley {
3468c6c5593SMatthew G. Knepley   PetscErrorCode ierr;
3478c6c5593SMatthew G. Knepley 
3488c6c5593SMatthew G. Knepley   PetscFunctionBegin;
3498c6c5593SMatthew G. Knepley   ierr = DMProjectLocal_Generic_Plex(dm, time, localX, NULL, 0, NULL, DM_BC_ESSENTIAL, (void (**)(void)) funcs, ctxs, mode, localX);CHKERRQ(ierr);
3508c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
3518c6c5593SMatthew G. Knepley }
3528c6c5593SMatthew G. Knepley 
3538c6c5593SMatthew 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)
3548c6c5593SMatthew G. Knepley {
3558c6c5593SMatthew G. Knepley   PetscErrorCode ierr;
3568c6c5593SMatthew G. Knepley 
3578c6c5593SMatthew G. Knepley   PetscFunctionBegin;
3588c6c5593SMatthew G. Knepley   ierr = DMProjectLocal_Generic_Plex(dm, time, localX, label, numIds, ids, DM_BC_ESSENTIAL, (void (**)(void)) funcs, ctxs, mode, localX);CHKERRQ(ierr);
35947923291SMatthew G. Knepley   PetscFunctionReturn(0);
36047923291SMatthew G. Knepley }
36147923291SMatthew G. Knepley 
3628c6c5593SMatthew G. Knepley PetscErrorCode DMProjectFieldLocal_Plex(DM dm, PetscReal time, Vec localU,
36347923291SMatthew G. Knepley                                         void (**funcs)(PetscInt, PetscInt, PetscInt,
36447923291SMatthew G. Knepley                                                        const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
36547923291SMatthew G. Knepley                                                        const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
36647923291SMatthew G. Knepley                                                        PetscReal, const PetscReal[], PetscScalar[]),
36747923291SMatthew G. Knepley                                         InsertMode mode, Vec localX)
36847923291SMatthew G. Knepley {
36947923291SMatthew G. Knepley   PetscErrorCode ierr;
37047923291SMatthew G. Knepley 
37147923291SMatthew G. Knepley   PetscFunctionBegin;
3728c6c5593SMatthew G. Knepley   ierr = DMProjectLocal_Generic_Plex(dm, time, localU, NULL, 0, NULL, DM_BC_ESSENTIAL_FIELD, (void (**)(void)) funcs, NULL, mode, localX);CHKERRQ(ierr);
3738c6c5593SMatthew G. Knepley   PetscFunctionReturn(0);
37447923291SMatthew G. Knepley }
37547923291SMatthew G. Knepley 
3768c6c5593SMatthew G. Knepley PetscErrorCode DMProjectFieldLabelLocal_Plex(DM dm, PetscReal time, DMLabel label, PetscInt numIds, const PetscInt ids[], Vec localU,
3778c6c5593SMatthew G. Knepley                                              void (**funcs)(PetscInt, PetscInt, PetscInt,
3788c6c5593SMatthew G. Knepley                                                             const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
3798c6c5593SMatthew G. Knepley                                                             const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[],
3808c6c5593SMatthew G. Knepley                                                             PetscReal, const PetscReal[], PetscScalar[]),
3818c6c5593SMatthew G. Knepley                                              InsertMode mode, Vec localX)
3828c6c5593SMatthew G. Knepley {
3838c6c5593SMatthew G. Knepley   PetscErrorCode ierr;
38447923291SMatthew G. Knepley 
3858c6c5593SMatthew G. Knepley   PetscFunctionBegin;
3868c6c5593SMatthew G. Knepley   ierr = DMProjectLocal_Generic_Plex(dm, time, localU, label, numIds, ids, DM_BC_ESSENTIAL_FIELD, (void (**)(void)) funcs, NULL, mode, localX);CHKERRQ(ierr);
38747923291SMatthew G. Knepley   PetscFunctionReturn(0);
38847923291SMatthew G. Knepley }
389