xref: /libCEED/tests/t520-operator.c (revision dfafb49c89722b38297bb587c0d371c098faeb52)
1 /// @file
2 /// Test creation creation, action, and destruction for mass matrix operator
3 /// \test Test creation creation, action, and destruction for mass matrix operator
4 #include <ceed.h>
5 #include <stdlib.h>
6 #include <math.h>
7 #include "t310-basis.h"
8 
9 /* The mesh comprises of two rows of 3 quadralaterals followed by one row
10      of 6 triangles:
11    _ _ _
12   |_|_|_|
13   |_|_|_|
14   |/|/|/|
15 
16 */
17 
18 static int setup(void *ctx, CeedInt Q, const CeedScalar *const *in,
19                  CeedScalar *const *out) {
20   const CeedScalar *weight = in[0], *J = in[1];
21   CeedScalar *rho = out[0];
22   for (CeedInt i=0; i<Q; i++) {
23     rho[i] = weight[i] * (J[i+Q*0]*J[i+Q*3] - J[i+Q*1]*J[i+Q*2]);
24   }
25   return 0;
26 }
27 
28 static int mass(void *ctx, CeedInt Q, const CeedScalar *const *in,
29                 CeedScalar *const *out) {
30   const CeedScalar *rho = in[0], *u = in[1];
31   CeedScalar *v = out[0];
32   for (CeedInt i=0; i<Q; i++) {
33     v[i] = rho[i] * u[i];
34   }
35   return 0;
36 }
37 
38 int main(int argc, char **argv) {
39   Ceed ceed;
40   CeedElemRestriction ErestrictxTet, ErestrictuTet,
41                       ErestrictxiTet, ErestrictuiTet,
42                       ErestrictxHex, ErestrictuHex,
43                       ErestrictxiHex, ErestrictuiHex;
44   CeedBasis bxTet, buTet,
45             bxHex, buHex;
46   CeedQFunction qf_setupTet, qf_massTet,
47                 qf_setupHex, qf_massHex;
48   CeedOperator op_setupTet, op_massTet,
49                op_setupHex, op_massHex,
50                op_setup, op_mass;
51   CeedVector qdataTet, qdataHex, X, U, V;
52   const CeedScalar *hv;
53   CeedInt nelemTet = 6, PTet = 6, QTet = 4,
54           nelemHex = 6, PHex = 3, QHex = 4, dim = 2;
55   CeedInt nx = 3, ny = 3,
56           nxTet = 3, nyTet = 1, nxHex = 3;
57   CeedInt row, col, offset;
58   CeedInt ndofs = (nx*2+1)*(ny*2+1),
59           nqptsTet = nelemTet*QTet,
60           nqptsHex = nelemHex*QHex*QHex;
61   CeedInt indxTet[nelemTet*PTet],
62           indxHex[nelemHex*PHex*PHex];
63   CeedScalar x[dim*ndofs];
64   CeedScalar qref[dim*QTet], qweight[QTet];
65   CeedScalar interp[PTet*QTet], grad[dim*PTet*QTet];
66 
67   CeedInit(argv[1], &ceed);
68 
69   // DoF Coordinates
70   for (CeedInt i=0; i<ny*2+1; i++)
71     for (CeedInt j=0; j<nx*2+1; j++) {
72       x[i+j*(ny*2+1)+0*ndofs] = (CeedScalar) i / (2*ny);
73       x[i+j*(ny*2+1)+1*ndofs] = (CeedScalar) j / (2*nx);
74     }
75   CeedVectorCreate(ceed, dim*ndofs, &X);
76   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
77 
78   // Qdata Vectors
79   CeedVectorCreate(ceed, nqptsTet, &qdataTet);
80   CeedVectorCreate(ceed, nqptsHex, &qdataHex);
81 
82   // Set up Tet Elements
83   for (CeedInt i=0; i<nelemTet/2; i++) {
84     col = i % nxTet;
85     row = i / nxTet;
86     offset = col*2 + row*(nxTet*2+1)*2;
87 
88     indxTet[i*2*PTet +  0] =  2 + offset;
89     indxTet[i*2*PTet +  1] =  9 + offset;
90     indxTet[i*2*PTet +  2] = 16 + offset;
91     indxTet[i*2*PTet +  3] =  1 + offset;
92     indxTet[i*2*PTet +  4] =  8 + offset;
93     indxTet[i*2*PTet +  5] =  0 + offset;
94 
95     indxTet[i*2*PTet +  6] = 14 + offset;
96     indxTet[i*2*PTet +  7] =  7 + offset;
97     indxTet[i*2*PTet +  8] =  0 + offset;
98     indxTet[i*2*PTet +  9] = 15 + offset;
99     indxTet[i*2*PTet + 10] =  8 + offset;
100     indxTet[i*2*PTet + 11] = 16 + offset;
101   }
102 
103   // -- Restrictions
104   CeedElemRestrictionCreate(ceed, nelemTet, PTet, ndofs, dim, CEED_MEM_HOST,
105                             CEED_USE_POINTER, indxTet, &ErestrictxTet);
106   CeedElemRestrictionCreateIdentity(ceed, nelemTet, PTet, nelemTet*PTet, dim,
107                                     &ErestrictxiTet);
108 
109   CeedElemRestrictionCreate(ceed, nelemTet, PTet, ndofs, 1, CEED_MEM_HOST,
110                             CEED_USE_POINTER, indxTet, &ErestrictuTet);
111   CeedElemRestrictionCreateIdentity(ceed, nelemTet, QTet, nqptsTet, 1,
112                                     &ErestrictuiTet);
113 
114   // -- Bases
115   buildmats(qref, qweight, interp, grad);
116   CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, PTet, QTet, interp, grad, qref,
117                     qweight, &bxTet);
118 
119   buildmats(qref, qweight, interp, grad);
120   CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, PTet, QTet, interp, grad, qref,
121                     qweight, &buTet);
122 
123   // -- QFunctions
124   CeedQFunctionCreateInterior(ceed, 1, setup, __FILE__ ":setup", &qf_setupTet);
125   CeedQFunctionAddInput(qf_setupTet, "_weight", 1, CEED_EVAL_WEIGHT);
126   CeedQFunctionAddInput(qf_setupTet, "dx", dim, CEED_EVAL_GRAD);
127   CeedQFunctionAddOutput(qf_setupTet, "rho", 1, CEED_EVAL_NONE);
128 
129   CeedQFunctionCreateInterior(ceed, 1, mass, __FILE__ ":mass", &qf_massTet);
130   CeedQFunctionAddInput(qf_massTet, "rho", 1, CEED_EVAL_NONE);
131   CeedQFunctionAddInput(qf_massTet, "u", 1, CEED_EVAL_INTERP);
132   CeedQFunctionAddOutput(qf_massTet, "v", 1, CEED_EVAL_INTERP);
133 
134   // -- Operators
135   // ---- Setup Tet
136   CeedOperatorCreate(ceed, qf_setupTet, NULL, NULL, &op_setupTet);
137   CeedOperatorSetField(op_setupTet, "_weight", ErestrictxiTet, CEED_NOTRANSPOSE,
138                        bxTet, CEED_VECTOR_NONE);
139   CeedOperatorSetField(op_setupTet, "dx", ErestrictxTet, CEED_NOTRANSPOSE,
140                        bxTet, CEED_VECTOR_ACTIVE);
141   CeedOperatorSetField(op_setupTet, "rho", ErestrictuiTet, CEED_NOTRANSPOSE,
142                        CEED_BASIS_COLLOCATED, qdataTet);
143   // ---- Mass Tet
144   CeedOperatorCreate(ceed, qf_massTet, NULL, NULL, &op_massTet);
145   CeedOperatorSetField(op_massTet, "rho", ErestrictuiTet, CEED_NOTRANSPOSE,
146                        CEED_BASIS_COLLOCATED, qdataTet);
147   CeedOperatorSetField(op_massTet, "u", ErestrictuTet, CEED_NOTRANSPOSE,
148                        buTet, CEED_VECTOR_ACTIVE);
149   CeedOperatorSetField(op_massTet, "v", ErestrictuTet, CEED_NOTRANSPOSE,
150                        buTet, CEED_VECTOR_ACTIVE);
151 
152   // Set up Hex Elements
153   for (CeedInt i=0; i<nelemHex; i++) {
154     col = i % nxHex;
155     row = i / nxHex;
156     offset = (nxTet*2+1)*(nyTet*2)*(1+row) + col*2;
157     for (CeedInt j=0; j<PHex; j++)
158       for (CeedInt k=0; k<PHex; k++)
159         indxHex[PHex*(PHex*i+k)+j] = offset + k*(nxHex*2+1) + j;
160   }
161 
162   // -- Restrictions
163   CeedElemRestrictionCreate(ceed, nelemHex, PHex*PHex, ndofs, dim,
164                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
165                             &ErestrictxHex);
166   CeedElemRestrictionCreateIdentity(ceed, nelemHex, PHex*PHex,
167                                     nelemHex*PHex*PHex, dim, &ErestrictxiHex);
168 
169   CeedElemRestrictionCreate(ceed, nelemHex, PHex*PHex, ndofs, 1,
170                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
171                             &ErestrictuHex);
172   CeedElemRestrictionCreateIdentity(ceed, nelemHex, QHex*QHex, nqptsHex, 1,
173                                     &ErestrictuiHex);
174 
175   // -- Bases
176   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, PHex, QHex, CEED_GAUSS,
177                                   &bxHex);
178   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, PHex, QHex, CEED_GAUSS, &buHex);
179 
180   // -- QFunctions
181   CeedQFunctionCreateInterior(ceed, 1, setup, __FILE__ ":setup", &qf_setupHex);
182   CeedQFunctionAddInput(qf_setupHex, "_weight", 1, CEED_EVAL_WEIGHT);
183   CeedQFunctionAddInput(qf_setupHex, "dx", dim, CEED_EVAL_GRAD);
184   CeedQFunctionAddOutput(qf_setupHex, "rho", 1, CEED_EVAL_NONE);
185 
186   CeedQFunctionCreateInterior(ceed, 1, mass, __FILE__ ":mass", &qf_massHex);
187   CeedQFunctionAddInput(qf_massHex, "rho", 1, CEED_EVAL_NONE);
188   CeedQFunctionAddInput(qf_massHex, "u", 1, CEED_EVAL_INTERP);
189   CeedQFunctionAddOutput(qf_massHex, "v", 1, CEED_EVAL_INTERP);
190 
191   // -- Operators
192   CeedOperatorCreate(ceed, qf_setupHex, NULL, NULL, &op_setupHex);
193   CeedOperatorSetField(op_setupHex, "_weight", ErestrictxiHex, CEED_NOTRANSPOSE,
194                        bxHex, CEED_VECTOR_NONE);
195   CeedOperatorSetField(op_setupHex, "dx", ErestrictxHex, CEED_NOTRANSPOSE,
196                        bxHex, CEED_VECTOR_ACTIVE);
197   CeedOperatorSetField(op_setupHex, "rho", ErestrictuiHex, CEED_NOTRANSPOSE,
198                        CEED_BASIS_COLLOCATED, qdataHex);
199 
200   CeedOperatorCreate(ceed, qf_massHex, NULL, NULL, &op_massHex);
201   CeedOperatorSetField(op_massHex, "rho", ErestrictuiHex, CEED_NOTRANSPOSE,
202                        CEED_BASIS_COLLOCATED, qdataHex);
203   CeedOperatorSetField(op_massHex, "u", ErestrictuHex, CEED_NOTRANSPOSE,
204                        buHex, CEED_VECTOR_ACTIVE);
205   CeedOperatorSetField(op_massHex, "v", ErestrictuHex, CEED_NOTRANSPOSE,
206                        buHex, CEED_VECTOR_ACTIVE);
207 
208   // Set up Composite Operators
209   // -- Create
210   CeedCompositeOperatorCreate(ceed, &op_setup);
211   // -- Add SubOperators
212   CeedCompositeOperatorAddSub(op_setup, op_setupTet);
213   CeedCompositeOperatorAddSub(op_setup, op_setupHex);
214 
215   // -- Create
216   CeedCompositeOperatorCreate(ceed, &op_mass);
217   // -- Add SubOperators
218   CeedCompositeOperatorAddSub(op_mass, op_massTet);
219   CeedCompositeOperatorAddSub(op_mass, op_massHex);
220 
221   // Apply Setup Operator
222   CeedOperatorApply(op_setup, X, NULL, CEED_REQUEST_IMMEDIATE);
223 
224   // Apply Mass Operator
225   CeedVectorCreate(ceed, ndofs, &U);
226   CeedVectorSetValue(U, 0.0);
227   CeedVectorCreate(ceed, ndofs, &V);
228 
229   CeedOperatorApply(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
230 
231   // Check output
232   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
233   for (CeedInt i=0; i<ndofs; i++)
234     if (fabs(hv[i]) > 1e-14) printf("[%d] v %g != 0.0\n",i, hv[i]);
235   CeedVectorRestoreArrayRead(V, &hv);
236 
237   // Cleanup
238   CeedQFunctionDestroy(&qf_setupTet);
239   CeedQFunctionDestroy(&qf_massTet);
240   CeedOperatorDestroy(&op_setupTet);
241   CeedOperatorDestroy(&op_massTet);
242   CeedQFunctionDestroy(&qf_setupHex);
243   CeedQFunctionDestroy(&qf_massHex);
244   CeedOperatorDestroy(&op_setupHex);
245   CeedOperatorDestroy(&op_massHex);
246   CeedOperatorDestroy(&op_setup);
247   CeedOperatorDestroy(&op_mass);
248   CeedElemRestrictionDestroy(&ErestrictuTet);
249   CeedElemRestrictionDestroy(&ErestrictxTet);
250   CeedElemRestrictionDestroy(&ErestrictuiTet);
251   CeedElemRestrictionDestroy(&ErestrictxiTet);
252   CeedElemRestrictionDestroy(&ErestrictuHex);
253   CeedElemRestrictionDestroy(&ErestrictxHex);
254   CeedElemRestrictionDestroy(&ErestrictuiHex);
255   CeedElemRestrictionDestroy(&ErestrictxiHex);
256   CeedBasisDestroy(&buTet);
257   CeedBasisDestroy(&bxTet);
258   CeedBasisDestroy(&buHex);
259   CeedBasisDestroy(&bxHex);
260   CeedVectorDestroy(&X);
261   CeedVectorDestroy(&U);
262   CeedVectorDestroy(&V);
263   CeedVectorDestroy(&qdataTet);
264   CeedVectorDestroy(&qdataHex);
265   CeedDestroy(&ceed);
266   return 0;
267 }
268