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