12   PetscInt  formDegree;  member
19 …etscHashInt((key).dim), PetscHashInt((key).order)), PetscHashInt((key).formDegree)), PetscHashComb…
22 …(((k1).dim == (k2).dim) ? ((k1).order == (k2).order) ? ((k1).formDegree == (k2).formDegree) ? ((k1…
26 static PetscErrorCode ExpectedNumDofs_Total(PetscInt dim, PetscInt order, PetscInt formDegree, Pets…
27 static PetscErrorCode ExpectedNumDofs_Interior(PetscInt dim, PetscInt order, PetscInt formDegree, P…
29 static PetscErrorCode ExpectedNumDofs_Total(PetscInt dim, PetscInt order, PetscInt formDegree, Pets…  in ExpectedNumDofs_Total()  argument
32   formDegree = PetscAbsInt(formDegree);  in ExpectedNumDofs_Total()
40       PetscCall(PetscDTBinomialInt(order + dim, order + formDegree, &rnchooserk));  in ExpectedNumDofs_Total()
41       PetscCall(PetscDTBinomialInt(order + formDegree - 1, formDegree, &rkm1choosek));  in ExpectedNumDofs_Total()
47       PetscCall(PetscDTBinomialInt(order + dim, order + formDegree, &rnchooserk));  in ExpectedNumDofs_Total()
48       PetscCall(PetscDTBinomialInt(order + formDegree, formDegree, &rkchoosek));  in ExpectedNumDofs_Total()
56       PetscCall(PetscDTBinomialInt(dim, formDegree, &nchoosek));  in ExpectedNumDofs_Total()
57       rpowk     = PetscPowInt(order, formDegree);  in ExpectedNumDofs_Total()
58       rp1pownmk = PetscPowInt(order + 1, dim - formDegree);  in ExpectedNumDofs_Total()
64       PetscCall(PetscDTBinomialInt(dim, formDegree, &nchoosek));  in ExpectedNumDofs_Total()
74     if (formDegree < dim) {  in ExpectedNumDofs_Total()
75       PetscCall(ExpectedNumDofs_Total(dim - 1, order, formDegree, trimmed, 0, 1, &tracek));  in ExpectedNumDofs_Total()
78     if (formDegree > 0) {  in ExpectedNumDofs_Total()
79       PetscCall(ExpectedNumDofs_Total(dim - 1, order, formDegree - 1, trimmed, 0, 1, &tracekm1));  in ExpectedNumDofs_Total()
87 static PetscErrorCode ExpectedNumDofs_Interior(PetscInt dim, PetscInt order, PetscInt formDegree, P…  in ExpectedNumDofs_Interior()  argument
90   formDegree = PetscAbsInt(formDegree);  in ExpectedNumDofs_Interior()
95       if (order + formDegree > dim) {  in ExpectedNumDofs_Interior()
96         PetscInt eorder      = order + formDegree - dim - 1;  in ExpectedNumDofs_Interior()
97         PetscInt eformDegree = dim - formDegree;  in ExpectedNumDofs_Interior()
109       if (order + formDegree > dim) {  in ExpectedNumDofs_Interior()
110         PetscInt eorder      = order + formDegree - dim;  in ExpectedNumDofs_Interior()
111         PetscInt eformDegree = dim - formDegree;  in ExpectedNumDofs_Interior()
124       PetscCall(ExpectedNumDofs_Interior(dim, order, formDegree, trimmed, 0, nCopies, nDofs));  in ExpectedNumDofs_Interior()
131       if (formDegree < dim) {  in ExpectedNumDofs_Interior()
132 …PetscCall(ExpectedNumDofs_Interior(dim - 1, order, formDegree, trimmed, dim > 2 ? 1 : 0, 1, &trace…  in ExpectedNumDofs_Interior()
135       if (formDegree > 0) {  in ExpectedNumDofs_Interior()
136 …PetscCall(ExpectedNumDofs_Interior(dim - 1, order, formDegree - 1, trimmed, dim > 2 ? 1 : 0, 1, &t…  in ExpectedNumDofs_Interior()
147     if (formDegree < dim) {  in ExpectedNumDofs_Interior()
148       PetscCall(ExpectedNumDofs_Interior(dim - 1, order, formDegree, trimmed, 0, 1, &tracek));  in ExpectedNumDofs_Interior()
151     if (formDegree > 0) {  in ExpectedNumDofs_Interior()
152       PetscCall(ExpectedNumDofs_Interior(dim - 1, order, formDegree - 1, trimmed, 0, 1, &tracekm1));  in ExpectedNumDofs_Interior()
160 …ge(PetscHashLag lagTable, DM K, PetscInt dim, PetscInt order, PetscInt formDegree, PetscBool trimm…  in testLagrange()  argument
171   PetscCall(PetscDTBinomialInt(dim, PetscAbsInt(formDegree), &Nk));  in testLagrange()
176   PetscCall(PetscDualSpaceSetFormDegree(sp, formDegree));  in testLagrange()
181 …t_FMT "\n", dim, order, (PetscInt)trimmed, tensorCell, (PetscInt)continuous, formDegree, nCopies));  in testLagrange()
182   PetscCall(ExpectedNumDofs_Total(dim, order, formDegree, trimmed, tensorCell, nCopies, &exspdim));  in testLagrange()
184 …PetscCall(ExpectedNumDofs_Interior(dim, order, formDegree, trimmed, tensorCell, nCopies, &exspintd…  in testLagrange()
194   key.formDegree = formDegree;  in testLagrange()
212 …", DMPolytopeTypes[type], order, (PetscInt)trimmed, tensorCell, (PetscInt)continuous, formDegree));  in testLagrange()
331     PetscInt formDegree;  in main()  local
333     for (formDegree = PetscMin(0, -dim + 1); formDegree <= dim; formDegree++) {  in main()
336 …pies <= 3; nCopies++) PetscCall(testLagrange(lagTable, dm, dim, order, formDegree, trimmed, tensor…  in main()