xref: /petsc/include/petscdm.h (revision 4e8208cbcbc709572b8abe32f33c78b69c819375) 
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);
DMGetSection(DM dm,PetscSection * s)265 static inline PETSC_DEPRECATED_FUNCTION(3, 23, 0, "DMGetLocalSection()", ) PetscErrorCode DMGetSection(DM dm, PetscSection *s)
266 {
267   return DMGetLocalSection(dm, s);
268 }
DMSetSection(DM dm,PetscSection s)269 static inline PETSC_DEPRECATED_FUNCTION(3, 23, 0, "DMSetLocalSection()", ) PetscErrorCode DMSetSection(DM dm, PetscSection s)
270 {
271   return DMSetLocalSection(dm, s);
272 }
DMGetDefaultSection(DM dm,PetscSection * s)273 static inline PETSC_DEPRECATED_FUNCTION(3, 9, 0, "DMGetSection()", ) PetscErrorCode DMGetDefaultSection(DM dm, PetscSection *s)
274 {
275   return DMGetLocalSection(dm, s);
276 }
DMSetDefaultSection(DM dm,PetscSection s)277 static inline PETSC_DEPRECATED_FUNCTION(3, 9, 0, "DMSetSection()", ) PetscErrorCode DMSetDefaultSection(DM dm, PetscSection s)
278 {
279   return DMSetLocalSection(dm, s);
280 }
DMGetDefaultGlobalSection(DM dm,PetscSection * s)281 static inline PETSC_DEPRECATED_FUNCTION(3, 9, 0, "DMGetGlobalSection()", ) PetscErrorCode DMGetDefaultGlobalSection(DM dm, PetscSection *s)
282 {
283   return DMGetGlobalSection(dm, s);
284 }
DMSetDefaultGlobalSection(DM dm,PetscSection s)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);
DMGetDefaultSF(DM dm,PetscSF * s)293 static inline PETSC_DEPRECATED_FUNCTION(3, 12, 0, "DMGetSectionSF()", ) PetscErrorCode DMGetDefaultSF(DM dm, PetscSF *s)
294 {
295   return DMGetSectionSF(dm, s);
296 }
DMSetDefaultSF(DM dm,PetscSF s)297 static inline PETSC_DEPRECATED_FUNCTION(3, 12, 0, "DMSetSectionSF()", ) PetscErrorCode DMSetDefaultSF(DM dm, PetscSF s)
298 {
299   return DMSetSectionSF(dm, s);
300 }
DMCreateDefaultSF(DM dm,PetscSection l,PetscSection g)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 
DMPolytopeTypeIsHybrid(DMPolytopeType ct)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 
DMPolytopeTypeGetDim(DMPolytopeType ct)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 
DMPolytopeTypeGetConeSize(DMPolytopeType ct)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 
DMPolytopeTypeGetNumVertices(DMPolytopeType ct)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 
DMPolytopeTypeSimpleShape(PetscInt dim,PetscBool simplex)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 
DMPolytopeTypeGetNumArrangements(DMPolytopeType ct)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 */
DMPolytopeTypeGetArrangement(DMPolytopeType ct,PetscInt o)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 */
DMPolytopeTypeGetVertexArrangement(DMPolytopeType ct,PetscInt o)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 */
DMPolytopeTypeComposeOrientation(DMPolytopeType ct,PetscInt o1,PetscInt 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} */
DMPolytopeTypeComposeOrientationInv(DMPolytopeType ct,PetscInt o1,PetscInt o2)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