xref: /libCEED/tests/t536-operator.c (revision d1d35e2f02dc969aee8debf3fd943dd784aa847a) !
1b7ec98d8SJeremy L Thompson /// @file
27509a596Sjeremylt /// Test assembly of mass and Poisson operator diagonal
37509a596Sjeremylt /// \test Test assembly of mass and Poisson operator diagonal
4b7ec98d8SJeremy L Thompson #include <ceed.h>
5b7ec98d8SJeremy L Thompson #include <stdlib.h>
6b7ec98d8SJeremy L Thompson #include <math.h>
7b7ec98d8SJeremy L Thompson #include "t320-basis.h"
8b7ec98d8SJeremy L Thompson #include "t535-operator.h"
9b7ec98d8SJeremy L Thompson 
10b7ec98d8SJeremy L Thompson int main(int argc, char **argv) {
11b7ec98d8SJeremy L Thompson   Ceed ceed;
12*d1d35e2fSjeremylt   CeedElemRestriction elem_restr_x, elem_restr_u,
13*d1d35e2fSjeremylt                       elem_restr_qd_mass_i, elem_restr_qd_diff_i;
14*d1d35e2fSjeremylt   CeedBasis basis_x, basis_u;
15b7ec98d8SJeremy L Thompson   CeedQFunction qf_setup_mass, qf_setup_diff, qf_apply;
16b7ec98d8SJeremy L Thompson   CeedOperator op_setup_mass, op_setup_diff, op_apply;
17*d1d35e2fSjeremylt   CeedVector q_data_mass, q_data_diff, X, A, U, V;
18*d1d35e2fSjeremylt   CeedInt num_elem = 12, dim = 2, P = 6, Q = 4;
19*d1d35e2fSjeremylt   CeedInt n_x = 3, n_y = 2;
20b7ec98d8SJeremy L Thompson   CeedInt row, col, offset;
21*d1d35e2fSjeremylt   CeedInt num_dofs = (n_x*2+1)*(n_y*2+1), num_qpts = num_elem*Q;
22*d1d35e2fSjeremylt   CeedInt ind_x[num_elem*P*P];
23*d1d35e2fSjeremylt   CeedScalar x[dim*num_dofs], assembled_true[num_dofs];
24*d1d35e2fSjeremylt   CeedScalar q_ref[dim*Q], q_weight[Q];
25b7ec98d8SJeremy L Thompson   CeedScalar interp[P*Q], grad[dim*P*Q];
26b7ec98d8SJeremy L Thompson   CeedScalar *u;
27b7ec98d8SJeremy L Thompson   const CeedScalar *a, *v;
28b7ec98d8SJeremy L Thompson 
29b7ec98d8SJeremy L Thompson   CeedInit(argv[1], &ceed);
30b7ec98d8SJeremy L Thompson 
31b7ec98d8SJeremy L Thompson   // DoF Coordinates
32*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_dofs; i++) {
33*d1d35e2fSjeremylt     x[i] = (1. / (n_x*2)) * (CeedScalar) (i % (n_x*2+1));
34*d1d35e2fSjeremylt     x[i+num_dofs] = (1. / (n_y*2)) * (CeedScalar) (i / (n_x*2+1));
35b7ec98d8SJeremy L Thompson   }
36*d1d35e2fSjeremylt   CeedVectorCreate(ceed, dim*num_dofs, &X);
37b7ec98d8SJeremy L Thompson   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
38b7ec98d8SJeremy L Thompson 
39b7ec98d8SJeremy L Thompson   // Qdata Vectors
40*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts, &q_data_mass);
41*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts*dim*(dim+1)/2, &q_data_diff);
42b7ec98d8SJeremy L Thompson 
43b7ec98d8SJeremy L Thompson   // Element Setup
44*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem/2; i++) {
45*d1d35e2fSjeremylt     col = i % n_x;
46*d1d35e2fSjeremylt     row = i / n_x;
47*d1d35e2fSjeremylt     offset = col*2 + row*(n_x*2+1)*2;
48b7ec98d8SJeremy L Thompson 
49*d1d35e2fSjeremylt     ind_x[i*2*P +  0] =  2 + offset;
50*d1d35e2fSjeremylt     ind_x[i*2*P +  1] =  9 + offset;
51*d1d35e2fSjeremylt     ind_x[i*2*P +  2] = 16 + offset;
52*d1d35e2fSjeremylt     ind_x[i*2*P +  3] =  1 + offset;
53*d1d35e2fSjeremylt     ind_x[i*2*P +  4] =  8 + offset;
54*d1d35e2fSjeremylt     ind_x[i*2*P +  5] =  0 + offset;
55b7ec98d8SJeremy L Thompson 
56*d1d35e2fSjeremylt     ind_x[i*2*P +  6] = 14 + offset;
57*d1d35e2fSjeremylt     ind_x[i*2*P +  7] =  7 + offset;
58*d1d35e2fSjeremylt     ind_x[i*2*P +  8] =  0 + offset;
59*d1d35e2fSjeremylt     ind_x[i*2*P +  9] = 15 + offset;
60*d1d35e2fSjeremylt     ind_x[i*2*P + 10] =  8 + offset;
61*d1d35e2fSjeremylt     ind_x[i*2*P + 11] = 16 + offset;
62b7ec98d8SJeremy L Thompson   }
63b7ec98d8SJeremy L Thompson 
64b7ec98d8SJeremy L Thompson   // Restrictions
65*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, P, dim, num_dofs, dim*num_dofs,
66*d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_x);
67b7ec98d8SJeremy L Thompson 
68*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, P, 1, 1, num_dofs, CEED_MEM_HOST,
69*d1d35e2fSjeremylt                             CEED_USE_POINTER, ind_x, &elem_restr_u);
70*d1d35e2fSjeremylt   CeedInt strides_qd_mass[3] = {1, Q, Q};
71*d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed, num_elem, Q, 1, num_qpts,
72*d1d35e2fSjeremylt                                    strides_qd_mass,
73*d1d35e2fSjeremylt                                    &elem_restr_qd_mass_i);
74b7ec98d8SJeremy L Thompson 
75*d1d35e2fSjeremylt   CeedInt strides_qd_diff[3] = {1, Q, Q *dim *(dim+1)/2};
76*d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed, num_elem, Q, dim*(dim+1)/2,
77*d1d35e2fSjeremylt                                    dim*(dim+1)/2*num_qpts,
78*d1d35e2fSjeremylt                                    strides_qd_diff, &elem_restr_qd_diff_i);
79b7ec98d8SJeremy L Thompson 
80b7ec98d8SJeremy L Thompson   // Bases
81*d1d35e2fSjeremylt   buildmats(q_ref, q_weight, interp, grad);
82*d1d35e2fSjeremylt   CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, P, Q, interp, grad, q_ref,
83*d1d35e2fSjeremylt                     q_weight, &basis_x);
84b7ec98d8SJeremy L Thompson 
85*d1d35e2fSjeremylt   buildmats(q_ref, q_weight, interp, grad);
86*d1d35e2fSjeremylt   CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, P, Q, interp, grad, q_ref,
87*d1d35e2fSjeremylt                     q_weight, &basis_u);
88b7ec98d8SJeremy L Thompson 
89b7ec98d8SJeremy L Thompson   // QFunction - setup mass
90b7ec98d8SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, setup_mass, setup_mass_loc,
91b7ec98d8SJeremy L Thompson                               &qf_setup_mass);
92b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_setup_mass, "dx", dim*dim, CEED_EVAL_GRAD);
93b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_setup_mass, "_weight", 1, CEED_EVAL_WEIGHT);
94b7ec98d8SJeremy L Thompson   CeedQFunctionAddOutput(qf_setup_mass, "qdata", 1, CEED_EVAL_NONE);
95b7ec98d8SJeremy L Thompson 
96b7ec98d8SJeremy L Thompson   // Operator - setup mass
97442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_setup_mass, CEED_QFUNCTION_NONE,
98442e7f0bSjeremylt                      CEED_QFUNCTION_NONE, &op_setup_mass);
99*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_mass, "dx", elem_restr_x, basis_x,
100*d1d35e2fSjeremylt                        CEED_VECTOR_ACTIVE);
101*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_mass, "_weight", CEED_ELEMRESTRICTION_NONE,
102*d1d35e2fSjeremylt                        basis_x,
103a8d32208Sjeremylt                        CEED_VECTOR_NONE);
104*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_mass, "qdata", elem_restr_qd_mass_i,
105b7ec98d8SJeremy L Thompson                        CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
106b7ec98d8SJeremy L Thompson 
107b7ec98d8SJeremy L Thompson   // QFunction - setup diff
108b7ec98d8SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, setup_diff, setup_diff_loc,
109b7ec98d8SJeremy L Thompson                               &qf_setup_diff);
110b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_setup_diff, "dx", dim*dim, CEED_EVAL_GRAD);
111b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_setup_diff, "_weight", 1, CEED_EVAL_WEIGHT);
112b7ec98d8SJeremy L Thompson   CeedQFunctionAddOutput(qf_setup_diff, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE);
113b7ec98d8SJeremy L Thompson 
114b7ec98d8SJeremy L Thompson   // Operator - setup diff
115442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_setup_diff, CEED_QFUNCTION_NONE,
116442e7f0bSjeremylt                      CEED_QFUNCTION_NONE, &op_setup_diff);
117*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_diff, "dx", elem_restr_x, basis_x,
118*d1d35e2fSjeremylt                        CEED_VECTOR_ACTIVE);
119*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_diff, "_weight", CEED_ELEMRESTRICTION_NONE,
120*d1d35e2fSjeremylt                        basis_x,
121a8d32208Sjeremylt                        CEED_VECTOR_NONE);
122*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_diff, "qdata", elem_restr_qd_diff_i,
123b7ec98d8SJeremy L Thompson                        CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
124b7ec98d8SJeremy L Thompson 
125b7ec98d8SJeremy L Thompson   // Apply Setup Operators
126*d1d35e2fSjeremylt   CeedOperatorApply(op_setup_mass, X, q_data_mass, CEED_REQUEST_IMMEDIATE);
127*d1d35e2fSjeremylt   CeedOperatorApply(op_setup_diff, X, q_data_diff, CEED_REQUEST_IMMEDIATE);
128b7ec98d8SJeremy L Thompson 
129b7ec98d8SJeremy L Thompson   // QFunction - apply
130b7ec98d8SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, apply, apply_loc, &qf_apply);
131b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_apply, "du", dim, CEED_EVAL_GRAD);
132b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_apply, "qdata_mass", 1, CEED_EVAL_NONE);
133b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_apply, "qdata_diff", dim*(dim+1)/2, CEED_EVAL_NONE);
134b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_apply, "u", 1, CEED_EVAL_INTERP);
135b7ec98d8SJeremy L Thompson   CeedQFunctionAddOutput(qf_apply, "v", 1, CEED_EVAL_INTERP);
136b7ec98d8SJeremy L Thompson   CeedQFunctionAddOutput(qf_apply, "dv", dim, CEED_EVAL_GRAD);
137b7ec98d8SJeremy L Thompson 
138b7ec98d8SJeremy L Thompson   // Operator - apply
139442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_apply, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
140442e7f0bSjeremylt                      &op_apply);
141*d1d35e2fSjeremylt   CeedOperatorSetField(op_apply, "du", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
142*d1d35e2fSjeremylt   CeedOperatorSetField(op_apply, "qdata_mass", elem_restr_qd_mass_i,
143*d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED, q_data_mass);
144*d1d35e2fSjeremylt   CeedOperatorSetField(op_apply, "qdata_diff", elem_restr_qd_diff_i,
145*d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED, q_data_diff);
146*d1d35e2fSjeremylt   CeedOperatorSetField(op_apply, "u", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
147*d1d35e2fSjeremylt   CeedOperatorSetField(op_apply, "v", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
148*d1d35e2fSjeremylt   CeedOperatorSetField(op_apply, "dv", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
149b7ec98d8SJeremy L Thompson 
150b7ec98d8SJeremy L Thompson   // Assemble diagonal
151*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs, &A);
1522bba3ffaSJeremy L Thompson   CeedOperatorLinearAssembleDiagonal(op_apply, A, CEED_REQUEST_IMMEDIATE);
153b7ec98d8SJeremy L Thompson 
154b7ec98d8SJeremy L Thompson   // Manually assemble diagonal
155*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs, &U);
156b7ec98d8SJeremy L Thompson   CeedVectorSetValue(U, 0.0);
157*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs, &V);
158*d1d35e2fSjeremylt   for (int i=0; i<num_dofs; i++) {
159b7ec98d8SJeremy L Thompson     // Set input
160b7ec98d8SJeremy L Thompson     CeedVectorGetArray(U, CEED_MEM_HOST, &u);
161b7ec98d8SJeremy L Thompson     u[i] = 1.0;
162b7ec98d8SJeremy L Thompson     if (i)
163b7ec98d8SJeremy L Thompson       u[i-1] = 0.0;
164b7ec98d8SJeremy L Thompson     CeedVectorRestoreArray(U, &u);
165b7ec98d8SJeremy L Thompson 
166b7ec98d8SJeremy L Thompson     // Compute diag entry for DoF i
167b7ec98d8SJeremy L Thompson     CeedOperatorApply(op_apply, U, V, CEED_REQUEST_IMMEDIATE);
168b7ec98d8SJeremy L Thompson 
169b7ec98d8SJeremy L Thompson     // Retrieve entry
170b7ec98d8SJeremy L Thompson     CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v);
171*d1d35e2fSjeremylt     assembled_true[i] = v[i];
172b7ec98d8SJeremy L Thompson     CeedVectorRestoreArrayRead(V, &v);
173b7ec98d8SJeremy L Thompson   }
174b7ec98d8SJeremy L Thompson 
175b7ec98d8SJeremy L Thompson   // Check output
176b7ec98d8SJeremy L Thompson   CeedVectorGetArrayRead(A, CEED_MEM_HOST, &a);
177*d1d35e2fSjeremylt   for (int i=0; i<num_dofs; i++)
178*d1d35e2fSjeremylt     if (fabs(a[i] - assembled_true[i]) > 1e-14)
179b7ec98d8SJeremy L Thompson       // LCOV_EXCL_START
180*d1d35e2fSjeremylt       printf("[%d] Error in assembly: %f != %f\n", i, a[i], assembled_true[i]);
181b7ec98d8SJeremy L Thompson   // LCOV_EXCL_STOP
182d965c7a7SJeremy L Thompson   CeedVectorRestoreArrayRead(A, &a);
183b7ec98d8SJeremy L Thompson 
184b7ec98d8SJeremy L Thompson   // Cleanup
185b7ec98d8SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup_mass);
186b7ec98d8SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup_diff);
187b7ec98d8SJeremy L Thompson   CeedQFunctionDestroy(&qf_apply);
188b7ec98d8SJeremy L Thompson   CeedOperatorDestroy(&op_setup_mass);
189b7ec98d8SJeremy L Thompson   CeedOperatorDestroy(&op_setup_diff);
190b7ec98d8SJeremy L Thompson   CeedOperatorDestroy(&op_apply);
191*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u);
192*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x);
193*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_mass_i);
194*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_diff_i);
195*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u);
196*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x);
197b7ec98d8SJeremy L Thompson   CeedVectorDestroy(&X);
198b7ec98d8SJeremy L Thompson   CeedVectorDestroy(&A);
199*d1d35e2fSjeremylt   CeedVectorDestroy(&q_data_mass);
200*d1d35e2fSjeremylt   CeedVectorDestroy(&q_data_diff);
201b7ec98d8SJeremy L Thompson   CeedVectorDestroy(&U);
202b7ec98d8SJeremy L Thompson   CeedVectorDestroy(&V);
203b7ec98d8SJeremy L Thompson   CeedDestroy(&ceed);
204b7ec98d8SJeremy L Thompson   return 0;
205b7ec98d8SJeremy L Thompson }
206