xref: /libCEED/tests/t531-operator.c (revision 24a65d3da2f623912f26b42c0b9ba6f37de25307)
1 /// @file
2 /// Test assembly of Poisson operator QFunction
3 /// \test Test assembly of Poisson operator QFunction
4 #include "t531-operator.h"
5 
6 #include <ceed.h>
7 #include <math.h>
8 #include <stdio.h>
9 #include <stdlib.h>
10 
11 int main(int argc, char **argv) {
12   Ceed                ceed;
13   CeedElemRestriction elem_restriction_x, elem_restriction_u, elem_restriction_q_data, elem_restriction_assembled = NULL;
14   CeedBasis           basis_x, basis_u;
15   CeedQFunction       qf_setup, qf_diff, qf_diff_assembled;
16   CeedOperator        op_setup, op_diff, op_diff_assembled;
17   CeedVector          q_data, x, assembled = NULL, u, v;
18   CeedInt             num_elem = 6, p = 3, q = 4, dim = 2;
19   CeedInt             nx = 3, ny = 2;
20   CeedInt             num_dofs = (nx * 2 + 1) * (ny * 2 + 1), num_qpts = num_elem * q * q;
21   CeedInt             ind_x[num_elem * p * p];
22 
23   CeedInit(argv[1], &ceed);
24 
25   // Vectors
26   CeedVectorCreate(ceed, dim * num_dofs, &x);
27   {
28     CeedScalar x_array[dim * num_dofs];
29 
30     for (CeedInt i = 0; i < nx * 2 + 1; i++) {
31       for (CeedInt j = 0; j < ny * 2 + 1; j++) {
32         x_array[i + j * (nx * 2 + 1) + 0 * num_dofs] = (CeedScalar)i / (2 * nx);
33         x_array[i + j * (nx * 2 + 1) + 1 * num_dofs] = (CeedScalar)j / (2 * ny);
34       }
35     }
36     CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
37   }
38   CeedVectorCreate(ceed, num_dofs, &u);
39   CeedVectorCreate(ceed, num_dofs, &v);
40   CeedVectorCreate(ceed, num_qpts * dim * (dim + 1) / 2, &q_data);
41 
42   // Restrictions
43   for (CeedInt i = 0; i < num_elem; i++) {
44     CeedInt col, row, offset;
45     col    = i % nx;
46     row    = i / nx;
47     offset = col * (p - 1) + row * (nx * 2 + 1) * (p - 1);
48     for (CeedInt j = 0; j < p; j++) {
49       for (CeedInt k = 0; k < p; k++) ind_x[p * (p * i + k) + j] = offset + k * (nx * 2 + 1) + j;
50     }
51   }
52   CeedElemRestrictionCreate(ceed, num_elem, p * p, dim, num_dofs, dim * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_x);
53   CeedElemRestrictionCreate(ceed, num_elem, p * p, 1, 1, num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_u);
54 
55   CeedInt strides_q_data[3] = {1, q * q, q * q * dim * (dim + 1) / 2};
56   CeedElemRestrictionCreateStrided(ceed, num_elem, q * q, dim * (dim + 1) / 2, dim * (dim + 1) / 2 * num_qpts, strides_q_data,
57                                    &elem_restriction_q_data);
58 
59   // Bases
60   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, p, q, CEED_GAUSS, &basis_x);
61   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, p, q, CEED_GAUSS, &basis_u);
62 
63   // QFunction - setup
64   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
65   CeedQFunctionAddInput(qf_setup, "dx", dim * dim, CEED_EVAL_GRAD);
66   CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT);
67   CeedQFunctionAddOutput(qf_setup, "q data", dim * (dim + 1) / 2, CEED_EVAL_NONE);
68 
69   // Operator - setup
70   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup);
71   CeedOperatorSetField(op_setup, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
72   CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
73   CeedOperatorSetField(op_setup, "q data", elem_restriction_q_data, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE);
74 
75   // Apply Setup Operator
76   CeedOperatorApply(op_setup, x, q_data, CEED_REQUEST_IMMEDIATE);
77 
78   // QFunction - apply
79   CeedQFunctionCreateInterior(ceed, 1, diff, diff_loc, &qf_diff);
80   CeedQFunctionAddInput(qf_diff, "du", dim, CEED_EVAL_GRAD);
81   CeedQFunctionAddInput(qf_diff, "q data", dim * (dim + 1) / 2, CEED_EVAL_NONE);
82   CeedQFunctionAddOutput(qf_diff, "dv", dim, CEED_EVAL_GRAD);
83 
84   // Operator - apply
85   CeedOperatorCreate(ceed, qf_diff, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_diff);
86   CeedOperatorSetField(op_diff, "du", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
87   CeedOperatorSetField(op_diff, "q data", elem_restriction_q_data, CEED_BASIS_NONE, q_data);
88   CeedOperatorSetField(op_diff, "dv", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
89 
90   // Apply original Poisson Operator
91   CeedVectorSetValue(u, 1.0);
92   CeedOperatorApply(op_diff, u, v, CEED_REQUEST_IMMEDIATE);
93 
94   // Check output
95   {
96     const CeedScalar *v_array;
97 
98     CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_array);
99     for (CeedInt i = 0; i < num_dofs; i++) {
100       if (fabs(v_array[i]) > 100. * CEED_EPSILON) printf("Error: Operator computed v[%" CeedInt_FMT "] = %f != 0.0\n", i, v_array[i]);
101     }
102     CeedVectorRestoreArrayRead(v, &v_array);
103   }
104 
105   // Assemble QFunction
106   CeedOperatorSetQFunctionAssemblyReuse(op_diff, true);
107   CeedOperatorLinearAssembleQFunctionBuildOrUpdate(op_diff, &assembled, &elem_restriction_assembled, CEED_REQUEST_IMMEDIATE);
108   // Second call will be no-op since SetQFunctionUpdated was not called
109   CeedOperatorSetQFunctionAssemblyDataUpdateNeeded(op_diff, false);
110   CeedOperatorLinearAssembleQFunctionBuildOrUpdate(op_diff, &assembled, &elem_restriction_assembled, CEED_REQUEST_IMMEDIATE);
111 
112   // QFunction - apply assembled
113   CeedQFunctionCreateInterior(ceed, 1, diff_lin, diff_lin_loc, &qf_diff_assembled);
114   CeedQFunctionAddInput(qf_diff_assembled, "du", dim, CEED_EVAL_GRAD);
115   CeedQFunctionAddInput(qf_diff_assembled, "q data", dim * dim, CEED_EVAL_NONE);
116   CeedQFunctionAddOutput(qf_diff_assembled, "dv", dim, CEED_EVAL_GRAD);
117 
118   // Operator - apply assembled
119   CeedOperatorCreate(ceed, qf_diff_assembled, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_diff_assembled);
120   CeedOperatorSetField(op_diff_assembled, "du", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
121   CeedOperatorSetField(op_diff_assembled, "q data", elem_restriction_assembled, CEED_BASIS_NONE, assembled);
122   CeedOperatorSetField(op_diff_assembled, "dv", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
123 
124   // Apply new Poisson Operator
125   CeedVectorSetValue(v, 0.0);
126   CeedOperatorApply(op_diff_assembled, u, v, CEED_REQUEST_IMMEDIATE);
127 
128   // Check output
129   {
130     const CeedScalar *v_array;
131 
132     CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_array);
133     for (CeedInt i = 0; i < num_dofs; i++) {
134       if (fabs(v_array[i]) > 100. * CEED_EPSILON) printf("Error: Linearized operator computed v[i] = %f != 0.0\n", v_array[i]);
135     }
136     CeedVectorRestoreArrayRead(v, &v_array);
137   }
138 
139   // Cleanup
140   CeedVectorDestroy(&x);
141   CeedVectorDestroy(&assembled);
142   CeedVectorDestroy(&q_data);
143   CeedVectorDestroy(&u);
144   CeedVectorDestroy(&v);
145   CeedElemRestrictionDestroy(&elem_restriction_u);
146   CeedElemRestrictionDestroy(&elem_restriction_x);
147   CeedElemRestrictionDestroy(&elem_restriction_q_data);
148   CeedElemRestrictionDestroy(&elem_restriction_assembled);
149   CeedBasisDestroy(&basis_u);
150   CeedBasisDestroy(&basis_x);
151   CeedQFunctionDestroy(&qf_setup);
152   CeedQFunctionDestroy(&qf_diff);
153   CeedQFunctionDestroy(&qf_diff_assembled);
154   CeedOperatorDestroy(&op_setup);
155   CeedOperatorDestroy(&op_diff);
156   CeedOperatorDestroy(&op_diff_assembled);
157   CeedDestroy(&ceed);
158   return 0;
159 }
160