xref: /petsc/src/dm/field/impls/ds/dmfieldds.c (revision 0145028a27feb5d014cb6ee82515d46f0128efc1)
151a454edSToby Isaac #include <petsc/private/dmfieldimpl.h> /*I "petscdmfield.h" I*/
2*0145028aSToby Isaac #include <petsc/private/petscfeimpl.h> /*I "petscdmfield.h" I*/
351a454edSToby Isaac #include <petscfe.h>
451a454edSToby Isaac #include <petscdmplex.h>
551a454edSToby Isaac #include <petscds.h>
651a454edSToby Isaac 
751a454edSToby Isaac typedef struct _n_DMField_DS
851a454edSToby Isaac {
951a454edSToby Isaac   PetscInt    fieldNum;
1051a454edSToby Isaac   Vec         vec;
1151a454edSToby Isaac   PetscInt    height;
1251a454edSToby Isaac   PetscObject *disc;
1351a454edSToby Isaac   PetscBool   multifieldVec;
1451a454edSToby Isaac }
1551a454edSToby Isaac DMField_DS;
1651a454edSToby Isaac 
1751a454edSToby Isaac static PetscErrorCode DMFieldDestroy_DS(DMField field)
1851a454edSToby Isaac {
1951a454edSToby Isaac   DMField_DS     *dsfield;
2051a454edSToby Isaac   PetscInt       i;
2151a454edSToby Isaac   PetscErrorCode ierr;
2251a454edSToby Isaac 
2351a454edSToby Isaac   PetscFunctionBegin;
2451a454edSToby Isaac   dsfield = (DMField_DS *) field->data;
2551a454edSToby Isaac   ierr = VecDestroy(&dsfield->vec);CHKERRQ(ierr);
2651a454edSToby Isaac   for (i = 0; i < dsfield->height; i++) {
2751a454edSToby Isaac     ierr = PetscObjectDereference(dsfield->disc[i]);CHKERRQ(ierr);
2851a454edSToby Isaac   }
2951a454edSToby Isaac   ierr = PetscFree(dsfield->disc);CHKERRQ(ierr);
3051a454edSToby Isaac   ierr = PetscFree(dsfield);CHKERRQ(ierr);
3151a454edSToby Isaac   PetscFunctionReturn(0);
3251a454edSToby Isaac }
3351a454edSToby Isaac 
3451a454edSToby Isaac static PetscErrorCode DMFieldView_DS(DMField field,PetscViewer viewer)
3551a454edSToby Isaac {
3651a454edSToby Isaac   DMField_DS     *dsfield = (DMField_DS *) field->data;
3751a454edSToby Isaac   PetscBool      iascii;
3851a454edSToby Isaac   PetscObject    disc;
3951a454edSToby Isaac   PetscErrorCode ierr;
4051a454edSToby Isaac 
4151a454edSToby Isaac   PetscFunctionBegin;
4251a454edSToby Isaac   ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr);
4351a454edSToby Isaac   disc = dsfield->disc[0];
4451a454edSToby Isaac   if (iascii) {
4551a454edSToby Isaac     PetscViewerASCIIPrintf(viewer, "PetscDS field %D\n",dsfield->fieldNum);CHKERRQ(ierr);
4651a454edSToby Isaac     ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
4751a454edSToby Isaac     ierr = PetscObjectView(disc,viewer);CHKERRQ(ierr);
4851a454edSToby Isaac     ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
4951a454edSToby Isaac   }
5051a454edSToby Isaac   ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
5151a454edSToby Isaac   if (dsfield->multifieldVec) {
5251a454edSToby Isaac     SETERRQ(PetscObjectComm((PetscObject)field),PETSC_ERR_SUP,"View of subfield not implemented yet");
5351a454edSToby Isaac   } else {
5451a454edSToby Isaac     ierr = VecView(dsfield->vec,viewer);CHKERRQ(ierr);
5551a454edSToby Isaac   }
5651a454edSToby Isaac   ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
5751a454edSToby Isaac   PetscFunctionReturn(0);
5851a454edSToby Isaac }
5951a454edSToby Isaac 
6051a454edSToby Isaac static PetscErrorCode DMFieldEvaluate_DS(DMField field, Vec points, PetscDataType datatype, void *B, void *D, void *H)
6151a454edSToby Isaac {
6251a454edSToby Isaac   PetscFunctionBegin;
6351a454edSToby Isaac   SETERRQ(PetscObjectComm((PetscObject)field),PETSC_ERR_SUP,"Not implemented yet");
6451a454edSToby Isaac   PetscFunctionReturn(0);
6551a454edSToby Isaac }
6651a454edSToby Isaac 
6751a454edSToby Isaac static PetscErrorCode DMFieldDSGetHeightDisc(DMField field, PetscInt height, PetscObject *disc)
6851a454edSToby Isaac {
6951a454edSToby Isaac   DMField_DS     *dsfield = (DMField_DS *) field->data;
7051a454edSToby Isaac   PetscErrorCode ierr;
7151a454edSToby Isaac 
7251a454edSToby Isaac   PetscFunctionBegin;
7351a454edSToby Isaac   if (!dsfield->disc[height]) {
7451a454edSToby Isaac     PetscClassId   id;
7551a454edSToby Isaac 
7651a454edSToby Isaac     ierr = PetscObjectGetClassId(dsfield->disc[0],&id);CHKERRQ(ierr);
7751a454edSToby Isaac     if (id == PETSCFE_CLASSID) {
7851a454edSToby Isaac       PetscFE fe = (PetscFE) dsfield->disc[0];
7951a454edSToby Isaac 
8051a454edSToby Isaac       ierr = PetscFECreateHeightTrace(fe,height,(PetscFE *)&dsfield->disc[height]);CHKERRQ(ierr);
8151a454edSToby Isaac     }
8251a454edSToby Isaac   }
8351a454edSToby Isaac   *disc = dsfield->disc[height];
8451a454edSToby Isaac   PetscFunctionReturn(0);
8551a454edSToby Isaac }
8651a454edSToby Isaac 
8751a454edSToby Isaac #define DMFieldDSdot(y,A,b,m,n,c,cast)                                           \
8851a454edSToby Isaac   do {                                                                           \
8951a454edSToby Isaac     PetscInt _i, _j, _k;                                                         \
9051a454edSToby Isaac     for (_i = 0; _i < (m); _i++) {                                               \
9151a454edSToby Isaac       for (_k = 0; _k < (c); _k++) {                                             \
9251a454edSToby Isaac         (y)[_i * (c) + _k] = 0.;                                                 \
9351a454edSToby Isaac       }                                                                          \
9451a454edSToby Isaac       for (_j = 0; _j < (n); _j++) {                                             \
9551a454edSToby Isaac         for (_k = 0; _k < (c); _k++) {                                           \
9651a454edSToby Isaac           (y)[_i * (c) + _k] += (A)[(_i * (n) + _j) * (c) + _k] * cast((b)[_j]); \
9751a454edSToby Isaac         }                                                                        \
9851a454edSToby Isaac       }                                                                          \
9951a454edSToby Isaac     }                                                                            \
10051a454edSToby Isaac   } while (0)
10151a454edSToby Isaac 
10251a454edSToby Isaac static PetscErrorCode DMFieldEvaluateFE_DS(DMField field, IS pointIS, PetscQuadrature quad, PetscDataType type, void *B, void *D, void *H)
10351a454edSToby Isaac {
10451a454edSToby Isaac   DMField_DS      *dsfield = (DMField_DS *) field->data;
10551a454edSToby Isaac   DM              dm;
10651a454edSToby Isaac   PetscObject     disc;
10751a454edSToby Isaac   PetscClassId    classid;
10851a454edSToby Isaac   PetscInt        nq, nc, dim, meshDim, numCells;
10951a454edSToby Isaac   PetscSection    section;
11051a454edSToby Isaac   const PetscReal *qpoints;
11151a454edSToby Isaac   PetscBool       isStride;
11251a454edSToby Isaac   const PetscInt  *points = NULL;
11351a454edSToby Isaac   PetscInt        sfirst = -1, stride = -1;
11451a454edSToby Isaac   PetscErrorCode  ierr;
11551a454edSToby Isaac 
11651a454edSToby Isaac   PetscFunctionBeginHot;
11751a454edSToby Isaac   dm   = field->dm;
11851a454edSToby Isaac   nc   = field->numComponents;
11951a454edSToby Isaac   ierr = PetscQuadratureGetData(quad,&dim,NULL,&nq,&qpoints,NULL);CHKERRQ(ierr);
120f99c8401SToby Isaac   ierr = DMFieldDSGetHeightDisc(field,dsfield->height - 1 - dim,&disc);CHKERRQ(ierr);
12151a454edSToby Isaac   ierr = DMGetDimension(dm,&meshDim);CHKERRQ(ierr);
12251a454edSToby Isaac   ierr = DMGetDefaultSection(dm,&section);CHKERRQ(ierr);
12351a454edSToby Isaac   ierr = PetscSectionGetField(section,dsfield->fieldNum,&section);CHKERRQ(ierr);
12451a454edSToby Isaac   ierr = PetscObjectGetClassId(disc,&classid);CHKERRQ(ierr);
12551a454edSToby Isaac   /* TODO: batch */
12651a454edSToby Isaac   ierr = PetscObjectTypeCompare((PetscObject)pointIS,ISSTRIDE,&isStride);CHKERRQ(ierr);
12751a454edSToby Isaac   ierr = ISGetLocalSize(pointIS,&numCells);CHKERRQ(ierr);
12851a454edSToby Isaac   if (isStride) {
12951a454edSToby Isaac     ierr = ISStrideGetInfo(pointIS,&sfirst,&stride);CHKERRQ(ierr);
13051a454edSToby Isaac   } else {
13151a454edSToby Isaac     ierr = ISGetIndices(pointIS,&points);CHKERRQ(ierr);
13251a454edSToby Isaac   }
13351a454edSToby Isaac   if (classid == PETSCFE_CLASSID) {
13451a454edSToby Isaac     PetscFE      fe = (PetscFE) disc;
13551a454edSToby Isaac     PetscInt     feDim, i;
13651a454edSToby Isaac     PetscReal    *fB = NULL, *fD = NULL, *fH = NULL;
13751a454edSToby Isaac 
13851a454edSToby Isaac     if (dim == meshDim - 1) {
13951a454edSToby Isaac       /* TODO */
14051a454edSToby Isaac     }
14151a454edSToby Isaac     ierr = PetscFEGetDimension(fe,&feDim);CHKERRQ(ierr);
14251a454edSToby Isaac     ierr = PetscFEGetTabulation(fe,nq,qpoints,B ? &fB : NULL,D ? &fD : NULL,H ? &fH : NULL);CHKERRQ(ierr);
14351a454edSToby Isaac     for (i = 0; i < numCells; i++) {
14451a454edSToby Isaac       PetscInt     c = isStride ? (sfirst + i * stride) : points[i];
1452710589cSToby Isaac       PetscInt     closureSize;
1462710589cSToby Isaac       PetscScalar *elem = NULL;
14751a454edSToby Isaac 
14851a454edSToby Isaac       ierr = DMPlexVecGetClosure(dm,section,dsfield->vec,c,&closureSize,&elem);CHKERRQ(ierr);
14951a454edSToby Isaac       if (B) {
15051a454edSToby Isaac         if (type == PETSC_SCALAR) {
15151a454edSToby Isaac           PetscScalar *cB = &((PetscScalar *) B)[nc * nq * i];
15251a454edSToby Isaac 
15351a454edSToby Isaac           DMFieldDSdot(cB,fB,elem,nq,feDim,nc,(PetscScalar));
15451a454edSToby Isaac         } else {
15551a454edSToby Isaac           PetscReal *cB = &((PetscReal *) B)[nc * nq * i];
15651a454edSToby Isaac 
15751a454edSToby Isaac           DMFieldDSdot(cB,fB,elem,nq,feDim,nc,PetscRealPart);
15851a454edSToby Isaac         }
15951a454edSToby Isaac       }
16051a454edSToby Isaac       if (D) {
16151a454edSToby Isaac         if (type == PETSC_SCALAR) {
16251a454edSToby Isaac           PetscScalar *cD = &((PetscScalar *) D)[nc * nq * dim * i];
16351a454edSToby Isaac 
16451a454edSToby Isaac           DMFieldDSdot(cD,fD,elem,nq,feDim,(nc * dim),(PetscScalar));
16551a454edSToby Isaac         } else {
16651a454edSToby Isaac           PetscReal *cD = &((PetscReal *) D)[nc * nq * dim * i];
16751a454edSToby Isaac 
16851a454edSToby Isaac           DMFieldDSdot(cD,fD,elem,nq,feDim,(nc * dim),PetscRealPart);
16951a454edSToby Isaac         }
17051a454edSToby Isaac       }
17151a454edSToby Isaac       if (H) {
17251a454edSToby Isaac         if (type == PETSC_SCALAR) {
17351a454edSToby Isaac           PetscScalar *cH = &((PetscScalar *) H)[nc * nq * dim * dim * i];
17451a454edSToby Isaac 
17551a454edSToby Isaac           DMFieldDSdot(cH,fH,elem,nq,feDim,(nc * dim * dim),(PetscScalar));
17651a454edSToby Isaac         } else {
17751a454edSToby Isaac           PetscReal *cH = &((PetscReal *) H)[nc * nq * dim * dim * i];
17851a454edSToby Isaac 
17951a454edSToby Isaac           DMFieldDSdot(cH,fH,elem,nq,feDim,(nc * dim * dim),PetscRealPart);
18051a454edSToby Isaac         }
18151a454edSToby Isaac       }
1822710589cSToby Isaac       ierr = DMPlexVecRestoreClosure(dm,section,dsfield->vec,c,&closureSize,&elem);CHKERRQ(ierr);
18351a454edSToby Isaac     }
18451a454edSToby Isaac     ierr = PetscFERestoreTabulation(fe,nq,qpoints,B ? &fB : NULL,D ? &fD : NULL,H ? &fH : NULL);CHKERRQ(ierr);
18551a454edSToby Isaac   } else {SETERRQ(PetscObjectComm((PetscObject)field),PETSC_ERR_SUP,"Not implemented");}
18651a454edSToby Isaac   if (!isStride) {
18751a454edSToby Isaac     ierr = ISRestoreIndices(pointIS,&points);CHKERRQ(ierr);
18851a454edSToby Isaac   }
18951a454edSToby Isaac   ierr = PetscSectionDestroy(&section);CHKERRQ(ierr);
19051a454edSToby Isaac   PetscFunctionReturn(0);
19151a454edSToby Isaac }
19251a454edSToby Isaac 
19351a454edSToby Isaac static PetscErrorCode DMFieldGetFEInvariance_DS(DMField field, IS pointIS, PetscBool *isConstant, PetscBool *isAffine, PetscBool *isQuadratic)
19451a454edSToby Isaac {
19551a454edSToby Isaac   DMField_DS     *dsfield;
19651a454edSToby Isaac   PetscObject    disc;
19751a454edSToby Isaac   PetscInt       h, imin;
19851a454edSToby Isaac   PetscClassId   id;
19951a454edSToby Isaac   PetscErrorCode ierr;
20051a454edSToby Isaac 
20151a454edSToby Isaac   PetscFunctionBegin;
20251a454edSToby Isaac   dsfield = (DMField_DS *) field->data;
20351a454edSToby Isaac   ierr = ISGetMinMax(pointIS,&imin,NULL);CHKERRQ(ierr);
204f99c8401SToby Isaac   for (h = 0; h < dsfield->height; h++) {
20551a454edSToby Isaac     PetscInt hEnd;
20651a454edSToby Isaac 
20751a454edSToby Isaac     ierr = DMPlexGetHeightStratum(field->dm,h,NULL,&hEnd);CHKERRQ(ierr);
20851a454edSToby Isaac     if (imin < hEnd) break;
20951a454edSToby Isaac   }
21051a454edSToby Isaac   ierr = DMFieldDSGetHeightDisc(field,h,&disc);CHKERRQ(ierr);
21151a454edSToby Isaac   ierr = PetscObjectGetClassId(disc,&id);CHKERRQ(ierr);
21251a454edSToby Isaac   if (id == PETSCFE_CLASSID) {
21351a454edSToby Isaac     PetscFE    fe = (PetscFE) disc;
21451a454edSToby Isaac     PetscInt   order, maxOrder;
21551a454edSToby Isaac     PetscBool  tensor = PETSC_FALSE;
21651a454edSToby Isaac     PetscSpace sp;
21751a454edSToby Isaac 
21851a454edSToby Isaac     ierr = PetscFEGetBasisSpace(fe, &sp);CHKERRQ(ierr);
21951a454edSToby Isaac     ierr = PetscSpaceGetOrder(sp,&order);CHKERRQ(ierr);
22051a454edSToby Isaac     ierr = PetscSpacePolynomialGetTensor(sp,&tensor);CHKERRQ(ierr);
22151a454edSToby Isaac     if (tensor) {
22251a454edSToby Isaac       PetscInt dim;
22351a454edSToby Isaac 
22451a454edSToby Isaac       ierr = DMGetDimension(field->dm,&dim);CHKERRQ(ierr);
22551a454edSToby Isaac       maxOrder = order * dim;
22651a454edSToby Isaac     } else {
22751a454edSToby Isaac       maxOrder = order;
22851a454edSToby Isaac     }
22951a454edSToby Isaac     if (isConstant)  *isConstant  = (maxOrder < 1) ? PETSC_TRUE : PETSC_FALSE;
23051a454edSToby Isaac     if (isAffine)    *isAffine    = (maxOrder < 2) ? PETSC_TRUE : PETSC_FALSE;
23151a454edSToby Isaac     if (isQuadratic) *isQuadratic = (maxOrder < 3) ? PETSC_TRUE : PETSC_FALSE;
23251a454edSToby Isaac   }
23351a454edSToby Isaac   PetscFunctionReturn(0);
23451a454edSToby Isaac }
23551a454edSToby Isaac 
23651a454edSToby Isaac static PetscErrorCode DMFieldCreateDefaultQuadrature_DS(DMField field, IS pointIS, PetscQuadrature *quad)
23751a454edSToby Isaac {
23851a454edSToby Isaac   PetscInt       h, dim, imax, imin;
23951a454edSToby Isaac   DM             dm;
24051a454edSToby Isaac   DMField_DS     *dsfield;
24151a454edSToby Isaac   PetscObject    disc;
24251a454edSToby Isaac   PetscFE        fe;
24351a454edSToby Isaac   PetscClassId   id;
24451a454edSToby Isaac   PetscErrorCode ierr;
24551a454edSToby Isaac 
24651a454edSToby Isaac 
24751a454edSToby Isaac   PetscFunctionBegin;
24851a454edSToby Isaac   dm = field->dm;
24951a454edSToby Isaac   dsfield = (DMField_DS *) field->data;
25051a454edSToby Isaac   ierr = ISGetMinMax(pointIS,&imax,&imin);CHKERRQ(ierr);
25151a454edSToby Isaac   ierr = DMGetDimension(dm,&dim);CHKERRQ(ierr);
25251a454edSToby Isaac   for (h = 0; h <= dim; h++) {
25351a454edSToby Isaac     PetscInt hStart, hEnd;
25451a454edSToby Isaac 
25551a454edSToby Isaac     ierr = DMPlexGetHeightStratum(dm,h,&hStart,&hEnd);CHKERRQ(ierr);
25651a454edSToby Isaac     if (imin >= hStart && imax < hEnd) break;
25751a454edSToby Isaac   }
25851a454edSToby Isaac   *quad = NULL;
259f99c8401SToby Isaac   if (h < dsfield->height) {
26051a454edSToby Isaac     ierr = DMFieldDSGetHeightDisc(field,h,&disc);CHKERRQ(ierr);
26151a454edSToby Isaac     ierr = PetscObjectGetClassId(disc,&id);CHKERRQ(ierr);
26251a454edSToby Isaac     if (id != PETSCFE_CLASSID) PetscFunctionReturn(0);
26351a454edSToby Isaac     fe = (PetscFE) disc;
26451a454edSToby Isaac     ierr = PetscFEGetQuadrature(fe,quad);CHKERRQ(ierr);
26551a454edSToby Isaac     ierr = PetscObjectReference((PetscObject)*quad);CHKERRQ(ierr);
26651a454edSToby Isaac   }
26751a454edSToby Isaac   PetscFunctionReturn(0);
26851a454edSToby Isaac }
26951a454edSToby Isaac 
270*0145028aSToby Isaac static PetscErrorCode DMFieldComputeFaceData_DS(DMField field, IS pointIS, PetscQuadrature quad, PetscFEGeom *geom)
271*0145028aSToby Isaac {
272*0145028aSToby Isaac   const PetscInt *points;
273*0145028aSToby Isaac   PetscInt        p, dim, dE, numFaces, Nq;
274*0145028aSToby Isaac   PetscBool       affineCells;
275*0145028aSToby Isaac   DMLabel         depthLabel;
276*0145028aSToby Isaac   IS              cellIS;
277*0145028aSToby Isaac   DM              dm = field->dm;
278*0145028aSToby Isaac   PetscErrorCode  ierr;
279*0145028aSToby Isaac 
280*0145028aSToby Isaac   PetscFunctionBegin;
281*0145028aSToby Isaac   dim = geom->dim;
282*0145028aSToby Isaac   dE  = geom->dimEmbed;
283*0145028aSToby Isaac   ierr = DMPlexGetDepthLabel(dm, &depthLabel);CHKERRQ(ierr);
284*0145028aSToby Isaac   ierr = DMLabelGetStratumIS(depthLabel, dim + 1, &cellIS);CHKERRQ(ierr);
285*0145028aSToby Isaac   ierr = DMFieldGetFEInvariance(field,cellIS,NULL,&affineCells,NULL);CHKERRQ(ierr);
286*0145028aSToby Isaac   ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr);
287*0145028aSToby Isaac   numFaces = geom->numCells;
288*0145028aSToby Isaac   Nq = geom->numPoints;
289*0145028aSToby Isaac   if (affineCells) {
290*0145028aSToby Isaac     PetscInt        numCells, offset, *cells;
291*0145028aSToby Isaac     PetscFEGeom     *cellGeom;
292*0145028aSToby Isaac     IS              suppIS;
293*0145028aSToby Isaac     PetscQuadrature cellQuad = NULL;
294*0145028aSToby Isaac 
295*0145028aSToby Isaac     ierr = DMFieldCreateDefaultQuadrature(field,cellIS,&cellQuad);CHKERRQ(ierr);
296*0145028aSToby Isaac     for (p = 0, numCells = 0; p < numFaces; p++) {
297*0145028aSToby Isaac       PetscInt        point = points[p];
298*0145028aSToby Isaac       PetscInt        numSupp, numChildren;
299*0145028aSToby Isaac 
300*0145028aSToby Isaac       ierr = DMPlexGetTreeChildren(dm, point, &numChildren, NULL); CHKERRQ(ierr);
301*0145028aSToby Isaac       if (numChildren) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Face data not valid for facets with children");
302*0145028aSToby Isaac       ierr = DMPlexGetSupportSize(dm, point,&numSupp);CHKERRQ(ierr);
303*0145028aSToby Isaac       if (numSupp > 2) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %D has %D support, expected at most 2\n", point, numSupp);
304*0145028aSToby Isaac       numCells += numSupp;
305*0145028aSToby Isaac     }
306*0145028aSToby Isaac     ierr = PetscMalloc1(numCells, &cells);CHKERRQ(ierr);
307*0145028aSToby Isaac     for (p = 0, offset = 0; p < numFaces; p++) {
308*0145028aSToby Isaac       PetscInt        point = points[p];
309*0145028aSToby Isaac       PetscInt        numSupp, s;
310*0145028aSToby Isaac       const PetscInt *supp;
311*0145028aSToby Isaac 
312*0145028aSToby Isaac       ierr = DMPlexGetSupportSize(dm, point,&numSupp);CHKERRQ(ierr);
313*0145028aSToby Isaac       ierr = DMPlexGetSupport(dm, point, &supp);CHKERRQ(ierr);
314*0145028aSToby Isaac       for (s = 0; s < numSupp; s++, offset++) {
315*0145028aSToby Isaac         cells[offset] = supp[s];
316*0145028aSToby Isaac       }
317*0145028aSToby Isaac     }
318*0145028aSToby Isaac     ierr = ISCreateGeneral(PETSC_COMM_SELF,numCells,cells,PETSC_USE_POINTER, &suppIS);CHKERRQ(ierr);
319*0145028aSToby Isaac     ierr = DMFieldCreateFEGeom(field,suppIS,cellQuad,PETSC_FALSE,&cellGeom);CHKERRQ(ierr);
320*0145028aSToby Isaac     for (p = 0, offset = 0; p < numFaces; p++) {
321*0145028aSToby Isaac       PetscInt        point = points[p];
322*0145028aSToby Isaac       PetscInt        numSupp, s, q;
323*0145028aSToby Isaac       const PetscInt *supp;
324*0145028aSToby Isaac 
325*0145028aSToby Isaac       ierr = DMPlexGetSupportSize(dm, point,&numSupp);CHKERRQ(ierr);
326*0145028aSToby Isaac       ierr = DMPlexGetSupport(dm, point, &supp);CHKERRQ(ierr);
327*0145028aSToby Isaac       for (s = 0; s < numSupp; s++, offset++) {
328*0145028aSToby Isaac         for (q = 0; q < Nq * dE * dE; q++) {
329*0145028aSToby Isaac           geom->suppInvJ[s][p * Nq * dE * dE + q] = cellGeom->invJ[offset * Nq * dE * dE + q];
330*0145028aSToby Isaac         }
331*0145028aSToby Isaac       }
332*0145028aSToby Isaac     }
333*0145028aSToby Isaac     ierr = PetscFEGeomDestroy(&cellGeom);CHKERRQ(ierr);
334*0145028aSToby Isaac     ierr = ISDestroy(&suppIS);CHKERRQ(ierr);
335*0145028aSToby Isaac     ierr = PetscFree(cells);CHKERRQ(ierr);
336*0145028aSToby Isaac     ierr = PetscQuadratureDestroy(&cellQuad);CHKERRQ(ierr);
337*0145028aSToby Isaac   } else {
338*0145028aSToby Isaac     PetscObject          faceDisc, cellDisc;
339*0145028aSToby Isaac     PetscClassId         faceId, cellId;
340*0145028aSToby Isaac     PetscDualSpace       dsp;
341*0145028aSToby Isaac     DM                   K;
342*0145028aSToby Isaac     PetscInt           (*co)[2][3];
343*0145028aSToby Isaac     PetscInt             coneSize;
344*0145028aSToby Isaac     PetscInt           **counts;
345*0145028aSToby Isaac     PetscInt             f, i, o, q, s;
346*0145028aSToby Isaac     const PetscInt      *coneK;
347*0145028aSToby Isaac     PetscInt             minOrient, maxOrient, numOrient;
348*0145028aSToby Isaac     PetscInt            *orients;
349*0145028aSToby Isaac     PetscReal          **orientPoints;
350*0145028aSToby Isaac     PetscReal           *cellPoints;
351*0145028aSToby Isaac     PetscReal           *dummyWeights;
352*0145028aSToby Isaac     PetscQuadrature      cellQuad = NULL;
353*0145028aSToby Isaac 
354*0145028aSToby Isaac     ierr = DMFieldDSGetHeightDisc(field, 1, &faceDisc);CHKERRQ(ierr);
355*0145028aSToby Isaac     ierr = DMFieldDSGetHeightDisc(field, 0, &cellDisc);CHKERRQ(ierr);
356*0145028aSToby Isaac     ierr = PetscObjectGetClassId(faceDisc,&faceId);CHKERRQ(ierr);
357*0145028aSToby Isaac     ierr = PetscObjectGetClassId(cellDisc,&cellId);CHKERRQ(ierr);
358*0145028aSToby Isaac     if (faceId != PETSCFE_CLASSID || cellId != PETSCFE_CLASSID) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Not supported\n");
359*0145028aSToby Isaac     ierr = PetscFEGetDualSpace((PetscFE)cellDisc, &dsp);CHKERRQ(ierr);
360*0145028aSToby Isaac     ierr = PetscDualSpaceGetDM(dsp, &K); CHKERRQ(ierr);
361*0145028aSToby Isaac     ierr = DMPlexGetConeSize(K,0,&coneSize);CHKERRQ(ierr);
362*0145028aSToby Isaac     ierr = DMPlexGetCone(K,0,&coneK);CHKERRQ(ierr);
363*0145028aSToby Isaac     ierr = PetscMalloc4(numFaces,&co,dE*Nq,&cellPoints,coneSize,&counts,Nq,&dummyWeights);CHKERRQ(ierr);
364*0145028aSToby Isaac     ierr = PetscQuadratureCreate(PetscObjectComm((PetscObject)field), &cellQuad);CHKERRQ(ierr);
365*0145028aSToby Isaac     ierr = PetscQuadratureSetData(cellQuad, dE, 1, Nq, cellPoints, dummyWeights);CHKERRQ(ierr);
366*0145028aSToby Isaac     minOrient = PETSC_MAX_INT;
367*0145028aSToby Isaac     maxOrient = PETSC_MIN_INT;
368*0145028aSToby Isaac     for (p = 0; p < numFaces; p++) { /* record the orientation of the facet wrt the support cells */
369*0145028aSToby Isaac       PetscInt        point = points[p];
370*0145028aSToby Isaac       PetscInt        numSupp, numChildren;
371*0145028aSToby Isaac       const PetscInt *supp;
372*0145028aSToby Isaac 
373*0145028aSToby Isaac       ierr = DMPlexGetTreeChildren(dm, point, &numChildren, NULL); CHKERRQ(ierr);
374*0145028aSToby Isaac       if (numChildren) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Face data not valid for facets with children");
375*0145028aSToby Isaac       ierr = DMPlexGetSupportSize(dm, point,&numSupp);CHKERRQ(ierr);
376*0145028aSToby Isaac       if (numSupp > 2) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %D has %D support, expected at most 2\n", point, numSupp);
377*0145028aSToby Isaac       ierr = DMPlexGetSupport(dm, point, &supp);CHKERRQ(ierr);
378*0145028aSToby Isaac       for (s = 0; s < numSupp; s++) {
379*0145028aSToby Isaac         PetscInt        cell = supp[s];
380*0145028aSToby Isaac         PetscInt        numCone;
381*0145028aSToby Isaac         const PetscInt *cone, *orient;
382*0145028aSToby Isaac 
383*0145028aSToby Isaac         ierr = DMPlexGetConeSize(dm, cell, &numCone);CHKERRQ(ierr);
384*0145028aSToby Isaac         if (numCone != coneSize) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Support point does not match reference element");
385*0145028aSToby Isaac         ierr = DMPlexGetCone(dm, cell, &cone);CHKERRQ(ierr);
386*0145028aSToby Isaac         ierr = DMPlexGetConeOrientation(dm, cell, &orient);CHKERRQ(ierr);
387*0145028aSToby Isaac         for (f = 0; f < coneSize; f++) {
388*0145028aSToby Isaac           if (cone[f] == point) break;
389*0145028aSToby Isaac         }
390*0145028aSToby Isaac         co[p][s][0] = f;
391*0145028aSToby Isaac         co[p][s][1] = orient[f];
392*0145028aSToby Isaac         co[p][s][2] = cell;
393*0145028aSToby Isaac         minOrient = PetscMin(minOrient, orient[f]);
394*0145028aSToby Isaac         maxOrient = PetscMin(maxOrient, orient[f]);
395*0145028aSToby Isaac       }
396*0145028aSToby Isaac       for (; s < 2; s++) {
397*0145028aSToby Isaac         co[p][s][0] = -1;
398*0145028aSToby Isaac         co[p][s][1] = -1;
399*0145028aSToby Isaac         co[p][s][2] = -1;
400*0145028aSToby Isaac       }
401*0145028aSToby Isaac     }
402*0145028aSToby Isaac     numOrient = maxOrient + 1 - minOrient;
403*0145028aSToby Isaac     ierr = DMPlexGetCone(K,0,&coneK);CHKERRQ(ierr);
404*0145028aSToby Isaac     /* count all (face,orientation) doubles that appear */
405*0145028aSToby Isaac     ierr = PetscCalloc2(numOrient,&orients,numOrient,&orientPoints);CHKERRQ(ierr);
406*0145028aSToby Isaac     for (f = 0; f < coneSize; f++) {ierr = PetscCalloc1(numOrient, &counts[f]);CHKERRQ(ierr);}
407*0145028aSToby Isaac     for (p = 0; p < numFaces; p++) {
408*0145028aSToby Isaac       for (s = 0; s < 2; s++) {
409*0145028aSToby Isaac         if (co[p][s][0] >= 0) {
410*0145028aSToby Isaac           counts[co[p][s][0]][co[p][s][1] - minOrient]++;
411*0145028aSToby Isaac           orients[co[p][s][1] - minOrient]++;
412*0145028aSToby Isaac         }
413*0145028aSToby Isaac       }
414*0145028aSToby Isaac     }
415*0145028aSToby Isaac     for (o = 0; o < numOrient; o++) {
416*0145028aSToby Isaac       if (orients[o]) {
417*0145028aSToby Isaac         PetscInt orient = o + minOrient;
418*0145028aSToby Isaac         PetscInt q;
419*0145028aSToby Isaac 
420*0145028aSToby Isaac         ierr = PetscMalloc1(Nq * dim, &orientPoints[o]);CHKERRQ(ierr);
421*0145028aSToby Isaac         /* rotate the quadrature points appropriately */
422*0145028aSToby Isaac         switch (dim) {
423*0145028aSToby Isaac         case 0:
424*0145028aSToby Isaac           break;
425*0145028aSToby Isaac         case 1:
426*0145028aSToby Isaac           if (orient == -2 || orient == 1) {
427*0145028aSToby Isaac             for (q = 0; q < Nq; q++) {
428*0145028aSToby Isaac               orientPoints[o][q] = -geom->xi[q];
429*0145028aSToby Isaac             }
430*0145028aSToby Isaac           } else {
431*0145028aSToby Isaac             for (q = 0; q < Nq; q++) {
432*0145028aSToby Isaac               orientPoints[o][q] = geom->xi[q];
433*0145028aSToby Isaac             }
434*0145028aSToby Isaac           }
435*0145028aSToby Isaac           break;
436*0145028aSToby Isaac         case 2:
437*0145028aSToby Isaac           switch (coneSize) {
438*0145028aSToby Isaac           case 3:
439*0145028aSToby Isaac             for (q = 0; q < Nq; q++) {
440*0145028aSToby Isaac               PetscReal lambda[3];
441*0145028aSToby Isaac               PetscReal lambdao[3];
442*0145028aSToby Isaac 
443*0145028aSToby Isaac               /* convert to barycentric */
444*0145028aSToby Isaac               lambda[0] = - (geom->xi[2 * q] + geom->xi[2 * q + 1]) / 2.;
445*0145028aSToby Isaac               lambda[1] = (geom->xi[2 * q] + 1.) / 2.;
446*0145028aSToby Isaac               lambda[2] = (geom->xi[2 * q + 1] + 1.) / 2.;
447*0145028aSToby Isaac               if (orient >= 0) {
448*0145028aSToby Isaac                 for (i = 0; i < 3; i++) {
449*0145028aSToby Isaac                   lambdao[i] = lambda[(orient + i) % 3];
450*0145028aSToby Isaac                 }
451*0145028aSToby Isaac               } else {
452*0145028aSToby Isaac                 for (i = 0; i < 3; i++) {
453*0145028aSToby Isaac                   lambdao[i] = lambda[(-(orient + i) + 3) % 3];
454*0145028aSToby Isaac                 }
455*0145028aSToby Isaac               }
456*0145028aSToby Isaac               /* convert to coordinates */
457*0145028aSToby Isaac               orientPoints[o][2 * q + 0] = -(lambdao[0] + lambdao[2]) + lambdao[1];
458*0145028aSToby Isaac               orientPoints[o][2 * q + 1] = -(lambdao[0] + lambdao[1]) + lambdao[2];
459*0145028aSToby Isaac             }
460*0145028aSToby Isaac             break;
461*0145028aSToby Isaac           case 4:
462*0145028aSToby Isaac             for (q = 0; q < Nq; q++) {
463*0145028aSToby Isaac               PetscReal xi[2], xio[2];
464*0145028aSToby Isaac               PetscInt oabs = (orient >= 0) ? orient : -(orient + 1);
465*0145028aSToby Isaac 
466*0145028aSToby Isaac               xi[0] = geom->xi[2 * q];
467*0145028aSToby Isaac               xi[1] = geom->xi[2 * q + 1];
468*0145028aSToby Isaac               switch (oabs) {
469*0145028aSToby Isaac               case 0:
470*0145028aSToby Isaac                 xio[0] = xi[0];
471*0145028aSToby Isaac                 xio[1] = xi[1];
472*0145028aSToby Isaac                 break;
473*0145028aSToby Isaac               case 1:
474*0145028aSToby Isaac                 xio[0] = xi[1];
475*0145028aSToby Isaac                 xio[1] = -xi[0];
476*0145028aSToby Isaac                 break;
477*0145028aSToby Isaac               case 2:
478*0145028aSToby Isaac                 xio[0] = -xi[0];
479*0145028aSToby Isaac                 xio[1] = -xi[1];
480*0145028aSToby Isaac               case 3:
481*0145028aSToby Isaac                 xio[0] = -xi[1];
482*0145028aSToby Isaac                 xio[1] = xi[0];
483*0145028aSToby Isaac               }
484*0145028aSToby Isaac               if (orient < 0) {
485*0145028aSToby Isaac                 xio[0] = -xio[0];
486*0145028aSToby Isaac               }
487*0145028aSToby Isaac               orientPoints[o][2 * q + 0] = xio[0];
488*0145028aSToby Isaac               orientPoints[o][2 * q + 1] = xio[1];
489*0145028aSToby Isaac             }
490*0145028aSToby Isaac             break;
491*0145028aSToby Isaac           default:
492*0145028aSToby Isaac             SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Not implemented yet\n");
493*0145028aSToby Isaac           }
494*0145028aSToby Isaac         default:
495*0145028aSToby Isaac           SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Not implemented yet\n");
496*0145028aSToby Isaac         }
497*0145028aSToby Isaac       }
498*0145028aSToby Isaac     }
499*0145028aSToby Isaac     for (f = 0; f < coneSize; f++) {
500*0145028aSToby Isaac       PetscInt face = coneK[f];
501*0145028aSToby Isaac       PetscScalar v0[3];
502*0145028aSToby Isaac       PetscScalar J[9];
503*0145028aSToby Isaac       PetscInt numCells, offset;
504*0145028aSToby Isaac       PetscInt *cells;
505*0145028aSToby Isaac       IS suppIS;
506*0145028aSToby Isaac 
507*0145028aSToby Isaac       ierr = DMPlexComputeCellGeometryFEM(K, face, NULL, v0, J, NULL, NULL);CHKERRQ(ierr);
508*0145028aSToby Isaac       for (o = 0; o <= numOrient; o++) {
509*0145028aSToby Isaac         PetscFEGeom *cellGeom;
510*0145028aSToby Isaac 
511*0145028aSToby Isaac         if (!counts[f][o]) continue;
512*0145028aSToby Isaac         /* If this (face,orientation) double appears,
513*0145028aSToby Isaac          * convert the face quadrature points into volume quadrature points */
514*0145028aSToby Isaac         for (q = 0; q < Nq; q++) {
515*0145028aSToby Isaac           PetscReal xi0[3] = {-1., -1., -1.};
516*0145028aSToby Isaac 
517*0145028aSToby Isaac           CoordinatesRefToReal(dE, dim, xi0, v0, J, &orientPoints[o][dim * q + 0], &cellPoints[dE * q + 0]);
518*0145028aSToby Isaac         }
519*0145028aSToby Isaac         for (p = 0, numCells = 0; p < numFaces; p++) {
520*0145028aSToby Isaac           for (s = 0; s < 2; s++) {
521*0145028aSToby Isaac             if (co[p][s][0] == f && co[p][s][1] == o + minOrient) numCells++;
522*0145028aSToby Isaac           }
523*0145028aSToby Isaac         }
524*0145028aSToby Isaac         ierr = PetscMalloc1(numCells, &cells);CHKERRQ(ierr);
525*0145028aSToby Isaac         for (p = 0, offset = 0; p < numFaces; p++) {
526*0145028aSToby Isaac           for (s = 0; s < 2; s++) {
527*0145028aSToby Isaac             if (co[p][s][0] == f && co[p][s][1] == o + minOrient) {
528*0145028aSToby Isaac               cells[offset++] = co[p][s][2];
529*0145028aSToby Isaac             }
530*0145028aSToby Isaac           }
531*0145028aSToby Isaac         }
532*0145028aSToby Isaac         ierr = ISCreateGeneral(PETSC_COMM_SELF,numCells,cells,PETSC_USE_POINTER, &suppIS);CHKERRQ(ierr);
533*0145028aSToby Isaac         ierr = DMFieldCreateFEGeom(field,suppIS,cellQuad,PETSC_FALSE,&cellGeom);CHKERRQ(ierr);
534*0145028aSToby Isaac         for (p = 0, offset = 0; p < numFaces; p++) {
535*0145028aSToby Isaac           for (s = 0; s < 2; s++) {
536*0145028aSToby Isaac             if (co[p][s][0] == f && co[p][s][1] == o + minOrient) {
537*0145028aSToby Isaac               for (q = 0; q < Nq * dE * dE; q++) {
538*0145028aSToby Isaac                 geom->suppInvJ[s][p * Nq * dE * dE + q] = cellGeom->invJ[offset * Nq * dE * dE + q];
539*0145028aSToby Isaac               }
540*0145028aSToby Isaac               offset++;
541*0145028aSToby Isaac             }
542*0145028aSToby Isaac           }
543*0145028aSToby Isaac         }
544*0145028aSToby Isaac         ierr = PetscFEGeomDestroy(&cellGeom);CHKERRQ(ierr);
545*0145028aSToby Isaac         ierr = ISDestroy(&suppIS);CHKERRQ(ierr);
546*0145028aSToby Isaac         ierr = PetscFree(cells);CHKERRQ(ierr);
547*0145028aSToby Isaac       }
548*0145028aSToby Isaac     }
549*0145028aSToby Isaac     for (o = 0; o < numOrient; o++) {
550*0145028aSToby Isaac       if (orients[o]) {
551*0145028aSToby Isaac         ierr = PetscFree(orientPoints[o]);CHKERRQ(ierr);
552*0145028aSToby Isaac       }
553*0145028aSToby Isaac     }
554*0145028aSToby Isaac     ierr = PetscFree2(orients,orientPoints);CHKERRQ(ierr);
555*0145028aSToby Isaac     ierr = PetscQuadratureDestroy(&cellQuad);CHKERRQ(ierr);
556*0145028aSToby Isaac     ierr = PetscFree4(co,cellPoints,counts,dummyWeights);CHKERRQ(ierr);
557*0145028aSToby Isaac   }
558*0145028aSToby Isaac   ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr);
559*0145028aSToby Isaac   ierr = ISDestroy(&cellIS);CHKERRQ(ierr);
560*0145028aSToby Isaac   PetscFunctionReturn(0);
561*0145028aSToby Isaac }
562*0145028aSToby Isaac 
56351a454edSToby Isaac static PetscErrorCode DMFieldInitialize_DS(DMField field)
56451a454edSToby Isaac {
56551a454edSToby Isaac   PetscFunctionBegin;
56651a454edSToby Isaac   field->ops->destroy                 = DMFieldDestroy_DS;
56751a454edSToby Isaac   field->ops->evaluate                = DMFieldEvaluate_DS;
56851a454edSToby Isaac   field->ops->evaluateFE              = DMFieldEvaluateFE_DS;
56951a454edSToby Isaac   field->ops->getFEInvariance         = DMFieldGetFEInvariance_DS;
57051a454edSToby Isaac   field->ops->createDefaultQuadrature = DMFieldCreateDefaultQuadrature_DS;
57151a454edSToby Isaac   field->ops->view                    = DMFieldView_DS;
572*0145028aSToby Isaac   field->ops->computeFaceData         = DMFieldComputeFaceData_DS;
57351a454edSToby Isaac   PetscFunctionReturn(0);
57451a454edSToby Isaac }
57551a454edSToby Isaac 
57651a454edSToby Isaac PETSC_INTERN PetscErrorCode DMFieldCreate_DS(DMField field)
57751a454edSToby Isaac {
57851a454edSToby Isaac   DMField_DS     *dsfield;
57951a454edSToby Isaac   PetscErrorCode ierr;
58051a454edSToby Isaac 
58151a454edSToby Isaac   PetscFunctionBegin;
58251a454edSToby Isaac   ierr = PetscNewLog(field,&dsfield);CHKERRQ(ierr);
58351a454edSToby Isaac   field->data = dsfield;
58451a454edSToby Isaac   ierr = DMFieldInitialize_DS(field);CHKERRQ(ierr);
58551a454edSToby Isaac   PetscFunctionReturn(0);
58651a454edSToby Isaac }
58751a454edSToby Isaac 
58851a454edSToby Isaac PetscErrorCode DMFieldCreateDS(DM dm, PetscInt fieldNum, Vec vec,DMField *field)
58951a454edSToby Isaac {
59051a454edSToby Isaac   DMField        b;
59151a454edSToby Isaac   DMField_DS     *dsfield;
59251a454edSToby Isaac   PetscObject    disc = NULL;
59351a454edSToby Isaac   PetscBool      isContainer = PETSC_FALSE;
59451a454edSToby Isaac   PetscClassId   id = -1;
59551a454edSToby Isaac   PetscInt       numComponents = -1, dsNumFields;
59651a454edSToby Isaac   PetscSection   section;
59751a454edSToby Isaac   PetscErrorCode ierr;
59851a454edSToby Isaac 
59951a454edSToby Isaac   PetscFunctionBegin;
60051a454edSToby Isaac   ierr = DMGetDefaultSection(dm,&section);CHKERRQ(ierr);
60151a454edSToby Isaac   ierr = PetscSectionGetFieldComponents(section,fieldNum,&numComponents);CHKERRQ(ierr);
60251a454edSToby Isaac   ierr = DMGetNumFields(dm,&dsNumFields);CHKERRQ(ierr);
60351a454edSToby Isaac   if (dsNumFields) {ierr = DMGetField(dm,fieldNum,&disc);CHKERRQ(ierr);}
60451a454edSToby Isaac   if (disc) {
60551a454edSToby Isaac     ierr = PetscObjectGetClassId(disc,&id);CHKERRQ(ierr);
60651a454edSToby Isaac     isContainer = (id == PETSC_CONTAINER_CLASSID) ? PETSC_TRUE : PETSC_FALSE;
60751a454edSToby Isaac   }
60851a454edSToby Isaac   if (!disc || isContainer) {
60951a454edSToby Isaac     MPI_Comm        comm = PetscObjectComm((PetscObject) dm);
61051a454edSToby Isaac     PetscInt        cStart, cEnd, dim;
61151a454edSToby Isaac     PetscInt        localConeSize = 0, coneSize;
61251a454edSToby Isaac     PetscFE         fe;
61351a454edSToby Isaac     PetscDualSpace  Q;
61451a454edSToby Isaac     PetscSpace      P;
61551a454edSToby Isaac     DM              K;
61651a454edSToby Isaac     PetscQuadrature quad, fquad;
61751a454edSToby Isaac     PetscBool       isSimplex;
61851a454edSToby Isaac 
61951a454edSToby Isaac     ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
62051a454edSToby Isaac     ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
62151a454edSToby Isaac     if (cEnd > cStart) {
62251a454edSToby Isaac       ierr = DMPlexGetConeSize(dm, cStart, &localConeSize);CHKERRQ(ierr);
62351a454edSToby Isaac     }
62451a454edSToby Isaac     ierr = MPI_Allreduce(&localConeSize,&coneSize,1,MPIU_INT,MPI_MAX,comm);CHKERRQ(ierr);
62551a454edSToby Isaac     isSimplex = (coneSize == (dim + 1)) ? PETSC_TRUE : PETSC_FALSE;
62651a454edSToby Isaac     ierr = PetscSpaceCreate(comm, &P);CHKERRQ(ierr);
62751a454edSToby Isaac     ierr = PetscSpaceSetOrder(P, 1);CHKERRQ(ierr);
62851a454edSToby Isaac     ierr = PetscSpaceSetNumComponents(P, numComponents);CHKERRQ(ierr);
62951a454edSToby Isaac     ierr = PetscSpaceSetType(P,PETSCSPACEPOLYNOMIAL);CHKERRQ(ierr);
63051a454edSToby Isaac     ierr = PetscSpaceSetNumVariables(P, dim);CHKERRQ(ierr);
63151a454edSToby Isaac     ierr = PetscSpacePolynomialSetTensor(P, isSimplex ? PETSC_FALSE : PETSC_TRUE);CHKERRQ(ierr);
63251a454edSToby Isaac     ierr = PetscSpaceSetUp(P);CHKERRQ(ierr);
63351a454edSToby Isaac     ierr = PetscDualSpaceCreate(comm, &Q);CHKERRQ(ierr);
63451a454edSToby Isaac     ierr = PetscDualSpaceSetType(Q,PETSCDUALSPACELAGRANGE);CHKERRQ(ierr);
63551a454edSToby Isaac     ierr = PetscDualSpaceCreateReferenceCell(Q, dim, isSimplex, &K);CHKERRQ(ierr);
63651a454edSToby Isaac     ierr = PetscDualSpaceSetDM(Q, K);CHKERRQ(ierr);
63751a454edSToby Isaac     ierr = DMDestroy(&K);CHKERRQ(ierr);
63851a454edSToby Isaac     ierr = PetscDualSpaceSetNumComponents(Q, numComponents);CHKERRQ(ierr);
63951a454edSToby Isaac     ierr = PetscDualSpaceSetOrder(Q, 1);CHKERRQ(ierr);
64051a454edSToby Isaac     ierr = PetscDualSpaceLagrangeSetTensor(Q, isSimplex ? PETSC_FALSE : PETSC_TRUE);CHKERRQ(ierr);
64151a454edSToby Isaac     ierr = PetscDualSpaceSetUp(Q);CHKERRQ(ierr);
64251a454edSToby Isaac     ierr = PetscFECreate(comm, &fe);CHKERRQ(ierr);
64351a454edSToby Isaac     ierr = PetscFESetType(fe,PETSCFEBASIC);CHKERRQ(ierr);
64451a454edSToby Isaac     ierr = PetscFESetBasisSpace(fe, P);CHKERRQ(ierr);
64551a454edSToby Isaac     ierr = PetscFESetDualSpace(fe, Q);CHKERRQ(ierr);
64651a454edSToby Isaac     ierr = PetscFESetNumComponents(fe, numComponents);CHKERRQ(ierr);
64751a454edSToby Isaac     ierr = PetscFESetUp(fe);CHKERRQ(ierr);
64851a454edSToby Isaac     ierr = PetscSpaceDestroy(&P);CHKERRQ(ierr);
64951a454edSToby Isaac     ierr = PetscDualSpaceDestroy(&Q);CHKERRQ(ierr);
65051a454edSToby Isaac     if (isSimplex) {
65151a454edSToby Isaac       ierr = PetscDTGaussJacobiQuadrature(dim,   1, 1, -1.0, 1.0, &quad);CHKERRQ(ierr);
65251a454edSToby Isaac       ierr = PetscDTGaussJacobiQuadrature(dim-1, 1, 1, -1.0, 1.0, &fquad);CHKERRQ(ierr);
65351a454edSToby Isaac     }
65451a454edSToby Isaac     else {
65551a454edSToby Isaac       ierr = PetscDTGaussTensorQuadrature(dim,   1, 1, -1.0, 1.0, &quad);CHKERRQ(ierr);
65651a454edSToby Isaac       ierr = PetscDTGaussTensorQuadrature(dim-1, 1, 1, -1.0, 1.0, &fquad);CHKERRQ(ierr);
65751a454edSToby Isaac     }
65851a454edSToby Isaac     ierr = PetscFESetQuadrature(fe, quad);CHKERRQ(ierr);
65951a454edSToby Isaac     ierr = PetscFESetFaceQuadrature(fe, fquad);CHKERRQ(ierr);
66051a454edSToby Isaac     ierr = PetscQuadratureDestroy(&quad);CHKERRQ(ierr);
66151a454edSToby Isaac     ierr = PetscQuadratureDestroy(&fquad);CHKERRQ(ierr);
66251a454edSToby Isaac     disc = (PetscObject) fe;
66351a454edSToby Isaac   } else {
66451a454edSToby Isaac     ierr = PetscObjectReference(disc);CHKERRQ(ierr);
66551a454edSToby Isaac   }
66651a454edSToby Isaac   ierr = PetscObjectGetClassId(disc,&id);CHKERRQ(ierr);
66751a454edSToby Isaac   if (id == PETSCFE_CLASSID) {
66851a454edSToby Isaac     PetscFE fe = (PetscFE) disc;
66951a454edSToby Isaac 
67051a454edSToby Isaac     ierr = PetscFEGetNumComponents(fe,&numComponents);CHKERRQ(ierr);
67151a454edSToby Isaac   } else {SETERRQ(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"Not implemented");}
67251a454edSToby Isaac   ierr = DMFieldCreate(dm,numComponents,DMFIELD_VERTEX,&b);CHKERRQ(ierr);
67351a454edSToby Isaac   ierr = DMFieldSetType(b,DMFIELDDS);CHKERRQ(ierr);
67451a454edSToby Isaac   dsfield = (DMField_DS *) b->data;
67551a454edSToby Isaac   dsfield->fieldNum = fieldNum;
67651a454edSToby Isaac   ierr = DMGetDimension(dm,&dsfield->height);CHKERRQ(ierr);
677f99c8401SToby Isaac   dsfield->height++;
67851a454edSToby Isaac   ierr = PetscCalloc1(dsfield->height,&dsfield->disc);CHKERRQ(ierr);
67951a454edSToby Isaac   dsfield->disc[0] = disc;
68051a454edSToby Isaac   ierr = PetscObjectReference((PetscObject)vec);CHKERRQ(ierr);
68151a454edSToby Isaac   dsfield->vec = vec;
68251a454edSToby Isaac   *field = b;
68351a454edSToby Isaac 
68451a454edSToby Isaac   PetscFunctionReturn(0);
68551a454edSToby Isaac }
686