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