xref: /libCEED/tests/t564-operator.c (revision d1d35e2f02dc969aee8debf3fd943dd784aa847a)
1e2f04181SAndrew T. Barker /// @file
2e2f04181SAndrew T. Barker /// Test assembly of mass matrix operator (multi-component) see t537
3e2f04181SAndrew T. Barker /// \test Test assembly of mass matrix operator (multi-component)
4e2f04181SAndrew T. Barker #include <ceed.h>
5e2f04181SAndrew T. Barker #include <stdlib.h>
6e2f04181SAndrew T. Barker #include <math.h>
7e2f04181SAndrew T. Barker #include "t537-operator.h"
8e2f04181SAndrew T. Barker 
9e2f04181SAndrew T. Barker int main(int argc, char **argv) {
10e2f04181SAndrew T. Barker   Ceed ceed;
11*d1d35e2fSjeremylt   CeedElemRestriction elem_restr_x, elem_restr_u,
12*d1d35e2fSjeremylt                       elem_restr_qd_i;
13*d1d35e2fSjeremylt   CeedBasis basis_x, basis_u;
14e2f04181SAndrew T. Barker   CeedQFunction qf_setup, qf_mass;
15e2f04181SAndrew T. Barker   CeedOperator op_setup, op_mass;
16*d1d35e2fSjeremylt   CeedVector q_data, X, U, V;
17*d1d35e2fSjeremylt   CeedInt P = 3, Q = 4, dim = 2, num_comp = 2;
18*d1d35e2fSjeremylt   CeedInt n_x = 1, n_y = 1;
19*d1d35e2fSjeremylt   CeedInt num_elem = n_x * n_y;
20*d1d35e2fSjeremylt   CeedInt num_dofs = (n_x*2+1)*(n_y*2+1), num_qpts = num_elem*Q*Q;
21*d1d35e2fSjeremylt   CeedInt ind_x[num_elem*P*P];
22*d1d35e2fSjeremylt   CeedScalar assembled[num_comp*num_comp*num_dofs*num_dofs];
23*d1d35e2fSjeremylt   CeedScalar x[dim*num_dofs], assembled_true[num_comp*num_comp*num_dofs*num_dofs];
24e2f04181SAndrew T. Barker   CeedScalar *u;
25e2f04181SAndrew T. Barker   const CeedScalar *v;
26e2f04181SAndrew T. Barker 
27e2f04181SAndrew T. Barker   CeedInit(argv[1], &ceed);
28e2f04181SAndrew T. Barker 
29e2f04181SAndrew T. Barker   // DoF Coordinates
30*d1d35e2fSjeremylt   for (CeedInt i=0; i<n_x*2+1; i++)
31*d1d35e2fSjeremylt     for (CeedInt j=0; j<n_y*2+1; j++) {
32*d1d35e2fSjeremylt       x[i+j*(n_x*2+1)+0*num_dofs] = (CeedScalar) i / (2*n_x);
33*d1d35e2fSjeremylt       x[i+j*(n_x*2+1)+1*num_dofs] = (CeedScalar) j / (2*n_y);
34e2f04181SAndrew T. Barker     }
35*d1d35e2fSjeremylt   CeedVectorCreate(ceed, dim*num_dofs, &X);
36e2f04181SAndrew T. Barker   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
37e2f04181SAndrew T. Barker 
38e2f04181SAndrew T. Barker   // Qdata Vector
39*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts, &q_data);
40e2f04181SAndrew T. Barker 
41e2f04181SAndrew T. Barker   // Element Setup
42*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem; i++) {
43e2f04181SAndrew T. Barker     CeedInt col, row, offset;
44*d1d35e2fSjeremylt     col = i % n_x;
45*d1d35e2fSjeremylt     row = i / n_x;
46*d1d35e2fSjeremylt     offset = col*(P-1) + row*(n_x*2+1)*(P-1);
47e2f04181SAndrew T. Barker     for (CeedInt j=0; j<P; j++)
48e2f04181SAndrew T. Barker       for (CeedInt k=0; k<P; k++)
49*d1d35e2fSjeremylt         ind_x[P*(P*i+k)+j] = offset + k*(n_x*2+1) + j;
50e2f04181SAndrew T. Barker   }
51e2f04181SAndrew T. Barker 
52e2f04181SAndrew T. Barker   // Restrictions
53*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, P*P, dim, num_dofs, dim*num_dofs,
54*d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_x);
55*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, P*P, num_comp, num_dofs,
56*d1d35e2fSjeremylt                             num_comp*num_dofs,
57*d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_u);
58*d1d35e2fSjeremylt   CeedInt strides_qd[3] = {1, Q*Q, Q*Q};
59*d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed, num_elem, Q*Q, 1, num_qpts, strides_qd,
60*d1d35e2fSjeremylt                                    &elem_restr_qd_i);
61e2f04181SAndrew T. Barker 
62e2f04181SAndrew T. Barker   // Bases
63*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P, Q, CEED_GAUSS, &basis_x);
64*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, num_comp, P, Q, CEED_GAUSS,
65*d1d35e2fSjeremylt                                   &basis_u);
66e2f04181SAndrew T. Barker 
67e2f04181SAndrew T. Barker   // QFunctions
68e2f04181SAndrew T. Barker   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
69e2f04181SAndrew T. Barker   CeedQFunctionAddInput(qf_setup, "_weight", 1, CEED_EVAL_WEIGHT);
70e2f04181SAndrew T. Barker   CeedQFunctionAddInput(qf_setup, "dx", dim*dim, CEED_EVAL_GRAD);
71e2f04181SAndrew T. Barker   CeedQFunctionAddOutput(qf_setup, "rho", 1, CEED_EVAL_NONE);
72e2f04181SAndrew T. Barker 
73e2f04181SAndrew T. Barker   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
74e2f04181SAndrew T. Barker   CeedQFunctionAddInput(qf_mass, "rho", 1, CEED_EVAL_NONE);
75*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass, "u", num_comp, CEED_EVAL_INTERP);
76*d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass, "v", num_comp, CEED_EVAL_INTERP);
77e2f04181SAndrew T. Barker 
78e2f04181SAndrew T. Barker   // Operators
79e2f04181SAndrew T. Barker   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
80e2f04181SAndrew T. Barker                      &op_setup);
81*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "_weight", CEED_ELEMRESTRICTION_NONE, basis_x,
82e2f04181SAndrew T. Barker                        CEED_VECTOR_NONE);
83*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE);
84*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "rho", elem_restr_qd_i, CEED_BASIS_COLLOCATED,
85e2f04181SAndrew T. Barker                        CEED_VECTOR_ACTIVE);
86e2f04181SAndrew T. Barker 
87e2f04181SAndrew T. Barker   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
88e2f04181SAndrew T. Barker                      &op_mass);
89*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass, "rho", elem_restr_qd_i, CEED_BASIS_COLLOCATED,
90*d1d35e2fSjeremylt                        q_data);
91*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass, "u", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
92*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass, "v", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
93e2f04181SAndrew T. Barker 
94e2f04181SAndrew T. Barker   // Apply Setup Operator
95*d1d35e2fSjeremylt   CeedOperatorApply(op_setup, X, q_data, CEED_REQUEST_IMMEDIATE);
96e2f04181SAndrew T. Barker 
97e2f04181SAndrew T. Barker   // Fuly assemble operator
98*d1d35e2fSjeremylt   for (int k=0; k<num_comp*num_comp*num_dofs*num_dofs; ++k) {
99e2f04181SAndrew T. Barker     assembled[k] = 0.0;
100*d1d35e2fSjeremylt     assembled_true[k] = 0.0;
101e2f04181SAndrew T. Barker   }
102e2f04181SAndrew T. Barker   CeedInt nentries;
103e2f04181SAndrew T. Barker   CeedInt *rows;
104e2f04181SAndrew T. Barker   CeedInt *cols;
105e2f04181SAndrew T. Barker   CeedVector values;
106e2f04181SAndrew T. Barker   CeedOperatorLinearAssembleSymbolic(op_mass, &nentries, &rows, &cols);
107e2f04181SAndrew T. Barker   CeedVectorCreate(ceed, nentries, &values);
108e2f04181SAndrew T. Barker   CeedOperatorLinearAssemble(op_mass, values);
109e2f04181SAndrew T. Barker   const CeedScalar *vals;
110e2f04181SAndrew T. Barker   CeedVectorGetArrayRead(values, CEED_MEM_HOST, &vals);
111e2f04181SAndrew T. Barker   for (int k=0; k<nentries; ++k) {
112*d1d35e2fSjeremylt     assembled[rows[k]*num_comp*num_dofs + cols[k]] += vals[k];
113e2f04181SAndrew T. Barker   }
114e2f04181SAndrew T. Barker   CeedVectorRestoreArrayRead(values, &vals);
115e2f04181SAndrew T. Barker 
116e2f04181SAndrew T. Barker   // Manually assemble operator
117*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs, &U);
118e2f04181SAndrew T. Barker   CeedVectorSetValue(U, 0.0);
119*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs, &V);
120e2f04181SAndrew T. Barker   CeedInt indOld = -1;
121*d1d35e2fSjeremylt   for (int j=0; j<num_dofs*num_comp; j++) {
122e2f04181SAndrew T. Barker     // Set input
123e2f04181SAndrew T. Barker     CeedVectorGetArray(U, CEED_MEM_HOST, &u);
124e2f04181SAndrew T. Barker     CeedInt ind = j;
125e2f04181SAndrew T. Barker     u[ind] = 1.0;
126e2f04181SAndrew T. Barker     if (ind > 0)
127e2f04181SAndrew T. Barker       u[indOld] = 0.0;
128e2f04181SAndrew T. Barker     indOld = ind;
129e2f04181SAndrew T. Barker     CeedVectorRestoreArray(U, &u);
130e2f04181SAndrew T. Barker 
131e2f04181SAndrew T. Barker     // Compute effect of DoF j
132e2f04181SAndrew T. Barker     CeedOperatorApply(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
133e2f04181SAndrew T. Barker 
134e2f04181SAndrew T. Barker     CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v);
135*d1d35e2fSjeremylt     for (int k=0; k<num_dofs*num_comp; k++) {
136*d1d35e2fSjeremylt       assembled_true[j*num_dofs*num_comp + k] = v[k];
137e2f04181SAndrew T. Barker     }
138e2f04181SAndrew T. Barker     CeedVectorRestoreArrayRead(V, &v);
139e2f04181SAndrew T. Barker   }
140e2f04181SAndrew T. Barker 
141e2f04181SAndrew T. Barker   // Check output
142*d1d35e2fSjeremylt   for (int i=0; i<num_comp*num_dofs; i++)
143*d1d35e2fSjeremylt     for (int j=0; j<num_comp*num_dofs; j++)
144*d1d35e2fSjeremylt       if (fabs(assembled[j*num_dofs*num_comp+i] - assembled_true[j*num_dofs*num_comp
145*d1d35e2fSjeremylt                +i]) >
146*d1d35e2fSjeremylt           1e-14)
147e2f04181SAndrew T. Barker         // LCOV_EXCL_START
148e2f04181SAndrew T. Barker         printf("[%d,%d] Error in assembly: %f != %f\n", i, j,
149*d1d35e2fSjeremylt                assembled[j*num_dofs*num_comp+i], assembled_true[j*num_dofs*num_comp+i]);
150e2f04181SAndrew T. Barker   // LCOV_EXCL_STOP
151e2f04181SAndrew T. Barker 
152e2f04181SAndrew T. Barker   // Cleanup
153e2f04181SAndrew T. Barker   free(rows);
154e2f04181SAndrew T. Barker   free(cols);
155e2f04181SAndrew T. Barker   CeedVectorDestroy(&values);
156e2f04181SAndrew T. Barker   CeedQFunctionDestroy(&qf_setup);
157e2f04181SAndrew T. Barker   CeedQFunctionDestroy(&qf_mass);
158e2f04181SAndrew T. Barker   CeedOperatorDestroy(&op_setup);
159e2f04181SAndrew T. Barker   CeedOperatorDestroy(&op_mass);
160*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u);
161*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x);
162*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_i);
163*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u);
164*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x);
165e2f04181SAndrew T. Barker   CeedVectorDestroy(&X);
166e2f04181SAndrew T. Barker   // CeedVectorDestroy(&A);
167*d1d35e2fSjeremylt   CeedVectorDestroy(&q_data);
168e2f04181SAndrew T. Barker   CeedVectorDestroy(&U);
169e2f04181SAndrew T. Barker   CeedVectorDestroy(&V);
170e2f04181SAndrew T. Barker   CeedDestroy(&ceed);
171e2f04181SAndrew T. Barker   return 0;
172e2f04181SAndrew T. Barker }
173