xref: /libCEED/tests/t524-operator.c (revision 6227f746ac60b204eb8bef3940ce18d29695259e)
1250756a7Sjeremylt /// @file
2*6227f746SJeremy L Thompson /// Test CeedOperatorApplyAdd for composite operator
3*6227f746SJeremy L Thompson /// \test CeedOperatorApplyAdd for composite operator
4250756a7Sjeremylt #include <ceed.h>
5250756a7Sjeremylt #include <stdlib.h>
6250756a7Sjeremylt #include <math.h>
7250756a7Sjeremylt #include "t320-basis.h"
8250756a7Sjeremylt #include "t510-operator.h"
9250756a7Sjeremylt 
10250756a7Sjeremylt /* The mesh comprises of two rows of 3 quadralaterals followed by one row
11250756a7Sjeremylt      of 6 triangles:
12250756a7Sjeremylt    _ _ _
13250756a7Sjeremylt   |_|_|_|
14250756a7Sjeremylt   |_|_|_|
15250756a7Sjeremylt   |/|/|/|
16250756a7Sjeremylt 
17250756a7Sjeremylt */
18250756a7Sjeremylt 
19250756a7Sjeremylt int main(int argc, char **argv) {
20250756a7Sjeremylt   Ceed ceed;
21250756a7Sjeremylt   CeedElemRestriction ErestrictxTet, ErestrictuTet,
2215910d16Sjeremylt                       ErestrictuiTet,
23250756a7Sjeremylt                       ErestrictxHex, ErestrictuHex,
2415910d16Sjeremylt                       ErestrictuiHex;
25250756a7Sjeremylt   CeedBasis bxTet, buTet,
26250756a7Sjeremylt             bxHex, buHex;
27250756a7Sjeremylt   CeedQFunction qf_setupTet, qf_massTet,
28250756a7Sjeremylt                 qf_setupHex, qf_massHex;
29250756a7Sjeremylt   CeedOperator op_setupTet, op_massTet,
30250756a7Sjeremylt                op_setupHex, op_massHex,
31250756a7Sjeremylt                op_setup, op_mass;
32250756a7Sjeremylt   CeedVector qdataTet, qdataHex, X, U, V;
33250756a7Sjeremylt   const CeedScalar *hv;
34250756a7Sjeremylt   CeedInt nelemTet = 6, PTet = 6, QTet = 4,
35250756a7Sjeremylt           nelemHex = 6, PHex = 3, QHex = 4, dim = 2;
36250756a7Sjeremylt   CeedInt nx = 3, ny = 3,
37250756a7Sjeremylt           nxTet = 3, nyTet = 1, nxHex = 3;
38250756a7Sjeremylt   CeedInt row, col, offset;
39250756a7Sjeremylt   CeedInt ndofs = (nx*2+1)*(ny*2+1),
40250756a7Sjeremylt           nqptsTet = nelemTet*QTet,
41250756a7Sjeremylt           nqptsHex = nelemHex*QHex*QHex;
42250756a7Sjeremylt   CeedInt indxTet[nelemTet*PTet],
43250756a7Sjeremylt           indxHex[nelemHex*PHex*PHex];
44250756a7Sjeremylt   CeedScalar x[dim*ndofs];
45250756a7Sjeremylt   CeedScalar qref[dim*QTet], qweight[QTet];
46250756a7Sjeremylt   CeedScalar interp[PTet*QTet], grad[dim*PTet*QTet];
47250756a7Sjeremylt   CeedScalar sum;
48250756a7Sjeremylt 
49250756a7Sjeremylt   CeedInit(argv[1], &ceed);
50250756a7Sjeremylt 
51250756a7Sjeremylt   // DoF Coordinates
52250756a7Sjeremylt   for (CeedInt i=0; i<ny*2+1; i++)
53250756a7Sjeremylt     for (CeedInt j=0; j<nx*2+1; j++) {
54250756a7Sjeremylt       x[i+j*(ny*2+1)+0*ndofs] = (CeedScalar) i / (2*ny);
55250756a7Sjeremylt       x[i+j*(ny*2+1)+1*ndofs] = (CeedScalar) j / (2*nx);
56250756a7Sjeremylt     }
57250756a7Sjeremylt   CeedVectorCreate(ceed, dim*ndofs, &X);
58250756a7Sjeremylt   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
59250756a7Sjeremylt 
60250756a7Sjeremylt   // Qdata Vectors
61250756a7Sjeremylt   CeedVectorCreate(ceed, nqptsTet, &qdataTet);
62250756a7Sjeremylt   CeedVectorCreate(ceed, nqptsHex, &qdataHex);
63250756a7Sjeremylt 
64250756a7Sjeremylt   // Tet Elements
65250756a7Sjeremylt   for (CeedInt i=0; i<nelemTet/2; i++) {
66250756a7Sjeremylt     col = i % nxTet;
67250756a7Sjeremylt     row = i / nxTet;
68250756a7Sjeremylt     offset = col*2 + row*(nxTet*2+1)*2;
69250756a7Sjeremylt 
70250756a7Sjeremylt     indxTet[i*2*PTet +  0] =  2 + offset;
71250756a7Sjeremylt     indxTet[i*2*PTet +  1] =  9 + offset;
72250756a7Sjeremylt     indxTet[i*2*PTet +  2] = 16 + offset;
73250756a7Sjeremylt     indxTet[i*2*PTet +  3] =  1 + offset;
74250756a7Sjeremylt     indxTet[i*2*PTet +  4] =  8 + offset;
75250756a7Sjeremylt     indxTet[i*2*PTet +  5] =  0 + offset;
76250756a7Sjeremylt 
77250756a7Sjeremylt     indxTet[i*2*PTet +  6] = 14 + offset;
78250756a7Sjeremylt     indxTet[i*2*PTet +  7] =  7 + offset;
79250756a7Sjeremylt     indxTet[i*2*PTet +  8] =  0 + offset;
80250756a7Sjeremylt     indxTet[i*2*PTet +  9] = 15 + offset;
81250756a7Sjeremylt     indxTet[i*2*PTet + 10] =  8 + offset;
82250756a7Sjeremylt     indxTet[i*2*PTet + 11] = 16 + offset;
83250756a7Sjeremylt   }
84250756a7Sjeremylt 
85250756a7Sjeremylt   // -- Restrictions
86d979a051Sjeremylt   CeedElemRestrictionCreate(ceed, nelemTet, PTet, dim, ndofs, dim*ndofs,
87a8d32208Sjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, indxTet,
88a8d32208Sjeremylt                             &ErestrictxTet);
89250756a7Sjeremylt 
90d979a051Sjeremylt   CeedElemRestrictionCreate(ceed, nelemTet, PTet, 1, 1, ndofs,
91a8d32208Sjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, indxTet,
92a8d32208Sjeremylt                             &ErestrictuTet);
937509a596Sjeremylt   CeedInt stridesuTet[3] = {1, QTet, QTet};
94d979a051Sjeremylt   CeedElemRestrictionCreateStrided(ceed,  nelemTet, QTet, 1, nqptsTet,
957509a596Sjeremylt                                    stridesuTet, &ErestrictuiTet);
96250756a7Sjeremylt 
97250756a7Sjeremylt   // -- Bases
98250756a7Sjeremylt   buildmats(qref, qweight, interp, grad);
99250756a7Sjeremylt   CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, PTet, QTet, interp, grad, qref,
100250756a7Sjeremylt                     qweight, &bxTet);
101250756a7Sjeremylt 
102250756a7Sjeremylt   buildmats(qref, qweight, interp, grad);
103250756a7Sjeremylt   CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, PTet, QTet, interp, grad, qref,
104250756a7Sjeremylt                     qweight, &buTet);
105250756a7Sjeremylt 
106250756a7Sjeremylt   // -- QFunctions
107250756a7Sjeremylt   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setupTet);
108250756a7Sjeremylt   CeedQFunctionAddInput(qf_setupTet, "_weight", 1, CEED_EVAL_WEIGHT);
109250756a7Sjeremylt   CeedQFunctionAddInput(qf_setupTet, "dx", dim*dim, CEED_EVAL_GRAD);
110250756a7Sjeremylt   CeedQFunctionAddOutput(qf_setupTet, "rho", 1, CEED_EVAL_NONE);
111250756a7Sjeremylt 
112250756a7Sjeremylt   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_massTet);
113250756a7Sjeremylt   CeedQFunctionAddInput(qf_massTet, "rho", 1, CEED_EVAL_NONE);
114250756a7Sjeremylt   CeedQFunctionAddInput(qf_massTet, "u", 1, CEED_EVAL_INTERP);
115250756a7Sjeremylt   CeedQFunctionAddOutput(qf_massTet, "v", 1, CEED_EVAL_INTERP);
116250756a7Sjeremylt 
117250756a7Sjeremylt   // -- Operators
118250756a7Sjeremylt   // ---- Setup Tet
119250756a7Sjeremylt   CeedOperatorCreate(ceed, qf_setupTet, CEED_QFUNCTION_NONE,
120250756a7Sjeremylt                      CEED_QFUNCTION_NONE, &op_setupTet);
12115910d16Sjeremylt   CeedOperatorSetField(op_setupTet, "_weight", CEED_ELEMRESTRICTION_NONE, bxTet,
122a8d32208Sjeremylt                        CEED_VECTOR_NONE);
123a8d32208Sjeremylt   CeedOperatorSetField(op_setupTet, "dx", ErestrictxTet, bxTet,
124a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
125a8d32208Sjeremylt   CeedOperatorSetField(op_setupTet, "rho", ErestrictuiTet,
126250756a7Sjeremylt                        CEED_BASIS_COLLOCATED, qdataTet);
127250756a7Sjeremylt   // ---- Mass Tet
128250756a7Sjeremylt   CeedOperatorCreate(ceed, qf_massTet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
129250756a7Sjeremylt                      &op_massTet);
130a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "rho", ErestrictuiTet, CEED_BASIS_COLLOCATED,
131a8d32208Sjeremylt                        qdataTet);
132a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "u", ErestrictuTet, buTet,
133a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
134a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "v", ErestrictuTet, buTet,
135a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
136250756a7Sjeremylt 
137250756a7Sjeremylt   // Hex Elements
138250756a7Sjeremylt   for (CeedInt i=0; i<nelemHex; i++) {
139250756a7Sjeremylt     col = i % nxHex;
140250756a7Sjeremylt     row = i / nxHex;
141250756a7Sjeremylt     offset = (nxTet*2+1)*(nyTet*2)*(1+row) + col*2;
142250756a7Sjeremylt     for (CeedInt j=0; j<PHex; j++)
143250756a7Sjeremylt       for (CeedInt k=0; k<PHex; k++)
144250756a7Sjeremylt         indxHex[PHex*(PHex*i+k)+j] = offset + k*(nxHex*2+1) + j;
145250756a7Sjeremylt   }
146250756a7Sjeremylt 
147250756a7Sjeremylt   // -- Restrictions
148d979a051Sjeremylt   CeedElemRestrictionCreate(ceed, nelemHex, PHex*PHex, dim, ndofs, dim*ndofs,
149250756a7Sjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
150250756a7Sjeremylt                             &ErestrictxHex);
151250756a7Sjeremylt 
152d979a051Sjeremylt   CeedElemRestrictionCreate(ceed, nelemHex, PHex*PHex, 1, 1, ndofs,
153250756a7Sjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
154250756a7Sjeremylt                             &ErestrictuHex);
1557509a596Sjeremylt   CeedInt stridesuHex[3] = {1, QHex*QHex, QHex*QHex};
156d979a051Sjeremylt   CeedElemRestrictionCreateStrided(ceed, nelemHex, QHex*QHex, 1, nqptsHex,
1577509a596Sjeremylt                                    stridesuHex, &ErestrictuiHex);
158250756a7Sjeremylt 
159250756a7Sjeremylt   // -- Bases
160250756a7Sjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, PHex, QHex, CEED_GAUSS,
161250756a7Sjeremylt                                   &bxHex);
162250756a7Sjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, PHex, QHex, CEED_GAUSS, &buHex);
163250756a7Sjeremylt 
164250756a7Sjeremylt   // -- QFunctions
165250756a7Sjeremylt   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setupHex);
166250756a7Sjeremylt   CeedQFunctionAddInput(qf_setupHex, "_weight", 1, CEED_EVAL_WEIGHT);
167250756a7Sjeremylt   CeedQFunctionAddInput(qf_setupHex, "dx", dim*dim, CEED_EVAL_GRAD);
168250756a7Sjeremylt   CeedQFunctionAddOutput(qf_setupHex, "rho", 1, CEED_EVAL_NONE);
169250756a7Sjeremylt 
170250756a7Sjeremylt   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_massHex);
171250756a7Sjeremylt   CeedQFunctionAddInput(qf_massHex, "rho", 1, CEED_EVAL_NONE);
172250756a7Sjeremylt   CeedQFunctionAddInput(qf_massHex, "u", 1, CEED_EVAL_INTERP);
173250756a7Sjeremylt   CeedQFunctionAddOutput(qf_massHex, "v", 1, CEED_EVAL_INTERP);
174250756a7Sjeremylt 
175250756a7Sjeremylt   // -- Operators
176250756a7Sjeremylt   CeedOperatorCreate(ceed, qf_setupHex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
177250756a7Sjeremylt                      &op_setupHex);
17815910d16Sjeremylt   CeedOperatorSetField(op_setupHex, "_weight", CEED_ELEMRESTRICTION_NONE, bxHex,
179a8d32208Sjeremylt                        CEED_VECTOR_NONE);
180a8d32208Sjeremylt   CeedOperatorSetField(op_setupHex, "dx", ErestrictxHex, bxHex,
181a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
182a8d32208Sjeremylt   CeedOperatorSetField(op_setupHex, "rho", ErestrictuiHex,
183250756a7Sjeremylt                        CEED_BASIS_COLLOCATED, qdataHex);
184250756a7Sjeremylt 
185250756a7Sjeremylt   CeedOperatorCreate(ceed, qf_massHex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
186250756a7Sjeremylt                      &op_massHex);
187a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "rho", ErestrictuiHex, CEED_BASIS_COLLOCATED,
188a8d32208Sjeremylt                        qdataHex);
189a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "u", ErestrictuHex, buHex,
190a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
191a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "v", ErestrictuHex, buHex,
192a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
193250756a7Sjeremylt 
194250756a7Sjeremylt   // Composite Operators
195250756a7Sjeremylt   CeedCompositeOperatorCreate(ceed, &op_setup);
196250756a7Sjeremylt   CeedCompositeOperatorAddSub(op_setup, op_setupTet);
197250756a7Sjeremylt   CeedCompositeOperatorAddSub(op_setup, op_setupHex);
198250756a7Sjeremylt 
199250756a7Sjeremylt   CeedCompositeOperatorCreate(ceed, &op_mass);
200250756a7Sjeremylt   CeedCompositeOperatorAddSub(op_mass, op_massTet);
201250756a7Sjeremylt   CeedCompositeOperatorAddSub(op_mass, op_massHex);
202250756a7Sjeremylt 
203250756a7Sjeremylt   // Apply Setup Operator
204250756a7Sjeremylt   CeedOperatorApply(op_setup, X, CEED_VECTOR_NONE, CEED_REQUEST_IMMEDIATE);
205250756a7Sjeremylt 
206250756a7Sjeremylt   // Apply Mass Operator
207250756a7Sjeremylt   CeedVectorCreate(ceed, ndofs, &U);
208250756a7Sjeremylt   CeedVectorSetValue(U, 1.0);
209250756a7Sjeremylt   CeedVectorCreate(ceed, ndofs, &V);
210250756a7Sjeremylt   CeedVectorSetValue(V, 0.0);
211250756a7Sjeremylt 
212250756a7Sjeremylt   // Apply
213250756a7Sjeremylt   CeedOperatorApplyAdd(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
214250756a7Sjeremylt 
215250756a7Sjeremylt   // Check output
216250756a7Sjeremylt   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
217250756a7Sjeremylt   sum = 0.;
218250756a7Sjeremylt   for (CeedInt i=0; i<ndofs; i++)
219250756a7Sjeremylt     sum += hv[i];
220250756a7Sjeremylt   if (fabs(sum-1.)>1e-10) printf("Computed Area: %f != True Area: 1.0\n", sum);
221250756a7Sjeremylt   CeedVectorRestoreArrayRead(V, &hv);
222250756a7Sjeremylt 
223250756a7Sjeremylt   // Apply Add
224250756a7Sjeremylt   CeedVectorSetValue(V, 1.0);
225250756a7Sjeremylt   CeedOperatorApplyAdd(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
226250756a7Sjeremylt 
227250756a7Sjeremylt   // Check output
228250756a7Sjeremylt   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
229250756a7Sjeremylt   sum = -ndofs;
230250756a7Sjeremylt   for (CeedInt i=0; i<ndofs; i++)
231250756a7Sjeremylt     sum += hv[i];
232250756a7Sjeremylt   if (fabs(sum-1.)>1e-10) printf("Computed Area: %f != True Area: 1.0\n", sum);
233250756a7Sjeremylt   CeedVectorRestoreArrayRead(V, &hv);
234250756a7Sjeremylt 
235250756a7Sjeremylt   // Cleanup
236250756a7Sjeremylt   CeedQFunctionDestroy(&qf_setupTet);
237250756a7Sjeremylt   CeedQFunctionDestroy(&qf_massTet);
238250756a7Sjeremylt   CeedOperatorDestroy(&op_setupTet);
239250756a7Sjeremylt   CeedOperatorDestroy(&op_massTet);
240250756a7Sjeremylt   CeedQFunctionDestroy(&qf_setupHex);
241250756a7Sjeremylt   CeedQFunctionDestroy(&qf_massHex);
242250756a7Sjeremylt   CeedOperatorDestroy(&op_setupHex);
243250756a7Sjeremylt   CeedOperatorDestroy(&op_massHex);
244250756a7Sjeremylt   CeedOperatorDestroy(&op_setup);
245250756a7Sjeremylt   CeedOperatorDestroy(&op_mass);
246250756a7Sjeremylt   CeedElemRestrictionDestroy(&ErestrictuTet);
247250756a7Sjeremylt   CeedElemRestrictionDestroy(&ErestrictxTet);
248250756a7Sjeremylt   CeedElemRestrictionDestroy(&ErestrictuiTet);
249250756a7Sjeremylt   CeedElemRestrictionDestroy(&ErestrictuHex);
250250756a7Sjeremylt   CeedElemRestrictionDestroy(&ErestrictxHex);
251250756a7Sjeremylt   CeedElemRestrictionDestroy(&ErestrictuiHex);
252250756a7Sjeremylt   CeedBasisDestroy(&buTet);
253250756a7Sjeremylt   CeedBasisDestroy(&bxTet);
254250756a7Sjeremylt   CeedBasisDestroy(&buHex);
255250756a7Sjeremylt   CeedBasisDestroy(&bxHex);
256250756a7Sjeremylt   CeedVectorDestroy(&X);
257250756a7Sjeremylt   CeedVectorDestroy(&U);
258250756a7Sjeremylt   CeedVectorDestroy(&V);
259250756a7Sjeremylt   CeedVectorDestroy(&qdataTet);
260250756a7Sjeremylt   CeedVectorDestroy(&qdataHex);
261250756a7Sjeremylt   CeedDestroy(&ceed);
262250756a7Sjeremylt   return 0;
263250756a7Sjeremylt }
264