xref: /libCEED/tests/t540-operator.c (revision 4fee36f0a30516a0b5ad51bf7eb3b32d83efd623)
1 /// @file
2 /// Test creation and use of FDM element inverse
3 /// \test Test creation and use of FDM element inverse
4 #include "t540-operator.h"
5 
6 #include <ceed.h>
7 #include <math.h>
8 #include <stdlib.h>
9 
10 int main(int argc, char **argv) {
11   Ceed                ceed;
12   CeedElemRestriction elem_restriction_x, elem_restriction_u, elem_restriction_q_data;
13   CeedBasis           basis_x, basis_u;
14   CeedQFunction       qf_setup_mass, qf_apply;
15   CeedOperator        op_setup_mass, op_apply, op_inverse;
16   CeedVector          q_data_mass, x, u, v;
17   CeedInt             num_elem = 1, p = 4, q = 5, dim = 2;
18   CeedInt             num_dofs = p * p, num_qpts = num_elem * q * q;
19 
20   CeedInit(argv[1], &ceed);
21 
22   // Vectors
23   CeedVectorCreate(ceed, dim * num_elem * (2 * 2), &x);
24   {
25     CeedScalar x_array[dim * num_elem * (2 * 2)];
26 
27     for (CeedInt i = 0; i < 2; i++) {
28       for (CeedInt j = 0; j < 2; j++) {
29         x_array[i + j * 2 + 0 * 4] = i;
30         x_array[i + j * 2 + 1 * 4] = j;
31       }
32     }
33     CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
34   }
35   CeedVectorCreate(ceed, num_dofs, &u);
36   CeedVectorCreate(ceed, num_dofs, &v);
37   CeedVectorCreate(ceed, num_qpts, &q_data_mass);
38 
39   // Restrictions
40   CeedInt strides_x[3] = {1, 2 * 2, 2 * 2 * dim};
41   CeedElemRestrictionCreateStrided(ceed, num_elem, 2 * 2, dim, dim * num_elem * 2 * 2, strides_x, &elem_restriction_x);
42 
43   CeedInt strides_u[3] = {1, p * p, p * p};
44   CeedElemRestrictionCreateStrided(ceed, num_elem, p * p, 1, num_dofs, strides_u, &elem_restriction_u);
45 
46   CeedInt strides_q_data[3] = {1, q * q, q * q};
47   CeedElemRestrictionCreateStrided(ceed, num_elem, q * q, 1, num_qpts, strides_q_data, &elem_restriction_q_data);
48 
49   // Bases
50   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, 2, q, CEED_GAUSS, &basis_x);
51   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, p, q, CEED_GAUSS, &basis_u);
52 
53   // QFunction - setup mass
54   CeedQFunctionCreateInterior(ceed, 1, setup_mass, setup_mass_loc, &qf_setup_mass);
55   CeedQFunctionAddInput(qf_setup_mass, "dx", dim * dim, CEED_EVAL_GRAD);
56   CeedQFunctionAddInput(qf_setup_mass, "weight", 1, CEED_EVAL_WEIGHT);
57   CeedQFunctionAddOutput(qf_setup_mass, "q data", 1, CEED_EVAL_NONE);
58 
59   // Operator - setup mass
60   CeedOperatorCreate(ceed, qf_setup_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup_mass);
61   CeedOperatorSetField(op_setup_mass, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
62   CeedOperatorSetField(op_setup_mass, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
63   CeedOperatorSetField(op_setup_mass, "q data", elem_restriction_q_data, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
64 
65   // Apply Setup Operator
66   CeedOperatorApply(op_setup_mass, x, q_data_mass, CEED_REQUEST_IMMEDIATE);
67 
68   // QFunction - apply
69   CeedQFunctionCreateInterior(ceed, 1, apply, apply_loc, &qf_apply);
70   CeedQFunctionAddInput(qf_apply, "u", 1, CEED_EVAL_INTERP);
71   CeedQFunctionAddInput(qf_apply, "mass q data", 1, CEED_EVAL_NONE);
72   CeedQFunctionAddOutput(qf_apply, "v", 1, CEED_EVAL_INTERP);
73 
74   // Operator - apply
75   CeedOperatorCreate(ceed, qf_apply, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_apply);
76   CeedOperatorSetField(op_apply, "u", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
77   CeedOperatorSetField(op_apply, "mass q data", elem_restriction_q_data, CEED_BASIS_COLLOCATED, q_data_mass);
78   CeedOperatorSetField(op_apply, "v", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
79 
80   // Apply original operator
81   CeedVectorSetValue(u, 1.0);
82   CeedOperatorApply(op_apply, u, v, CEED_REQUEST_IMMEDIATE);
83 
84   // Create FDM element inverse
85   CeedOperatorCreateFDMElementInverse(op_apply, &op_inverse, CEED_REQUEST_IMMEDIATE);
86 
87   // Apply FDM element inverse
88   CeedOperatorApply(op_inverse, v, u, CEED_REQUEST_IMMEDIATE);
89 
90   // Check output
91   {
92     const CeedScalar *u_array;
93 
94     CeedVectorGetArrayRead(u, CEED_MEM_HOST, &u_array);
95     for (int i = 0; i < num_dofs; i++) {
96       if (fabs(u_array[i] - 1.0) > 500. * CEED_EPSILON) {
97         // LCOV_EXCL_START
98         printf("[%" CeedInt_FMT "] Error in inverse: %e - 1.0 = %e\n", i, u_array[i], u_array[i] - 1.);
99         // LCOV_EXCL_STOP
100       }
101     }
102     CeedVectorRestoreArrayRead(u, &u_array);
103   }
104 
105   // Cleanup
106   CeedVectorDestroy(&x);
107   CeedVectorDestroy(&q_data_mass);
108   CeedVectorDestroy(&u);
109   CeedVectorDestroy(&v);
110   CeedElemRestrictionDestroy(&elem_restriction_u);
111   CeedElemRestrictionDestroy(&elem_restriction_x);
112   CeedElemRestrictionDestroy(&elem_restriction_q_data);
113   CeedBasisDestroy(&basis_u);
114   CeedBasisDestroy(&basis_x);
115   CeedQFunctionDestroy(&qf_setup_mass);
116   CeedQFunctionDestroy(&qf_apply);
117   CeedOperatorDestroy(&op_setup_mass);
118   CeedOperatorDestroy(&op_apply);
119   CeedOperatorDestroy(&op_inverse);
120   CeedDestroy(&ceed);
121   return 0;
122 }
123