151a454edSToby Isaac #include <petsc/private/dmfieldimpl.h> /*I "petscdmfield.h" I*/ 20145028aSToby 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 PetscBool multifieldVec; 106858538eSMatthew G. Knepley PetscInt height; /* Point height at which we want values and number of discretizations */ 116858538eSMatthew G. Knepley PetscInt fieldNum; /* Number in DS of field which we evaluate */ 126858538eSMatthew G. Knepley PetscObject *disc; /* Discretizations of this field at each height */ 136858538eSMatthew G. Knepley Vec vec; /* Field values */ 146858538eSMatthew G. Knepley DM dmDG; /* DM for the DG values */ 156858538eSMatthew G. Knepley PetscObject *discDG; /* DG Discretizations of this field at each height */ 166858538eSMatthew G. Knepley Vec vecDG; /* DG Field values */ 176858538eSMatthew G. Knepley } DMField_DS; 1851a454edSToby Isaac 1951a454edSToby Isaac static PetscErrorCode DMFieldDestroy_DS(DMField field) 2051a454edSToby Isaac { 216858538eSMatthew G. Knepley DMField_DS *dsfield = (DMField_DS *) field->data; 2251a454edSToby Isaac PetscInt i; 2351a454edSToby Isaac 2451a454edSToby Isaac PetscFunctionBegin; 259566063dSJacob Faibussowitsch PetscCall(VecDestroy(&dsfield->vec)); 266858538eSMatthew G. Knepley for (i = 0; i < dsfield->height; i++) PetscCall(PetscObjectDereference(dsfield->disc[i])); 279566063dSJacob Faibussowitsch PetscCall(PetscFree(dsfield->disc)); 286858538eSMatthew G. Knepley PetscCall(VecDestroy(&dsfield->vecDG)); 296858538eSMatthew G. Knepley if (dsfield->discDG) for (i = 0; i < dsfield->height; i++) PetscCall(PetscObjectDereference(dsfield->discDG[i])); 306858538eSMatthew G. Knepley PetscCall(PetscFree(dsfield->discDG)); 319566063dSJacob Faibussowitsch PetscCall(PetscFree(dsfield)); 3251a454edSToby Isaac PetscFunctionReturn(0); 3351a454edSToby Isaac } 3451a454edSToby Isaac 3551a454edSToby Isaac static PetscErrorCode DMFieldView_DS(DMField field,PetscViewer viewer) 3651a454edSToby Isaac { 3751a454edSToby Isaac DMField_DS *dsfield = (DMField_DS *) field->data; 3851a454edSToby Isaac PetscObject disc; 396858538eSMatthew G. Knepley PetscBool iascii; 4051a454edSToby Isaac 4151a454edSToby Isaac PetscFunctionBegin; 429566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii)); 4351a454edSToby Isaac disc = dsfield->disc[0]; 4451a454edSToby Isaac if (iascii) { 4563a3b9bcSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "PetscDS field %" PetscInt_FMT "\n", dsfield->fieldNum)); 469566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPushTab(viewer)); 479566063dSJacob Faibussowitsch PetscCall(PetscObjectView(disc, viewer)); 489566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPopTab(viewer)); 4951a454edSToby Isaac } 509566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPushTab(viewer)); 5128b400f6SJacob Faibussowitsch PetscCheck(!dsfield->multifieldVec, PetscObjectComm((PetscObject) field), PETSC_ERR_SUP, "View of subfield not implemented yet"); 529566063dSJacob Faibussowitsch PetscCall(VecView(dsfield->vec, viewer)); 539566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPopTab(viewer)); 5451a454edSToby Isaac PetscFunctionReturn(0); 5551a454edSToby Isaac } 5651a454edSToby Isaac 576858538eSMatthew G. Knepley static PetscErrorCode DMFieldDSGetHeightDisc(DMField field, PetscInt height, PetscObject discList[], PetscObject *disc) 5851a454edSToby Isaac { 5951a454edSToby Isaac PetscFunctionBegin; 606858538eSMatthew G. Knepley if (!discList[height]) { 6151a454edSToby Isaac PetscClassId id; 6251a454edSToby Isaac 636858538eSMatthew G. Knepley PetscCall(PetscObjectGetClassId(discList[0], &id)); 646858538eSMatthew G. Knepley if (id == PETSCFE_CLASSID) PetscCall(PetscFECreateHeightTrace((PetscFE) discList[0], height, (PetscFE *) &discList[height])); 6551a454edSToby Isaac } 666858538eSMatthew G. Knepley *disc = discList[height]; 6751a454edSToby Isaac PetscFunctionReturn(0); 6851a454edSToby Isaac } 6951a454edSToby Isaac 7062bd480fSMatthew G. Knepley /* y[m,c] = A[m,n,c] . b[n] */ 7151a454edSToby Isaac #define DMFieldDSdot(y,A,b,m,n,c,cast) \ 7251a454edSToby Isaac do { \ 7351a454edSToby Isaac PetscInt _i, _j, _k; \ 7451a454edSToby Isaac for (_i = 0; _i < (m); _i++) { \ 7551a454edSToby Isaac for (_k = 0; _k < (c); _k++) { \ 7651a454edSToby Isaac (y)[_i * (c) + _k] = 0.; \ 7751a454edSToby Isaac } \ 7851a454edSToby Isaac for (_j = 0; _j < (n); _j++) { \ 7951a454edSToby Isaac for (_k = 0; _k < (c); _k++) { \ 8051a454edSToby Isaac (y)[_i * (c) + _k] += (A)[(_i * (n) + _j) * (c) + _k] * cast((b)[_j]); \ 8151a454edSToby Isaac } \ 8251a454edSToby Isaac } \ 8351a454edSToby Isaac } \ 8451a454edSToby Isaac } while (0) 8551a454edSToby Isaac 866858538eSMatthew G. Knepley /* 876858538eSMatthew G. Knepley Since this is used for coordinates, we need to allow for the possibility that values come from multiple sections/Vecs, so that we can have DG version of the coordinates for periodicity. This reproduces DMPlexGetCellCoordinates_Internal(). 886858538eSMatthew G. Knepley */ 896858538eSMatthew G. Knepley PetscErrorCode DMFieldGetClosure_Internal(DMField field, PetscInt cell, PetscBool *isDG, PetscInt *Nc, const PetscScalar *array[], PetscScalar *values[]) 906858538eSMatthew G. Knepley { 916858538eSMatthew G. Knepley DMField_DS *dsfield = (DMField_DS *) field->data; 926858538eSMatthew G. Knepley DM fdm = dsfield->dmDG; 936858538eSMatthew G. Knepley PetscSection s = NULL; 946858538eSMatthew G. Knepley const PetscScalar *cvalues; 956858538eSMatthew G. Knepley PetscInt pStart, pEnd; 966858538eSMatthew G. Knepley 976858538eSMatthew G. Knepley PetscFunctionBeginHot; 986858538eSMatthew G. Knepley *isDG = PETSC_FALSE; 996858538eSMatthew G. Knepley *Nc = 0; 1006858538eSMatthew G. Knepley *array = NULL; 1016858538eSMatthew G. Knepley *values = NULL; 1026858538eSMatthew G. Knepley /* Check for cellwise section */ 1036858538eSMatthew G. Knepley if (fdm) PetscCall(DMGetLocalSection(fdm, &s)); 1046858538eSMatthew G. Knepley if (!s) goto cg; 1056858538eSMatthew G. Knepley /* Check that the cell exists in the cellwise section */ 1066858538eSMatthew G. Knepley PetscCall(PetscSectionGetChart(s, &pStart, &pEnd)); 1076858538eSMatthew G. Knepley if (cell < pStart || cell >= pEnd) goto cg; 1086858538eSMatthew G. Knepley /* Check for cellwise coordinates for this cell */ 1096858538eSMatthew G. Knepley PetscCall(PetscSectionGetDof(s, cell, Nc)); 1106858538eSMatthew G. Knepley if (!*Nc) goto cg; 1116858538eSMatthew G. Knepley /* Check for cellwise coordinates */ 1126858538eSMatthew G. Knepley if (!dsfield->vecDG) goto cg; 1136858538eSMatthew G. Knepley /* Get cellwise coordinates */ 1146858538eSMatthew G. Knepley PetscCall(VecGetArrayRead(dsfield->vecDG, array)); 1156858538eSMatthew G. Knepley PetscCall(DMPlexPointLocalRead(fdm, cell, *array, &cvalues)); 1166858538eSMatthew G. Knepley PetscCall(DMGetWorkArray(fdm, *Nc, MPIU_SCALAR, values)); 1176858538eSMatthew G. Knepley PetscCall(PetscArraycpy(*values, cvalues, *Nc)); 1186858538eSMatthew G. Knepley PetscCall(VecRestoreArrayRead(dsfield->vecDG, array)); 1196858538eSMatthew G. Knepley *isDG = PETSC_TRUE; 1206858538eSMatthew G. Knepley PetscFunctionReturn(0); 1216858538eSMatthew G. Knepley cg: 1226858538eSMatthew G. Knepley /* Use continuous values */ 1236858538eSMatthew G. Knepley PetscCall(DMFieldGetDM(field, &fdm)); 1246858538eSMatthew G. Knepley PetscCall(DMGetLocalSection(fdm, &s)); 125*6267c18cSMatthew G. Knepley PetscCall(PetscSectionGetField(s, dsfield->fieldNum, &s)); 1266858538eSMatthew G. Knepley PetscCall(DMPlexVecGetClosure(fdm, s, dsfield->vec, cell, Nc, values)); 1276858538eSMatthew G. Knepley PetscFunctionReturn(0); 1286858538eSMatthew G. Knepley } 1296858538eSMatthew G. Knepley 1306858538eSMatthew G. Knepley PetscErrorCode DMFieldRestoreClosure_Internal(DMField field, PetscInt cell, PetscBool *isDG, PetscInt *Nc, const PetscScalar *array[], PetscScalar *values[]) 1316858538eSMatthew G. Knepley { 1326858538eSMatthew G. Knepley DMField_DS *dsfield = (DMField_DS *) field->data; 1336858538eSMatthew G. Knepley DM fdm; 1346858538eSMatthew G. Knepley PetscSection s; 1356858538eSMatthew G. Knepley 1366858538eSMatthew G. Knepley PetscFunctionBeginHot; 1376858538eSMatthew G. Knepley if (*isDG) { 1386858538eSMatthew G. Knepley PetscCall(DMRestoreWorkArray(dsfield->dmDG, *Nc, MPIU_SCALAR, values)); 1396858538eSMatthew G. Knepley } else { 1406858538eSMatthew G. Knepley PetscCall(DMFieldGetDM(field, &fdm)); 1416858538eSMatthew G. Knepley PetscCall(DMGetLocalSection(fdm, &s)); 1426858538eSMatthew G. Knepley PetscCall(DMPlexVecRestoreClosure(fdm, s, dsfield->vec, cell, Nc, (PetscScalar **) values)); 1436858538eSMatthew G. Knepley } 1446858538eSMatthew G. Knepley PetscFunctionReturn(0); 1456858538eSMatthew G. Knepley } 1466858538eSMatthew G. Knepley 147ef0bb6c7SMatthew G. Knepley /* TODO: Reorganize interface so that I can reuse a tabulation rather than mallocing each time */ 14851a454edSToby Isaac static PetscErrorCode DMFieldEvaluateFE_DS(DMField field, IS pointIS, PetscQuadrature quad, PetscDataType type, void *B, void *D, void *H) 14951a454edSToby Isaac { 15051a454edSToby Isaac DMField_DS *dsfield = (DMField_DS *) field->data; 15151a454edSToby Isaac DM dm; 15251a454edSToby Isaac PetscObject disc; 15351a454edSToby Isaac PetscClassId classid; 15451a454edSToby Isaac PetscInt nq, nc, dim, meshDim, numCells; 15551a454edSToby Isaac PetscSection section; 15651a454edSToby Isaac const PetscReal *qpoints; 15751a454edSToby Isaac PetscBool isStride; 15851a454edSToby Isaac const PetscInt *points = NULL; 15951a454edSToby Isaac PetscInt sfirst = -1, stride = -1; 16051a454edSToby Isaac 16151a454edSToby Isaac PetscFunctionBeginHot; 16251a454edSToby Isaac dm = field->dm; 16351a454edSToby Isaac nc = field->numComponents; 1649566063dSJacob Faibussowitsch PetscCall(PetscQuadratureGetData(quad,&dim,NULL,&nq,&qpoints,NULL)); 1656858538eSMatthew G. Knepley PetscCall(DMFieldDSGetHeightDisc(field, dsfield->height - 1 - dim, dsfield->disc, &disc)); 1669566063dSJacob Faibussowitsch PetscCall(DMGetDimension(dm,&meshDim)); 1679566063dSJacob Faibussowitsch PetscCall(DMGetLocalSection(dm,§ion)); 1689566063dSJacob Faibussowitsch PetscCall(PetscSectionGetField(section,dsfield->fieldNum,§ion)); 1699566063dSJacob Faibussowitsch PetscCall(PetscObjectGetClassId(disc,&classid)); 17051a454edSToby Isaac /* TODO: batch */ 1719566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)pointIS,ISSTRIDE,&isStride)); 1729566063dSJacob Faibussowitsch PetscCall(ISGetLocalSize(pointIS,&numCells)); 1731baa6e33SBarry Smith if (isStride) PetscCall(ISStrideGetInfo(pointIS,&sfirst,&stride)); 1741baa6e33SBarry Smith else PetscCall(ISGetIndices(pointIS,&points)); 17551a454edSToby Isaac if (classid == PETSCFE_CLASSID) { 17651a454edSToby Isaac PetscFE fe = (PetscFE) disc; 17751a454edSToby Isaac PetscInt feDim, i; 178ef0bb6c7SMatthew G. Knepley PetscInt K = H ? 2 : (D ? 1 : (B ? 0 : -1)); 179ef0bb6c7SMatthew G. Knepley PetscTabulation T; 18051a454edSToby Isaac 1819566063dSJacob Faibussowitsch PetscCall(PetscFEGetDimension(fe,&feDim)); 1829566063dSJacob Faibussowitsch PetscCall(PetscFECreateTabulation(fe,1,nq,qpoints,K,&T)); 18351a454edSToby Isaac for (i = 0; i < numCells; i++) { 18451a454edSToby Isaac PetscInt c = isStride ? (sfirst + i * stride) : points[i]; 1852710589cSToby Isaac PetscInt closureSize; 1866858538eSMatthew G. Knepley const PetscScalar *array; 1872710589cSToby Isaac PetscScalar *elem = NULL; 1886858538eSMatthew G. Knepley PetscBool isDG; 18951a454edSToby Isaac 1906858538eSMatthew G. Knepley PetscCall(DMFieldGetClosure_Internal(field, c, &isDG, &closureSize, &array, &elem)); 19151a454edSToby Isaac if (B) { 19262bd480fSMatthew G. Knepley /* field[c] = T[q,b,c] . coef[b], so v[c] = T[q,b,c] . coords[b] */ 19351a454edSToby Isaac if (type == PETSC_SCALAR) { 19451a454edSToby Isaac PetscScalar *cB = &((PetscScalar *) B)[nc * nq * i]; 19551a454edSToby Isaac 196ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cB,T->T[0],elem,nq,feDim,nc,(PetscScalar)); 19751a454edSToby Isaac } else { 19851a454edSToby Isaac PetscReal *cB = &((PetscReal *) B)[nc * nq * i]; 19951a454edSToby Isaac 200ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cB,T->T[0],elem,nq,feDim,nc,PetscRealPart); 20151a454edSToby Isaac } 20251a454edSToby Isaac } 20351a454edSToby Isaac if (D) { 20451a454edSToby Isaac if (type == PETSC_SCALAR) { 20551a454edSToby Isaac PetscScalar *cD = &((PetscScalar *) D)[nc * nq * dim * i]; 20651a454edSToby Isaac 207ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cD,T->T[1],elem,nq,feDim,(nc * dim),(PetscScalar)); 20851a454edSToby Isaac } else { 20951a454edSToby Isaac PetscReal *cD = &((PetscReal *) D)[nc * nq * dim * i]; 21051a454edSToby Isaac 211ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cD,T->T[1],elem,nq,feDim,(nc * dim),PetscRealPart); 21251a454edSToby Isaac } 21351a454edSToby Isaac } 21451a454edSToby Isaac if (H) { 21551a454edSToby Isaac if (type == PETSC_SCALAR) { 21651a454edSToby Isaac PetscScalar *cH = &((PetscScalar *) H)[nc * nq * dim * dim * i]; 21751a454edSToby Isaac 218ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cH,T->T[2],elem,nq,feDim,(nc * dim * dim),(PetscScalar)); 21951a454edSToby Isaac } else { 22051a454edSToby Isaac PetscReal *cH = &((PetscReal *) H)[nc * nq * dim * dim * i]; 22151a454edSToby Isaac 222ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cH,T->T[2],elem,nq,feDim,(nc * dim * dim),PetscRealPart); 22351a454edSToby Isaac } 22451a454edSToby Isaac } 2256858538eSMatthew G. Knepley PetscCall(DMFieldRestoreClosure_Internal(field, c, &isDG, &closureSize, &array, &elem)); 22651a454edSToby Isaac } 2279566063dSJacob Faibussowitsch PetscCall(PetscTabulationDestroy(&T)); 2282da392ccSBarry Smith } else SETERRQ(PetscObjectComm((PetscObject)field),PETSC_ERR_SUP,"Not implemented"); 22951a454edSToby Isaac if (!isStride) { 2309566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(pointIS,&points)); 23151a454edSToby Isaac } 23251a454edSToby Isaac PetscFunctionReturn(0); 23351a454edSToby Isaac } 23451a454edSToby Isaac 235a6216909SToby Isaac static PetscErrorCode DMFieldEvaluate_DS(DMField field, Vec points, PetscDataType datatype, void *B, void *D, void *H) 236a6216909SToby Isaac { 237a6216909SToby Isaac DMField_DS *dsfield = (DMField_DS *) field->data; 238a6216909SToby Isaac PetscSF cellSF = NULL; 239a6216909SToby Isaac const PetscSFNode *cells; 240a6216909SToby Isaac PetscInt c, nFound, numCells, feDim, nc; 241a6216909SToby Isaac const PetscInt *cellDegrees; 242a6216909SToby Isaac const PetscScalar *pointsArray; 243a6216909SToby Isaac PetscScalar *cellPoints; 244a6216909SToby Isaac PetscInt gatherSize, gatherMax; 245a6216909SToby Isaac PetscInt dim, dimR, offset; 246a6216909SToby Isaac MPI_Datatype pointType; 247a6216909SToby Isaac PetscObject cellDisc; 248a6216909SToby Isaac PetscFE cellFE; 249a6216909SToby Isaac PetscClassId discID; 250a6216909SToby Isaac PetscReal *coordsReal, *coordsRef; 251a6216909SToby Isaac PetscSection section; 252a6216909SToby Isaac PetscScalar *cellBs = NULL, *cellDs = NULL, *cellHs = NULL; 253a6216909SToby Isaac PetscReal *cellBr = NULL, *cellDr = NULL, *cellHr = NULL; 2544cbe5319SToby Isaac PetscReal *v, *J, *invJ, *detJ; 255a6216909SToby Isaac 256a6216909SToby Isaac PetscFunctionBegin; 257a6216909SToby Isaac nc = field->numComponents; 2589566063dSJacob Faibussowitsch PetscCall(DMGetLocalSection(field->dm,§ion)); 2596858538eSMatthew G. Knepley PetscCall(DMFieldDSGetHeightDisc(field, 0, dsfield->disc, &cellDisc)); 2609566063dSJacob Faibussowitsch PetscCall(PetscObjectGetClassId(cellDisc, &discID)); 26108401ef6SPierre Jolivet PetscCheck(discID == PETSCFE_CLASSID,PETSC_COMM_SELF,PETSC_ERR_PLIB, "Discretization type not supported"); 262a6216909SToby Isaac cellFE = (PetscFE) cellDisc; 2639566063dSJacob Faibussowitsch PetscCall(PetscFEGetDimension(cellFE,&feDim)); 2649566063dSJacob Faibussowitsch PetscCall(DMGetCoordinateDim(field->dm, &dim)); 2659566063dSJacob Faibussowitsch PetscCall(DMGetDimension(field->dm, &dimR)); 2669566063dSJacob Faibussowitsch PetscCall(DMLocatePoints(field->dm, points, DM_POINTLOCATION_NONE, &cellSF)); 2679566063dSJacob Faibussowitsch PetscCall(PetscSFGetGraph(cellSF, &numCells, &nFound, NULL, &cells)); 268a6216909SToby Isaac for (c = 0; c < nFound; c++) { 26963a3b9bcSJacob Faibussowitsch PetscCheck(cells[c].index >= 0,PetscObjectComm((PetscObject)points),PETSC_ERR_ARG_WRONG, "Point %" PetscInt_FMT " could not be located", c); 270a6216909SToby Isaac } 2719566063dSJacob Faibussowitsch PetscCall(PetscSFComputeDegreeBegin(cellSF,&cellDegrees)); 2729566063dSJacob Faibussowitsch PetscCall(PetscSFComputeDegreeEnd(cellSF,&cellDegrees)); 273a6216909SToby Isaac for (c = 0, gatherSize = 0, gatherMax = 0; c < numCells; c++) { 274a6216909SToby Isaac gatherMax = PetscMax(gatherMax,cellDegrees[c]); 275a6216909SToby Isaac gatherSize += cellDegrees[c]; 276a6216909SToby Isaac } 2779566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(gatherSize*dim,&cellPoints,gatherMax*dim,&coordsReal,gatherMax*dimR,&coordsRef)); 2789566063dSJacob Faibussowitsch PetscCall(PetscMalloc4(gatherMax*dimR,&v,gatherMax*dimR*dimR,&J,gatherMax*dimR*dimR,&invJ,gatherMax,&detJ)); 2791baa6e33SBarry Smith if (datatype == PETSC_SCALAR) PetscCall(PetscMalloc3(B ? nc * gatherSize : 0, &cellBs, D ? nc * dim * gatherSize : 0, &cellDs, H ? nc * dim * dim * gatherSize : 0, &cellHs)); 2801baa6e33SBarry Smith else PetscCall(PetscMalloc3(B ? nc * gatherSize : 0, &cellBr, D ? nc * dim * gatherSize : 0, &cellDr, H ? nc * dim * dim * gatherSize : 0, &cellHr)); 281a6216909SToby Isaac 2829566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_contiguous(dim,MPIU_SCALAR,&pointType)); 2839566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_commit(&pointType)); 2849566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(points,&pointsArray)); 2859566063dSJacob Faibussowitsch PetscCall(PetscSFGatherBegin(cellSF, pointType, pointsArray, cellPoints)); 2869566063dSJacob Faibussowitsch PetscCall(PetscSFGatherEnd(cellSF, pointType, pointsArray, cellPoints)); 2879566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(points,&pointsArray)); 288a6216909SToby Isaac for (c = 0, offset = 0; c < numCells; c++) { 289a6216909SToby Isaac PetscInt nq = cellDegrees[c], p; 290a6216909SToby Isaac 291a6216909SToby Isaac if (nq) { 292ef0bb6c7SMatthew G. Knepley PetscInt K = H ? 2 : (D ? 1 : (B ? 0 : -1)); 293ef0bb6c7SMatthew G. Knepley PetscTabulation T; 2946858538eSMatthew G. Knepley PetscQuadrature quad; 2956858538eSMatthew G. Knepley const PetscScalar *array; 296a6216909SToby Isaac PetscScalar *elem = NULL; 2974cbe5319SToby Isaac PetscReal *quadPoints; 2986858538eSMatthew G. Knepley PetscBool isDG; 2996858538eSMatthew G. Knepley PetscInt closureSize, d, e, f, g; 300a6216909SToby Isaac 3014d1a973fSToby Isaac for (p = 0; p < dim * nq; p++) coordsReal[p] = PetscRealPart(cellPoints[dim * offset + p]); 3029566063dSJacob Faibussowitsch PetscCall(DMPlexCoordinatesToReference(field->dm, c, nq, coordsReal, coordsRef)); 3039566063dSJacob Faibussowitsch PetscCall(PetscFECreateTabulation(cellFE,1,nq,coordsRef,K,&T)); 3049566063dSJacob Faibussowitsch PetscCall(PetscQuadratureCreate(PETSC_COMM_SELF, &quad)); 3059566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(dimR * nq, &quadPoints)); 3064cbe5319SToby Isaac for (p = 0; p < dimR * nq; p++) quadPoints[p] = coordsRef[p]; 3079566063dSJacob Faibussowitsch PetscCall(PetscQuadratureSetData(quad, dimR, 0, nq, quadPoints, NULL)); 3089566063dSJacob Faibussowitsch PetscCall(DMPlexComputeCellGeometryFEM(field->dm, c, quad, v, J, invJ, detJ)); 3099566063dSJacob Faibussowitsch PetscCall(PetscQuadratureDestroy(&quad)); 3106858538eSMatthew G. Knepley PetscCall(DMFieldGetClosure_Internal(field, c, &isDG, &closureSize, &array, &elem)); 311a6216909SToby Isaac if (B) { 312a6216909SToby Isaac if (datatype == PETSC_SCALAR) { 313a6216909SToby Isaac PetscScalar *cB = &cellBs[nc * offset]; 314a6216909SToby Isaac 315ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cB,T->T[0],elem,nq,feDim,nc,(PetscScalar)); 316a6216909SToby Isaac } else { 317a6216909SToby Isaac PetscReal *cB = &cellBr[nc * offset]; 318a6216909SToby Isaac 319ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cB,T->T[0],elem,nq,feDim,nc,PetscRealPart); 320a6216909SToby Isaac } 321a6216909SToby Isaac } 322a6216909SToby Isaac if (D) { 323a6216909SToby Isaac if (datatype == PETSC_SCALAR) { 324a6216909SToby Isaac PetscScalar *cD = &cellDs[nc * dim * offset]; 325a6216909SToby Isaac 326ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cD,T->T[1],elem,nq,feDim,(nc * dim),(PetscScalar)); 3274cbe5319SToby Isaac for (p = 0; p < nq; p++) { 3284cbe5319SToby Isaac for (g = 0; g < nc; g++) { 3294d1a973fSToby Isaac PetscScalar vs[3]; 3304d1a973fSToby Isaac 3314cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 3324d1a973fSToby Isaac vs[d] = 0.; 3334cbe5319SToby Isaac for (e = 0; e < dimR; e++) { 3344d1a973fSToby Isaac vs[d] += invJ[dimR * dimR * p + e * dimR + d] * cD[(nc * p + g) * dimR + e]; 3354cbe5319SToby Isaac } 3364cbe5319SToby Isaac } 3374cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 3384d1a973fSToby Isaac cD[(nc * p + g) * dimR + d] = vs[d]; 3394cbe5319SToby Isaac } 3404cbe5319SToby Isaac } 3414cbe5319SToby Isaac } 342a6216909SToby Isaac } else { 343a6216909SToby Isaac PetscReal *cD = &cellDr[nc * dim * offset]; 344a6216909SToby Isaac 345ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cD,T->T[1],elem,nq,feDim,(nc * dim),PetscRealPart); 3464cbe5319SToby Isaac for (p = 0; p < nq; p++) { 3474cbe5319SToby Isaac for (g = 0; g < nc; g++) { 3484cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 3494cbe5319SToby Isaac v[d] = 0.; 3504cbe5319SToby Isaac for (e = 0; e < dimR; e++) { 3514cbe5319SToby Isaac v[d] += invJ[dimR * dimR * p + e * dimR + d] * cD[(nc * p + g) * dimR + e]; 3524cbe5319SToby Isaac } 3534cbe5319SToby Isaac } 3544cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 3554cbe5319SToby Isaac cD[(nc * p + g) * dimR + d] = v[d]; 3564cbe5319SToby Isaac } 3574cbe5319SToby Isaac } 3584cbe5319SToby Isaac } 359a6216909SToby Isaac } 360a6216909SToby Isaac } 361a6216909SToby Isaac if (H) { 362a6216909SToby Isaac if (datatype == PETSC_SCALAR) { 363a6216909SToby Isaac PetscScalar *cH = &cellHs[nc * dim * dim * offset]; 364a6216909SToby Isaac 365ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cH,T->T[2],elem,nq,feDim,(nc * dim * dim),(PetscScalar)); 3664cbe5319SToby Isaac for (p = 0; p < nq; p++) { 3674cbe5319SToby Isaac for (g = 0; g < nc * dimR; g++) { 3684d1a973fSToby Isaac PetscScalar vs[3]; 3694d1a973fSToby Isaac 3704cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 3714d1a973fSToby Isaac vs[d] = 0.; 3724cbe5319SToby Isaac for (e = 0; e < dimR; e++) { 3734d1a973fSToby Isaac vs[d] += invJ[dimR * dimR * p + e * dimR + d] * cH[(nc * dimR * p + g) * dimR + e]; 3744cbe5319SToby Isaac } 3754cbe5319SToby Isaac } 3764cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 3774d1a973fSToby Isaac cH[(nc * dimR * p + g) * dimR + d] = vs[d]; 3784cbe5319SToby Isaac } 3794cbe5319SToby Isaac } 3804cbe5319SToby Isaac for (g = 0; g < nc; g++) { 3814cbe5319SToby Isaac for (f = 0; f < dimR; f++) { 3824d1a973fSToby Isaac PetscScalar vs[3]; 3834d1a973fSToby Isaac 3844cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 3854d1a973fSToby Isaac vs[d] = 0.; 3864cbe5319SToby Isaac for (e = 0; e < dimR; e++) { 3874d1a973fSToby Isaac vs[d] += invJ[dimR * dimR * p + e * dimR + d] * cH[((nc * p + g) * dimR + e) * dimR + f]; 3884cbe5319SToby Isaac } 3894cbe5319SToby Isaac } 3904cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 3914d1a973fSToby Isaac cH[((nc * p + g) * dimR + d) * dimR + f] = vs[d]; 3924cbe5319SToby Isaac } 3934cbe5319SToby Isaac } 3944cbe5319SToby Isaac } 3954cbe5319SToby Isaac } 396a6216909SToby Isaac } else { 397a6216909SToby Isaac PetscReal *cH = &cellHr[nc * dim * dim * offset]; 398a6216909SToby Isaac 399ef0bb6c7SMatthew G. Knepley DMFieldDSdot(cH,T->T[2],elem,nq,feDim,(nc * dim * dim),PetscRealPart); 4004cbe5319SToby Isaac for (p = 0; p < nq; p++) { 4014cbe5319SToby Isaac for (g = 0; g < nc * dimR; g++) { 4024cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 4034cbe5319SToby Isaac v[d] = 0.; 4044cbe5319SToby Isaac for (e = 0; e < dimR; e++) { 4054cbe5319SToby Isaac v[d] += invJ[dimR * dimR * p + e * dimR + d] * cH[(nc * dimR * p + g) * dimR + e]; 4064cbe5319SToby Isaac } 4074cbe5319SToby Isaac } 4084cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 4094cbe5319SToby Isaac cH[(nc * dimR * p + g) * dimR + d] = v[d]; 4104cbe5319SToby Isaac } 4114cbe5319SToby Isaac } 4124cbe5319SToby Isaac for (g = 0; g < nc; g++) { 4134cbe5319SToby Isaac for (f = 0; f < dimR; f++) { 4144cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 4154cbe5319SToby Isaac v[d] = 0.; 4164cbe5319SToby Isaac for (e = 0; e < dimR; e++) { 4174cbe5319SToby Isaac v[d] += invJ[dimR * dimR * p + e * dimR + d] * cH[((nc * p + g) * dimR + e) * dimR + f]; 4184cbe5319SToby Isaac } 4194cbe5319SToby Isaac } 4204cbe5319SToby Isaac for (d = 0; d < dimR; d++) { 4214cbe5319SToby Isaac cH[((nc * p + g) * dimR + d) * dimR + f] = v[d]; 4224cbe5319SToby Isaac } 4234cbe5319SToby Isaac } 4244cbe5319SToby Isaac } 4254cbe5319SToby Isaac } 426a6216909SToby Isaac } 427a6216909SToby Isaac } 4286858538eSMatthew G. Knepley PetscCall(DMFieldRestoreClosure_Internal(field, c, &isDG, &closureSize, &array, &elem)); 4299566063dSJacob Faibussowitsch PetscCall(PetscTabulationDestroy(&T)); 430a6216909SToby Isaac } 431a6216909SToby Isaac offset += nq; 432a6216909SToby Isaac } 433a6216909SToby Isaac { 434a6216909SToby Isaac MPI_Datatype origtype; 4354cbe5319SToby Isaac 436a6216909SToby Isaac if (datatype == PETSC_SCALAR) { 437a6216909SToby Isaac origtype = MPIU_SCALAR; 438a6216909SToby Isaac } else { 439a6216909SToby Isaac origtype = MPIU_REAL; 440a6216909SToby Isaac } 441a6216909SToby Isaac if (B) { 442a6216909SToby Isaac MPI_Datatype Btype; 443a6216909SToby Isaac 4449566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_contiguous(nc, origtype, &Btype)); 4459566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_commit(&Btype)); 4469566063dSJacob Faibussowitsch PetscCall(PetscSFScatterBegin(cellSF,Btype,(datatype == PETSC_SCALAR) ? (void *) cellBs : (void *) cellBr, B)); 4479566063dSJacob Faibussowitsch PetscCall(PetscSFScatterEnd(cellSF,Btype,(datatype == PETSC_SCALAR) ? (void *) cellBs : (void *) cellBr, B)); 4489566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_free(&Btype)); 449a6216909SToby Isaac } 450a6216909SToby Isaac if (D) { 451a6216909SToby Isaac MPI_Datatype Dtype; 452a6216909SToby Isaac 4539566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_contiguous(nc * dim, origtype, &Dtype)); 4549566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_commit(&Dtype)); 4559566063dSJacob Faibussowitsch PetscCall(PetscSFScatterBegin(cellSF,Dtype,(datatype == PETSC_SCALAR) ? (void *) cellDs : (void *) cellDr, D)); 4569566063dSJacob Faibussowitsch PetscCall(PetscSFScatterEnd(cellSF,Dtype,(datatype == PETSC_SCALAR) ? (void *) cellDs : (void *) cellDr, D)); 4579566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_free(&Dtype)); 458a6216909SToby Isaac } 459a6216909SToby Isaac if (H) { 460a6216909SToby Isaac MPI_Datatype Htype; 461a6216909SToby Isaac 4629566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_contiguous(nc * dim * dim, origtype, &Htype)); 4639566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_commit(&Htype)); 4649566063dSJacob Faibussowitsch PetscCall(PetscSFScatterBegin(cellSF,Htype,(datatype == PETSC_SCALAR) ? (void *) cellHs : (void *) cellHr, H)); 4659566063dSJacob Faibussowitsch PetscCall(PetscSFScatterEnd(cellSF,Htype,(datatype == PETSC_SCALAR) ? (void *) cellHs : (void *) cellHr, H)); 4669566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_free(&Htype)); 467a6216909SToby Isaac } 468a6216909SToby Isaac } 4699566063dSJacob Faibussowitsch PetscCall(PetscFree4(v,J,invJ,detJ)); 4709566063dSJacob Faibussowitsch PetscCall(PetscFree3(cellBr, cellDr, cellHr)); 4719566063dSJacob Faibussowitsch PetscCall(PetscFree3(cellBs, cellDs, cellHs)); 4729566063dSJacob Faibussowitsch PetscCall(PetscFree3(cellPoints,coordsReal,coordsRef)); 4739566063dSJacob Faibussowitsch PetscCallMPI(MPI_Type_free(&pointType)); 4749566063dSJacob Faibussowitsch PetscCall(PetscSFDestroy(&cellSF)); 475a6216909SToby Isaac PetscFunctionReturn(0); 476a6216909SToby Isaac } 477a6216909SToby Isaac 478805e7170SToby Isaac static PetscErrorCode DMFieldEvaluateFV_DS(DMField field, IS pointIS, PetscDataType type, void *B, void *D, void *H) 479805e7170SToby Isaac { 480805e7170SToby Isaac DMField_DS *dsfield = (DMField_DS *) field->data; 481805e7170SToby Isaac PetscInt h, imin; 482805e7170SToby Isaac PetscInt dim; 483805e7170SToby Isaac PetscClassId id; 484805e7170SToby Isaac PetscQuadrature quad = NULL; 485b7260050SToby Isaac PetscInt maxDegree; 486805e7170SToby Isaac PetscFEGeom *geom; 487805e7170SToby Isaac PetscInt Nq, Nc, dimC, qNc, N; 488805e7170SToby Isaac PetscInt numPoints; 489805e7170SToby Isaac void *qB = NULL, *qD = NULL, *qH = NULL; 490805e7170SToby Isaac const PetscReal *weights; 491805e7170SToby Isaac MPI_Datatype mpitype = type == PETSC_SCALAR ? MPIU_SCALAR : MPIU_REAL; 492805e7170SToby Isaac PetscObject disc; 493805e7170SToby Isaac DMField coordField; 494805e7170SToby Isaac 495805e7170SToby Isaac PetscFunctionBegin; 496805e7170SToby Isaac Nc = field->numComponents; 4979566063dSJacob Faibussowitsch PetscCall(DMGetCoordinateDim(field->dm, &dimC)); 4989566063dSJacob Faibussowitsch PetscCall(DMGetDimension(field->dm, &dim)); 4999566063dSJacob Faibussowitsch PetscCall(ISGetLocalSize(pointIS, &numPoints)); 5009566063dSJacob Faibussowitsch PetscCall(ISGetMinMax(pointIS,&imin,NULL)); 501805e7170SToby Isaac for (h = 0; h < dsfield->height; h++) { 502805e7170SToby Isaac PetscInt hEnd; 503805e7170SToby Isaac 5049566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(field->dm,h,NULL,&hEnd)); 505805e7170SToby Isaac if (imin < hEnd) break; 506805e7170SToby Isaac } 507805e7170SToby Isaac dim -= h; 5086858538eSMatthew G. Knepley PetscCall(DMFieldDSGetHeightDisc(field, h, dsfield->disc, &disc)); 5099566063dSJacob Faibussowitsch PetscCall(PetscObjectGetClassId(disc,&id)); 51008401ef6SPierre Jolivet PetscCheck(id == PETSCFE_CLASSID,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Discretization not supported"); 5119566063dSJacob Faibussowitsch PetscCall(DMGetCoordinateField(field->dm, &coordField)); 5129566063dSJacob Faibussowitsch PetscCall(DMFieldGetDegree(coordField, pointIS, NULL, &maxDegree)); 513b7260050SToby Isaac if (maxDegree <= 1) { 5149566063dSJacob Faibussowitsch PetscCall(DMFieldCreateDefaultQuadrature(coordField, pointIS, &quad)); 515805e7170SToby Isaac } 5169566063dSJacob Faibussowitsch if (!quad) PetscCall(DMFieldCreateDefaultQuadrature(field, pointIS, &quad)); 51728b400f6SJacob Faibussowitsch PetscCheck(quad,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not determine quadrature for cell averages"); 5189566063dSJacob Faibussowitsch PetscCall(DMFieldCreateFEGeom(coordField,pointIS,quad,PETSC_FALSE,&geom)); 5199566063dSJacob Faibussowitsch PetscCall(PetscQuadratureGetData(quad, NULL, &qNc, &Nq, NULL, &weights)); 52008401ef6SPierre Jolivet PetscCheck(qNc == 1,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Expected scalar quadrature components"); 521805e7170SToby Isaac N = numPoints * Nq * Nc; 5229566063dSJacob Faibussowitsch if (B) PetscCall(DMGetWorkArray(field->dm, N, mpitype, &qB)); 5239566063dSJacob Faibussowitsch if (D) PetscCall(DMGetWorkArray(field->dm, N * dimC, mpitype, &qD)); 5249566063dSJacob Faibussowitsch if (H) PetscCall(DMGetWorkArray(field->dm, N * dimC * dimC, mpitype, &qH)); 5259566063dSJacob Faibussowitsch PetscCall(DMFieldEvaluateFE(field,pointIS,quad,type,qB,qD,qH)); 526805e7170SToby Isaac if (B) { 527805e7170SToby Isaac PetscInt i, j, k; 528805e7170SToby Isaac 529805e7170SToby Isaac if (type == PETSC_SCALAR) { 530805e7170SToby Isaac PetscScalar * sB = (PetscScalar *) B; 531805e7170SToby Isaac PetscScalar * sqB = (PetscScalar *) qB; 532805e7170SToby Isaac 533805e7170SToby Isaac for (i = 0; i < numPoints; i++) { 534805e7170SToby Isaac PetscReal vol = 0.; 535805e7170SToby Isaac 536805e7170SToby Isaac for (j = 0; j < Nc; j++) {sB[i * Nc + j] = 0.;} 537805e7170SToby Isaac for (k = 0; k < Nq; k++) { 538805e7170SToby Isaac vol += geom->detJ[i * Nq + k] * weights[k]; 539805e7170SToby Isaac for (j = 0; j < Nc; j++) { 540805e7170SToby Isaac sB[i * Nc + j] += geom->detJ[i * Nq + k] * weights[k] * sqB[ (i * Nq + k) * Nc + j]; 541805e7170SToby Isaac } 542805e7170SToby Isaac } 54362bd480fSMatthew G. Knepley for (k = 0; k < Nc; k++) sB[i * Nc + k] /= vol; 544805e7170SToby Isaac } 545805e7170SToby Isaac } else { 546805e7170SToby Isaac PetscReal * rB = (PetscReal *) B; 547805e7170SToby Isaac PetscReal * rqB = (PetscReal *) qB; 548805e7170SToby Isaac 549805e7170SToby Isaac for (i = 0; i < numPoints; i++) { 550805e7170SToby Isaac PetscReal vol = 0.; 551805e7170SToby Isaac 552805e7170SToby Isaac for (j = 0; j < Nc; j++) {rB[i * Nc + j] = 0.;} 553805e7170SToby Isaac for (k = 0; k < Nq; k++) { 554805e7170SToby Isaac vol += geom->detJ[i * Nq + k] * weights[k]; 555805e7170SToby Isaac for (j = 0; j < Nc; j++) { 556805e7170SToby Isaac rB[i * Nc + j] += weights[k] * rqB[ (i * Nq + k) * Nc + j]; 557805e7170SToby Isaac } 558805e7170SToby Isaac } 559805e7170SToby Isaac for (k = 0; k < Nc; k++) rB[i * Nc + k] /= vol; 560805e7170SToby Isaac } 561805e7170SToby Isaac } 562805e7170SToby Isaac } 563805e7170SToby Isaac if (D) { 564805e7170SToby Isaac PetscInt i, j, k, l, m; 565805e7170SToby Isaac 566805e7170SToby Isaac if (type == PETSC_SCALAR) { 567805e7170SToby Isaac PetscScalar * sD = (PetscScalar *) D; 568805e7170SToby Isaac PetscScalar * sqD = (PetscScalar *) qD; 569805e7170SToby Isaac 570805e7170SToby Isaac for (i = 0; i < numPoints; i++) { 571805e7170SToby Isaac PetscReal vol = 0.; 572805e7170SToby Isaac 573805e7170SToby Isaac for (j = 0; j < Nc * dimC; j++) {sD[i * Nc * dimC + j] = 0.;} 574805e7170SToby Isaac for (k = 0; k < Nq; k++) { 575805e7170SToby Isaac vol += geom->detJ[i * Nq + k] * weights[k]; 576805e7170SToby Isaac for (j = 0; j < Nc; j++) { 577805e7170SToby Isaac PetscScalar pD[3] = {0.,0.,0.}; 578805e7170SToby Isaac 579805e7170SToby Isaac for (l = 0; l < dimC; l++) { 580805e7170SToby Isaac for (m = 0; m < dim; m++) { 581805e7170SToby Isaac pD[l] += geom->invJ[((i * Nq + k) * dimC + m) * dimC + l] * sqD[((i * Nq + k) * Nc + j) * dim + m]; 582805e7170SToby Isaac } 583805e7170SToby Isaac } 584805e7170SToby Isaac for (l = 0; l < dimC; l++) { 585805e7170SToby Isaac sD[(i * Nc + j) * dimC + l] += geom->detJ[i * Nq + k] * weights[k] * pD[l]; 586805e7170SToby Isaac } 587805e7170SToby Isaac } 588805e7170SToby Isaac } 589805e7170SToby Isaac for (k = 0; k < Nc * dimC; k++) sD[i * Nc * dimC + k] /= vol; 590805e7170SToby Isaac } 591805e7170SToby Isaac } else { 592805e7170SToby Isaac PetscReal * rD = (PetscReal *) D; 593805e7170SToby Isaac PetscReal * rqD = (PetscReal *) qD; 594805e7170SToby Isaac 595805e7170SToby Isaac for (i = 0; i < numPoints; i++) { 596805e7170SToby Isaac PetscReal vol = 0.; 597805e7170SToby Isaac 598805e7170SToby Isaac for (j = 0; j < Nc * dimC; j++) {rD[i * Nc * dimC + j] = 0.;} 599805e7170SToby Isaac for (k = 0; k < Nq; k++) { 600805e7170SToby Isaac vol += geom->detJ[i * Nq + k] * weights[k]; 601805e7170SToby Isaac for (j = 0; j < Nc; j++) { 602805e7170SToby Isaac PetscReal pD[3] = {0.,0.,0.}; 603805e7170SToby Isaac 604805e7170SToby Isaac for (l = 0; l < dimC; l++) { 605805e7170SToby Isaac for (m = 0; m < dim; m++) { 606805e7170SToby Isaac pD[l] += geom->invJ[((i * Nq + k) * dimC + m) * dimC + l] * rqD[((i * Nq + k) * Nc + j) * dim + m]; 607805e7170SToby Isaac } 608805e7170SToby Isaac } 609805e7170SToby Isaac for (l = 0; l < dimC; l++) { 610805e7170SToby Isaac rD[(i * Nc + j) * dimC + l] += geom->detJ[i * Nq + k] * weights[k] * pD[l]; 611805e7170SToby Isaac } 612805e7170SToby Isaac } 613805e7170SToby Isaac } 614805e7170SToby Isaac for (k = 0; k < Nc * dimC; k++) rD[i * Nc * dimC + k] /= vol; 615805e7170SToby Isaac } 616805e7170SToby Isaac } 617805e7170SToby Isaac } 618805e7170SToby Isaac if (H) { 619805e7170SToby Isaac PetscInt i, j, k, l, m, q, r; 620805e7170SToby Isaac 621805e7170SToby Isaac if (type == PETSC_SCALAR) { 622805e7170SToby Isaac PetscScalar * sH = (PetscScalar *) H; 623805e7170SToby Isaac PetscScalar * sqH = (PetscScalar *) qH; 624805e7170SToby Isaac 625805e7170SToby Isaac for (i = 0; i < numPoints; i++) { 626805e7170SToby Isaac PetscReal vol = 0.; 627805e7170SToby Isaac 628805e7170SToby Isaac for (j = 0; j < Nc * dimC * dimC; j++) {sH[i * Nc * dimC * dimC + j] = 0.;} 629805e7170SToby Isaac for (k = 0; k < Nq; k++) { 6304d1a973fSToby Isaac const PetscReal *invJ = &geom->invJ[(i * Nq + k) * dimC * dimC]; 631805e7170SToby Isaac 632805e7170SToby Isaac vol += geom->detJ[i * Nq + k] * weights[k]; 633805e7170SToby Isaac for (j = 0; j < Nc; j++) { 634805e7170SToby Isaac PetscScalar pH[3][3] = {{0.,0.,0.},{0.,0.,0.},{0.,0.,0.}}; 635805e7170SToby Isaac const PetscScalar *spH = &sqH[((i * Nq + k) * Nc + j) * dimC * dimC]; 636805e7170SToby Isaac 637805e7170SToby Isaac for (l = 0; l < dimC; l++) { 638805e7170SToby Isaac for (m = 0; m < dimC; m++) { 639805e7170SToby Isaac for (q = 0; q < dim; q++) { 640805e7170SToby Isaac for (r = 0; r < dim; r++) { 641805e7170SToby Isaac pH[l][m] += invJ[q * dimC + l] * invJ[r * dimC + m] * spH[q * dim + r]; 642805e7170SToby Isaac } 643805e7170SToby Isaac } 644805e7170SToby Isaac } 645805e7170SToby Isaac } 646805e7170SToby Isaac for (l = 0; l < dimC; l++) { 647805e7170SToby Isaac for (m = 0; m < dimC; m++) { 648805e7170SToby Isaac sH[(i * Nc + j) * dimC * dimC + l * dimC + m] += geom->detJ[i * Nq + k] * weights[k] * pH[l][m]; 649805e7170SToby Isaac } 650805e7170SToby Isaac } 651805e7170SToby Isaac } 652805e7170SToby Isaac } 653805e7170SToby Isaac for (k = 0; k < Nc * dimC * dimC; k++) sH[i * Nc * dimC * dimC + k] /= vol; 654805e7170SToby Isaac } 655805e7170SToby Isaac } else { 656805e7170SToby Isaac PetscReal * rH = (PetscReal *) H; 657805e7170SToby Isaac PetscReal * rqH = (PetscReal *) qH; 658805e7170SToby Isaac 659805e7170SToby Isaac for (i = 0; i < numPoints; i++) { 660805e7170SToby Isaac PetscReal vol = 0.; 661805e7170SToby Isaac 662805e7170SToby Isaac for (j = 0; j < Nc * dimC * dimC; j++) {rH[i * Nc * dimC * dimC + j] = 0.;} 663805e7170SToby Isaac for (k = 0; k < Nq; k++) { 664805e7170SToby Isaac const PetscReal *invJ = &geom->invJ[(i * Nq + k) * dimC * dimC]; 665805e7170SToby Isaac 666805e7170SToby Isaac vol += geom->detJ[i * Nq + k] * weights[k]; 667805e7170SToby Isaac for (j = 0; j < Nc; j++) { 668805e7170SToby Isaac PetscReal pH[3][3] = {{0.,0.,0.},{0.,0.,0.},{0.,0.,0.}}; 669805e7170SToby Isaac const PetscReal *rpH = &rqH[((i * Nq + k) * Nc + j) * dimC * dimC]; 670805e7170SToby Isaac 671805e7170SToby Isaac for (l = 0; l < dimC; l++) { 672805e7170SToby Isaac for (m = 0; m < dimC; m++) { 673805e7170SToby Isaac for (q = 0; q < dim; q++) { 674805e7170SToby Isaac for (r = 0; r < dim; r++) { 675805e7170SToby Isaac pH[l][m] += invJ[q * dimC + l] * invJ[r * dimC + m] * rpH[q * dim + r]; 676805e7170SToby Isaac } 677805e7170SToby Isaac } 678805e7170SToby Isaac } 679805e7170SToby Isaac } 680805e7170SToby Isaac for (l = 0; l < dimC; l++) { 681805e7170SToby Isaac for (m = 0; m < dimC; m++) { 682805e7170SToby Isaac rH[(i * Nc + j) * dimC * dimC + l * dimC + m] += geom->detJ[i * Nq + k] * weights[k] * pH[l][m]; 683805e7170SToby Isaac } 684805e7170SToby Isaac } 685805e7170SToby Isaac } 686805e7170SToby Isaac } 687805e7170SToby Isaac for (k = 0; k < Nc * dimC * dimC; k++) rH[i * Nc * dimC * dimC + k] /= vol; 688805e7170SToby Isaac } 689805e7170SToby Isaac } 690805e7170SToby Isaac } 6919566063dSJacob Faibussowitsch if (B) PetscCall(DMRestoreWorkArray(field->dm, N, mpitype, &qB)); 6929566063dSJacob Faibussowitsch if (D) PetscCall(DMRestoreWorkArray(field->dm, N * dimC, mpitype, &qD)); 6939566063dSJacob Faibussowitsch if (H) PetscCall(DMRestoreWorkArray(field->dm, N * dimC * dimC, mpitype, &qH)); 6949566063dSJacob Faibussowitsch PetscCall(PetscFEGeomDestroy(&geom)); 6959566063dSJacob Faibussowitsch PetscCall(PetscQuadratureDestroy(&quad)); 696805e7170SToby Isaac PetscFunctionReturn(0); 697805e7170SToby Isaac } 698805e7170SToby Isaac 699b7260050SToby Isaac static PetscErrorCode DMFieldGetDegree_DS(DMField field, IS pointIS, PetscInt *minDegree, PetscInt *maxDegree) 70051a454edSToby Isaac { 70151a454edSToby Isaac DMField_DS *dsfield; 70251a454edSToby Isaac PetscObject disc; 703741db25dSToby Isaac PetscInt h, imin, imax; 70451a454edSToby Isaac PetscClassId id; 70551a454edSToby Isaac 70651a454edSToby Isaac PetscFunctionBegin; 70751a454edSToby Isaac dsfield = (DMField_DS *) field->data; 7089566063dSJacob Faibussowitsch PetscCall(ISGetMinMax(pointIS,&imin,&imax)); 709741db25dSToby Isaac if (imin >= imax) { 71051aa0bf7SToby Isaac h = 0; 71151aa0bf7SToby Isaac } else { 712f99c8401SToby Isaac for (h = 0; h < dsfield->height; h++) { 71351a454edSToby Isaac PetscInt hEnd; 71451a454edSToby Isaac 7159566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(field->dm,h,NULL,&hEnd)); 71651a454edSToby Isaac if (imin < hEnd) break; 71751a454edSToby Isaac } 71851aa0bf7SToby Isaac } 7196858538eSMatthew G. Knepley PetscCall(DMFieldDSGetHeightDisc(field, h, dsfield->disc, &disc)); 7209566063dSJacob Faibussowitsch PetscCall(PetscObjectGetClassId(disc,&id)); 72151a454edSToby Isaac if (id == PETSCFE_CLASSID) { 72251a454edSToby Isaac PetscFE fe = (PetscFE) disc; 72351a454edSToby Isaac PetscSpace sp; 72451a454edSToby Isaac 7259566063dSJacob Faibussowitsch PetscCall(PetscFEGetBasisSpace(fe, &sp)); 7269566063dSJacob Faibussowitsch PetscCall(PetscSpaceGetDegree(sp, minDegree, maxDegree)); 72751a454edSToby Isaac } 72851a454edSToby Isaac PetscFunctionReturn(0); 72951a454edSToby Isaac } 73051a454edSToby Isaac 731a2aba86cSMatthew G. Knepley PetscErrorCode DMFieldGetFVQuadrature_Internal(DMField field, IS pointIS, PetscQuadrature *quad) 732a2aba86cSMatthew G. Knepley { 733a2aba86cSMatthew G. Knepley DM dm = field->dm; 734a2aba86cSMatthew G. Knepley const PetscInt *points; 735a2aba86cSMatthew G. Knepley DMPolytopeType ct; 736a2aba86cSMatthew G. Knepley PetscInt dim, n; 737a2aba86cSMatthew G. Knepley PetscBool isplex; 738a2aba86cSMatthew G. Knepley 739a2aba86cSMatthew G. Knepley PetscFunctionBegin; 7409566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject) dm, DMPLEX, &isplex)); 7419566063dSJacob Faibussowitsch PetscCall(ISGetLocalSize(pointIS, &n)); 742a2aba86cSMatthew G. Knepley if (isplex && n) { 7439566063dSJacob Faibussowitsch PetscCall(DMGetDimension(dm, &dim)); 7449566063dSJacob Faibussowitsch PetscCall(ISGetIndices(pointIS, &points)); 7459566063dSJacob Faibussowitsch PetscCall(DMPlexGetCellType(dm, points[0], &ct)); 746a2aba86cSMatthew G. Knepley switch (ct) { 747a2aba86cSMatthew G. Knepley case DM_POLYTOPE_TRIANGLE: 748a2aba86cSMatthew G. Knepley case DM_POLYTOPE_TETRAHEDRON: 7499566063dSJacob Faibussowitsch PetscCall(PetscDTStroudConicalQuadrature(dim, 1, 1, -1.0, 1.0, quad));break; 7509566063dSJacob Faibussowitsch default: PetscCall(PetscDTGaussTensorQuadrature(dim, 1, 1, -1.0, 1.0, quad)); 751a2aba86cSMatthew G. Knepley } 7529566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(pointIS, &points)); 7531baa6e33SBarry Smith } else PetscCall(DMFieldCreateDefaultQuadrature(field, pointIS, quad)); 754a2aba86cSMatthew G. Knepley PetscFunctionReturn(0); 755a2aba86cSMatthew G. Knepley } 756a2aba86cSMatthew G. Knepley 75751a454edSToby Isaac static PetscErrorCode DMFieldCreateDefaultQuadrature_DS(DMField field, IS pointIS, PetscQuadrature *quad) 75851a454edSToby Isaac { 7591fdf1f07SMatthew G. Knepley PetscInt h, dim, imax, imin, cellHeight; 76051a454edSToby Isaac DM dm; 76151a454edSToby Isaac DMField_DS *dsfield; 76251a454edSToby Isaac PetscObject disc; 76351a454edSToby Isaac PetscFE fe; 76451a454edSToby Isaac PetscClassId id; 76551a454edSToby Isaac 76651a454edSToby Isaac PetscFunctionBegin; 76751a454edSToby Isaac dm = field->dm; 76851a454edSToby Isaac dsfield = (DMField_DS *) field->data; 7699566063dSJacob Faibussowitsch PetscCall(ISGetMinMax(pointIS,&imin,&imax)); 7709566063dSJacob Faibussowitsch PetscCall(DMGetDimension(dm,&dim)); 77151a454edSToby Isaac for (h = 0; h <= dim; h++) { 77251a454edSToby Isaac PetscInt hStart, hEnd; 77351a454edSToby Isaac 7749566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(dm,h,&hStart,&hEnd)); 7756c041b70SSatish Balay if (imax >= hStart && imin < hEnd) break; 77651a454edSToby Isaac } 7779566063dSJacob Faibussowitsch PetscCall(DMPlexGetVTKCellHeight(dm, &cellHeight)); 7781fdf1f07SMatthew G. Knepley h -= cellHeight; 77951a454edSToby Isaac *quad = NULL; 780f99c8401SToby Isaac if (h < dsfield->height) { 7816858538eSMatthew G. Knepley PetscCall(DMFieldDSGetHeightDisc(field, h, dsfield->disc, &disc)); 7829566063dSJacob Faibussowitsch PetscCall(PetscObjectGetClassId(disc,&id)); 78351a454edSToby Isaac if (id != PETSCFE_CLASSID) PetscFunctionReturn(0); 78451a454edSToby Isaac fe = (PetscFE) disc; 7859566063dSJacob Faibussowitsch PetscCall(PetscFEGetQuadrature(fe,quad)); 7869566063dSJacob Faibussowitsch PetscCall(PetscObjectReference((PetscObject)*quad)); 78751a454edSToby Isaac } 78851a454edSToby Isaac PetscFunctionReturn(0); 78951a454edSToby Isaac } 79051a454edSToby Isaac 7910145028aSToby Isaac static PetscErrorCode DMFieldComputeFaceData_DS(DMField field, IS pointIS, PetscQuadrature quad, PetscFEGeom *geom) 7920145028aSToby Isaac { 7930145028aSToby Isaac const PetscInt *points; 7940145028aSToby Isaac PetscInt p, dim, dE, numFaces, Nq; 795b7260050SToby Isaac PetscInt maxDegree; 7960145028aSToby Isaac DMLabel depthLabel; 7970145028aSToby Isaac IS cellIS; 7980145028aSToby Isaac DM dm = field->dm; 7990145028aSToby Isaac 8000145028aSToby Isaac PetscFunctionBegin; 8010145028aSToby Isaac dim = geom->dim; 8020145028aSToby Isaac dE = geom->dimEmbed; 8039566063dSJacob Faibussowitsch PetscCall(DMPlexGetDepthLabel(dm, &depthLabel)); 8049566063dSJacob Faibussowitsch PetscCall(DMLabelGetStratumIS(depthLabel, dim + 1, &cellIS)); 8059566063dSJacob Faibussowitsch PetscCall(DMFieldGetDegree(field,cellIS,NULL,&maxDegree)); 8069566063dSJacob Faibussowitsch PetscCall(ISGetIndices(pointIS, &points)); 8070145028aSToby Isaac numFaces = geom->numCells; 8080145028aSToby Isaac Nq = geom->numPoints; 809f15274beSMatthew Knepley /* First, set local faces and flip normals so that they are outward for the first supporting cell */ 810f15274beSMatthew Knepley for (p = 0; p < numFaces; p++) { 811f15274beSMatthew Knepley PetscInt point = points[p]; 812f15274beSMatthew Knepley PetscInt suppSize, s, coneSize, c, numChildren; 813f15274beSMatthew Knepley const PetscInt *supp, *cone, *ornt; 814f15274beSMatthew Knepley 8159566063dSJacob Faibussowitsch PetscCall(DMPlexGetTreeChildren(dm, point, &numChildren, NULL)); 81628b400f6SJacob Faibussowitsch PetscCheck(!numChildren,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Face data not valid for facets with children"); 8179566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupportSize(dm, point, &suppSize)); 81863a3b9bcSJacob Faibussowitsch PetscCheck(suppSize <= 2,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %" PetscInt_FMT " has %" PetscInt_FMT " support, expected at most 2", point, suppSize); 819f15274beSMatthew Knepley if (!suppSize) continue; 8209566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupport(dm, point, &supp)); 821f15274beSMatthew Knepley for (s = 0; s < suppSize; ++s) { 8229566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeSize(dm, supp[s], &coneSize)); 8239566063dSJacob Faibussowitsch PetscCall(DMPlexGetCone(dm, supp[s], &cone)); 824f15274beSMatthew Knepley for (c = 0; c < coneSize; ++c) if (cone[c] == point) break; 82563a3b9bcSJacob Faibussowitsch PetscCheck(c != coneSize,PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Invalid connectivity: point %" PetscInt_FMT " not found in cone of support point %" PetscInt_FMT, point, supp[s]); 826f15274beSMatthew Knepley geom->face[p][s] = c; 827f15274beSMatthew Knepley } 8289566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeOrientation(dm, supp[0], &ornt)); 829f15274beSMatthew Knepley if (ornt[geom->face[p][0]] < 0) { 830f15274beSMatthew Knepley PetscInt Np = geom->numPoints, q, dE = geom->dimEmbed, d; 831f15274beSMatthew Knepley 832f15274beSMatthew Knepley for (q = 0; q < Np; ++q) for (d = 0; d < dE; ++d) geom->n[(p*Np + q)*dE + d] = -geom->n[(p*Np + q)*dE + d]; 833f15274beSMatthew Knepley } 834f15274beSMatthew Knepley } 835b7260050SToby Isaac if (maxDegree <= 1) { 8360145028aSToby Isaac PetscInt numCells, offset, *cells; 8370145028aSToby Isaac PetscFEGeom *cellGeom; 8380145028aSToby Isaac IS suppIS; 8390145028aSToby Isaac 8400145028aSToby Isaac for (p = 0, numCells = 0; p < numFaces; p++) { 8410145028aSToby Isaac PetscInt point = points[p]; 8420145028aSToby Isaac PetscInt numSupp, numChildren; 8430145028aSToby Isaac 8449566063dSJacob Faibussowitsch PetscCall(DMPlexGetTreeChildren(dm, point, &numChildren, NULL)); 84528b400f6SJacob Faibussowitsch PetscCheck(!numChildren,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Face data not valid for facets with children"); 8469566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupportSize(dm, point,&numSupp)); 84763a3b9bcSJacob Faibussowitsch PetscCheck(numSupp <= 2,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %" PetscInt_FMT " has %" PetscInt_FMT " support, expected at most 2", point, numSupp); 8480145028aSToby Isaac numCells += numSupp; 8490145028aSToby Isaac } 8509566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(numCells, &cells)); 8510145028aSToby Isaac for (p = 0, offset = 0; p < numFaces; p++) { 8520145028aSToby Isaac PetscInt point = points[p]; 8530145028aSToby Isaac PetscInt numSupp, s; 8540145028aSToby Isaac const PetscInt *supp; 8550145028aSToby Isaac 8569566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupportSize(dm, point,&numSupp)); 8579566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupport(dm, point, &supp)); 8580145028aSToby Isaac for (s = 0; s < numSupp; s++, offset++) { 8590145028aSToby Isaac cells[offset] = supp[s]; 8600145028aSToby Isaac } 8610145028aSToby Isaac } 8629566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(PETSC_COMM_SELF,numCells,cells,PETSC_USE_POINTER, &suppIS)); 8639566063dSJacob Faibussowitsch PetscCall(DMFieldCreateFEGeom(field,suppIS,quad,PETSC_FALSE,&cellGeom)); 8640145028aSToby Isaac for (p = 0, offset = 0; p < numFaces; p++) { 8650145028aSToby Isaac PetscInt point = points[p]; 8660145028aSToby Isaac PetscInt numSupp, s, q; 8670145028aSToby Isaac const PetscInt *supp; 8680145028aSToby Isaac 8699566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupportSize(dm, point,&numSupp)); 8709566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupport(dm, point, &supp)); 8710145028aSToby Isaac for (s = 0; s < numSupp; s++, offset++) { 8720145028aSToby Isaac for (q = 0; q < Nq * dE * dE; q++) { 87341418987SMatthew G. Knepley geom->suppJ[s][p * Nq * dE * dE + q] = cellGeom->J[offset * Nq * dE * dE + q]; 8740145028aSToby Isaac geom->suppInvJ[s][p * Nq * dE * dE + q] = cellGeom->invJ[offset * Nq * dE * dE + q]; 8750145028aSToby Isaac } 87641418987SMatthew G. Knepley for (q = 0; q < Nq; q++) geom->suppDetJ[s][p * Nq + q] = cellGeom->detJ[offset * Nq + q]; 8770145028aSToby Isaac } 8780145028aSToby Isaac } 8799566063dSJacob Faibussowitsch PetscCall(PetscFEGeomDestroy(&cellGeom)); 8809566063dSJacob Faibussowitsch PetscCall(ISDestroy(&suppIS)); 8819566063dSJacob Faibussowitsch PetscCall(PetscFree(cells)); 8820145028aSToby Isaac } else { 8836858538eSMatthew G. Knepley DMField_DS *dsfield = (DMField_DS *) field->data; 8840145028aSToby Isaac PetscObject faceDisc, cellDisc; 8850145028aSToby Isaac PetscClassId faceId, cellId; 8860145028aSToby Isaac PetscDualSpace dsp; 8870145028aSToby Isaac DM K; 888ba2698f1SMatthew G. Knepley DMPolytopeType ct; 8890145028aSToby Isaac PetscInt (*co)[2][3]; 8900145028aSToby Isaac PetscInt coneSize; 8910145028aSToby Isaac PetscInt **counts; 8920145028aSToby Isaac PetscInt f, i, o, q, s; 8930145028aSToby Isaac const PetscInt *coneK; 894ba2698f1SMatthew G. Knepley PetscInt eStart, minOrient, maxOrient, numOrient; 8950145028aSToby Isaac PetscInt *orients; 8960145028aSToby Isaac PetscReal **orientPoints; 8970145028aSToby Isaac PetscReal *cellPoints; 8980145028aSToby Isaac PetscReal *dummyWeights; 8990145028aSToby Isaac PetscQuadrature cellQuad = NULL; 9000145028aSToby Isaac 9016858538eSMatthew G. Knepley PetscCall(DMFieldDSGetHeightDisc(field, 1, dsfield->disc, &faceDisc)); 9026858538eSMatthew G. Knepley PetscCall(DMFieldDSGetHeightDisc(field, 0, dsfield->disc, &cellDisc)); 9039566063dSJacob Faibussowitsch PetscCall(PetscObjectGetClassId(faceDisc,&faceId)); 9049566063dSJacob Faibussowitsch PetscCall(PetscObjectGetClassId(cellDisc,&cellId)); 9051dca8a05SBarry Smith PetscCheck(faceId == PETSCFE_CLASSID && cellId == PETSCFE_CLASSID,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Not supported"); 9069566063dSJacob Faibussowitsch PetscCall(PetscFEGetDualSpace((PetscFE)cellDisc, &dsp)); 9079566063dSJacob Faibussowitsch PetscCall(PetscDualSpaceGetDM(dsp, &K)); 9089566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(K, 1, &eStart, NULL)); 9099566063dSJacob Faibussowitsch PetscCall(DMPlexGetCellType(K, eStart, &ct)); 9109566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeSize(K,0,&coneSize)); 9119566063dSJacob Faibussowitsch PetscCall(DMPlexGetCone(K,0,&coneK)); 9129566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(numFaces, &co, coneSize, &counts)); 9139566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(dE*Nq, &cellPoints)); 9149566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(Nq, &dummyWeights)); 9159566063dSJacob Faibussowitsch PetscCall(PetscQuadratureCreate(PETSC_COMM_SELF, &cellQuad)); 9169566063dSJacob Faibussowitsch PetscCall(PetscQuadratureSetData(cellQuad, dE, 1, Nq, cellPoints, dummyWeights)); 9170145028aSToby Isaac minOrient = PETSC_MAX_INT; 9180145028aSToby Isaac maxOrient = PETSC_MIN_INT; 9190145028aSToby Isaac for (p = 0; p < numFaces; p++) { /* record the orientation of the facet wrt the support cells */ 9200145028aSToby Isaac PetscInt point = points[p]; 9210145028aSToby Isaac PetscInt numSupp, numChildren; 9220145028aSToby Isaac const PetscInt *supp; 9230145028aSToby Isaac 9249566063dSJacob Faibussowitsch PetscCall(DMPlexGetTreeChildren(dm, point, &numChildren, NULL)); 92528b400f6SJacob Faibussowitsch PetscCheck(!numChildren,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Face data not valid for facets with children"); 9269566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupportSize(dm, point,&numSupp)); 92763a3b9bcSJacob Faibussowitsch PetscCheck(numSupp <= 2,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %" PetscInt_FMT " has %" PetscInt_FMT " support, expected at most 2", point, numSupp); 9289566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupport(dm, point, &supp)); 9290145028aSToby Isaac for (s = 0; s < numSupp; s++) { 9300145028aSToby Isaac PetscInt cell = supp[s]; 9310145028aSToby Isaac PetscInt numCone; 9320145028aSToby Isaac const PetscInt *cone, *orient; 9330145028aSToby Isaac 9349566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeSize(dm, cell, &numCone)); 93508401ef6SPierre Jolivet PetscCheck(numCone == coneSize,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Support point does not match reference element"); 9369566063dSJacob Faibussowitsch PetscCall(DMPlexGetCone(dm, cell, &cone)); 9379566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeOrientation(dm, cell, &orient)); 9380145028aSToby Isaac for (f = 0; f < coneSize; f++) { 9390145028aSToby Isaac if (cone[f] == point) break; 9400145028aSToby Isaac } 9410145028aSToby Isaac co[p][s][0] = f; 9420145028aSToby Isaac co[p][s][1] = orient[f]; 9430145028aSToby Isaac co[p][s][2] = cell; 9440145028aSToby Isaac minOrient = PetscMin(minOrient, orient[f]); 945cd93b0e1SMatthew G. Knepley maxOrient = PetscMax(maxOrient, orient[f]); 9460145028aSToby Isaac } 9470145028aSToby Isaac for (; s < 2; s++) { 9480145028aSToby Isaac co[p][s][0] = -1; 9490145028aSToby Isaac co[p][s][1] = -1; 9500145028aSToby Isaac co[p][s][2] = -1; 9510145028aSToby Isaac } 9520145028aSToby Isaac } 9530145028aSToby Isaac numOrient = maxOrient + 1 - minOrient; 9549566063dSJacob Faibussowitsch PetscCall(DMPlexGetCone(K,0,&coneK)); 9550145028aSToby Isaac /* count all (face,orientation) doubles that appear */ 9569566063dSJacob Faibussowitsch PetscCall(PetscCalloc2(numOrient,&orients,numOrient,&orientPoints)); 9579566063dSJacob Faibussowitsch for (f = 0; f < coneSize; f++) PetscCall(PetscCalloc1(numOrient+1, &counts[f])); 9580145028aSToby Isaac for (p = 0; p < numFaces; p++) { 9590145028aSToby Isaac for (s = 0; s < 2; s++) { 9600145028aSToby Isaac if (co[p][s][0] >= 0) { 9610145028aSToby Isaac counts[co[p][s][0]][co[p][s][1] - minOrient]++; 9620145028aSToby Isaac orients[co[p][s][1] - minOrient]++; 9630145028aSToby Isaac } 9640145028aSToby Isaac } 9650145028aSToby Isaac } 9660145028aSToby Isaac for (o = 0; o < numOrient; o++) { 9670145028aSToby Isaac if (orients[o]) { 9680145028aSToby Isaac PetscInt orient = o + minOrient; 9690145028aSToby Isaac PetscInt q; 9700145028aSToby Isaac 9719566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(Nq * dim, &orientPoints[o])); 9720145028aSToby Isaac /* rotate the quadrature points appropriately */ 973ba2698f1SMatthew G. Knepley switch (ct) { 974ba2698f1SMatthew G. Knepley case DM_POLYTOPE_POINT: break; 975ba2698f1SMatthew G. Knepley case DM_POLYTOPE_SEGMENT: 9760145028aSToby Isaac if (orient == -2 || orient == 1) { 9770145028aSToby Isaac for (q = 0; q < Nq; q++) { 9780145028aSToby Isaac orientPoints[o][q] = -geom->xi[q]; 9790145028aSToby Isaac } 9800145028aSToby Isaac } else { 9810145028aSToby Isaac for (q = 0; q < Nq; q++) { 9820145028aSToby Isaac orientPoints[o][q] = geom->xi[q]; 9830145028aSToby Isaac } 9840145028aSToby Isaac } 9850145028aSToby Isaac break; 986ba2698f1SMatthew G. Knepley case DM_POLYTOPE_TRIANGLE: 9870145028aSToby Isaac for (q = 0; q < Nq; q++) { 9880145028aSToby Isaac PetscReal lambda[3]; 9890145028aSToby Isaac PetscReal lambdao[3]; 9900145028aSToby Isaac 9910145028aSToby Isaac /* convert to barycentric */ 9920145028aSToby Isaac lambda[0] = - (geom->xi[2 * q] + geom->xi[2 * q + 1]) / 2.; 9930145028aSToby Isaac lambda[1] = (geom->xi[2 * q] + 1.) / 2.; 9940145028aSToby Isaac lambda[2] = (geom->xi[2 * q + 1] + 1.) / 2.; 9950145028aSToby Isaac if (orient >= 0) { 9960145028aSToby Isaac for (i = 0; i < 3; i++) { 9970145028aSToby Isaac lambdao[i] = lambda[(orient + i) % 3]; 9980145028aSToby Isaac } 9990145028aSToby Isaac } else { 10000145028aSToby Isaac for (i = 0; i < 3; i++) { 10010145028aSToby Isaac lambdao[i] = lambda[(-(orient + i) + 3) % 3]; 10020145028aSToby Isaac } 10030145028aSToby Isaac } 10040145028aSToby Isaac /* convert to coordinates */ 10050145028aSToby Isaac orientPoints[o][2 * q + 0] = -(lambdao[0] + lambdao[2]) + lambdao[1]; 10060145028aSToby Isaac orientPoints[o][2 * q + 1] = -(lambdao[0] + lambdao[1]) + lambdao[2]; 10070145028aSToby Isaac } 10080145028aSToby Isaac break; 1009ba2698f1SMatthew G. Knepley case DM_POLYTOPE_QUADRILATERAL: 10100145028aSToby Isaac for (q = 0; q < Nq; q++) { 10110145028aSToby Isaac PetscReal xi[2], xio[2]; 10120145028aSToby Isaac PetscInt oabs = (orient >= 0) ? orient : -(orient + 1); 10130145028aSToby Isaac 10140145028aSToby Isaac xi[0] = geom->xi[2 * q]; 10150145028aSToby Isaac xi[1] = geom->xi[2 * q + 1]; 10160145028aSToby Isaac switch (oabs) { 10170145028aSToby Isaac case 1: 10180145028aSToby Isaac xio[0] = xi[1]; 10190145028aSToby Isaac xio[1] = -xi[0]; 10200145028aSToby Isaac break; 10210145028aSToby Isaac case 2: 10220145028aSToby Isaac xio[0] = -xi[0]; 10230145028aSToby Isaac xio[1] = -xi[1]; 10240145028aSToby Isaac case 3: 10250145028aSToby Isaac xio[0] = -xi[1]; 10260145028aSToby Isaac xio[1] = xi[0]; 1027aa1371cbSToby Isaac case 0: 1028aa1371cbSToby Isaac default: 1029aa1371cbSToby Isaac xio[0] = xi[0]; 1030aa1371cbSToby Isaac xio[1] = xi[1]; 1031aa1371cbSToby Isaac break; 10320145028aSToby Isaac } 10330145028aSToby Isaac if (orient < 0) { 10340145028aSToby Isaac xio[0] = -xio[0]; 10350145028aSToby Isaac } 10360145028aSToby Isaac orientPoints[o][2 * q + 0] = xio[0]; 10370145028aSToby Isaac orientPoints[o][2 * q + 1] = xio[1]; 10380145028aSToby Isaac } 10390145028aSToby Isaac break; 104098921bdaSJacob Faibussowitsch default: SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Cell type %s not yet supported", DMPolytopeTypes[ct]); 10410145028aSToby Isaac } 10420145028aSToby Isaac } 10430145028aSToby Isaac } 10440145028aSToby Isaac for (f = 0; f < coneSize; f++) { 10450145028aSToby Isaac PetscInt face = coneK[f]; 10464d1a973fSToby Isaac PetscReal v0[3]; 10472d89661fSMatthew G. Knepley PetscReal J[9], detJ; 10480145028aSToby Isaac PetscInt numCells, offset; 10490145028aSToby Isaac PetscInt *cells; 10500145028aSToby Isaac IS suppIS; 10510145028aSToby Isaac 10529566063dSJacob Faibussowitsch PetscCall(DMPlexComputeCellGeometryFEM(K, face, NULL, v0, J, NULL, &detJ)); 10530145028aSToby Isaac for (o = 0; o <= numOrient; o++) { 10540145028aSToby Isaac PetscFEGeom *cellGeom; 10550145028aSToby Isaac 10560145028aSToby Isaac if (!counts[f][o]) continue; 10570145028aSToby Isaac /* If this (face,orientation) double appears, 10580145028aSToby Isaac * convert the face quadrature points into volume quadrature points */ 10590145028aSToby Isaac for (q = 0; q < Nq; q++) { 10600145028aSToby Isaac PetscReal xi0[3] = {-1., -1., -1.}; 10610145028aSToby Isaac 10620145028aSToby Isaac CoordinatesRefToReal(dE, dim, xi0, v0, J, &orientPoints[o][dim * q + 0], &cellPoints[dE * q + 0]); 10630145028aSToby Isaac } 10640145028aSToby Isaac for (p = 0, numCells = 0; p < numFaces; p++) { 10650145028aSToby Isaac for (s = 0; s < 2; s++) { 10660145028aSToby Isaac if (co[p][s][0] == f && co[p][s][1] == o + minOrient) numCells++; 10670145028aSToby Isaac } 10680145028aSToby Isaac } 10699566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(numCells, &cells)); 10700145028aSToby Isaac for (p = 0, offset = 0; p < numFaces; p++) { 10710145028aSToby Isaac for (s = 0; s < 2; s++) { 10720145028aSToby Isaac if (co[p][s][0] == f && co[p][s][1] == o + minOrient) { 10730145028aSToby Isaac cells[offset++] = co[p][s][2]; 10740145028aSToby Isaac } 10750145028aSToby Isaac } 10760145028aSToby Isaac } 10779566063dSJacob Faibussowitsch PetscCall(ISCreateGeneral(PETSC_COMM_SELF,numCells,cells,PETSC_USE_POINTER, &suppIS)); 10789566063dSJacob Faibussowitsch PetscCall(DMFieldCreateFEGeom(field,suppIS,cellQuad,PETSC_FALSE,&cellGeom)); 10790145028aSToby Isaac for (p = 0, offset = 0; p < numFaces; p++) { 10800145028aSToby Isaac for (s = 0; s < 2; s++) { 10810145028aSToby Isaac if (co[p][s][0] == f && co[p][s][1] == o + minOrient) { 10820145028aSToby Isaac for (q = 0; q < Nq * dE * dE; q++) { 108341418987SMatthew G. Knepley geom->suppJ[s][p * Nq * dE * dE + q] = cellGeom->J[offset * Nq * dE * dE + q]; 10840145028aSToby Isaac geom->suppInvJ[s][p * Nq * dE * dE + q] = cellGeom->invJ[offset * Nq * dE * dE + q]; 10850145028aSToby Isaac } 108641418987SMatthew G. Knepley for (q = 0; q < Nq; q++) geom->suppDetJ[s][p * Nq + q] = cellGeom->detJ[offset * Nq + q]; 10870145028aSToby Isaac offset++; 10880145028aSToby Isaac } 10890145028aSToby Isaac } 10900145028aSToby Isaac } 10919566063dSJacob Faibussowitsch PetscCall(PetscFEGeomDestroy(&cellGeom)); 10929566063dSJacob Faibussowitsch PetscCall(ISDestroy(&suppIS)); 10939566063dSJacob Faibussowitsch PetscCall(PetscFree(cells)); 10940145028aSToby Isaac } 10950145028aSToby Isaac } 10960145028aSToby Isaac for (o = 0; o < numOrient; o++) { 10970145028aSToby Isaac if (orients[o]) { 10989566063dSJacob Faibussowitsch PetscCall(PetscFree(orientPoints[o])); 10990145028aSToby Isaac } 11000145028aSToby Isaac } 11019566063dSJacob Faibussowitsch PetscCall(PetscFree2(orients,orientPoints)); 11029566063dSJacob Faibussowitsch PetscCall(PetscQuadratureDestroy(&cellQuad)); 11039566063dSJacob Faibussowitsch for (f = 0; f < coneSize; f++) PetscCall(PetscFree(counts[f])); 11049566063dSJacob Faibussowitsch PetscCall(PetscFree2(co,counts)); 11050145028aSToby Isaac } 11069566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(pointIS, &points)); 11079566063dSJacob Faibussowitsch PetscCall(ISDestroy(&cellIS)); 11080145028aSToby Isaac PetscFunctionReturn(0); 11090145028aSToby Isaac } 11100145028aSToby Isaac 111151a454edSToby Isaac static PetscErrorCode DMFieldInitialize_DS(DMField field) 111251a454edSToby Isaac { 111351a454edSToby Isaac PetscFunctionBegin; 111451a454edSToby Isaac field->ops->destroy = DMFieldDestroy_DS; 111551a454edSToby Isaac field->ops->evaluate = DMFieldEvaluate_DS; 111651a454edSToby Isaac field->ops->evaluateFE = DMFieldEvaluateFE_DS; 1117805e7170SToby Isaac field->ops->evaluateFV = DMFieldEvaluateFV_DS; 1118b7260050SToby Isaac field->ops->getDegree = DMFieldGetDegree_DS; 111951a454edSToby Isaac field->ops->createDefaultQuadrature = DMFieldCreateDefaultQuadrature_DS; 112051a454edSToby Isaac field->ops->view = DMFieldView_DS; 11210145028aSToby Isaac field->ops->computeFaceData = DMFieldComputeFaceData_DS; 112251a454edSToby Isaac PetscFunctionReturn(0); 112351a454edSToby Isaac } 112451a454edSToby Isaac 112551a454edSToby Isaac PETSC_INTERN PetscErrorCode DMFieldCreate_DS(DMField field) 112651a454edSToby Isaac { 112751a454edSToby Isaac DMField_DS *dsfield; 112851a454edSToby Isaac 112951a454edSToby Isaac PetscFunctionBegin; 11309566063dSJacob Faibussowitsch PetscCall(PetscNewLog(field,&dsfield)); 113151a454edSToby Isaac field->data = dsfield; 11329566063dSJacob Faibussowitsch PetscCall(DMFieldInitialize_DS(field)); 113351a454edSToby Isaac PetscFunctionReturn(0); 113451a454edSToby Isaac } 113551a454edSToby Isaac 11366858538eSMatthew G. Knepley PetscErrorCode DMFieldCreateDSWithDG(DM dm, DM dmDG, PetscInt fieldNum, Vec vec, Vec vecDG, DMField *field) 113751a454edSToby Isaac { 113851a454edSToby Isaac DMField b; 113951a454edSToby Isaac DMField_DS *dsfield; 11406858538eSMatthew G. Knepley PetscObject disc = NULL, discDG = NULL; 11416858538eSMatthew G. Knepley PetscSection section; 114251a454edSToby Isaac PetscBool isContainer = PETSC_FALSE; 114351a454edSToby Isaac PetscClassId id = -1; 114451a454edSToby Isaac PetscInt numComponents = -1, dsNumFields; 114551a454edSToby Isaac 114651a454edSToby Isaac PetscFunctionBegin; 11479566063dSJacob Faibussowitsch PetscCall(DMGetLocalSection(dm, §ion)); 11489566063dSJacob Faibussowitsch PetscCall(PetscSectionGetFieldComponents(section, fieldNum, &numComponents)); 11499566063dSJacob Faibussowitsch PetscCall(DMGetNumFields(dm, &dsNumFields)); 11509566063dSJacob Faibussowitsch if (dsNumFields) PetscCall(DMGetField(dm, fieldNum, NULL, &disc)); 11516858538eSMatthew G. Knepley if (dsNumFields && dmDG) { 11526858538eSMatthew G. Knepley PetscCall(DMGetField(dmDG, fieldNum, NULL, &discDG)); 11536858538eSMatthew G. Knepley PetscCall(PetscObjectReference(discDG)); 11546858538eSMatthew G. Knepley } 115551a454edSToby Isaac if (disc) { 11569566063dSJacob Faibussowitsch PetscCall(PetscObjectGetClassId(disc, &id)); 115751a454edSToby Isaac isContainer = (id == PETSC_CONTAINER_CLASSID) ? PETSC_TRUE : PETSC_FALSE; 115851a454edSToby Isaac } 115951a454edSToby Isaac if (!disc || isContainer) { 116051a454edSToby Isaac MPI_Comm comm = PetscObjectComm((PetscObject) dm); 116151a454edSToby Isaac PetscFE fe; 11622df84da0SMatthew G. Knepley DMPolytopeType ct, locct = DM_POLYTOPE_UNKNOWN; 11632df84da0SMatthew G. Knepley PetscInt dim, cStart, cEnd, cellHeight; 116451a454edSToby Isaac 11659566063dSJacob Faibussowitsch PetscCall(DMPlexGetVTKCellHeight(dm, &cellHeight)); 11669566063dSJacob Faibussowitsch PetscCall(DMGetDimension(dm, &dim)); 11679566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(dm, cellHeight, &cStart, &cEnd)); 11689566063dSJacob Faibussowitsch if (cEnd > cStart) PetscCall(DMPlexGetCellType(dm, cStart, &locct)); 11699566063dSJacob Faibussowitsch PetscCallMPI(MPI_Allreduce(&locct, &ct, 1, MPI_INT, MPI_MIN, comm)); 11709566063dSJacob Faibussowitsch PetscCall(PetscFECreateLagrangeByCell(PETSC_COMM_SELF, dim, numComponents, ct, 1, PETSC_DETERMINE, &fe)); 11719566063dSJacob Faibussowitsch PetscCall(PetscFEViewFromOptions(fe, NULL, "-field_fe_view")); 117251a454edSToby Isaac disc = (PetscObject) fe; 11731baa6e33SBarry Smith } else PetscCall(PetscObjectReference(disc)); 11749566063dSJacob Faibussowitsch PetscCall(PetscObjectGetClassId(disc, &id)); 11756858538eSMatthew G. Knepley if (id == PETSCFE_CLASSID) PetscCall(PetscFEGetNumComponents((PetscFE) disc, &numComponents)); 11766858538eSMatthew G. Knepley else SETERRQ(PetscObjectComm((PetscObject) dm), PETSC_ERR_SUP, "Cannot determine number of discretization components"); 11779566063dSJacob Faibussowitsch PetscCall(DMFieldCreate(dm, numComponents, DMFIELD_VERTEX, &b)); 11789566063dSJacob Faibussowitsch PetscCall(DMFieldSetType(b, DMFIELDDS)); 117951a454edSToby Isaac dsfield = (DMField_DS *) b->data; 118051a454edSToby Isaac dsfield->fieldNum = fieldNum; 11819566063dSJacob Faibussowitsch PetscCall(DMGetDimension(dm, &dsfield->height)); 1182f99c8401SToby Isaac dsfield->height++; 11839566063dSJacob Faibussowitsch PetscCall(PetscCalloc1(dsfield->height, &dsfield->disc)); 118451a454edSToby Isaac dsfield->disc[0] = disc; 11859566063dSJacob Faibussowitsch PetscCall(PetscObjectReference((PetscObject) vec)); 118651a454edSToby Isaac dsfield->vec = vec; 11876858538eSMatthew G. Knepley if (dmDG) { 11886858538eSMatthew G. Knepley dsfield->dmDG = dmDG; 11896858538eSMatthew G. Knepley PetscCall(PetscCalloc1(dsfield->height, &dsfield->discDG)); 11906858538eSMatthew G. Knepley dsfield->discDG[0] = discDG; 11916858538eSMatthew G. Knepley PetscCall(PetscObjectReference((PetscObject) vecDG)); 11926858538eSMatthew G. Knepley dsfield->vecDG = vecDG; 11936858538eSMatthew G. Knepley } 119451a454edSToby Isaac *field = b; 11956858538eSMatthew G. Knepley PetscFunctionReturn(0); 11966858538eSMatthew G. Knepley } 119751a454edSToby Isaac 11986858538eSMatthew G. Knepley PetscErrorCode DMFieldCreateDS(DM dm, PetscInt fieldNum, Vec vec, DMField *field) 11996858538eSMatthew G. Knepley { 12006858538eSMatthew G. Knepley PetscFunctionBegin; 12016858538eSMatthew G. Knepley PetscCall(DMFieldCreateDSWithDG(dm, NULL, fieldNum, vec, NULL, field)); 120251a454edSToby Isaac PetscFunctionReturn(0); 120351a454edSToby Isaac } 1204