xref: /libCEED/tests/t521-operator.c (revision 0c59ef1511c1854d5530d4fa574b4e491f68e03a)
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   CeedScalar sum;
67 
68   CeedInit(argv[1], &ceed);
69 
70   // DoF Coordinates
71   for (CeedInt i=0; i<ny*2+1; i++)
72     for (CeedInt j=0; j<nx*2+1; j++) {
73       x[i+j*(ny*2+1)+0*ndofs] = (CeedScalar) i / (2*ny);
74       x[i+j*(ny*2+1)+1*ndofs] = (CeedScalar) j / (2*nx);
75     }
76   CeedVectorCreate(ceed, dim*ndofs, &X);
77   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
78 
79   // Qdata Vectors
80   CeedVectorCreate(ceed, nqptsTet, &qdataTet);
81   CeedVectorCreate(ceed, nqptsHex, &qdataHex);
82 
83   // Tet Elements
84   for (CeedInt i=0; i<nelemTet/2; i++) {
85     col = i % nxTet;
86     row = i / nxTet;
87     offset = col*2 + row*(nxTet*2+1)*2;
88 
89     indxTet[i*2*PTet +  0] =  2 + offset;
90     indxTet[i*2*PTet +  1] =  9 + offset;
91     indxTet[i*2*PTet +  2] = 16 + offset;
92     indxTet[i*2*PTet +  3] =  1 + offset;
93     indxTet[i*2*PTet +  4] =  8 + offset;
94     indxTet[i*2*PTet +  5] =  0 + offset;
95 
96     indxTet[i*2*PTet +  6] = 14 + offset;
97     indxTet[i*2*PTet +  7] =  7 + offset;
98     indxTet[i*2*PTet +  8] =  0 + offset;
99     indxTet[i*2*PTet +  9] = 15 + offset;
100     indxTet[i*2*PTet + 10] =  8 + offset;
101     indxTet[i*2*PTet + 11] = 16 + offset;
102   }
103 
104   // -- Restrictions
105   CeedElemRestrictionCreate(ceed, nelemTet, PTet, ndofs, dim, CEED_MEM_HOST,
106                             CEED_USE_POINTER, indxTet, &ErestrictxTet);
107   CeedElemRestrictionCreateIdentity(ceed, nelemTet, PTet, nelemTet*PTet, dim,
108                                     &ErestrictxiTet);
109 
110   CeedElemRestrictionCreate(ceed, nelemTet, PTet, ndofs, 1, CEED_MEM_HOST,
111                             CEED_USE_POINTER, indxTet, &ErestrictuTet);
112   CeedElemRestrictionCreateIdentity(ceed, nelemTet, QTet, nqptsTet, 1,
113                                     &ErestrictuiTet);
114 
115   // -- Bases
116   buildmats(qref, qweight, interp, grad);
117   CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, PTet, QTet, interp, grad, qref,
118                     qweight, &bxTet);
119 
120   buildmats(qref, qweight, interp, grad);
121   CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, PTet, QTet, interp, grad, qref,
122                     qweight, &buTet);
123 
124   // -- QFunctions
125   CeedQFunctionCreateInterior(ceed, 1, setup, __FILE__ ":setup", &qf_setupTet);
126   CeedQFunctionAddInput(qf_setupTet, "_weight", 1, CEED_EVAL_WEIGHT);
127   CeedQFunctionAddInput(qf_setupTet, "dx", dim, CEED_EVAL_GRAD);
128   CeedQFunctionAddOutput(qf_setupTet, "rho", 1, CEED_EVAL_NONE);
129 
130   CeedQFunctionCreateInterior(ceed, 1, mass, __FILE__ ":mass", &qf_massTet);
131   CeedQFunctionAddInput(qf_massTet, "rho", 1, CEED_EVAL_NONE);
132   CeedQFunctionAddInput(qf_massTet, "u", 1, CEED_EVAL_INTERP);
133   CeedQFunctionAddOutput(qf_massTet, "v", 1, CEED_EVAL_INTERP);
134 
135   // -- Operators
136   // ---- Setup Tet
137   CeedOperatorCreate(ceed, qf_setupTet, NULL, NULL, &op_setupTet);
138   CeedOperatorSetField(op_setupTet, "_weight", ErestrictxiTet, CEED_NOTRANSPOSE,
139                        bxTet, CEED_VECTOR_NONE);
140   CeedOperatorSetField(op_setupTet, "dx", ErestrictxTet, CEED_NOTRANSPOSE,
141                        bxTet, CEED_VECTOR_ACTIVE);
142   CeedOperatorSetField(op_setupTet, "rho", ErestrictuiTet, CEED_NOTRANSPOSE,
143                        CEED_BASIS_COLLOCATED, qdataTet);
144   // ---- Mass Tet
145   CeedOperatorCreate(ceed, qf_massTet, NULL, NULL, &op_massTet);
146   CeedOperatorSetField(op_massTet, "rho", ErestrictuiTet, CEED_NOTRANSPOSE,
147                        CEED_BASIS_COLLOCATED, qdataTet);
148   CeedOperatorSetField(op_massTet, "u", ErestrictuTet, CEED_NOTRANSPOSE,
149                        buTet, CEED_VECTOR_ACTIVE);
150   CeedOperatorSetField(op_massTet, "v", ErestrictuTet, CEED_NOTRANSPOSE,
151                        buTet, CEED_VECTOR_ACTIVE);
152 
153   // Hex Elements
154   for (CeedInt i=0; i<nelemHex; i++) {
155     col = i % nxHex;
156     row = i / nxHex;
157     offset = (nxTet*2+1)*(nyTet*2)*(1+row) + col*2;
158     for (CeedInt j=0; j<PHex; j++)
159       for (CeedInt k=0; k<PHex; k++)
160         indxHex[PHex*(PHex*i+k)+j] = offset + k*(nxHex*2+1) + j;
161   }
162 
163   // -- Restrictions
164   CeedElemRestrictionCreate(ceed, nelemHex, PHex*PHex, ndofs, dim,
165                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
166                             &ErestrictxHex);
167   CeedElemRestrictionCreateIdentity(ceed, nelemHex, PHex*PHex,
168                                     nelemHex*PHex*PHex, dim, &ErestrictxiHex);
169 
170   CeedElemRestrictionCreate(ceed, nelemHex, PHex*PHex, ndofs, 1,
171                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
172                             &ErestrictuHex);
173   CeedElemRestrictionCreateIdentity(ceed, nelemHex, QHex*QHex, nqptsHex, 1,
174                                     &ErestrictuiHex);
175 
176   // -- Bases
177   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, PHex, QHex, CEED_GAUSS,
178                                   &bxHex);
179   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, PHex, QHex, CEED_GAUSS, &buHex);
180 
181   // -- QFunctions
182   CeedQFunctionCreateInterior(ceed, 1, setup, __FILE__ ":setup", &qf_setupHex);
183   CeedQFunctionAddInput(qf_setupHex, "_weight", 1, CEED_EVAL_WEIGHT);
184   CeedQFunctionAddInput(qf_setupHex, "dx", dim, CEED_EVAL_GRAD);
185   CeedQFunctionAddOutput(qf_setupHex, "rho", 1, CEED_EVAL_NONE);
186 
187   CeedQFunctionCreateInterior(ceed, 1, mass, __FILE__ ":mass", &qf_massHex);
188   CeedQFunctionAddInput(qf_massHex, "rho", 1, CEED_EVAL_NONE);
189   CeedQFunctionAddInput(qf_massHex, "u", 1, CEED_EVAL_INTERP);
190   CeedQFunctionAddOutput(qf_massHex, "v", 1, CEED_EVAL_INTERP);
191 
192   // -- Operators
193   CeedOperatorCreate(ceed, qf_setupHex, NULL, NULL, &op_setupHex);
194   CeedOperatorSetField(op_setupHex, "_weight", ErestrictxiHex, CEED_NOTRANSPOSE,
195                        bxHex, CEED_VECTOR_NONE);
196   CeedOperatorSetField(op_setupHex, "dx", ErestrictxHex, CEED_NOTRANSPOSE,
197                        bxHex, CEED_VECTOR_ACTIVE);
198   CeedOperatorSetField(op_setupHex, "rho", ErestrictuiHex, CEED_NOTRANSPOSE,
199                        CEED_BASIS_COLLOCATED, qdataHex);
200 
201   CeedOperatorCreate(ceed, qf_massHex, NULL, NULL, &op_massHex);
202   CeedOperatorSetField(op_massHex, "rho", ErestrictuiHex, CEED_NOTRANSPOSE,
203                        CEED_BASIS_COLLOCATED, qdataHex);
204   CeedOperatorSetField(op_massHex, "u", ErestrictuHex, CEED_NOTRANSPOSE,
205                        buHex, CEED_VECTOR_ACTIVE);
206   CeedOperatorSetField(op_massHex, "v", ErestrictuHex, CEED_NOTRANSPOSE,
207                        buHex, CEED_VECTOR_ACTIVE);
208 
209   // Composite Operators
210   CeedCompositeOperatorCreate(ceed, &op_setup);
211   CeedCompositeOperatorAddSub(op_setup, op_setupTet);
212   CeedCompositeOperatorAddSub(op_setup, op_setupHex);
213 
214   CeedCompositeOperatorCreate(ceed, &op_mass);
215   CeedCompositeOperatorAddSub(op_mass, op_massTet);
216   CeedCompositeOperatorAddSub(op_mass, op_massHex);
217 
218   // Apply Setup Operator
219   CeedOperatorApply(op_setup, X, NULL, CEED_REQUEST_IMMEDIATE);
220 
221   // Apply Mass Operator
222   CeedVectorCreate(ceed, ndofs, &U);
223   CeedVectorSetValue(U, 1.0);
224   CeedVectorCreate(ceed, ndofs, &V);
225 
226   CeedOperatorApply(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
227 
228   // Check output
229   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
230   sum = 0.;
231   for (CeedInt i=0; i<ndofs; i++)
232     sum += hv[i];
233   if (fabs(sum-1.)>1e-10) printf("Computed Area: %f != True Area: 1.0\n", sum);
234   CeedVectorRestoreArrayRead(V, &hv);
235 
236   // Cleanup
237   CeedQFunctionDestroy(&qf_setupTet);
238   CeedQFunctionDestroy(&qf_massTet);
239   CeedOperatorDestroy(&op_setupTet);
240   CeedOperatorDestroy(&op_massTet);
241   CeedQFunctionDestroy(&qf_setupHex);
242   CeedQFunctionDestroy(&qf_massHex);
243   CeedOperatorDestroy(&op_setupHex);
244   CeedOperatorDestroy(&op_massHex);
245   CeedOperatorDestroy(&op_setup);
246   CeedOperatorDestroy(&op_mass);
247   CeedElemRestrictionDestroy(&ErestrictuTet);
248   CeedElemRestrictionDestroy(&ErestrictxTet);
249   CeedElemRestrictionDestroy(&ErestrictuiTet);
250   CeedElemRestrictionDestroy(&ErestrictxiTet);
251   CeedElemRestrictionDestroy(&ErestrictuHex);
252   CeedElemRestrictionDestroy(&ErestrictxHex);
253   CeedElemRestrictionDestroy(&ErestrictuiHex);
254   CeedElemRestrictionDestroy(&ErestrictxiHex);
255   CeedBasisDestroy(&buTet);
256   CeedBasisDestroy(&bxTet);
257   CeedBasisDestroy(&buHex);
258   CeedBasisDestroy(&bxHex);
259   CeedVectorDestroy(&X);
260   CeedVectorDestroy(&U);
261   CeedVectorDestroy(&V);
262   CeedVectorDestroy(&qdataTet);
263   CeedVectorDestroy(&qdataHex);
264   CeedDestroy(&ceed);
265   return 0;
266 }
267