1 /* 2 Objects to manage the interactions between the mesh data structures and the algebraic objects 3 */ 4 #pragma once 5 #include "petscsystypes.h" 6 #include <petscmat.h> 7 #include <petscdmtypes.h> 8 #include <petscdmlabel.h> 9 #include <petscfetypes.h> 10 #include <petscdstypes.h> 11 #include <petscdt.h> 12 13 /* SUBMANSEC = DM */ 14 15 PETSC_EXTERN PetscErrorCode DMInitializePackage(void); 16 17 PETSC_EXTERN PetscClassId DM_CLASSID; 18 19 #define DMLOCATEPOINT_POINT_NOT_FOUND -367 20 21 /*J 22 DMType - String with the name of a PETSc `DM`. These are all the `DM` provided by PETSc. 23 24 Level: beginner 25 26 Note: 27 These can be used with `DMSetType()` or the options database key `-dm_type` to set the specific data structures and algorithms to use with a specific `DM`. 28 But more commonly one calls directly a constructor for a particular `DMType` such as `DMDACreate()` 29 30 .seealso: [](ch_dmbase), `DMSetType()`, `DMCreate()`, `DM`, `DMDACreate()` 31 J*/ 32 typedef const char *DMType; 33 #define DMDA "da" 34 #define DMCOMPOSITE "composite" 35 #define DMSLICED "sliced" 36 #define DMSHELL "shell" 37 #define DMPLEX "plex" 38 #define DMREDUNDANT "redundant" 39 #define DMPATCH "patch" 40 #define DMMOAB "moab" 41 #define DMNETWORK "network" 42 #define DMFOREST "forest" 43 #define DMP4EST "p4est" 44 #define DMP8EST "p8est" 45 #define DMSWARM "swarm" 46 #define DMPRODUCT "product" 47 #define DMSTAG "stag" 48 49 PETSC_EXTERN const char *const DMBoundaryTypes[]; 50 PETSC_EXTERN const char *const DMBoundaryConditionTypes[]; 51 PETSC_EXTERN const char *const DMBlockingTypes[]; 52 PETSC_EXTERN PetscFunctionList DMList; 53 PETSC_EXTERN DMGeneratorFunctionList DMGenerateList; 54 PETSC_EXTERN PetscFunctionList DMGeomModelList; 55 PETSC_EXTERN PetscErrorCode DMCreate(MPI_Comm, DM *); 56 PETSC_EXTERN PetscErrorCode DMClone(DM, DM *); 57 PETSC_EXTERN PetscErrorCode DMSetType(DM, DMType); 58 PETSC_EXTERN PetscErrorCode DMGetType(DM, DMType *); 59 PETSC_EXTERN PetscErrorCode DMRegister(const char[], PetscErrorCode (*)(DM)); 60 PETSC_EXTERN PetscErrorCode DMRegisterDestroy(void); 61 62 PETSC_EXTERN PetscErrorCode DMView(DM, PetscViewer); 63 PETSC_EXTERN PetscErrorCode DMLoad(DM, PetscViewer); 64 PETSC_EXTERN PetscErrorCode DMDestroy(DM *); 65 PETSC_EXTERN PetscErrorCode DMCreateGlobalVector(DM, Vec *); 66 PETSC_EXTERN PetscErrorCode DMCreateLocalVector(DM, Vec *); 67 PETSC_EXTERN PetscErrorCode DMGetLocalVector(DM, Vec *); 68 PETSC_EXTERN PetscErrorCode DMRestoreLocalVector(DM, Vec *); 69 PETSC_EXTERN PetscErrorCode DMGetGlobalVector(DM, Vec *); 70 PETSC_EXTERN PetscErrorCode DMRestoreGlobalVector(DM, Vec *); 71 PETSC_EXTERN PetscErrorCode DMClearGlobalVectors(DM); 72 PETSC_EXTERN PetscErrorCode DMClearLocalVectors(DM); 73 PETSC_EXTERN PetscErrorCode DMClearNamedGlobalVectors(DM); 74 PETSC_EXTERN PetscErrorCode DMClearNamedLocalVectors(DM); 75 PETSC_EXTERN PetscErrorCode DMHasNamedGlobalVector(DM, const char *, PetscBool *); 76 PETSC_EXTERN PetscErrorCode DMGetNamedGlobalVector(DM, const char *, Vec *); 77 PETSC_EXTERN PetscErrorCode DMRestoreNamedGlobalVector(DM, const char *, Vec *); 78 PETSC_EXTERN PetscErrorCode DMHasNamedLocalVector(DM, const char *, PetscBool *); 79 PETSC_EXTERN PetscErrorCode DMGetNamedLocalVector(DM, const char *, Vec *); 80 PETSC_EXTERN PetscErrorCode DMRestoreNamedLocalVector(DM, const char *, Vec *); 81 PETSC_EXTERN PetscErrorCode DMGetLocalToGlobalMapping(DM, ISLocalToGlobalMapping *); 82 PETSC_EXTERN PetscErrorCode DMCreateFieldIS(DM, PetscInt *, char ***, IS **); 83 PETSC_EXTERN PetscErrorCode DMGetBlockSize(DM, PetscInt *); 84 PETSC_EXTERN PetscErrorCode DMCreateColoring(DM, ISColoringType, ISColoring *); 85 PETSC_EXTERN PetscErrorCode DMCreateMatrix(DM, Mat *); 86 PETSC_EXTERN PetscErrorCode DMSetMatrixPreallocateSkip(DM, PetscBool); 87 PETSC_EXTERN PetscErrorCode DMSetMatrixPreallocateOnly(DM, PetscBool); 88 PETSC_EXTERN PetscErrorCode DMSetMatrixStructureOnly(DM, PetscBool); 89 PETSC_EXTERN PetscErrorCode DMSetBlockingType(DM, DMBlockingType); 90 PETSC_EXTERN PetscErrorCode DMGetBlockingType(DM, DMBlockingType *); 91 PETSC_EXTERN PetscErrorCode DMCreateInterpolation(DM, DM, Mat *, Vec *); 92 PETSC_EXTERN PetscErrorCode DMCreateRestriction(DM, DM, Mat *); 93 PETSC_EXTERN PetscErrorCode DMCreateInjection(DM, DM, Mat *); 94 PETSC_EXTERN PetscErrorCode DMCreateMassMatrix(DM, DM, Mat *); 95 PETSC_EXTERN PetscErrorCode DMCreateMassMatrixLumped(DM, Vec *, Vec *); 96 PETSC_EXTERN PetscErrorCode DMCreateGradientMatrix(DM, DM, Mat *); 97 PETSC_EXTERN PetscErrorCode DMGetWorkArray(DM, PetscInt, MPI_Datatype, void *); 98 PETSC_EXTERN PetscErrorCode DMRestoreWorkArray(DM, PetscInt, MPI_Datatype, void *); 99 PETSC_EXTERN PetscErrorCode DMRefine(DM, MPI_Comm, DM *); 100 PETSC_EXTERN PetscErrorCode DMCoarsen(DM, MPI_Comm, DM *); 101 PETSC_EXTERN PetscErrorCode DMGetCoarseDM(DM, DM *); 102 PETSC_EXTERN PetscErrorCode DMSetCoarseDM(DM, DM); 103 PETSC_EXTERN PetscErrorCode DMGetFineDM(DM, DM *); 104 PETSC_EXTERN PetscErrorCode DMSetFineDM(DM, DM); 105 PETSC_EXTERN PetscErrorCode DMRefineHierarchy(DM, PetscInt, DM[]); 106 PETSC_EXTERN PetscErrorCode DMCoarsenHierarchy(DM, PetscInt, DM[]); 107 PETSC_EXTERN PetscErrorCode DMCoarsenHookAdd(DM, PetscErrorCode (*)(DM, DM, PetscCtx), PetscErrorCode (*)(DM, Mat, Vec, Mat, DM, PetscCtx), PetscCtx); 108 PETSC_EXTERN PetscErrorCode DMCoarsenHookRemove(DM, PetscErrorCode (*)(DM, DM, PetscCtx), PetscErrorCode (*)(DM, Mat, Vec, Mat, DM, PetscCtx), PetscCtx); 109 PETSC_EXTERN PetscErrorCode DMRefineHookAdd(DM, PetscErrorCode (*)(DM, DM, PetscCtx), PetscErrorCode (*)(DM, Mat, DM, PetscCtx), PetscCtx); 110 PETSC_EXTERN PetscErrorCode DMRefineHookRemove(DM, PetscErrorCode (*)(DM, DM, PetscCtx), PetscErrorCode (*)(DM, Mat, DM, PetscCtx), PetscCtx); 111 PETSC_EXTERN PetscErrorCode DMRestrict(DM, Mat, Vec, Mat, DM); 112 PETSC_EXTERN PetscErrorCode DMInterpolate(DM, Mat, DM); 113 PETSC_EXTERN PetscErrorCode DMInterpolateSolution(DM, DM, Mat, Vec, Vec); 114 PETSC_EXTERN PetscErrorCode DMExtrude(DM, PetscInt, DM *); 115 PETSC_EXTERN PetscErrorCode DMSetFromOptions(DM); 116 PETSC_EXTERN PetscErrorCode DMViewFromOptions(DM, PetscObject, const char[]); 117 118 PETSC_EXTERN PetscErrorCode DMGenerate(DM, const char[], PetscBool, DM *); 119 PETSC_EXTERN PetscErrorCode DMGenerateRegister(const char[], PetscErrorCode (*)(DM, PetscBool, DM *), PetscErrorCode (*)(DM, PetscReal *, DM *), PetscErrorCode (*)(DM, Vec, DMLabel, DMLabel, DM *), PetscInt); 120 PETSC_EXTERN PetscErrorCode DMGenerateRegisterAll(void); 121 PETSC_EXTERN PetscErrorCode DMGenerateRegisterDestroy(void); 122 PETSC_EXTERN PetscErrorCode DMGeomModelRegister(const char[], PetscErrorCode (*)(DM, PetscInt, PetscInt, const PetscScalar[], PetscScalar[])); 123 PETSC_EXTERN PetscErrorCode DMGeomModelRegisterAll(void); 124 PETSC_EXTERN PetscErrorCode DMGeomModelRegisterDestroy(void); 125 PETSC_EXTERN PetscErrorCode DMAdaptLabel(DM, DMLabel, DM *); 126 PETSC_EXTERN PetscErrorCode DMAdaptMetric(DM, Vec, DMLabel, DMLabel, DM *); 127 128 PETSC_EXTERN PetscErrorCode DMSetUp(DM); 129 PETSC_EXTERN PetscErrorCode DMCreateInterpolationScale(DM, DM, Mat, Vec *); 130 PETSC_EXTERN PETSC_DEPRECATED_FUNCTION(3, 12, 0, "DMDACreateAggregates()", ) PetscErrorCode DMCreateAggregates(DM, DM, Mat *); 131 PETSC_EXTERN PetscErrorCode DMGlobalToLocalHookAdd(DM, PetscErrorCode (*)(DM, Vec, InsertMode, Vec, PetscCtx), PetscErrorCode (*)(DM, Vec, InsertMode, Vec, PetscCtx), PetscCtx); 132 PETSC_EXTERN PetscErrorCode DMLocalToGlobalHookAdd(DM, PetscErrorCode (*)(DM, Vec, InsertMode, Vec, PetscCtx), PetscErrorCode (*)(DM, Vec, InsertMode, Vec, PetscCtx), PetscCtx); 133 PETSC_EXTERN PetscErrorCode DMGlobalToLocal(DM, Vec, InsertMode, Vec); 134 PETSC_EXTERN PetscErrorCode DMGlobalToLocalBegin(DM, Vec, InsertMode, Vec); 135 PETSC_EXTERN PetscErrorCode DMGlobalToLocalEnd(DM, Vec, InsertMode, Vec); 136 PETSC_EXTERN PetscErrorCode DMLocalToGlobal(DM, Vec, InsertMode, Vec); 137 PETSC_EXTERN PetscErrorCode DMLocalToGlobalBegin(DM, Vec, InsertMode, Vec); 138 PETSC_EXTERN PetscErrorCode DMLocalToGlobalEnd(DM, Vec, InsertMode, Vec); 139 PETSC_EXTERN PetscErrorCode DMLocalToLocalBegin(DM, Vec, InsertMode, Vec); 140 PETSC_EXTERN PetscErrorCode DMLocalToLocalEnd(DM, Vec, InsertMode, Vec); 141 PETSC_EXTERN PetscErrorCode DMConvert(DM, DMType, DM *); 142 143 /* Topology support */ 144 PETSC_EXTERN PetscErrorCode DMGetDimension(DM, PetscInt *); 145 PETSC_EXTERN PetscErrorCode DMSetDimension(DM, PetscInt); 146 PETSC_EXTERN PetscErrorCode DMGetDimPoints(DM, PetscInt, PetscInt *, PetscInt *); 147 PETSC_EXTERN PetscErrorCode DMGetUseNatural(DM, PetscBool *); 148 PETSC_EXTERN PetscErrorCode DMSetUseNatural(DM, PetscBool); 149 PETSC_EXTERN PetscErrorCode DMGetNeighbors(DM, PetscInt *, const PetscMPIInt *[]); 150 151 /* Coordinate support */ 152 PETSC_EXTERN PetscErrorCode DMGetCoordinateDM(DM, DM *); 153 PETSC_EXTERN PetscErrorCode DMSetCoordinateDM(DM, DM); 154 PETSC_EXTERN PetscErrorCode DMGetCellCoordinateDM(DM, DM *); 155 PETSC_EXTERN PetscErrorCode DMSetCellCoordinateDM(DM, DM); 156 PETSC_EXTERN PetscErrorCode DMGetCoordinateDim(DM, PetscInt *); 157 PETSC_EXTERN PetscErrorCode DMSetCoordinateDim(DM, PetscInt); 158 PETSC_EXTERN PetscErrorCode DMGetCoordinateSection(DM, PetscSection *); 159 PETSC_EXTERN PetscErrorCode DMSetCoordinateSection(DM, PetscInt, PetscSection); 160 PETSC_EXTERN PetscErrorCode DMGetCellCoordinateSection(DM, PetscSection *); 161 PETSC_EXTERN PetscErrorCode DMSetCellCoordinateSection(DM, PetscInt, PetscSection); 162 PETSC_EXTERN PetscErrorCode DMGetCoordinates(DM, Vec *); 163 PETSC_EXTERN PetscErrorCode DMSetCoordinates(DM, Vec); 164 PETSC_EXTERN PetscErrorCode DMGetCellCoordinates(DM, Vec *); 165 PETSC_EXTERN PetscErrorCode DMSetCellCoordinates(DM, Vec); 166 PETSC_EXTERN PetscErrorCode DMGetCoordinatesLocalSetUp(DM); 167 PETSC_EXTERN PetscErrorCode DMGetCoordinatesLocal(DM, Vec *); 168 PETSC_EXTERN PetscErrorCode DMGetCoordinatesLocalNoncollective(DM, Vec *); 169 PETSC_EXTERN PetscErrorCode DMGetCoordinatesLocalTuple(DM, IS, PetscSection *, Vec *); 170 PETSC_EXTERN PetscErrorCode DMSetCoordinatesLocal(DM, Vec); 171 PETSC_EXTERN PetscErrorCode DMGetCellCoordinatesLocalSetUp(DM); 172 PETSC_EXTERN PetscErrorCode DMGetCellCoordinatesLocal(DM, Vec *); 173 PETSC_EXTERN PetscErrorCode DMGetCellCoordinatesLocalNoncollective(DM, Vec *); 174 PETSC_EXTERN PetscErrorCode DMSetCellCoordinatesLocal(DM, Vec); 175 PETSC_EXTERN PetscErrorCode DMGetCoordinateField(DM, DMField *); 176 PETSC_EXTERN PetscErrorCode DMSetCoordinateField(DM, DMField); 177 PETSC_EXTERN PetscErrorCode DMSetCellCoordinateField(DM, DMField); 178 PETSC_EXTERN PetscErrorCode DMGetLocalBoundingBox(DM, PetscReal[], PetscReal[]); 179 PETSC_EXTERN PetscErrorCode DMGetBoundingBox(DM, PetscReal[], PetscReal[]); 180 PETSC_EXTERN PetscErrorCode DMSetCoordinateDisc(DM, PetscFE, PetscBool, PetscBool); 181 PETSC_EXTERN PetscErrorCode DMLocatePoints(DM, Vec, DMPointLocationType, PetscSF *); 182 PETSC_EXTERN PetscErrorCode DMSnapToGeomModel(DM, PetscInt, PetscInt, const PetscScalar[], PetscScalar[]); 183 PETSC_EXTERN PetscErrorCode DMSetSnapToGeomModel(DM, const char[]); 184 185 /* Periodicity support */ 186 PETSC_EXTERN PetscErrorCode DMGetPeriodicity(DM, const PetscReal *[], const PetscReal *[], const PetscReal *[]); 187 PETSC_EXTERN PetscErrorCode DMSetPeriodicity(DM, const PetscReal[], const PetscReal[], const PetscReal[]); 188 PETSC_EXTERN PetscErrorCode DMLocalizeCoordinate(DM, const PetscScalar[], PetscBool, PetscScalar[]); 189 PETSC_EXTERN PetscErrorCode DMLocalizeCoordinates(DM); 190 PETSC_EXTERN PetscErrorCode DMGetCoordinatesLocalized(DM, PetscBool *); 191 PETSC_EXTERN PetscErrorCode DMGetCoordinatesLocalizedLocal(DM, PetscBool *); 192 PETSC_EXTERN PetscErrorCode DMGetSparseLocalize(DM, PetscBool *); 193 PETSC_EXTERN PetscErrorCode DMSetSparseLocalize(DM, PetscBool); 194 195 /* block hook interface */ 196 PETSC_EXTERN PetscErrorCode DMSubDomainHookAdd(DM, PetscErrorCode (*)(DM, DM, PetscCtx), PetscErrorCode (*)(DM, VecScatter, VecScatter, DM, PetscCtx), PetscCtx); 197 PETSC_EXTERN PetscErrorCode DMSubDomainHookRemove(DM, PetscErrorCode (*)(DM, DM, PetscCtx), PetscErrorCode (*)(DM, VecScatter, VecScatter, DM, PetscCtx), PetscCtx); 198 PETSC_EXTERN PetscErrorCode DMSubDomainRestrict(DM, VecScatter, VecScatter, DM); 199 200 PETSC_EXTERN PetscErrorCode DMSetOptionsPrefix(DM, const char[]); 201 PETSC_EXTERN PetscErrorCode DMAppendOptionsPrefix(DM, const char[]); 202 PETSC_EXTERN PetscErrorCode DMGetOptionsPrefix(DM, const char *[]); 203 PETSC_EXTERN PetscErrorCode DMSetVecType(DM, VecType); 204 PETSC_EXTERN PetscErrorCode DMGetVecType(DM, VecType *); 205 PETSC_EXTERN PetscErrorCode DMSetMatType(DM, MatType); 206 PETSC_EXTERN PetscErrorCode DMGetMatType(DM, MatType *); 207 PETSC_EXTERN PetscErrorCode DMSetISColoringType(DM, ISColoringType); 208 PETSC_EXTERN PetscErrorCode DMGetISColoringType(DM, ISColoringType *); 209 PETSC_EXTERN PetscErrorCode DMSetApplicationContext(DM, PetscCtx); 210 PETSC_EXTERN PetscErrorCode DMSetApplicationContextDestroy(DM, PetscCtxDestroyFn *); 211 PETSC_EXTERN PetscErrorCode DMGetApplicationContext(DM, PetscCtxRt); 212 PETSC_EXTERN PetscErrorCode DMSetVariableBounds(DM, PetscErrorCode (*)(DM, Vec, Vec)); 213 PETSC_EXTERN PetscErrorCode DMHasVariableBounds(DM, PetscBool *); 214 PETSC_EXTERN PetscErrorCode DMHasColoring(DM, PetscBool *); 215 PETSC_EXTERN PetscErrorCode DMHasCreateRestriction(DM, PetscBool *); 216 PETSC_EXTERN PetscErrorCode DMHasCreateInjection(DM, PetscBool *); 217 PETSC_EXTERN PetscErrorCode DMComputeVariableBounds(DM, Vec, Vec); 218 219 PETSC_EXTERN PetscErrorCode DMCreateSubDM(DM, PetscInt, const PetscInt[], IS *, DM *); 220 PETSC_EXTERN PetscErrorCode DMCreateSuperDM(DM[], PetscInt, IS **, DM *); 221 PETSC_EXTERN PetscErrorCode DMCreateSectionSubDM(DM, PetscInt, const PetscInt[], const PetscInt[], const PetscInt[], IS *, DM *); 222 PETSC_EXTERN PetscErrorCode DMCreateSectionSuperDM(DM[], PetscInt, IS *[], DM *); 223 PETSC_EXTERN PetscErrorCode DMCreateFieldDecomposition(DM, PetscInt *, char ***, IS **, DM **); 224 PETSC_EXTERN PetscErrorCode DMCreateDomainDecomposition(DM, PetscInt *, char ***, IS **, IS **, DM **); 225 PETSC_EXTERN PetscErrorCode DMCreateDomainDecompositionScatters(DM, PetscInt, DM *, VecScatter *[], VecScatter *[], VecScatter *[]); 226 227 PETSC_EXTERN PetscErrorCode DMGetRefineLevel(DM, PetscInt *); 228 PETSC_EXTERN PetscErrorCode DMSetRefineLevel(DM, PetscInt); 229 PETSC_EXTERN PetscErrorCode DMGetCoarsenLevel(DM, PetscInt *); 230 PETSC_EXTERN PetscErrorCode DMSetCoarsenLevel(DM, PetscInt); 231 PETSC_EXTERN PetscErrorCode DMFinalizePackage(void); 232 233 PETSC_EXTERN PetscErrorCode VecGetDM(Vec, DM *); 234 PETSC_EXTERN PetscErrorCode VecSetDM(Vec, DM); 235 PETSC_EXTERN PetscErrorCode MatGetDM(Mat, DM *); 236 PETSC_EXTERN PetscErrorCode MatSetDM(Mat, DM); 237 PETSC_EXTERN PetscErrorCode MatFDColoringUseDM(Mat, MatFDColoring); 238 239 typedef struct NLF_DAAD *NLF; 240 241 #define DM_FILE_CLASSID 1211221 242 243 /* FEM support */ 244 PETSC_EXTERN PetscErrorCode DMPrintCellIndices(PetscInt, const char[], PetscInt, const PetscInt[]); 245 PETSC_EXTERN PetscErrorCode DMPrintCellVector(PetscInt, const char[], PetscInt, const PetscScalar[]); 246 PETSC_EXTERN PetscErrorCode DMPrintCellVectorReal(PetscInt, const char[], PetscInt, const PetscReal[]); 247 PETSC_EXTERN PetscErrorCode DMPrintCellMatrix(PetscInt, const char[], PetscInt, PetscInt, const PetscScalar[]); 248 PETSC_EXTERN PetscErrorCode DMPrintLocalVec(DM, const char[], PetscReal, Vec); 249 250 PETSC_EXTERN PetscErrorCode DMSetNullSpaceConstructor(DM, PetscInt, PetscErrorCode (*)(DM, PetscInt, PetscInt, MatNullSpace *)); 251 PETSC_EXTERN PetscErrorCode DMGetNullSpaceConstructor(DM, PetscInt, PetscErrorCode (**)(DM, PetscInt, PetscInt, MatNullSpace *)); 252 PETSC_EXTERN PetscErrorCode DMSetNearNullSpaceConstructor(DM, PetscInt, PetscErrorCode (*)(DM, PetscInt, PetscInt, MatNullSpace *)); 253 PETSC_EXTERN PetscErrorCode DMGetNearNullSpaceConstructor(DM, PetscInt, PetscErrorCode (**)(DM, PetscInt, PetscInt, MatNullSpace *)); 254 255 PETSC_EXTERN PetscErrorCode DMGetLocalSection(DM, PetscSection *); 256 PETSC_EXTERN PetscErrorCode DMSetLocalSection(DM, PetscSection); 257 PETSC_EXTERN PetscErrorCode DMGetGlobalSection(DM, PetscSection *); 258 PETSC_EXTERN PetscErrorCode DMSetGlobalSection(DM, PetscSection); 259 PETSC_EXTERN PetscErrorCode DMCreateSectionPermutation(DM, IS *, PetscBT *); 260 PETSC_EXTERN PetscErrorCode DMReorderSectionGetDefault(DM, DMReorderDefaultFlag *); 261 PETSC_EXTERN PetscErrorCode DMReorderSectionSetDefault(DM, DMReorderDefaultFlag); 262 PETSC_EXTERN PetscErrorCode DMReorderSectionGetType(DM, MatOrderingType *); 263 PETSC_EXTERN PetscErrorCode DMReorderSectionSetType(DM, MatOrderingType); 264 PETSC_EXTERN PetscErrorCode DMUseTensorOrder(DM, PetscBool); 265 static inline PETSC_DEPRECATED_FUNCTION(3, 23, 0, "DMGetLocalSection()", ) PetscErrorCode DMGetSection(DM dm, PetscSection *s) 266 { 267 return DMGetLocalSection(dm, s); 268 } 269 static inline PETSC_DEPRECATED_FUNCTION(3, 23, 0, "DMSetLocalSection()", ) PetscErrorCode DMSetSection(DM dm, PetscSection s) 270 { 271 return DMSetLocalSection(dm, s); 272 } 273 static inline PETSC_DEPRECATED_FUNCTION(3, 9, 0, "DMGetSection()", ) PetscErrorCode DMGetDefaultSection(DM dm, PetscSection *s) 274 { 275 return DMGetLocalSection(dm, s); 276 } 277 static inline PETSC_DEPRECATED_FUNCTION(3, 9, 0, "DMSetSection()", ) PetscErrorCode DMSetDefaultSection(DM dm, PetscSection s) 278 { 279 return DMSetLocalSection(dm, s); 280 } 281 static inline PETSC_DEPRECATED_FUNCTION(3, 9, 0, "DMGetGlobalSection()", ) PetscErrorCode DMGetDefaultGlobalSection(DM dm, PetscSection *s) 282 { 283 return DMGetGlobalSection(dm, s); 284 } 285 static inline PETSC_DEPRECATED_FUNCTION(3, 9, 0, "DMSetGlobalSection()", ) PetscErrorCode DMSetDefaultGlobalSection(DM dm, PetscSection s) 286 { 287 return DMSetGlobalSection(dm, s); 288 } 289 290 PETSC_EXTERN PetscErrorCode DMGetSectionSF(DM, PetscSF *); 291 PETSC_EXTERN PetscErrorCode DMSetSectionSF(DM, PetscSF); 292 PETSC_EXTERN PetscErrorCode DMCreateSectionSF(DM, PetscSection, PetscSection); 293 static inline PETSC_DEPRECATED_FUNCTION(3, 12, 0, "DMGetSectionSF()", ) PetscErrorCode DMGetDefaultSF(DM dm, PetscSF *s) 294 { 295 return DMGetSectionSF(dm, s); 296 } 297 static inline PETSC_DEPRECATED_FUNCTION(3, 12, 0, "DMSetSectionSF()", ) PetscErrorCode DMSetDefaultSF(DM dm, PetscSF s) 298 { 299 return DMSetSectionSF(dm, s); 300 } 301 static inline PETSC_DEPRECATED_FUNCTION(3, 12, 0, "DMCreateSectionSF()", ) PetscErrorCode DMCreateDefaultSF(DM dm, PetscSection l, PetscSection g) 302 { 303 return DMCreateSectionSF(dm, l, g); 304 } 305 PETSC_EXTERN PetscErrorCode DMGetPointSF(DM, PetscSF *); 306 PETSC_EXTERN PetscErrorCode DMSetPointSF(DM, PetscSF); 307 PETSC_EXTERN PetscErrorCode DMGetNaturalSF(DM, PetscSF *); 308 PETSC_EXTERN PetscErrorCode DMSetNaturalSF(DM, PetscSF); 309 310 PETSC_EXTERN PetscErrorCode DMGetDefaultConstraints(DM, PetscSection *, Mat *, Vec *); 311 PETSC_EXTERN PetscErrorCode DMSetDefaultConstraints(DM, PetscSection, Mat, Vec); 312 313 PETSC_EXTERN PetscErrorCode DMGetOutputDM(DM, DM *); 314 PETSC_EXTERN PetscErrorCode DMGetOutputSequenceNumber(DM, PetscInt *, PetscReal *); 315 PETSC_EXTERN PetscErrorCode DMSetOutputSequenceNumber(DM, PetscInt, PetscReal); 316 PETSC_EXTERN PetscErrorCode DMOutputSequenceLoad(DM, PetscViewer, const char[], PetscInt, PetscReal *); 317 PETSC_EXTERN PetscErrorCode DMGetOutputSequenceLength(DM, PetscViewer, const char[], PetscInt *); 318 319 PETSC_EXTERN PetscErrorCode DMGetNumFields(DM, PetscInt *); 320 PETSC_EXTERN PetscErrorCode DMSetNumFields(DM, PetscInt); 321 PETSC_EXTERN PetscErrorCode DMGetField(DM, PetscInt, DMLabel *, PetscObject *); 322 PETSC_EXTERN PetscErrorCode DMSetField(DM, PetscInt, DMLabel, PetscObject); 323 PETSC_EXTERN PetscErrorCode DMAddField(DM, DMLabel, PetscObject); 324 PETSC_EXTERN PetscErrorCode DMSetFieldAvoidTensor(DM, PetscInt, PetscBool); 325 PETSC_EXTERN PetscErrorCode DMGetFieldAvoidTensor(DM, PetscInt, PetscBool *); 326 PETSC_EXTERN PetscErrorCode DMClearFields(DM); 327 PETSC_EXTERN PetscErrorCode DMCopyFields(DM, PetscInt, PetscInt, DM); 328 PETSC_EXTERN PetscErrorCode DMGetAdjacency(DM, PetscInt, PetscBool *, PetscBool *); 329 PETSC_EXTERN PetscErrorCode DMSetAdjacency(DM, PetscInt, PetscBool, PetscBool); 330 PETSC_EXTERN PetscErrorCode DMGetBasicAdjacency(DM, PetscBool *, PetscBool *); 331 PETSC_EXTERN PetscErrorCode DMSetBasicAdjacency(DM, PetscBool, PetscBool); 332 333 PETSC_EXTERN PetscErrorCode DMGetNumDS(DM, PetscInt *); 334 PETSC_EXTERN PetscErrorCode DMGetDS(DM, PetscDS *); 335 PETSC_EXTERN PetscErrorCode DMGetCellDS(DM, PetscInt, PetscDS *, PetscDS *); 336 PETSC_EXTERN PetscErrorCode DMGetRegionDS(DM, DMLabel, IS *, PetscDS *, PetscDS *); 337 PETSC_EXTERN PetscErrorCode DMSetRegionDS(DM, DMLabel, IS, PetscDS, PetscDS); 338 PETSC_EXTERN PetscErrorCode DMGetRegionNumDS(DM, PetscInt, DMLabel *, IS *, PetscDS *, PetscDS *); 339 PETSC_EXTERN PetscErrorCode DMSetRegionNumDS(DM, PetscInt, DMLabel, IS, PetscDS, PetscDS); 340 PETSC_EXTERN PetscErrorCode DMFindRegionNum(DM, PetscDS, PetscInt *); 341 PETSC_EXTERN PetscErrorCode DMCreateFEDefault(DM, PetscInt, const char[], PetscInt, PetscFE *); 342 PETSC_EXTERN PetscErrorCode DMCreateDS(DM); 343 PETSC_EXTERN PetscErrorCode DMClearDS(DM); 344 PETSC_EXTERN PetscErrorCode DMCopyDS(DM, PetscInt, PetscInt, DM); 345 PETSC_EXTERN PetscErrorCode DMCopyDisc(DM, DM); 346 PETSC_EXTERN PetscErrorCode DMComputeExactSolution(DM, PetscReal, Vec, Vec); 347 PETSC_EXTERN PetscErrorCode DMGetNumAuxiliaryVec(DM, PetscInt *); 348 PETSC_EXTERN PetscErrorCode DMGetAuxiliaryVec(DM, DMLabel, PetscInt, PetscInt, Vec *); 349 PETSC_EXTERN PetscErrorCode DMSetAuxiliaryVec(DM, DMLabel, PetscInt, PetscInt, Vec); 350 PETSC_EXTERN PetscErrorCode DMGetAuxiliaryLabels(DM, DMLabel[], PetscInt[], PetscInt[]); 351 PETSC_EXTERN PetscErrorCode DMCopyAuxiliaryVec(DM, DM); 352 PETSC_EXTERN PetscErrorCode DMClearAuxiliaryVec(DM); 353 354 /*MC 355 DMInterpolationInfo - Pointer to a structure for holding information about interpolation on a mesh 356 357 Synopsis: 358 comm - The communicator 359 dim - The spatial dimension of points 360 nInput - The number of input points 361 points[] - The input point coordinates 362 cells[] - The cell containing each point 363 n - The number of local points 364 coords - The point coordinates 365 dof - The number of components to interpolate 366 367 Level: intermediate 368 369 .seealso: [](ch_dmbase), `DM`, `DMInterpolationCreate()`, `DMInterpolationEvaluate()`, `DMInterpolationAddPoints()` 370 M*/ 371 struct _n_DMInterpolationInfo { 372 MPI_Comm comm; 373 PetscInt dim; /* The spatial dimension of points */ 374 PetscInt nInput; /* The number of input points */ 375 PetscReal *points; /* The input point coordinates */ 376 PetscInt *cells; /* The cell containing each point */ 377 PetscInt n; /* The number of local points */ 378 Vec coords; /* The point coordinates */ 379 PetscInt dof; /* The number of components to interpolate */ 380 }; 381 typedef struct _n_DMInterpolationInfo *DMInterpolationInfo; 382 383 PETSC_EXTERN PetscErrorCode DMInterpolationCreate(MPI_Comm, DMInterpolationInfo *); 384 PETSC_EXTERN PetscErrorCode DMInterpolationSetDim(DMInterpolationInfo, PetscInt); 385 PETSC_EXTERN PetscErrorCode DMInterpolationGetDim(DMInterpolationInfo, PetscInt *); 386 PETSC_EXTERN PetscErrorCode DMInterpolationSetDof(DMInterpolationInfo, PetscInt); 387 PETSC_EXTERN PetscErrorCode DMInterpolationGetDof(DMInterpolationInfo, PetscInt *); 388 PETSC_EXTERN PetscErrorCode DMInterpolationAddPoints(DMInterpolationInfo, PetscInt, PetscReal[]); 389 PETSC_EXTERN PetscErrorCode DMInterpolationSetUp(DMInterpolationInfo, DM, PetscBool, PetscBool); 390 PETSC_EXTERN PetscErrorCode DMInterpolationGetCoordinates(DMInterpolationInfo, Vec *); 391 PETSC_EXTERN PetscErrorCode DMInterpolationGetVector(DMInterpolationInfo, Vec *); 392 PETSC_EXTERN PetscErrorCode DMInterpolationRestoreVector(DMInterpolationInfo, Vec *); 393 PETSC_EXTERN PetscErrorCode DMInterpolationEvaluate(DMInterpolationInfo, DM, Vec, Vec); 394 PETSC_EXTERN PetscErrorCode DMInterpolationDestroy(DMInterpolationInfo *); 395 396 PETSC_EXTERN PetscErrorCode DMCreateLabel(DM, const char[]); 397 PETSC_EXTERN PetscErrorCode DMCreateLabelAtIndex(DM, PetscInt, const char[]); 398 PETSC_EXTERN PetscErrorCode DMGetLabelValue(DM, const char[], PetscInt, PetscInt *); 399 PETSC_EXTERN PetscErrorCode DMSetLabelValue(DM, const char[], PetscInt, PetscInt); 400 PETSC_EXTERN PetscErrorCode DMClearLabelValue(DM, const char[], PetscInt, PetscInt); 401 PETSC_EXTERN PetscErrorCode DMGetLabelSize(DM, const char[], PetscInt *); 402 PETSC_EXTERN PetscErrorCode DMGetLabelIdIS(DM, const char[], IS *); 403 PETSC_EXTERN PetscErrorCode DMGetStratumSize(DM, const char[], PetscInt, PetscInt *); 404 PETSC_EXTERN PetscErrorCode DMGetStratumIS(DM, const char[], PetscInt, IS *); 405 PETSC_EXTERN PetscErrorCode DMSetStratumIS(DM, const char[], PetscInt, IS); 406 PETSC_EXTERN PetscErrorCode DMClearLabelStratum(DM, const char[], PetscInt); 407 PETSC_EXTERN PetscErrorCode DMGetLabelOutput(DM, const char[], PetscBool *); 408 PETSC_EXTERN PetscErrorCode DMSetLabelOutput(DM, const char[], PetscBool); 409 PETSC_EXTERN PetscErrorCode DMGetFirstLabeledPoint(DM, DM, DMLabel, PetscInt, const PetscInt *, PetscInt, PetscInt *, PetscDS *); 410 411 /*E 412 DMCopyLabelsMode - Determines how `DMCopyLabels()` behaves when there is a `DMLabel` in the source and destination `DM`s with the same name 413 414 Values: 415 + `DM_COPY_LABELS_REPLACE` - replace label in destination by label from source 416 . `DM_COPY_LABELS_KEEP` - keep destination label 417 - `DM_COPY_LABELS_FAIL` - generate an error 418 419 Level: advanced 420 421 .seealso: [](ch_dmbase), `DMLabel`, `DM`, `DMCompareLabels()`, `DMRemoveLabel()` 422 E*/ 423 typedef enum { 424 DM_COPY_LABELS_REPLACE, 425 DM_COPY_LABELS_KEEP, 426 DM_COPY_LABELS_FAIL 427 } DMCopyLabelsMode; 428 PETSC_EXTERN const char *const DMCopyLabelsModes[]; 429 430 PETSC_EXTERN PetscErrorCode DMGetNumLabels(DM, PetscInt *); 431 PETSC_EXTERN PetscErrorCode DMGetLabelName(DM, PetscInt, const char *[]); 432 PETSC_EXTERN PetscErrorCode DMHasLabel(DM, const char[], PetscBool *); 433 PETSC_EXTERN PetscErrorCode DMGetLabel(DM, const char *, DMLabel *); 434 PETSC_EXTERN PetscErrorCode DMSetLabel(DM, DMLabel); 435 PETSC_EXTERN PetscErrorCode DMGetLabelByNum(DM, PetscInt, DMLabel *); 436 PETSC_EXTERN PetscErrorCode DMAddLabel(DM, DMLabel); 437 PETSC_EXTERN PetscErrorCode DMRemoveLabel(DM, const char[], DMLabel *); 438 PETSC_EXTERN PetscErrorCode DMRemoveLabelBySelf(DM, DMLabel *, PetscBool); 439 PETSC_EXTERN PetscErrorCode DMCopyLabels(DM, DM, PetscCopyMode, PetscBool, DMCopyLabelsMode); 440 PETSC_EXTERN PetscErrorCode DMCompareLabels(DM, DM, PetscBool *, char *[]); 441 442 PETSC_EXTERN PetscErrorCode DMAddBoundary(DM, DMBoundaryConditionType, const char[], DMLabel, PetscInt, const PetscInt[], PetscInt, PetscInt, const PetscInt[], PetscVoidFn *, PetscVoidFn *, void *, PetscInt *); 443 PETSC_EXTERN PetscErrorCode DMIsBoundaryPoint(DM, PetscInt, PetscBool *); 444 PETSC_EXTERN PetscErrorCode DMHasBound(DM, PetscBool *); 445 446 PETSC_EXTERN PetscErrorCode DMProjectFunction(DM, PetscReal, PetscErrorCode (**)(PetscInt, PetscReal, const PetscReal[], PetscInt, PetscScalar *, void *), void **, InsertMode, Vec); 447 PETSC_EXTERN PetscErrorCode DMProjectFunctionLocal(DM, PetscReal, PetscErrorCode (**)(PetscInt, PetscReal, const PetscReal[], PetscInt, PetscScalar *, void *), void **, InsertMode, Vec); 448 PETSC_EXTERN PetscErrorCode DMProjectFunctionLabel(DM, PetscReal, DMLabel, PetscInt, const PetscInt[], PetscInt, const PetscInt[], PetscErrorCode (**)(PetscInt, PetscReal, const PetscReal[], PetscInt, PetscScalar *, void *), void **, InsertMode, Vec); 449 PETSC_EXTERN PetscErrorCode DMProjectFunctionLabelLocal(DM, PetscReal, DMLabel, PetscInt, const PetscInt[], PetscInt, const PetscInt[], PetscErrorCode (**)(PetscInt, PetscReal, const PetscReal[], PetscInt, PetscScalar *, void *), void **, InsertMode, Vec); 450 PETSC_EXTERN PetscErrorCode DMProjectFieldLocal(DM, PetscReal, Vec, void (**)(PetscInt, PetscInt, PetscInt, const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[], const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[], PetscReal, const PetscReal[], PetscInt, const PetscScalar[], PetscScalar[]), InsertMode, Vec); 451 PETSC_EXTERN PetscErrorCode DMProjectFieldLabel(DM, PetscReal, DMLabel, PetscInt, const PetscInt[], PetscInt, const PetscInt[], Vec, void (**)(PetscInt, PetscInt, PetscInt, const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[], const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[], PetscReal, const PetscReal[], PetscInt, const PetscScalar[], PetscScalar[]), InsertMode, Vec); 452 PETSC_EXTERN PetscErrorCode DMProjectFieldLabelLocal(DM, PetscReal, DMLabel, PetscInt, const PetscInt[], PetscInt, const PetscInt[], Vec, void (**)(PetscInt, PetscInt, PetscInt, const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[], const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[], PetscReal, const PetscReal[], PetscInt, const PetscScalar[], PetscScalar[]), InsertMode, Vec); 453 PETSC_EXTERN PetscErrorCode DMProjectBdFieldLabelLocal(DM, PetscReal, DMLabel, PetscInt, const PetscInt[], PetscInt, const PetscInt[], Vec, void (**)(PetscInt, PetscInt, PetscInt, const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[], const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[], PetscReal, const PetscReal[], const PetscReal[], PetscInt, const PetscScalar[], PetscScalar[]), InsertMode, Vec); 454 PETSC_EXTERN PetscErrorCode DMComputeL2Diff(DM, PetscReal, PetscErrorCode (**)(PetscInt, PetscReal, const PetscReal[], PetscInt, PetscScalar *, void *), void **, Vec, PetscReal *); 455 PETSC_EXTERN PetscErrorCode DMComputeL2GradientDiff(DM, PetscReal, PetscErrorCode (**)(PetscInt, PetscReal, const PetscReal[], const PetscReal[], PetscInt, PetscScalar *, void *), void **, Vec, const PetscReal[], PetscReal *); 456 PETSC_EXTERN PetscErrorCode DMComputeL2FieldDiff(DM, PetscReal, PetscErrorCode (**)(PetscInt, PetscReal, const PetscReal[], PetscInt, PetscScalar *, void *), void **, Vec, PetscReal *); 457 PETSC_EXTERN PetscErrorCode DMComputeError(DM, Vec, PetscReal[], Vec *); 458 PETSC_EXTERN PetscErrorCode DMHasBasisTransform(DM, PetscBool *); 459 PETSC_EXTERN PetscErrorCode DMCopyTransform(DM, DM); 460 461 PETSC_EXTERN PetscErrorCode DMGetCompatibility(DM, DM, PetscBool *, PetscBool *); 462 463 PETSC_EXTERN PetscErrorCode DMMonitorSet(DM, PetscErrorCode (*)(DM, PetscCtx), PetscCtx, PetscCtxDestroyFn *); 464 PETSC_EXTERN PetscErrorCode DMMonitorCancel(DM); 465 PETSC_EXTERN PetscErrorCode DMMonitorSetFromOptions(DM, const char[], const char[], const char[], PetscErrorCode (*)(DM, PetscCtx), PetscErrorCode (*)(DM, PetscViewerAndFormat *), PetscBool *); 466 PETSC_EXTERN PetscErrorCode DMMonitor(DM); 467 468 static inline PetscBool DMPolytopeTypeIsHybrid(DMPolytopeType ct) 469 { 470 switch (ct) { 471 case DM_POLYTOPE_POINT_PRISM_TENSOR: 472 case DM_POLYTOPE_SEG_PRISM_TENSOR: 473 case DM_POLYTOPE_TRI_PRISM_TENSOR: 474 case DM_POLYTOPE_QUAD_PRISM_TENSOR: 475 return PETSC_TRUE; 476 default: 477 return PETSC_FALSE; 478 } 479 } 480 481 static inline PetscInt DMPolytopeTypeGetDim(DMPolytopeType ct) 482 { 483 switch (ct) { 484 case DM_POLYTOPE_POINT: 485 return 0; 486 case DM_POLYTOPE_SEGMENT: 487 case DM_POLYTOPE_POINT_PRISM_TENSOR: 488 return 1; 489 case DM_POLYTOPE_TRIANGLE: 490 case DM_POLYTOPE_QUADRILATERAL: 491 case DM_POLYTOPE_SEG_PRISM_TENSOR: 492 case DM_POLYTOPE_UNKNOWN_FACE: 493 return 2; 494 case DM_POLYTOPE_TETRAHEDRON: 495 case DM_POLYTOPE_HEXAHEDRON: 496 case DM_POLYTOPE_TRI_PRISM: 497 case DM_POLYTOPE_TRI_PRISM_TENSOR: 498 case DM_POLYTOPE_QUAD_PRISM_TENSOR: 499 case DM_POLYTOPE_PYRAMID: 500 case DM_POLYTOPE_UNKNOWN_CELL: 501 return 3; 502 default: 503 return -1; 504 } 505 } 506 507 static inline PetscInt DMPolytopeTypeGetConeSize(DMPolytopeType ct) 508 { 509 switch (ct) { 510 case DM_POLYTOPE_POINT: 511 return 0; 512 case DM_POLYTOPE_SEGMENT: 513 return 2; 514 case DM_POLYTOPE_POINT_PRISM_TENSOR: 515 return 2; 516 case DM_POLYTOPE_TRIANGLE: 517 return 3; 518 case DM_POLYTOPE_QUADRILATERAL: 519 return 4; 520 case DM_POLYTOPE_SEG_PRISM_TENSOR: 521 return 4; 522 case DM_POLYTOPE_TETRAHEDRON: 523 return 4; 524 case DM_POLYTOPE_HEXAHEDRON: 525 return 6; 526 case DM_POLYTOPE_TRI_PRISM: 527 return 5; 528 case DM_POLYTOPE_TRI_PRISM_TENSOR: 529 return 5; 530 case DM_POLYTOPE_QUAD_PRISM_TENSOR: 531 return 6; 532 case DM_POLYTOPE_PYRAMID: 533 return 5; 534 default: 535 return -1; 536 } 537 } 538 539 static inline PetscInt DMPolytopeTypeGetNumVertices(DMPolytopeType ct) 540 { 541 switch (ct) { 542 case DM_POLYTOPE_POINT: 543 return 1; 544 case DM_POLYTOPE_SEGMENT: 545 return 2; 546 case DM_POLYTOPE_POINT_PRISM_TENSOR: 547 return 2; 548 case DM_POLYTOPE_TRIANGLE: 549 return 3; 550 case DM_POLYTOPE_QUADRILATERAL: 551 return 4; 552 case DM_POLYTOPE_SEG_PRISM_TENSOR: 553 return 4; 554 case DM_POLYTOPE_TETRAHEDRON: 555 return 4; 556 case DM_POLYTOPE_HEXAHEDRON: 557 return 8; 558 case DM_POLYTOPE_TRI_PRISM: 559 return 6; 560 case DM_POLYTOPE_TRI_PRISM_TENSOR: 561 return 6; 562 case DM_POLYTOPE_QUAD_PRISM_TENSOR: 563 return 8; 564 case DM_POLYTOPE_PYRAMID: 565 return 5; 566 default: 567 return -1; 568 } 569 } 570 571 static inline DMPolytopeType DMPolytopeTypeSimpleShape(PetscInt dim, PetscBool simplex) 572 { 573 return dim == 0 ? DM_POLYTOPE_POINT : (dim == 1 ? DM_POLYTOPE_SEGMENT : (dim == 2 ? (simplex ? DM_POLYTOPE_TRIANGLE : DM_POLYTOPE_QUADRILATERAL) : (dim == 3 ? (simplex ? DM_POLYTOPE_TETRAHEDRON : DM_POLYTOPE_HEXAHEDRON) : DM_POLYTOPE_UNKNOWN))); 574 } 575 576 static inline PetscInt DMPolytopeTypeGetNumArrangements(DMPolytopeType ct) 577 { 578 switch (ct) { 579 case DM_POLYTOPE_POINT: 580 return 1; 581 case DM_POLYTOPE_SEGMENT: 582 return 2; 583 case DM_POLYTOPE_POINT_PRISM_TENSOR: 584 return 2; 585 case DM_POLYTOPE_TRIANGLE: 586 return 6; 587 case DM_POLYTOPE_QUADRILATERAL: 588 return 8; 589 case DM_POLYTOPE_SEG_PRISM_TENSOR: 590 return 4; 591 case DM_POLYTOPE_TETRAHEDRON: 592 return 24; 593 case DM_POLYTOPE_HEXAHEDRON: 594 return 48; 595 case DM_POLYTOPE_TRI_PRISM: 596 return 12; 597 case DM_POLYTOPE_TRI_PRISM_TENSOR: 598 return 12; 599 case DM_POLYTOPE_QUAD_PRISM_TENSOR: 600 return 16; 601 case DM_POLYTOPE_PYRAMID: 602 return 8; 603 default: 604 return -1; 605 } 606 } 607 608 /* An arrangement is a face order combined with an orientation for each face */ 609 static inline const PetscInt *DMPolytopeTypeGetArrangement(DMPolytopeType ct, PetscInt o) 610 { 611 static const PetscInt pntArr[1 * 2] = {0, 0}; 612 /* a: swap */ 613 static const PetscInt segArr[2 * 2 * 2] = {1, 0, 0, 0, /* -1: a */ 614 0, 0, 1, 0, 615 /* 0: e */}; 616 /* a: swap first two 617 b: swap last two */ 618 static const PetscInt triArr[6 * 3 * 2] = {0, -1, 2, -1, 1, -1, /* -3: b */ 619 2, -1, 1, -1, 0, -1, /* -2: aba */ 620 1, -1, 0, -1, 2, -1, /* -1: a */ 621 0, 0, 1, 0, 2, 0, /* 0: identity */ 622 1, 0, 2, 0, 0, 0, /* 1: ba */ 623 2, 0, 0, 0, 1, 0, 624 /* 2: ab */}; 625 /* a: forward cyclic permutation 626 b: swap first and last pairs */ 627 static const PetscInt quadArr[8 * 4 * 2] = {1, -1, 0, -1, 3, -1, 2, -1, /* -4: b */ 628 0, -1, 3, -1, 2, -1, 1, -1, /* -3: b a^3 = a b */ 629 3, -1, 2, -1, 1, -1, 0, -1, /* -2: b a^2 = a^2 b */ 630 2, -1, 1, -1, 0, -1, 3, -1, /* -1: b a = a^3 b */ 631 0, 0, 1, 0, 2, 0, 3, 0, /* 0: identity */ 632 1, 0, 2, 0, 3, 0, 0, 0, /* 1: a */ 633 2, 0, 3, 0, 0, 0, 1, 0, /* 2: a^2 */ 634 3, 0, 0, 0, 1, 0, 2, 0, 635 /* 3: a^3 */}; 636 /* r: rotate 180 637 b: swap top and bottom segments */ 638 static const PetscInt tsegArr[4 * 4 * 2] = {1, -1, 0, -1, 3, -1, 2, -1, /* -2: r b */ 639 0, -1, 1, -1, 3, 0, 2, 0, /* -1: r */ 640 0, 0, 1, 0, 2, 0, 3, 0, /* 0: identity */ 641 1, 0, 0, 0, 2, -1, 3, -1, 642 /* 1: b */}; 643 /* https://en.wikiversity.org/wiki/Symmetric_group_S4 */ 644 static const PetscInt tetArr[24 * 4 * 2] = {3, -2, 2, -3, 0, -1, 1, -1, /* -12: (1324) p22 */ 645 3, -1, 1, -3, 2, -1, 0, -1, /* -11: (14) p21 */ 646 3, -3, 0, -3, 1, -1, 2, -1, /* -10: (1234) p18 */ 647 2, -1, 3, -1, 1, -3, 0, -2, /* -9: (1423) p17 */ 648 2, -3, 0, -1, 3, -2, 1, -3, /* -8: (1342) p13 */ 649 2, -2, 1, -2, 0, -2, 3, -2, /* -7: (24) p14 */ 650 1, -2, 0, -2, 2, -2, 3, -1, /* -6: (34) p6 */ 651 1, -1, 3, -3, 0, -3, 2, -2, /* -5: (1243) p10 */ 652 1, -3, 2, -1, 3, -1, 0, -3, /* -4: (1432) p9 */ 653 0, -3, 1, -1, 3, -3, 2, -3, /* -3: (12) p1 */ 654 0, -2, 2, -2, 1, -2, 3, -3, /* -2: (23) p2 */ 655 0, -1, 3, -2, 2, -3, 1, -2, /* -1: (13) p5 */ 656 0, 0, 1, 0, 2, 0, 3, 0, /* 0: () p0 */ 657 0, 1, 3, 1, 1, 2, 2, 0, /* 1: (123) p4 */ 658 0, 2, 2, 1, 3, 0, 1, 2, /* 2: (132) p3 */ 659 1, 2, 0, 1, 3, 1, 2, 2, /* 3: (12)(34) p7 */ 660 1, 0, 2, 0, 0, 0, 3, 1, /* 4: (243) p8 */ 661 1, 1, 3, 2, 2, 2, 0, 0, /* 5: (143) p11 */ 662 2, 1, 3, 0, 0, 2, 1, 0, /* 6: (13)(24) p16 */ 663 2, 2, 1, 1, 3, 2, 0, 2, /* 7: (142) p15 */ 664 2, 0, 0, 0, 1, 0, 3, 2, /* 8: (234) p12 */ 665 3, 2, 2, 2, 1, 1, 0, 1, /* 9: (14)(23) p23 */ 666 3, 0, 0, 2, 2, 1, 1, 1, /* 10: (134) p19 */ 667 3, 1, 1, 2, 0, 1, 2, 1 /* 11: (124) p20 */}; 668 /* Each rotation determines a permutation of the four diagonals, and this defines the isomorphism with S_4 */ 669 static const PetscInt hexArr[48 * 6 * 2] = { 670 2, -3, 3, -2, 4, -2, 5, -3, 1, -3, 0, -1, /* -24: reflect bottom and use -3 on top */ 671 4, -2, 5, -2, 0, -1, 1, -4, 3, -2, 2, -3, /* -23: reflect bottom and use -3 on top */ 672 5, -3, 4, -1, 1, -2, 0, -3, 3, -4, 2, -1, /* -22: reflect bottom and use -3 on top */ 673 3, -1, 2, -4, 4, -4, 5, -1, 0, -4, 1, -4, /* -21: reflect bottom and use -3 on top */ 674 3, -3, 2, -2, 5, -1, 4, -4, 1, -1, 0, -3, /* -20: reflect bottom and use -3 on top */ 675 4, -4, 5, -4, 1, -4, 0, -1, 2, -4, 3, -1, /* -19: reflect bottom and use -3 on top */ 676 2, -1, 3, -4, 5, -3, 4, -2, 0, -2, 1, -2, /* -18: reflect bottom and use -3 on top */ 677 5, -1, 4, -3, 0, -3, 1, -2, 2, -2, 3, -3, /* -17: reflect bottom and use -3 on top */ 678 4, -3, 5, -1, 3, -2, 2, -4, 1, -4, 0, -4, /* -16: reflect bottom and use -3 on top */ 679 5, -4, 4, -4, 3, -4, 2, -2, 0, -3, 1, -1, /* -15: reflect bottom and use -3 on top */ 680 3, -4, 2, -1, 1, -1, 0, -4, 4, -4, 5, -4, /* -14: reflect bottom and use -3 on top */ 681 2, -2, 3, -3, 0, -2, 1, -3, 4, -2, 5, -2, /* -13: reflect bottom and use -3 on top */ 682 1, -3, 0, -1, 4, -1, 5, -4, 3, -1, 2, -4, /* -12: reflect bottom and use -3 on top */ 683 1, -1, 0, -3, 5, -4, 4, -1, 2, -1, 3, -4, /* -11: reflect bottom and use -3 on top */ 684 5, -2, 4, -2, 2, -2, 3, -4, 1, -2, 0, -2, /* -10: reflect bottom and use -3 on top */ 685 1, -2, 0, -2, 2, -1, 3, -1, 4, -1, 5, -3, /* -9: reflect bottom and use -3 on top */ 686 4, -1, 5, -3, 2, -4, 3, -2, 0, -1, 1, -3, /* -8: reflect bottom and use -3 on top */ 687 3, -2, 2, -3, 0, -4, 1, -1, 5, -1, 4, -3, /* -7: reflect bottom and use -3 on top */ 688 1, -4, 0, -4, 3, -1, 2, -1, 5, -4, 4, -4, /* -6: reflect bottom and use -3 on top */ 689 2, -4, 3, -1, 1, -3, 0, -2, 5, -3, 4, -1, /* -5: reflect bottom and use -3 on top */ 690 0, -4, 1, -4, 4, -3, 5, -2, 2, -3, 3, -2, /* -4: reflect bottom and use -3 on top */ 691 0, -3, 1, -1, 3, -3, 2, -3, 4, -3, 5, -1, /* -3: reflect bottom and use -3 on top */ 692 0, -2, 1, -2, 5, -2, 4, -3, 3, -3, 2, -2, /* -2: reflect bottom and use -3 on top */ 693 0, -1, 1, -3, 2, -3, 3, -3, 5, -2, 4, -2, /* -1: reflect bottom and use -3 on top */ 694 0, 0, 1, 0, 2, 0, 3, 0, 4, 0, 5, 0, /* 0: identity */ 695 0, 1, 1, 3, 5, 3, 4, 0, 2, 0, 3, 1, /* 1: 90 rotation about z */ 696 0, 2, 1, 2, 3, 0, 2, 0, 5, 3, 4, 1, /* 2: 180 rotation about z */ 697 0, 3, 1, 1, 4, 0, 5, 3, 3, 0, 2, 1, /* 3: 270 rotation about z */ 698 2, 3, 3, 2, 1, 0, 0, 3, 4, 3, 5, 1, /* 4: 90 rotation about x */ 699 1, 3, 0, 1, 3, 2, 2, 2, 4, 2, 5, 2, /* 5: 180 rotation about x */ 700 3, 1, 2, 0, 0, 1, 1, 2, 4, 1, 5, 3, /* 6: 270 rotation about x */ 701 4, 0, 5, 0, 2, 1, 3, 3, 1, 1, 0, 3, /* 7: 90 rotation about y */ 702 1, 1, 0, 3, 2, 2, 3, 2, 5, 1, 4, 3, /* 8: 180 rotation about y */ 703 5, 1, 4, 3, 2, 3, 3, 1, 0, 0, 1, 0, /* 9: 270 rotation about y */ 704 1, 0, 0, 0, 5, 1, 4, 2, 3, 2, 2, 3, /* 10: 180 rotation about x+y */ 705 1, 2, 0, 2, 4, 2, 5, 1, 2, 2, 3, 3, /* 11: 180 rotation about x-y */ 706 2, 1, 3, 0, 0, 3, 1, 0, 5, 0, 4, 0, /* 12: 180 rotation about y+z */ 707 3, 3, 2, 2, 1, 2, 0, 1, 5, 2, 4, 2, /* 13: 180 rotation about y-z */ 708 5, 3, 4, 1, 3, 1, 2, 3, 1, 3, 0, 1, /* 14: 180 rotation about z+x */ 709 4, 2, 5, 2, 3, 3, 2, 1, 0, 2, 1, 2, /* 15: 180 rotation about z-x */ 710 5, 0, 4, 0, 0, 0, 1, 3, 3, 1, 2, 0, /* 16: 120 rotation about x+y+z (v0v6) */ 711 2, 0, 3, 1, 5, 0, 4, 3, 1, 0, 0, 0, /* 17: 240 rotation about x+y+z (v0v6) */ 712 4, 3, 5, 1, 1, 1, 0, 2, 3, 3, 2, 2, /* 18: 120 rotation about x+y-z (v4v2) */ 713 3, 2, 2, 3, 5, 2, 4, 1, 0, 1, 1, 3, /* 19: 240 rotation about x+y-z (v4v2) */ 714 3, 0, 2, 1, 4, 1, 5, 2, 1, 2, 0, 2, /* 20: 120 rotation about x-y+z (v1v5) */ 715 5, 2, 4, 2, 1, 3, 0, 0, 2, 3, 3, 2, /* 21: 240 rotation about x-y+z (v1v5) */ 716 4, 1, 5, 3, 0, 2, 1, 1, 2, 1, 3, 0, /* 22: 120 rotation about x-y-z (v7v3) */ 717 2, 2, 3, 3, 4, 3, 5, 0, 0, 3, 1, 1, /* 23: 240 rotation about x-y-z (v7v3) */ 718 }; 719 static const PetscInt tripArr[12 * 5 * 2] = { 720 1, -3, 0, -1, 3, -1, 4, -1, 2, -1, /* -6: reflect bottom and top */ 721 1, -1, 0, -3, 4, -1, 2, -1, 3, -1, /* -5: reflect bottom and top */ 722 1, -2, 0, -2, 2, -1, 3, -1, 4, -1, /* -4: reflect bottom and top */ 723 0, -3, 1, -1, 3, -3, 2, -3, 4, -3, /* -3: reflect bottom and top */ 724 0, -2, 1, -2, 4, -3, 3, -3, 2, -3, /* -2: reflect bottom and top */ 725 0, -1, 1, -3, 2, -3, 4, -3, 3, -3, /* -1: reflect bottom and top */ 726 0, 0, 1, 0, 2, 0, 3, 0, 4, 0, /* 0: identity */ 727 0, 1, 1, 2, 4, 0, 2, 0, 3, 0, /* 1: 120 rotation about z */ 728 0, 2, 1, 1, 3, 0, 4, 0, 2, 0, /* 2: 240 rotation about z */ 729 1, 1, 0, 2, 2, 2, 4, 2, 3, 2, /* 3: 180 rotation about y of 0 */ 730 1, 0, 0, 0, 4, 2, 3, 2, 2, 2, /* 4: 180 rotation about y of 1 */ 731 1, 2, 0, 1, 3, 2, 2, 2, 4, 2, /* 5: 180 rotation about y of 2 */ 732 }; 733 /* a: rotate 120 about z 734 b: swap top and bottom segments 735 r: reflect */ 736 static const PetscInt ttriArr[12 * 5 * 2] = { 737 1, -3, 0, -3, 2, -2, 4, -2, 3, -2, /* -6: r b a^2 */ 738 1, -2, 0, -2, 4, -2, 3, -2, 2, -2, /* -5: r b a */ 739 1, -1, 0, -1, 3, -2, 2, -2, 4, -2, /* -4: r b */ 740 0, -3, 1, -3, 2, -1, 4, -1, 3, -1, /* -3: r a^2 */ 741 0, -2, 1, -2, 4, -1, 3, -1, 2, -1, /* -2: r a */ 742 0, -1, 1, -1, 3, -1, 2, -1, 4, -1, /* -1: r */ 743 0, 0, 1, 0, 2, 0, 3, 0, 4, 0, /* 0: identity */ 744 0, 1, 1, 1, 3, 0, 4, 0, 2, 0, /* 1: a */ 745 0, 2, 1, 2, 4, 0, 2, 0, 3, 0, /* 2: a^2 */ 746 1, 0, 0, 0, 2, 1, 3, 1, 4, 1, /* 3: b */ 747 1, 1, 0, 1, 3, 1, 4, 1, 2, 1, /* 4: b a */ 748 1, 2, 0, 2, 4, 1, 2, 1, 3, 1, /* 5: b a^2 */ 749 }; 750 /* a: rotate 90 about z 751 b: swap top and bottom segments 752 r: reflect */ 753 static const PetscInt tquadArr[16 * 6 * 2] = { 754 1, -4, 0, -4, 3, -2, 2, -2, 5, -2, 4, -2, /* -8: r b a^3 */ 755 1, -3, 0, -3, 2, -2, 5, -2, 4, -2, 3, -2, /* -7: r b a^2 */ 756 1, -2, 0, -2, 5, -2, 4, -2, 3, -2, 2, -2, /* -6: r b a */ 757 1, -1, 0, -1, 4, -2, 3, -2, 2, -2, 5, -2, /* -5: r b */ 758 0, -4, 1, -4, 3, -1, 2, -1, 5, -1, 4, -1, /* -4: r a^3 */ 759 0, -3, 1, -3, 2, -1, 5, -1, 4, -1, 3, -1, /* -3: r a^2 */ 760 0, -2, 1, -2, 5, -1, 4, -1, 3, -1, 2, -1, /* -2: r a */ 761 0, -1, 1, -1, 4, -1, 3, -1, 2, -1, 5, -1, /* -1: r */ 762 0, 0, 1, 0, 2, 0, 3, 0, 4, 0, 5, 0, /* 0: identity */ 763 0, 1, 1, 1, 3, 0, 4, 0, 5, 0, 2, 0, /* 1: a */ 764 0, 2, 1, 2, 4, 0, 5, 0, 2, 0, 3, 0, /* 2: a^2 */ 765 0, 3, 1, 3, 5, 0, 2, 0, 3, 0, 4, 0, /* 3: a^3 */ 766 1, 0, 0, 0, 2, 1, 3, 1, 4, 1, 5, 1, /* 4: b */ 767 1, 1, 0, 1, 3, 1, 4, 1, 5, 1, 2, 1, /* 5: b a */ 768 1, 2, 0, 2, 4, 1, 5, 1, 2, 1, 3, 1, /* 6: b a^2 */ 769 1, 3, 0, 3, 5, 1, 2, 1, 3, 1, 4, 1, /* 7: b a^3 */ 770 }; 771 static const PetscInt pyrArr[8 * 5 * 2] = { 772 0, -4, 2, -3, 1, -3, 4, -3, 3, -3, /* -4: Reflect bottom face */ 773 0, -3, 3, -3, 2, -3, 1, -3, 4, -3, /* -3: Reflect bottom face */ 774 0, -2, 4, -3, 3, -3, 2, -3, 1, -3, /* -2: Reflect bottom face */ 775 0, -1, 1, -3, 4, -3, 3, -3, 2, -3, /* -1: Reflect bottom face */ 776 0, 0, 1, 0, 2, 0, 3, 0, 4, 0, /* 0: identity */ 777 0, 1, 4, 0, 1, 0, 2, 0, 3, 0, /* 1: 90 rotation about z */ 778 0, 2, 3, 0, 4, 0, 1, 0, 2, 0, /* 2: 180 rotation about z */ 779 0, 3, 2, 0, 3, 0, 4, 0, 1, 0, /* 3: 270 rotation about z */ 780 }; 781 switch (ct) { 782 case DM_POLYTOPE_POINT: 783 return pntArr; 784 case DM_POLYTOPE_SEGMENT: 785 return &segArr[(o + 1) * 2 * 2]; 786 case DM_POLYTOPE_POINT_PRISM_TENSOR: 787 return &segArr[(o + 1) * 2 * 2]; 788 case DM_POLYTOPE_TRIANGLE: 789 return &triArr[(o + 3) * 3 * 2]; 790 case DM_POLYTOPE_QUADRILATERAL: 791 return &quadArr[(o + 4) * 4 * 2]; 792 case DM_POLYTOPE_SEG_PRISM_TENSOR: 793 return &tsegArr[(o + 2) * 4 * 2]; 794 case DM_POLYTOPE_TETRAHEDRON: 795 return &tetArr[(o + 12) * 4 * 2]; 796 case DM_POLYTOPE_HEXAHEDRON: 797 return &hexArr[(o + 24) * 6 * 2]; 798 case DM_POLYTOPE_TRI_PRISM: 799 return &tripArr[(o + 6) * 5 * 2]; 800 case DM_POLYTOPE_TRI_PRISM_TENSOR: 801 return &ttriArr[(o + 6) * 5 * 2]; 802 case DM_POLYTOPE_QUAD_PRISM_TENSOR: 803 return &tquadArr[(o + 8) * 6 * 2]; 804 case DM_POLYTOPE_PYRAMID: 805 return &pyrArr[(o + 4) * 5 * 2]; 806 default: 807 return PETSC_NULLPTR; 808 } 809 } 810 811 /* A vertex arrangement is a vertex order */ 812 static inline const PetscInt *DMPolytopeTypeGetVertexArrangement(DMPolytopeType ct, PetscInt o) 813 { 814 static const PetscInt pntVerts[1] = {0}; 815 static const PetscInt segVerts[2 * 2] = {1, 0, 0, 1}; 816 static const PetscInt triVerts[6 * 3] = {1, 0, 2, 0, 2, 1, 2, 1, 0, 0, 1, 2, 1, 2, 0, 2, 0, 1}; 817 static const PetscInt quadVerts[8 * 4] = {2, 1, 0, 3, 1, 0, 3, 2, 0, 3, 2, 1, 3, 2, 1, 0, 0, 1, 2, 3, 1, 2, 3, 0, 2, 3, 0, 1, 3, 0, 1, 2}; 818 static const PetscInt tsegVerts[4 * 4] = {3, 2, 1, 0, 1, 0, 3, 2, 0, 1, 2, 3, 2, 3, 0, 1}; 819 static const PetscInt tetVerts[24 * 4] = {2, 3, 1, 0, /* -12: (1324) p22 */ 820 3, 1, 2, 0, /* -11: (14) p21 */ 821 1, 2, 3, 0, /* -10: (1234) p18 */ 822 3, 2, 0, 1, /* -9: (1423) p17 */ 823 2, 0, 3, 1, /* -8: (1342) p13 */ 824 0, 3, 2, 1, /* -7: (24) p14 */ 825 0, 1, 3, 2, /* -6: (34) p6 */ 826 1, 3, 0, 2, /* -5: (1243) p10 */ 827 3, 0, 1, 2, /* -4: (1432 p9 */ 828 1, 0, 2, 3, /* -3: (12) p1 */ 829 0, 2, 1, 3, /* -2: (23) p2 */ 830 2, 1, 0, 3, /* -1: (13) p5 */ 831 0, 1, 2, 3, /* 0: () p0 */ 832 1, 2, 0, 3, /* 1: (123) p4 */ 833 2, 0, 1, 3, /* 2: (132) p3 */ 834 1, 0, 3, 2, /* 3: (12)(34) p7 */ 835 0, 3, 1, 2, /* 4: (243) p8 */ 836 3, 1, 0, 2, /* 5: (143) p11 */ 837 2, 3, 0, 1, /* 6: (13)(24) p16 */ 838 3, 0, 2, 1, /* 7: (142) p15 */ 839 0, 2, 3, 1, /* 8: (234) p12 */ 840 3, 2, 1, 0, /* 9: (14)(23) p23 */ 841 2, 1, 3, 0, /* 10: (134) p19 */ 842 1, 3, 2, 0 /* 11: (124) p20 */}; 843 static const PetscInt hexVerts[48 * 8] = { 844 3, 0, 4, 5, 2, 6, 7, 1, /* -24: reflected 23 */ 845 3, 5, 6, 2, 0, 1, 7, 4, /* -23: reflected 22 */ 846 4, 0, 1, 7, 5, 6, 2, 3, /* -22: reflected 21 */ 847 6, 7, 1, 2, 5, 3, 0, 4, /* -21: reflected 20 */ 848 1, 2, 6, 7, 0, 4, 5, 3, /* -20: reflected 19 */ 849 6, 2, 3, 5, 7, 4, 0, 1, /* -19: reflected 18 */ 850 4, 5, 3, 0, 7, 1, 2, 6, /* -18: reflected 17 */ 851 1, 7, 4, 0, 2, 3, 5, 6, /* -17: reflected 16 */ 852 2, 3, 5, 6, 1, 7, 4, 0, /* -16: reflected 15 */ 853 7, 4, 0, 1, 6, 2, 3, 5, /* -15: reflected 14 */ 854 7, 1, 2, 6, 4, 5, 3, 0, /* -14: reflected 13 */ 855 0, 4, 5, 3, 1, 2, 6, 7, /* -13: reflected 12 */ 856 5, 4, 7, 6, 3, 2, 1, 0, /* -12: reflected 11 */ 857 7, 6, 5, 4, 1, 0, 3, 2, /* -11: reflected 10 */ 858 0, 1, 7, 4, 3, 5, 6, 2, /* -10: reflected 9 */ 859 4, 7, 6, 5, 0, 3, 2, 1, /* -9: reflected 8 */ 860 5, 6, 2, 3, 4, 0, 1, 7, /* -8: reflected 7 */ 861 2, 6, 7, 1, 3, 0, 4, 5, /* -7: reflected 6 */ 862 6, 5, 4, 7, 2, 1, 0, 3, /* -6: reflected 5 */ 863 5, 3, 0, 4, 6, 7, 1, 2, /* -5: reflected 4 */ 864 2, 1, 0, 3, 6, 5, 4, 7, /* -4: reflected 3 */ 865 1, 0, 3, 2, 7, 6, 5, 4, /* -3: reflected 2 */ 866 0, 3, 2, 1, 4, 7, 6, 5, /* -2: reflected 1 */ 867 3, 2, 1, 0, 5, 4, 7, 6, /* -1: reflected 0 */ 868 0, 1, 2, 3, 4, 5, 6, 7, /* 0: identity */ 869 1, 2, 3, 0, 7, 4, 5, 6, /* 1: 90 rotation about z */ 870 2, 3, 0, 1, 6, 7, 4, 5, /* 2: 180 rotation about z */ 871 3, 0, 1, 2, 5, 6, 7, 4, /* 3: 270 rotation about z */ 872 4, 0, 3, 5, 7, 6, 2, 1, /* 4: 90 rotation about x */ 873 7, 4, 5, 6, 1, 2, 3, 0, /* 5: 180 rotation about x */ 874 1, 7, 6, 2, 0, 3, 5, 4, /* 6: 270 rotation about x */ 875 3, 2, 6, 5, 0, 4, 7, 1, /* 7: 90 rotation about y */ 876 5, 6, 7, 4, 3, 0, 1, 2, /* 8: 180 rotation about y */ 877 4, 7, 1, 0, 5, 3, 2, 6, /* 9: 270 rotation about y */ 878 4, 5, 6, 7, 0, 1, 2, 3, /* 10: 180 rotation about x+y */ 879 6, 7, 4, 5, 2, 3, 0, 1, /* 11: 180 rotation about x-y */ 880 3, 5, 4, 0, 2, 1, 7, 6, /* 12: 180 rotation about y+z */ 881 6, 2, 1, 7, 5, 4, 0, 3, /* 13: 180 rotation about y-z */ 882 1, 0, 4, 7, 2, 6, 5, 3, /* 14: 180 rotation about z+x */ 883 6, 5, 3, 2, 7, 1, 0, 4, /* 15: 180 rotation about z-x */ 884 0, 4, 7, 1, 3, 2, 6, 5, /* 16: 120 rotation about x+y+z (v0v6) */ 885 0, 3, 5, 4, 1, 7, 6, 2, /* 17: 240 rotation about x+y+z (v0v6) */ 886 5, 3, 2, 6, 4, 7, 1, 0, /* 18: 120 rotation about x+y-z (v4v2) */ 887 7, 6, 2, 1, 4, 0, 3, 5, /* 19: 240 rotation about x+y-z (v4v2) */ 888 2, 1, 7, 6, 3, 5, 4, 0, /* 20: 120 rotation about x-y+z (v1v5) */ 889 7, 1, 0, 4, 6, 5, 3, 2, /* 21: 240 rotation about x-y+z (v1v5) */ 890 2, 6, 5, 3, 1, 0, 4, 7, /* 22: 120 rotation about x-y-z (v7v3) */ 891 5, 4, 0, 3, 6, 2, 1, 7, /* 23: 240 rotation about x-y-z (v7v3) */ 892 }; 893 static const PetscInt tripVerts[12 * 6] = { 894 4, 3, 5, 2, 1, 0, /* -6: reflect bottom and top */ 895 5, 4, 3, 1, 0, 2, /* -5: reflect bottom and top */ 896 3, 5, 4, 0, 2, 1, /* -4: reflect bottom and top */ 897 1, 0, 2, 5, 4, 3, /* -3: reflect bottom and top */ 898 0, 2, 1, 3, 5, 4, /* -2: reflect bottom and top */ 899 2, 1, 0, 4, 3, 5, /* -1: reflect bottom and top */ 900 0, 1, 2, 3, 4, 5, /* 0: identity */ 901 1, 2, 0, 5, 3, 4, /* 1: 120 rotation about z */ 902 2, 0, 1, 4, 5, 3, /* 2: 240 rotation about z */ 903 4, 5, 3, 2, 0, 1, /* 3: 180 rotation about y of 0 */ 904 3, 4, 5, 0, 1, 2, /* 4: 180 rotation about y of 1 */ 905 5, 3, 4, 1, 2, 0, /* 5: 180 rotation about y of 2 */ 906 }; 907 static const PetscInt ttriVerts[12 * 6] = { 908 4, 3, 5, 1, 0, 2, /* -6: r b a^2 */ 909 3, 5, 4, 0, 2, 1, /* -5: r b a */ 910 5, 4, 3, 2, 1, 0, /* -4: r b */ 911 1, 0, 2, 4, 3, 5, /* -3: r a^2 */ 912 0, 2, 1, 3, 5, 4, /* -2: r a */ 913 2, 1, 0, 5, 4, 3, /* -1: r */ 914 0, 1, 2, 3, 4, 5, /* 0: identity */ 915 1, 2, 0, 4, 5, 3, /* 1: a */ 916 2, 0, 1, 5, 3, 4, /* 2: a^2 */ 917 3, 4, 5, 0, 1, 2, /* 3: b */ 918 4, 5, 3, 1, 2, 0, /* 4: b a */ 919 5, 3, 4, 2, 0, 1, /* 5: b a^2 */ 920 }; 921 /* a: rotate 90 about z 922 b: swap top and bottom segments 923 r: reflect */ 924 static const PetscInt tquadVerts[16 * 8] = { 925 6, 5, 4, 7, 2, 1, 0, 3, /* -8: r b a^3 */ 926 5, 4, 7, 6, 1, 0, 3, 2, /* -7: r b a^2 */ 927 4, 7, 6, 5, 0, 3, 2, 1, /* -6: r b a */ 928 7, 6, 5, 4, 3, 2, 1, 0, /* -5: r b */ 929 2, 1, 0, 3, 6, 5, 4, 7, /* -4: r a^3 */ 930 1, 0, 3, 2, 5, 4, 7, 6, /* -3: r a^2 */ 931 0, 3, 2, 1, 4, 7, 6, 5, /* -2: r a */ 932 3, 2, 1, 0, 7, 6, 5, 4, /* -1: r */ 933 0, 1, 2, 3, 4, 5, 6, 7, /* 0: identity */ 934 1, 2, 3, 0, 5, 6, 7, 4, /* 1: a */ 935 2, 3, 0, 1, 6, 7, 4, 5, /* 2: a^2 */ 936 3, 0, 1, 2, 7, 4, 5, 6, /* 3: a^3 */ 937 4, 5, 6, 7, 0, 1, 2, 3, /* 4: b */ 938 5, 6, 7, 4, 1, 2, 3, 0, /* 5: b a */ 939 6, 7, 4, 5, 2, 3, 0, 1, /* 6: b a^2 */ 940 7, 4, 5, 6, 3, 0, 1, 2, /* 7: b a^3 */ 941 }; 942 static const PetscInt pyrVerts[8 * 5] = { 943 2, 1, 0, 3, 4, /* -4: Reflect bottom face */ 944 1, 0, 3, 2, 4, /* -3: Reflect bottom face */ 945 0, 3, 2, 1, 4, /* -2: Reflect bottom face */ 946 3, 2, 1, 0, 4, /* -1: Reflect bottom face */ 947 0, 1, 2, 3, 4, /* 0: identity */ 948 1, 2, 3, 0, 4, /* 1: 90 rotation about z */ 949 2, 3, 0, 1, 4, /* 2: 180 rotation about z */ 950 3, 0, 1, 2, 4, /* 3: 270 rotation about z */ 951 }; 952 switch (ct) { 953 case DM_POLYTOPE_POINT: 954 return pntVerts; 955 case DM_POLYTOPE_SEGMENT: 956 return &segVerts[(o + 1) * 2]; 957 case DM_POLYTOPE_POINT_PRISM_TENSOR: 958 return &segVerts[(o + 1) * 2]; 959 case DM_POLYTOPE_TRIANGLE: 960 return &triVerts[(o + 3) * 3]; 961 case DM_POLYTOPE_QUADRILATERAL: 962 return &quadVerts[(o + 4) * 4]; 963 case DM_POLYTOPE_SEG_PRISM_TENSOR: 964 return &tsegVerts[(o + 2) * 4]; 965 case DM_POLYTOPE_TETRAHEDRON: 966 return &tetVerts[(o + 12) * 4]; 967 case DM_POLYTOPE_HEXAHEDRON: 968 return &hexVerts[(o + 24) * 8]; 969 case DM_POLYTOPE_TRI_PRISM: 970 return &tripVerts[(o + 6) * 6]; 971 case DM_POLYTOPE_TRI_PRISM_TENSOR: 972 return &ttriVerts[(o + 6) * 6]; 973 case DM_POLYTOPE_QUAD_PRISM_TENSOR: 974 return &tquadVerts[(o + 8) * 8]; 975 case DM_POLYTOPE_PYRAMID: 976 return &pyrVerts[(o + 4) * 5]; 977 default: 978 return PETSC_NULLPTR; 979 } 980 } 981 982 /* This is orientation o1 acting on orientation o2 */ 983 static inline PetscInt DMPolytopeTypeComposeOrientation(DMPolytopeType ct, PetscInt o1, PetscInt o2) 984 { 985 static const PetscInt segMult[2 * 2] = {0, -1, -1, 0}; 986 static const PetscInt triMult[6 * 6] = {0, 2, 1, -3, -1, -2, 1, 0, 2, -2, -3, -1, 2, 1, 0, -1, -2, -3, -3, -2, -1, 0, 1, 2, -2, -1, -3, 1, 2, 0, -1, -3, -2, 2, 0, 1}; 987 static const PetscInt quadMult[8 * 8] = {0, 3, 2, 1, -4, -1, -2, -3, 1, 0, 3, 2, -3, -4, -1, -2, 2, 1, 0, 3, -2, -3, -4, -1, 3, 2, 1, 0, -1, -2, -3, -4, 988 -4, -3, -2, -1, 0, 1, 2, 3, -3, -2, -1, -4, 1, 2, 3, 0, -2, -1, -4, -3, 2, 3, 0, 1, -1, -4, -3, -2, 3, 0, 1, 2}; 989 static const PetscInt tsegMult[4 * 4] = {0, 1, -2, -1, 1, 0, -1, -2, -2, -1, 0, 1, -1, -2, 1, 0}; 990 static const PetscInt tetMult[24 * 24] = { 991 3, 2, 7, 0, 5, 10, 9, 8, 1, 6, 11, 4, -12, -7, -5, -9, -10, -2, -6, -1, -11, -3, -4, -8, 4, 0, 8, 1, 3, 11, 10, 6, 2, 7, 9, 5, -11, -9, -4, -8, -12, -1, -5, -3, -10, -2, -6, -7, 992 5, 1, 6, 2, 4, 9, 11, 7, 0, 8, 10, 3, -10, -8, -6, -7, -11, -3, -4, -2, -12, -1, -5, -9, 0, 8, 4, 3, 11, 1, 6, 2, 10, 9, 5, 7, -9, -4, -11, -12, -1, -8, -3, -10, -5, -6, -7, -2, 993 1, 6, 5, 4, 9, 2, 7, 0, 11, 10, 3, 8, -8, -6, -10, -11, -3, -7, -2, -12, -4, -5, -9, -1, 2, 7, 3, 5, 10, 0, 8, 1, 9, 11, 4, 6, -7, -5, -12, -10, -2, -9, -1, -11, -6, -4, -8, -3, 994 6, 5, 1, 9, 2, 4, 0, 11, 7, 3, 8, 10, -6, -10, -8, -3, -7, -11, -12, -4, -2, -9, -1, -5, 7, 3, 2, 10, 0, 5, 1, 9, 8, 4, 6, 11, -5, -12, -7, -2, -9, -10, -11, -6, -1, -8, -3, -4, 995 8, 4, 0, 11, 1, 3, 2, 10, 6, 5, 7, 9, -4, -11, -9, -1, -8, -12, -10, -5, -3, -7, -2, -6, 9, 11, 10, 6, 8, 7, 3, 5, 4, 0, 2, 1, -3, -1, -2, -6, -4, -5, -9, -7, -8, -12, -10, -11, 996 10, 9, 11, 7, 6, 8, 4, 3, 5, 1, 0, 2, -2, -3, -1, -5, -6, -4, -8, -9, -7, -11, -12, -10, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0, -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, 997 -12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, -11, -10, -12, -8, -7, -9, -5, -4, -6, -2, -1, -3, 1, 2, 0, 4, 5, 3, 7, 8, 6, 10, 11, 9, 998 -10, -12, -11, -7, -9, -8, -4, -6, -5, -1, -3, -2, 2, 0, 1, 5, 3, 4, 8, 6, 7, 11, 9, 10, -9, -5, -1, -12, -2, -4, -3, -11, -7, -6, -8, -10, 3, 10, 8, 0, 7, 11, 9, 4, 2, 6, 1, 5, 999 -8, -4, -3, -11, -1, -6, -2, -10, -9, -5, -7, -12, 4, 11, 6, 1, 8, 9, 10, 5, 0, 7, 2, 3, -7, -6, -2, -10, -3, -5, -1, -12, -8, -4, -9, -11, 5, 9, 7, 2, 6, 10, 11, 3, 1, 8, 0, 4, 1000 -3, -8, -4, -6, -11, -1, -9, -2, -10, -12, -5, -7, 6, 4, 11, 9, 1, 8, 0, 10, 5, 3, 7, 2, -2, -7, -6, -5, -10, -3, -8, -1, -12, -11, -4, -9, 7, 5, 9, 10, 2, 6, 1, 11, 3, 4, 8, 0, 1001 -1, -9, -5, -4, -12, -2, -7, -3, -11, -10, -6, -8, 8, 3, 10, 11, 0, 7, 2, 9, 4, 5, 6, 1, -6, -2, -7, -3, -5, -10, -12, -8, -1, -9, -11, -4, 9, 7, 5, 6, 10, 2, 3, 1, 11, 0, 4, 8, 1002 -5, -1, -9, -2, -4, -12, -11, -7, -3, -8, -10, -6, 10, 8, 3, 7, 11, 0, 4, 2, 9, 1, 5, 6, -4, -3, -8, -1, -6, -11, -10, -9, -2, -7, -12, -5, 11, 6, 4, 8, 9, 1, 5, 0, 10, 2, 3, 7, 1003 }; 1004 static const PetscInt hexMult[48 * 48] = { 1005 18, 2, 5, 22, 21, 8, 16, 0, 13, 6, 11, 3, 15, 9, 4, 23, 12, 1, 19, 10, 7, 20, 14, 17, -24, -10, -20, -16, -12, -21, -4, -5, -18, -13, -15, -8, -2, -11, -14, -7, -3, -22, -6, -17, -19, -9, -1, -23, 1006 8, 20, 19, 2, 5, 23, 0, 17, 11, 1, 15, 7, 13, 4, 10, 18, 3, 14, 21, 9, 12, 22, 6, 16, -23, -13, -17, -7, -8, -19, -16, -12, -22, -2, -14, -5, -10, -15, -11, -4, -20, -9, -21, -3, -6, -18, -24, -1, 1007 2, 17, 23, 8, 0, 19, 5, 20, 1, 11, 9, 14, 12, 6, 3, 16, 10, 7, 22, 15, 13, 21, 4, 18, -22, -14, -19, -5, -15, -17, -10, -2, -23, -12, -13, -7, -16, -8, -4, -11, -24, -3, -18, -9, -1, -21, -20, -6, 1008 21, 5, 2, 16, 18, 0, 22, 8, 4, 12, 3, 11, 14, 7, 13, 20, 6, 10, 17, 1, 9, 23, 15, 19, -21, -8, -18, -15, -4, -24, -12, -14, -20, -7, -16, -10, -11, -2, -5, -13, -6, -19, -3, -23, -22, -1, -9, -17, 1009 16, 8, 0, 21, 22, 2, 18, 5, 12, 4, 1, 10, 9, 15, 6, 19, 13, 11, 23, 3, 14, 17, 7, 20, -20, -16, -24, -10, -2, -18, -11, -7, -21, -14, -8, -15, -12, -4, -13, -5, -9, -23, -1, -19, -17, -3, -6, -22, 1010 5, 19, 20, 0, 8, 17, 2, 23, 10, 3, 7, 15, 6, 12, 11, 22, 1, 9, 16, 14, 4, 18, 13, 21, -19, -5, -22, -14, -16, -23, -8, -11, -17, -4, -7, -13, -15, -10, -12, -2, -21, -6, -20, -1, -9, -24, -18, -3, 1011 22, 0, 8, 18, 16, 5, 21, 2, 6, 13, 10, 1, 7, 14, 12, 17, 4, 3, 20, 11, 15, 19, 9, 23, -18, -15, -21, -8, -11, -20, -2, -13, -24, -5, -10, -16, -4, -12, -7, -14, -1, -17, -9, -22, -23, -6, -3, -19, 1012 0, 23, 17, 5, 2, 20, 8, 19, 3, 10, 14, 9, 4, 13, 1, 21, 11, 15, 18, 7, 6, 16, 12, 22, -17, -7, -23, -13, -10, -22, -15, -4, -19, -11, -5, -14, -8, -16, -2, -12, -18, -1, -24, -6, -3, -20, -21, -9, 1013 10, 13, 6, 1, 11, 12, 3, 4, 8, 0, 22, 18, 19, 23, 5, 15, 2, 21, 9, 16, 17, 7, 20, 14, -16, -24, -10, -20, -23, -8, -19, -6, -15, -3, -21, -18, -22, -17, -9, -1, -14, -12, -7, -4, -11, -13, -5, -2, 1014 1, 4, 12, 10, 3, 6, 11, 13, 0, 8, 16, 21, 17, 20, 2, 14, 5, 18, 7, 22, 19, 9, 23, 15, -15, -21, -8, -18, -17, -10, -22, -3, -16, -6, -24, -20, -19, -23, -1, -9, -5, -4, -13, -12, -2, -7, -14, -11, 1015 14, 10, 3, 9, 7, 1, 15, 11, 17, 23, 0, 5, 16, 22, 20, 6, 19, 8, 12, 2, 21, 4, 18, 13, -14, -19, -5, -22, -3, -13, -9, -20, -7, -21, -23, -17, -6, -1, -24, -18, -12, -16, -2, -8, -10, -4, -11, -15, 1016 7, 3, 10, 15, 14, 11, 9, 1, 20, 19, 5, 0, 18, 21, 17, 4, 23, 2, 13, 8, 22, 6, 16, 12, -13, -17, -7, -23, -9, -14, -3, -24, -5, -18, -22, -19, -1, -6, -20, -21, -2, -10, -12, -15, -16, -11, -4, -8, 1017 13, 14, 15, 12, 4, 9, 6, 7, 21, 22, 23, 20, 2, 0, 18, 3, 16, 17, 1, 19, 8, 11, 5, 10, -12, -9, -11, -6, -21, -4, -24, -22, -2, -23, -3, -1, -20, -18, -19, -17, -16, -14, -15, -13, -5, -8, -10, -7, 1018 6, 9, 7, 4, 12, 14, 13, 15, 16, 18, 17, 19, 0, 2, 22, 1, 21, 23, 3, 20, 5, 10, 8, 11, -11, -6, -12, -9, -20, -2, -18, -17, -4, -19, -1, -3, -21, -24, -23, -22, -8, -7, -10, -5, -13, -16, -15, -14, 1019 3, 12, 4, 11, 1, 13, 10, 6, 2, 5, 21, 16, 23, 19, 0, 9, 8, 22, 15, 18, 20, 14, 17, 7, -10, -20, -16, -24, -22, -15, -17, -1, -8, -9, -18, -21, -23, -19, -3, -6, -13, -2, -5, -11, -4, -14, -7, -12, 1020 20, 16, 18, 23, 17, 21, 19, 22, 14, 15, 4, 6, 3, 1, 7, 0, 9, 12, 2, 13, 11, 5, 10, 8, -9, -11, -6, -12, -14, -3, -13, -10, -1, -8, -2, -4, -7, -5, -16, -15, -23, -20, -22, -18, -24, -19, -17, -21, 1021 11, 6, 13, 3, 10, 4, 1, 12, 5, 2, 18, 22, 20, 17, 8, 7, 0, 16, 14, 21, 23, 15, 19, 9, -8, -18, -15, -21, -19, -16, -23, -9, -10, -1, -20, -24, -17, -22, -6, -3, -7, -11, -14, -2, -12, -5, -13, -4, 1022 9, 11, 1, 14, 15, 3, 7, 10, 23, 17, 2, 8, 21, 18, 19, 13, 20, 5, 4, 0, 16, 12, 22, 6, -7, -23, -13, -17, -1, -5, -6, -21, -14, -20, -19, -22, -9, -3, -18, -24, -11, -8, -4, -16, -15, -2, -12, -10, 1023 19, 21, 22, 17, 23, 16, 20, 18, 9, 7, 12, 13, 1, 3, 15, 2, 14, 4, 0, 6, 10, 8, 11, 5, -6, -12, -9, -11, -7, -1, -5, -15, -3, -16, -4, -2, -14, -13, -8, -10, -19, -21, -17, -24, -18, -23, -22, -20, 1024 15, 1, 11, 7, 9, 10, 14, 3, 19, 20, 8, 2, 22, 16, 23, 12, 17, 0, 6, 5, 18, 13, 21, 4, -5, -22, -14, -19, -6, -7, -1, -18, -13, -24, -17, -23, -3, -9, -21, -20, -4, -15, -11, -10, -8, -12, -2, -16, 1025 4, 15, 14, 6, 13, 7, 12, 9, 18, 16, 20, 23, 5, 8, 21, 11, 22, 19, 10, 17, 0, 3, 2, 1, -4, -1, -2, -3, -24, -12, -21, -19, -11, -17, -6, -9, -18, -20, -22, -23, -15, -5, -16, -7, -14, -10, -8, -13, 1026 17, 18, 16, 19, 20, 22, 23, 21, 7, 9, 6, 4, 10, 11, 14, 5, 15, 13, 8, 12, 1, 0, 3, 2, -3, -4, -1, -2, -13, -9, -14, -16, -6, -15, -12, -11, -5, -7, -10, -8, -22, -24, -23, -21, -20, -17, -19, -18, 1027 12, 7, 9, 13, 6, 15, 4, 14, 22, 21, 19, 17, 8, 5, 16, 10, 18, 20, 11, 23, 2, 1, 0, 3, -2, -3, -4, -1, -18, -11, -20, -23, -12, -22, -9, -6, -24, -21, -17, -19, -10, -13, -8, -14, -7, -15, -16, -5, 1028 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0, -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, 1029 -24, -23, -22, -21, -20, -19, -18, -17, -16, -15, -14, -13, -12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 1030 -13, -8, -10, -14, -7, -16, -5, -15, -23, -22, -20, -18, -9, -6, -17, -11, -19, -21, -12, -24, -3, -2, -1, -4, 1, 2, 3, 0, 17, 10, 19, 22, 11, 21, 8, 5, 23, 20, 16, 18, 9, 12, 7, 13, 6, 14, 15, 4, 1031 -18, -19, -17, -20, -21, -23, -24, -22, -8, -10, -7, -5, -11, -12, -15, -6, -16, -14, -9, -13, -2, -1, -4, -3, 2, 3, 0, 1, 12, 8, 13, 15, 5, 14, 11, 10, 4, 6, 9, 7, 21, 23, 22, 20, 19, 16, 18, 17, 1032 -5, -16, -15, -7, -14, -8, -13, -10, -19, -17, -21, -24, -6, -9, -22, -12, -23, -20, -11, -18, -1, -4, -3, -2, 3, 0, 1, 2, 23, 11, 20, 18, 10, 16, 5, 8, 17, 19, 21, 22, 14, 4, 15, 6, 13, 9, 7, 12, 1033 -16, -2, -12, -8, -10, -11, -15, -4, -20, -21, -9, -3, -23, -17, -24, -13, -18, -1, -7, -6, -19, -14, -22, -5, 4, 21, 13, 18, 5, 6, 0, 17, 12, 23, 16, 22, 2, 8, 20, 19, 3, 14, 10, 9, 7, 11, 1, 15, 1034 -20, -22, -23, -18, -24, -17, -21, -19, -10, -8, -13, -14, -2, -4, -16, -3, -15, -5, -1, -7, -11, -9, -12, -6, 5, 11, 8, 10, 6, 0, 4, 14, 2, 15, 3, 1, 13, 12, 7, 9, 18, 20, 16, 23, 17, 22, 21, 19, 1035 -10, -12, -2, -15, -16, -4, -8, -11, -24, -18, -3, -9, -22, -19, -20, -14, -21, -6, -5, -1, -17, -13, -23, -7, 6, 22, 12, 16, 0, 4, 5, 20, 13, 19, 18, 21, 8, 2, 17, 23, 10, 7, 3, 15, 14, 1, 11, 9, 1036 -12, -7, -14, -4, -11, -5, -2, -13, -6, -3, -19, -23, -21, -18, -9, -8, -1, -17, -15, -22, -24, -16, -20, -10, 7, 17, 14, 20, 18, 15, 22, 8, 9, 0, 19, 23, 16, 21, 5, 2, 6, 10, 13, 1, 11, 4, 12, 3, 1037 -21, -17, -19, -24, -18, -22, -20, -23, -15, -16, -5, -7, -4, -2, -8, -1, -10, -13, -3, -14, -12, -6, -11, -9, 8, 10, 5, 11, 13, 2, 12, 9, 0, 7, 1, 3, 6, 4, 15, 14, 22, 19, 21, 17, 23, 18, 16, 20, 1038 -4, -13, -5, -12, -2, -14, -11, -7, -3, -6, -22, -17, -24, -20, -1, -10, -9, -23, -16, -19, -21, -15, -18, -8, 9, 19, 15, 23, 21, 14, 16, 0, 7, 8, 17, 20, 22, 18, 2, 5, 12, 1, 4, 10, 3, 13, 6, 11, 1039 -7, -10, -8, -5, -13, -15, -14, -16, -17, -19, -18, -20, -1, -3, -23, -2, -22, -24, -4, -21, -6, -11, -9, -12, 10, 5, 11, 8, 19, 1, 17, 16, 3, 18, 0, 2, 20, 23, 22, 21, 7, 6, 9, 4, 12, 15, 14, 13, 1040 -14, -15, -16, -13, -5, -10, -7, -8, -22, -23, -24, -21, -3, -1, -19, -4, -17, -18, -2, -20, -9, -12, -6, -11, 11, 8, 10, 5, 20, 3, 23, 21, 1, 22, 2, 0, 19, 17, 18, 16, 15, 13, 14, 12, 4, 7, 9, 6, 1041 -8, -4, -11, -16, -15, -12, -10, -2, -21, -20, -6, -1, -19, -22, -18, -5, -24, -3, -14, -9, -23, -7, -17, -13, 12, 16, 6, 22, 8, 13, 2, 23, 4, 17, 21, 18, 0, 5, 19, 20, 1, 9, 11, 14, 15, 10, 3, 7, 1042 -15, -11, -4, -10, -8, -2, -16, -12, -18, -24, -1, -6, -17, -23, -21, -7, -20, -9, -13, -3, -22, -5, -19, -14, 13, 18, 4, 21, 2, 12, 8, 19, 6, 20, 22, 16, 5, 0, 23, 17, 11, 15, 1, 7, 9, 3, 10, 14, 1043 -2, -5, -13, -11, -4, -7, -12, -14, -1, -9, -17, -22, -18, -21, -3, -15, -6, -19, -8, -23, -20, -10, -24, -16, 14, 20, 7, 17, 16, 9, 21, 2, 15, 5, 23, 19, 18, 22, 0, 8, 4, 3, 12, 11, 1, 6, 13, 10, 1044 -11, -14, -7, -2, -12, -13, -4, -5, -9, -1, -23, -19, -20, -24, -6, -16, -3, -22, -10, -17, -18, -8, -21, -15, 15, 23, 9, 19, 22, 7, 18, 5, 14, 2, 20, 17, 21, 16, 8, 0, 13, 11, 6, 3, 10, 12, 4, 1, 1045 -1, -24, -18, -6, -3, -21, -9, -20, -4, -11, -15, -10, -5, -14, -2, -22, -12, -16, -19, -8, -7, -17, -13, -23, 16, 6, 22, 12, 9, 21, 14, 3, 18, 10, 4, 13, 7, 15, 1, 11, 17, 0, 23, 5, 2, 19, 20, 8, 1046 -23, -1, -9, -19, -17, -6, -22, -3, -7, -14, -11, -2, -8, -15, -13, -18, -5, -4, -21, -12, -16, -20, -10, -24, 17, 14, 20, 7, 10, 19, 1, 12, 23, 4, 9, 15, 3, 11, 6, 13, 0, 16, 8, 21, 22, 5, 2, 18, 1047 -6, -20, -21, -1, -9, -18, -3, -24, -11, -4, -8, -16, -7, -13, -12, -23, -2, -10, -17, -15, -5, -19, -14, -22, 18, 4, 21, 13, 15, 22, 7, 10, 16, 3, 6, 12, 14, 9, 11, 1, 20, 5, 19, 0, 8, 23, 17, 2, 1048 -17, -9, -1, -22, -23, -3, -19, -6, -13, -5, -2, -11, -10, -16, -7, -20, -14, -12, -24, -4, -15, -18, -8, -21, 19, 15, 23, 9, 1, 17, 10, 6, 20, 13, 7, 14, 11, 3, 12, 4, 8, 22, 0, 18, 16, 2, 5, 21, 1049 -22, -6, -3, -17, -19, -1, -23, -9, -5, -13, -4, -12, -15, -8, -14, -21, -7, -11, -18, -2, -10, -24, -16, -20, 20, 7, 17, 14, 3, 23, 11, 13, 19, 6, 15, 9, 10, 1, 4, 12, 5, 18, 2, 22, 21, 0, 8, 16, 1050 -3, -18, -24, -9, -1, -20, -6, -21, -2, -12, -10, -15, -13, -7, -4, -17, -11, -8, -23, -16, -14, -22, -5, -19, 21, 13, 18, 4, 14, 16, 9, 1, 22, 11, 12, 6, 15, 7, 3, 10, 23, 2, 17, 8, 0, 20, 19, 5, 1051 -9, -21, -20, -3, -6, -24, -1, -18, -12, -2, -16, -8, -14, -5, -11, -19, -4, -15, -22, -10, -13, -23, -7, -17, 22, 12, 16, 6, 7, 18, 15, 11, 21, 1, 13, 4, 9, 14, 10, 3, 19, 8, 20, 2, 5, 17, 23, 0, 1052 -19, -3, -6, -23, -22, -9, -17, -1, -14, -7, -12, -4, -16, -10, -5, -24, -13, -2, -20, -11, -8, -21, -15, -18, 23, 9, 19, 15, 11, 20, 3, 4, 17, 12, 14, 7, 1, 10, 13, 6, 2, 21, 5, 16, 18, 8, 0, 22, 1053 }; 1054 static const PetscInt tripMult[12 * 12] = { 1055 1, 0, 2, 3, 5, 4, -6, -4, -5, -2, -3, -1, 0, 2, 1, 4, 3, 5, -5, -6, -4, -3, -1, -2, 2, 1, 0, 5, 4, 3, -4, -5, -6, -1, -2, -3, 4, 3, 5, 0, 2, 1, -3, -1, -2, -5, -6, -4, 1056 3, 5, 4, 1, 0, 2, -2, -3, -1, -6, -4, -5, 5, 4, 3, 2, 1, 0, -1, -2, -3, -4, -5, -6, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, -4, -6, -5, -2, -1, -3, 1, 2, 0, 5, 3, 4, 1057 -5, -4, -6, -1, -3, -2, 2, 0, 1, 4, 5, 3, -3, -2, -1, -6, -5, -4, 3, 4, 5, 0, 1, 2, -1, -3, -2, -5, -4, -6, 4, 5, 3, 2, 0, 1, -2, -1, -3, -4, -6, -5, 5, 3, 4, 1, 2, 0, 1058 }; 1059 static const PetscInt ttriMult[12 * 12] = { 1060 0, 2, 1, 3, 5, 4, -6, -4, -5, -3, -1, -2, 1, 0, 2, 4, 3, 5, -5, -6, -4, -2, -3, -1, 2, 1, 0, 5, 4, 3, -4, -5, -6, -1, -2, -3, 3, 5, 4, 0, 2, 1, -3, -1, -2, -6, -4, -5, 1061 4, 3, 5, 1, 0, 2, -2, -3, -1, -5, -6, -4, 5, 4, 3, 2, 1, 0, -1, -2, -3, -4, -5, -6, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, -5, -4, -6, -2, -1, -3, 1, 2, 0, 4, 5, 3, 1062 -4, -6, -5, -1, -3, -2, 2, 0, 1, 5, 3, 4, -3, -2, -1, -6, -5, -4, 3, 4, 5, 0, 1, 2, -2, -1, -3, -5, -4, -6, 4, 5, 3, 1, 2, 0, -1, -3, -2, -4, -6, -5, 5, 3, 4, 2, 0, 1, 1063 }; 1064 static const PetscInt tquadMult[16 * 16] = { 1065 0, 3, 2, 1, 4, 7, 6, 5, -8, -5, -6, -7, -4, -1, -2, -3, 1, 0, 3, 2, 5, 4, 7, 6, -7, -8, -5, -6, -3, -4, -1, -2, 2, 1, 0, 3, 6, 5, 4, 7, -6, -7, -8, -5, -2, -3, -4, -1, 3, 2, 1, 0, 1066 7, 6, 5, 4, -5, -6, -7, -8, -1, -2, -3, -4, 4, 7, 6, 5, 0, 3, 2, 1, -4, -1, -2, -3, -8, -5, -6, -7, 5, 4, 7, 6, 1, 0, 3, 2, -3, -4, -1, -2, -7, -8, -5, -6, 6, 5, 4, 7, 2, 1, 0, 3, 1067 -2, -3, -4, -1, -6, -7, -8, -5, 7, 6, 5, 4, 3, 2, 1, 0, -1, -2, -3, -4, -5, -6, -7, -8, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, -7, -6, -5, -8, -3, -2, -1, -4, 1, 2, 3, 0, 1068 5, 6, 7, 4, -6, -5, -8, -7, -2, -1, -4, -3, 2, 3, 0, 1, 6, 7, 4, 5, -5, -8, -7, -6, -1, -4, -3, -2, 3, 0, 1, 2, 7, 4, 5, 6, -4, -3, -2, -1, -8, -7, -6, -5, 4, 5, 6, 7, 0, 1, 2, 3, 1069 -3, -2, -1, -4, -7, -6, -5, -8, 5, 6, 7, 4, 1, 2, 3, 0, -2, -1, -4, -3, -6, -5, -8, -7, 6, 7, 4, 5, 2, 3, 0, 1, -1, -4, -3, -2, -5, -8, -7, -6, 7, 4, 5, 6, 3, 0, 1, 2, 1070 }; 1071 static const PetscInt pyrMult[8 * 8] = { 1072 0, 3, 2, 1, -4, -1, -2, -3, 1, 0, 3, 2, -3, -4, -1, -2, 2, 1, 0, 3, -2, -3, -4, -1, 3, 2, 1, 0, -1, -2, -3, -4, -4, -3, -2, -1, 0, 1, 2, 3, -3, -2, -1, -4, 1, 2, 3, 0, -2, -1, -4, -3, 2, 3, 0, 1, -1, -4, -3, -2, 3, 0, 1, 2, 1073 }; 1074 switch (ct) { 1075 case DM_POLYTOPE_POINT: 1076 return 0; 1077 case DM_POLYTOPE_SEGMENT: 1078 case DM_POLYTOPE_POINT_PRISM_TENSOR: 1079 return segMult[(o1 + 1) * 2 + o2 + 1]; 1080 case DM_POLYTOPE_TRIANGLE: 1081 return triMult[(o1 + 3) * 6 + o2 + 3]; 1082 case DM_POLYTOPE_QUADRILATERAL: 1083 return quadMult[(o1 + 4) * 8 + o2 + 4]; 1084 case DM_POLYTOPE_SEG_PRISM_TENSOR: 1085 return tsegMult[(o1 + 2) * 4 + o2 + 2]; 1086 case DM_POLYTOPE_TETRAHEDRON: 1087 return tetMult[(o1 + 12) * 24 + o2 + 12]; 1088 case DM_POLYTOPE_HEXAHEDRON: 1089 return hexMult[(o1 + 24) * 48 + o2 + 24]; 1090 case DM_POLYTOPE_TRI_PRISM: 1091 return tripMult[(o1 + 6) * 12 + o2 + 6]; 1092 case DM_POLYTOPE_TRI_PRISM_TENSOR: 1093 return ttriMult[(o1 + 6) * 12 + o2 + 6]; 1094 case DM_POLYTOPE_QUAD_PRISM_TENSOR: 1095 return tquadMult[(o1 + 8) * 16 + o2 + 8]; 1096 case DM_POLYTOPE_PYRAMID: 1097 return pyrMult[(o1 + 4) * 8 + o2 + 4]; 1098 default: 1099 return 0; 1100 } 1101 } 1102 1103 /* This is orientation o1 acting on orientation o2^{-1} */ 1104 static inline PetscInt DMPolytopeTypeComposeOrientationInv(DMPolytopeType ct, PetscInt o1, PetscInt o2) 1105 { 1106 static const PetscInt triInv[6] = {-3, -2, -1, 0, 2, 1}; 1107 static const PetscInt quadInv[8] = {-4, -3, -2, -1, 0, 3, 2, 1}; 1108 static const PetscInt tetInv[24] = {-9, -11, -4, -12, -5, -7, -6, -8, -10, -3, -2, -1, 0, 2, 1, 3, 8, 10, 6, 11, 4, 9, 5, 7}; 1109 static const PetscInt hexInv[48] = {-17, -18, -20, -19, -22, -21, -23, -24, -15, -16, -14, -13, -11, -12, -10, -9, -8, -5, -6, -7, -4, -3, -2, -1, 0, 3, 2, 1, 6, 5, 4, 9, 8, 7, 10, 11, 12, 13, 14, 15, 17, 16, 19, 18, 21, 20, 23, 22}; 1110 static const PetscInt tripInv[12] = {-5, -6, -4, -3, -2, -1, 0, 2, 1, 3, 4, 5}; 1111 static const PetscInt ttriInv[12] = {-6, -5, -4, -3, -2, -1, 0, 2, 1, 3, 5, 4}; 1112 static const PetscInt tquadInv[16] = {-8, -7, -6, -5, -4, -3, -2, -1, 0, 3, 2, 1, 4, 7, 6, 5}; 1113 static const PetscInt pyrInv[8] = {-4, -3, -2, -1, 0, 3, 2, 1}; 1114 switch (ct) { 1115 case DM_POLYTOPE_POINT: 1116 return 0; 1117 case DM_POLYTOPE_SEGMENT: 1118 case DM_POLYTOPE_POINT_PRISM_TENSOR: 1119 return DMPolytopeTypeComposeOrientation(ct, o1, o2); 1120 case DM_POLYTOPE_TRIANGLE: 1121 return DMPolytopeTypeComposeOrientation(ct, o1, triInv[o2 + 3]); 1122 case DM_POLYTOPE_QUADRILATERAL: 1123 return DMPolytopeTypeComposeOrientation(ct, o1, quadInv[o2 + 4]); 1124 case DM_POLYTOPE_SEG_PRISM_TENSOR: 1125 return DMPolytopeTypeComposeOrientation(ct, o1, o2); 1126 case DM_POLYTOPE_TETRAHEDRON: 1127 return DMPolytopeTypeComposeOrientation(ct, o1, tetInv[o2 + 12]); 1128 case DM_POLYTOPE_HEXAHEDRON: 1129 return DMPolytopeTypeComposeOrientation(ct, o1, hexInv[o2 + 24]); 1130 case DM_POLYTOPE_TRI_PRISM: 1131 return DMPolytopeTypeComposeOrientation(ct, o1, tripInv[o2 + 6]); 1132 case DM_POLYTOPE_TRI_PRISM_TENSOR: 1133 return DMPolytopeTypeComposeOrientation(ct, o1, ttriInv[o2 + 6]); 1134 case DM_POLYTOPE_QUAD_PRISM_TENSOR: 1135 return DMPolytopeTypeComposeOrientation(ct, o1, tquadInv[o2 + 8]); 1136 case DM_POLYTOPE_PYRAMID: 1137 return DMPolytopeTypeComposeOrientation(ct, o1, pyrInv[o2 + 4]); 1138 default: 1139 return 0; 1140 } 1141 } 1142 1143 PETSC_EXTERN PetscErrorCode DMPolytopeMatchOrientation(DMPolytopeType, const PetscInt[], const PetscInt[], PetscInt *, PetscBool *); 1144 PETSC_EXTERN PetscErrorCode DMPolytopeMatchVertexOrientation(DMPolytopeType, const PetscInt[], const PetscInt[], PetscInt *, PetscBool *); 1145 PETSC_EXTERN PetscErrorCode DMPolytopeGetOrientation(DMPolytopeType, const PetscInt[], const PetscInt[], PetscInt *); 1146 PETSC_EXTERN PetscErrorCode DMPolytopeGetVertexOrientation(DMPolytopeType, const PetscInt[], const PetscInt[], PetscInt *); 1147 PETSC_EXTERN PetscErrorCode DMPolytopeInCellTest(DMPolytopeType, const PetscReal[], PetscBool *); 1148