xref: /libCEED/tests/t560-operator.c (revision 4fee36f0a30516a0b5ad51bf7eb3b32d83efd623)
1e2f04181SAndrew T. Barker /// @file
2e2f04181SAndrew T. Barker /// Test full assembly of mass matrix operator
3e2f04181SAndrew T. Barker /// \test Test full assembly of mass matrix operator
4e2f04181SAndrew T. Barker #include <ceed.h>
5e2f04181SAndrew T. Barker #include <math.h>
62b730f8bSJeremy L Thompson #include <stdlib.h>
72b730f8bSJeremy L Thompson 
8e2f04181SAndrew T. Barker #include "t510-operator.h"
9e2f04181SAndrew T. Barker 
10e2f04181SAndrew T. Barker int main(int argc, char **argv) {
11e2f04181SAndrew T. Barker   Ceed                ceed;
12*4fee36f0SJeremy L Thompson   CeedElemRestriction elem_restriction_x, elem_restriction_u, elem_restriction_q_data;
13d1d35e2fSjeremylt   CeedBasis           basis_x, basis_u;
14e2f04181SAndrew T. Barker   CeedQFunction       qf_setup, qf_mass;
15e2f04181SAndrew T. Barker   CeedOperator        op_setup, op_mass;
16*4fee36f0SJeremy L Thompson   CeedVector          q_data, x, u, v;
17*4fee36f0SJeremy L Thompson   CeedInt             p = 3, q = 4, dim = 2;
18d1d35e2fSjeremylt   CeedInt             n_x = 3, n_y = 2;
19d1d35e2fSjeremylt   CeedInt             num_elem = n_x * n_y;
20*4fee36f0SJeremy L Thompson   CeedInt             num_dofs = (n_x * 2 + 1) * (n_y * 2 + 1), num_qpts = num_elem * q * q;
21*4fee36f0SJeremy L Thompson   CeedInt             ind_x[num_elem * p * p];
22*4fee36f0SJeremy L Thompson   CeedScalar          assembled_values[num_dofs * num_dofs];
23*4fee36f0SJeremy L Thompson   CeedScalar          assembled_true[num_dofs * num_dofs];
24e2f04181SAndrew T. Barker 
25e2f04181SAndrew T. Barker   CeedInit(argv[1], &ceed);
26e2f04181SAndrew T. Barker 
27*4fee36f0SJeremy L Thompson   // Vectors
28*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, dim * num_dofs, &x);
29*4fee36f0SJeremy L Thompson   {
30*4fee36f0SJeremy L Thompson     CeedScalar x_array[dim * num_dofs];
31*4fee36f0SJeremy L Thompson 
322b730f8bSJeremy L Thompson     for (CeedInt i = 0; i < n_x * 2 + 1; i++) {
33d1d35e2fSjeremylt       for (CeedInt j = 0; j < n_y * 2 + 1; j++) {
34*4fee36f0SJeremy L Thompson         x_array[i + j * (n_x * 2 + 1) + 0 * num_dofs] = (CeedScalar)i / (2 * n_x);
35*4fee36f0SJeremy L Thompson         x_array[i + j * (n_x * 2 + 1) + 1 * num_dofs] = (CeedScalar)j / (2 * n_y);
36e2f04181SAndrew T. Barker       }
372b730f8bSJeremy L Thompson     }
38*4fee36f0SJeremy L Thompson     CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
39*4fee36f0SJeremy L Thompson   }
40*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs, &u);
41*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs, &v);
42d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts, &q_data);
43e2f04181SAndrew T. Barker 
44*4fee36f0SJeremy L Thompson   // Restrictions
45d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
46e2f04181SAndrew T. Barker     CeedInt col, row, offset;
47d1d35e2fSjeremylt     col    = i % n_x;
48d1d35e2fSjeremylt     row    = i / n_x;
49*4fee36f0SJeremy L Thompson     offset = col * (p - 1) + row * (n_x * 2 + 1) * (p - 1);
50*4fee36f0SJeremy L Thompson     for (CeedInt j = 0; j < p; j++) {
51*4fee36f0SJeremy L Thompson       for (CeedInt k = 0; k < p; k++) ind_x[p * (p * i + k) + j] = offset + k * (n_x * 2 + 1) + j;
522b730f8bSJeremy L Thompson     }
53e2f04181SAndrew T. Barker   }
54*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, p * p, dim, num_dofs, dim * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_x);
55*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, p * p, 1, 1, num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_u);
56e2f04181SAndrew T. Barker 
57*4fee36f0SJeremy L Thompson   CeedInt strides_q_data[3] = {1, q * q, q * q};
58*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreateStrided(ceed, num_elem, q * q, 1, num_qpts, strides_q_data, &elem_restriction_q_data);
59e2f04181SAndrew T. Barker 
60e2f04181SAndrew T. Barker   // Bases
61*4fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, p, q, CEED_GAUSS, &basis_x);
62*4fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, p, q, CEED_GAUSS, &basis_u);
63e2f04181SAndrew T. Barker 
64e2f04181SAndrew T. Barker   // QFunctions
65e2f04181SAndrew T. Barker   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
66a61c78d6SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT);
67e2f04181SAndrew T. Barker   CeedQFunctionAddInput(qf_setup, "dx", dim * dim, CEED_EVAL_GRAD);
68e2f04181SAndrew T. Barker   CeedQFunctionAddOutput(qf_setup, "rho", 1, CEED_EVAL_NONE);
69e2f04181SAndrew T. Barker 
70e2f04181SAndrew T. Barker   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
71e2f04181SAndrew T. Barker   CeedQFunctionAddInput(qf_mass, "rho", 1, CEED_EVAL_NONE);
72e2f04181SAndrew T. Barker   CeedQFunctionAddInput(qf_mass, "u", 1, CEED_EVAL_INTERP);
73e2f04181SAndrew T. Barker   CeedQFunctionAddOutput(qf_mass, "v", 1, CEED_EVAL_INTERP);
74e2f04181SAndrew T. Barker 
75e2f04181SAndrew T. Barker   // Operators
762b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup);
772b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
78*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_setup, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
79*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_setup, "rho", elem_restriction_q_data, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
80e2f04181SAndrew T. Barker 
812b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass);
82*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass, "rho", elem_restriction_q_data, CEED_BASIS_COLLOCATED, q_data);
83*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass, "u", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
84*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass, "v", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
85e2f04181SAndrew T. Barker 
86e2f04181SAndrew T. Barker   // Apply Setup Operator
87*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_setup, x, q_data, CEED_REQUEST_IMMEDIATE);
88e2f04181SAndrew T. Barker 
89e2f04181SAndrew T. Barker   // Fully assemble operator
90c30b7fbdSJeremy L Thompson   CeedSize   num_entries;
91e2f04181SAndrew T. Barker   CeedInt   *rows;
92e2f04181SAndrew T. Barker   CeedInt   *cols;
93*4fee36f0SJeremy L Thompson   CeedVector assembled;
94*4fee36f0SJeremy L Thompson 
95*4fee36f0SJeremy L Thompson   for (CeedInt k = 0; k < num_dofs * num_dofs; ++k) {
96*4fee36f0SJeremy L Thompson     assembled_values[k] = 0.0;
97*4fee36f0SJeremy L Thompson     assembled_true[k]   = 0.0;
98e2f04181SAndrew T. Barker   }
99*4fee36f0SJeremy L Thompson   CeedOperatorLinearAssembleSymbolic(op_mass, &num_entries, &rows, &cols);
100*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_entries, &assembled);
101*4fee36f0SJeremy L Thompson   CeedOperatorLinearAssemble(op_mass, assembled);
102*4fee36f0SJeremy L Thompson   {
103*4fee36f0SJeremy L Thompson     const CeedScalar *assembled_array;
104*4fee36f0SJeremy L Thompson 
105*4fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(assembled, CEED_MEM_HOST, &assembled_array);
106*4fee36f0SJeremy L Thompson     for (CeedInt k = 0; k < num_entries; ++k) {
107*4fee36f0SJeremy L Thompson       assembled_values[rows[k] * num_dofs + cols[k]] += assembled_array[k];
108*4fee36f0SJeremy L Thompson     }
109*4fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(assembled, &assembled_array);
110*4fee36f0SJeremy L Thompson   }
111e2f04181SAndrew T. Barker 
112e2f04181SAndrew T. Barker   // Manually assemble operator
113*4fee36f0SJeremy L Thompson   CeedVectorSetValue(u, 0.0);
114*4fee36f0SJeremy L Thompson   for (CeedInt i = 0; i < num_dofs; i++) {
115*4fee36f0SJeremy L Thompson     CeedScalar       *u_array;
116*4fee36f0SJeremy L Thompson     const CeedScalar *v_array;
117*4fee36f0SJeremy L Thompson 
118e2f04181SAndrew T. Barker     // Set input
119*4fee36f0SJeremy L Thompson     CeedVectorGetArray(u, CEED_MEM_HOST, &u_array);
120*4fee36f0SJeremy L Thompson     u_array[i] = 1.0;
121*4fee36f0SJeremy L Thompson     if (i) u_array[i - 1] = 0.0;
122*4fee36f0SJeremy L Thompson     CeedVectorRestoreArray(u, &u_array);
123e2f04181SAndrew T. Barker 
124e2f04181SAndrew T. Barker     // Compute entries for column i
125*4fee36f0SJeremy L Thompson     CeedOperatorApply(op_mass, u, v, CEED_REQUEST_IMMEDIATE);
126e2f04181SAndrew T. Barker 
127*4fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_array);
128*4fee36f0SJeremy L Thompson     for (CeedInt k = 0; k < num_dofs; k++) assembled_true[i * num_dofs + k] = v_array[k];
129*4fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v, &v_array);
130e2f04181SAndrew T. Barker   }
131e2f04181SAndrew T. Barker 
132e2f04181SAndrew T. Barker   // Check output
133*4fee36f0SJeremy L Thompson   for (CeedInt i = 0; i < num_dofs; i++) {
134*4fee36f0SJeremy L Thompson     for (CeedInt j = 0; j < num_dofs; j++) {
135*4fee36f0SJeremy L Thompson       if (fabs(assembled_values[j * num_dofs + i] - assembled_true[j * num_dofs + i]) > 100. * CEED_EPSILON) {
136e2f04181SAndrew T. Barker         // LCOV_EXCL_START
137*4fee36f0SJeremy L Thompson         printf("[%" CeedInt_FMT ", %" CeedInt_FMT "] Error in assembly: %f != %f\n", i, j, assembled_values[j * num_dofs + i],
1382b730f8bSJeremy L Thompson                assembled_true[j * num_dofs + i]);
139e2f04181SAndrew T. Barker         // LCOV_EXCL_STOP
1402b730f8bSJeremy L Thompson       }
1412b730f8bSJeremy L Thompson     }
1422b730f8bSJeremy L Thompson   }
143e2f04181SAndrew T. Barker 
144e2f04181SAndrew T. Barker   // Cleanup
145e2f04181SAndrew T. Barker   free(rows);
146e2f04181SAndrew T. Barker   free(cols);
147*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&x);
148*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&q_data);
149*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&u);
150*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&v);
151*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&assembled);
152*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_u);
153*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_x);
154*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_q_data);
155*4fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_u);
156*4fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_x);
157e2f04181SAndrew T. Barker   CeedQFunctionDestroy(&qf_setup);
158e2f04181SAndrew T. Barker   CeedQFunctionDestroy(&qf_mass);
159e2f04181SAndrew T. Barker   CeedOperatorDestroy(&op_setup);
160e2f04181SAndrew T. Barker   CeedOperatorDestroy(&op_mass);
161e2f04181SAndrew T. Barker   CeedDestroy(&ceed);
162e2f04181SAndrew T. Barker   return 0;
163e2f04181SAndrew T. Barker }
164