xref: /libCEED/tests/t537-operator.c (revision 2bba3ffaf13cc90ae8de830effb3b11a0650a2fc)
1d965c7a7SJeremy L Thompson /// @file
2d965c7a7SJeremy L Thompson /// Test assembly of mass matrix operator point block diagonal
3d965c7a7SJeremy L Thompson /// \test Test assembly of mass matrix operator point block diagonal
4d965c7a7SJeremy L Thompson #include <ceed.h>
5d965c7a7SJeremy L Thompson #include <stdlib.h>
6d965c7a7SJeremy L Thompson #include <math.h>
7d965c7a7SJeremy L Thompson #include "t537-operator.h"
8d965c7a7SJeremy L Thompson 
9d965c7a7SJeremy L Thompson int main(int argc, char **argv) {
10d965c7a7SJeremy L Thompson   Ceed ceed;
11d965c7a7SJeremy L Thompson   CeedElemRestriction Erestrictx, Erestrictu,
12d965c7a7SJeremy L Thompson                       Erestrictui;
13d965c7a7SJeremy L Thompson   CeedBasis bx, bu;
14d965c7a7SJeremy L Thompson   CeedQFunction qf_setup, qf_mass;
15d965c7a7SJeremy L Thompson   CeedOperator op_setup, op_mass;
16d965c7a7SJeremy L Thompson   CeedVector qdata, X, A, U, V;
17d965c7a7SJeremy L Thompson   CeedInt nelem = 6, P = 3, Q = 4, dim = 2, ncomp = 2;
18d965c7a7SJeremy L Thompson   CeedInt nx = 3, ny = 2;
19d965c7a7SJeremy L Thompson   CeedInt ndofs = (nx*2+1)*(ny*2+1), nqpts = nelem*Q*Q;
20d965c7a7SJeremy L Thompson   CeedInt indx[nelem*P*P];
21d965c7a7SJeremy L Thompson   CeedScalar x[dim*ndofs], assembledTrue[ncomp*ncomp*ndofs];
22d965c7a7SJeremy L Thompson   CeedScalar *u;
23d965c7a7SJeremy L Thompson   const CeedScalar *a, *v;
24d965c7a7SJeremy L Thompson 
25d965c7a7SJeremy L Thompson   CeedInit(argv[1], &ceed);
26d965c7a7SJeremy L Thompson 
27d965c7a7SJeremy L Thompson   // DoF Coordinates
28d965c7a7SJeremy L Thompson   for (CeedInt i=0; i<nx*2+1; i++)
29d965c7a7SJeremy L Thompson     for (CeedInt j=0; j<ny*2+1; j++) {
30d965c7a7SJeremy L Thompson       x[i+j*(nx*2+1)+0*ndofs] = (CeedScalar) i / (2*nx);
31d965c7a7SJeremy L Thompson       x[i+j*(nx*2+1)+1*ndofs] = (CeedScalar) j / (2*ny);
32d965c7a7SJeremy L Thompson     }
33d965c7a7SJeremy L Thompson   CeedVectorCreate(ceed, dim*ndofs, &X);
34d965c7a7SJeremy L Thompson   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
35d965c7a7SJeremy L Thompson 
36d965c7a7SJeremy L Thompson   // Qdata Vector
37d965c7a7SJeremy L Thompson   CeedVectorCreate(ceed, nqpts, &qdata);
38d965c7a7SJeremy L Thompson 
39d965c7a7SJeremy L Thompson   // Element Setup
40d965c7a7SJeremy L Thompson   for (CeedInt i=0; i<nelem; i++) {
41d965c7a7SJeremy L Thompson     CeedInt col, row, offset;
42d965c7a7SJeremy L Thompson     col = i % nx;
43d965c7a7SJeremy L Thompson     row = i / nx;
44d965c7a7SJeremy L Thompson     offset = col*(P-1) + row*(nx*2+1)*(P-1);
45d965c7a7SJeremy L Thompson     for (CeedInt j=0; j<P; j++)
46d965c7a7SJeremy L Thompson       for (CeedInt k=0; k<P; k++)
47d965c7a7SJeremy L Thompson         indx[P*(P*i+k)+j] = offset + k*(nx*2+1) + j;
48d965c7a7SJeremy L Thompson   }
49d965c7a7SJeremy L Thompson 
50d965c7a7SJeremy L Thompson   // Restrictions
51d965c7a7SJeremy L Thompson   CeedElemRestrictionCreate(ceed, nelem, P*P, dim, ndofs, dim*ndofs,
52d965c7a7SJeremy L Thompson                             CEED_MEM_HOST, CEED_USE_POINTER, indx, &Erestrictx);
53d965c7a7SJeremy L Thompson   CeedElemRestrictionCreate(ceed, nelem, P*P, ncomp, ndofs, ncomp*ndofs,
54d965c7a7SJeremy L Thompson                             CEED_MEM_HOST, CEED_USE_POINTER, indx, &Erestrictu);
55d965c7a7SJeremy L Thompson   CeedInt stridesu[3] = {1, Q*Q, Q*Q};
56d965c7a7SJeremy L Thompson   CeedElemRestrictionCreateStrided(ceed, nelem, Q*Q, 1, nqpts, stridesu,
57d965c7a7SJeremy L Thompson                                    &Erestrictui);
58d965c7a7SJeremy L Thompson 
59d965c7a7SJeremy L Thompson   // Bases
60d965c7a7SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P, Q, CEED_GAUSS, &bx);
61d965c7a7SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, ncomp, P, Q, CEED_GAUSS, &bu);
62d965c7a7SJeremy L Thompson 
63d965c7a7SJeremy L Thompson   // QFunctions
64d965c7a7SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
65d965c7a7SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "_weight", 1, CEED_EVAL_WEIGHT);
66d965c7a7SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "dx", dim*dim, CEED_EVAL_GRAD);
67d965c7a7SJeremy L Thompson   CeedQFunctionAddOutput(qf_setup, "rho", 1, CEED_EVAL_NONE);
68d965c7a7SJeremy L Thompson 
69d965c7a7SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
70d965c7a7SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "rho", 1, CEED_EVAL_NONE);
71d965c7a7SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "u", ncomp, CEED_EVAL_INTERP);
72d965c7a7SJeremy L Thompson   CeedQFunctionAddOutput(qf_mass, "v", ncomp, CEED_EVAL_INTERP);
73d965c7a7SJeremy L Thompson 
74d965c7a7SJeremy L Thompson   // Operators
75d965c7a7SJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
76d965c7a7SJeremy L Thompson                      &op_setup);
77d965c7a7SJeremy L Thompson   CeedOperatorSetField(op_setup, "_weight", CEED_ELEMRESTRICTION_NONE, bx,
78d965c7a7SJeremy L Thompson                        CEED_VECTOR_NONE);
79d965c7a7SJeremy L Thompson   CeedOperatorSetField(op_setup, "dx", Erestrictx, bx, CEED_VECTOR_ACTIVE);
80d965c7a7SJeremy L Thompson   CeedOperatorSetField(op_setup, "rho", Erestrictui, CEED_BASIS_COLLOCATED,
81d965c7a7SJeremy L Thompson                        CEED_VECTOR_ACTIVE);
82d965c7a7SJeremy L Thompson 
83d965c7a7SJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
84d965c7a7SJeremy L Thompson                      &op_mass);
85d965c7a7SJeremy L Thompson   CeedOperatorSetField(op_mass, "rho", Erestrictui, CEED_BASIS_COLLOCATED,
86d965c7a7SJeremy L Thompson                        qdata);
87d965c7a7SJeremy L Thompson   CeedOperatorSetField(op_mass, "u", Erestrictu, bu, CEED_VECTOR_ACTIVE);
88d965c7a7SJeremy L Thompson   CeedOperatorSetField(op_mass, "v", Erestrictu, bu, CEED_VECTOR_ACTIVE);
89d965c7a7SJeremy L Thompson 
90d965c7a7SJeremy L Thompson   // Apply Setup Operator
91d965c7a7SJeremy L Thompson   CeedOperatorApply(op_setup, X, qdata, CEED_REQUEST_IMMEDIATE);
92d965c7a7SJeremy L Thompson 
93d965c7a7SJeremy L Thompson   // Assemble diagonal
94*2bba3ffaSJeremy L Thompson   CeedVectorCreate(ceed, ncomp*ncomp*ndofs, &A);
95*2bba3ffaSJeremy L Thompson   CeedOperatorLinearAssemblePointBlockDiagonal(op_mass, A,
96d965c7a7SJeremy L Thompson       CEED_REQUEST_IMMEDIATE);
97d965c7a7SJeremy L Thompson 
98d965c7a7SJeremy L Thompson   // Manually assemble diagonal
99d965c7a7SJeremy L Thompson   CeedVectorCreate(ceed, ncomp*ndofs, &U);
100d965c7a7SJeremy L Thompson   CeedVectorSetValue(U, 0.0);
101d965c7a7SJeremy L Thompson   CeedVectorCreate(ceed, ncomp*ndofs, &V);
102d965c7a7SJeremy L Thompson   for (int i=0; i<ncomp*ncomp*ndofs; i++)
103d965c7a7SJeremy L Thompson     assembledTrue[i] = 0.0;
104d965c7a7SJeremy L Thompson   CeedInt indOld = -1;
105d965c7a7SJeremy L Thompson   for (int i=0; i<ndofs; i++) {
106d965c7a7SJeremy L Thompson     for (int j=0; j<ncomp; j++) {
107d965c7a7SJeremy L Thompson       // Set input
108d965c7a7SJeremy L Thompson       CeedVectorGetArray(U, CEED_MEM_HOST, &u);
109d965c7a7SJeremy L Thompson       CeedInt ind = i + j*ndofs;
110d965c7a7SJeremy L Thompson       u[ind] = 1.0;
111d965c7a7SJeremy L Thompson       if (ind > 0)
112d965c7a7SJeremy L Thompson         u[indOld] = 0.0;
113d965c7a7SJeremy L Thompson       indOld = ind;
114d965c7a7SJeremy L Thompson       CeedVectorRestoreArray(U, &u);
115d965c7a7SJeremy L Thompson 
116d965c7a7SJeremy L Thompson       // Compute effect of DoF i, comp j
117d965c7a7SJeremy L Thompson       CeedOperatorApply(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
118d965c7a7SJeremy L Thompson 
119d965c7a7SJeremy L Thompson       // Retrieve entry
120d965c7a7SJeremy L Thompson       CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v);
121d965c7a7SJeremy L Thompson       for (int k = 0; k<ncomp; k++)
122d965c7a7SJeremy L Thompson         assembledTrue[i*ncomp*ncomp + k*ncomp + j] += v[i + k*ndofs];
123d965c7a7SJeremy L Thompson       CeedVectorRestoreArrayRead(V, &v);
124d965c7a7SJeremy L Thompson     }
125d965c7a7SJeremy L Thompson   }
126d965c7a7SJeremy L Thompson 
127d965c7a7SJeremy L Thompson   // Check output
128d965c7a7SJeremy L Thompson   CeedVectorGetArrayRead(A, CEED_MEM_HOST, &a);
129d965c7a7SJeremy L Thompson   for (int i=0; i<ncomp*ncomp*ndofs; i++)
130d965c7a7SJeremy L Thompson     if (fabs(a[i] - assembledTrue[i]) > 1e-14)
131d965c7a7SJeremy L Thompson       // LCOV_EXCL_START
132d965c7a7SJeremy L Thompson       printf("[%d] Error in assembly: %f != %f\n", i, a[i], assembledTrue[i]);
133d965c7a7SJeremy L Thompson   // LCOV_EXCL_STOP
134d965c7a7SJeremy L Thompson   CeedVectorRestoreArrayRead(A, &a);
135d965c7a7SJeremy L Thompson 
136d965c7a7SJeremy L Thompson   // Cleanup
137d965c7a7SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup);
138d965c7a7SJeremy L Thompson   CeedQFunctionDestroy(&qf_mass);
139d965c7a7SJeremy L Thompson   CeedOperatorDestroy(&op_setup);
140d965c7a7SJeremy L Thompson   CeedOperatorDestroy(&op_mass);
141d965c7a7SJeremy L Thompson   CeedElemRestrictionDestroy(&Erestrictu);
142d965c7a7SJeremy L Thompson   CeedElemRestrictionDestroy(&Erestrictx);
143d965c7a7SJeremy L Thompson   CeedElemRestrictionDestroy(&Erestrictui);
144d965c7a7SJeremy L Thompson   CeedBasisDestroy(&bu);
145d965c7a7SJeremy L Thompson   CeedBasisDestroy(&bx);
146d965c7a7SJeremy L Thompson   CeedVectorDestroy(&X);
147d965c7a7SJeremy L Thompson   CeedVectorDestroy(&A);
148d965c7a7SJeremy L Thompson   CeedVectorDestroy(&qdata);
149d965c7a7SJeremy L Thompson   CeedVectorDestroy(&U);
150d965c7a7SJeremy L Thompson   CeedVectorDestroy(&V);
151d965c7a7SJeremy L Thompson   CeedDestroy(&ceed);
152d965c7a7SJeremy L Thompson   return 0;
153d965c7a7SJeremy L Thompson }
154