xref: /libCEED/tests/t520-operator.c (revision 7509a596beda7c1d002d2274a17375b09541fdb6)
152d6035fSJeremy L Thompson /// @file
231e5b035Sjeremylt /// Test creation, action, and destruction for mass matrix operator
331e5b035Sjeremylt /// \test Test creation, action, and destruction for mass matrix operator
452d6035fSJeremy L Thompson #include <ceed.h>
552d6035fSJeremy L Thompson #include <stdlib.h>
652d6035fSJeremy L Thompson #include <math.h>
752bfb9bbSJeremy L Thompson #include "t320-basis.h"
8a05f9790Sjeremylt #include "t510-operator.h"
94d537eeaSYohann 
1052d6035fSJeremy L Thompson /* The mesh comprises of two rows of 3 quadralaterals followed by one row
1152d6035fSJeremy L Thompson      of 6 triangles:
1252d6035fSJeremy L Thompson    _ _ _
1352d6035fSJeremy L Thompson   |_|_|_|
1452d6035fSJeremy L Thompson   |_|_|_|
1552d6035fSJeremy L Thompson   |/|/|/|
1652d6035fSJeremy L Thompson 
1752d6035fSJeremy L Thompson */
1852d6035fSJeremy L Thompson 
1952d6035fSJeremy L Thompson int main(int argc, char **argv) {
2052d6035fSJeremy L Thompson   Ceed ceed;
2161dbc9d2Sjeremylt   CeedInterlaceMode imode = CEED_NONINTERLACED;
2252d6035fSJeremy L Thompson   CeedElemRestriction ErestrictxTet, ErestrictuTet,
2352d6035fSJeremy L Thompson                       ErestrictxiTet, ErestrictuiTet,
2452d6035fSJeremy L Thompson                       ErestrictxHex, ErestrictuHex,
2552d6035fSJeremy L Thompson                       ErestrictxiHex, ErestrictuiHex;
2652d6035fSJeremy L Thompson   CeedBasis bxTet, buTet,
2752d6035fSJeremy L Thompson             bxHex, buHex;
2852d6035fSJeremy L Thompson   CeedQFunction qf_setupTet, qf_massTet,
2952d6035fSJeremy L Thompson                 qf_setupHex, qf_massHex;
3052d6035fSJeremy L Thompson   CeedOperator op_setupTet, op_massTet,
3152d6035fSJeremy L Thompson                op_setupHex, op_massHex,
3252d6035fSJeremy L Thompson                op_setup, op_mass;
3352d6035fSJeremy L Thompson   CeedVector qdataTet, qdataHex, X, U, V;
3452d6035fSJeremy L Thompson   const CeedScalar *hv;
3552d6035fSJeremy L Thompson   CeedInt nelemTet = 6, PTet = 6, QTet = 4,
3652d6035fSJeremy L Thompson           nelemHex = 6, PHex = 3, QHex = 4, dim = 2;
3752d6035fSJeremy L Thompson   CeedInt nx = 3, ny = 3,
3852d6035fSJeremy L Thompson           nxTet = 3, nyTet = 1, nxHex = 3;
3952d6035fSJeremy L Thompson   CeedInt row, col, offset;
4052d6035fSJeremy L Thompson   CeedInt ndofs = (nx*2+1)*(ny*2+1),
4152d6035fSJeremy L Thompson           nqptsTet = nelemTet*QTet,
4252d6035fSJeremy L Thompson           nqptsHex = nelemHex*QHex*QHex;
4352d6035fSJeremy L Thompson   CeedInt indxTet[nelemTet*PTet],
4452d6035fSJeremy L Thompson           indxHex[nelemHex*PHex*PHex];
4552d6035fSJeremy L Thompson   CeedScalar x[dim*ndofs];
4652d6035fSJeremy L Thompson   CeedScalar qref[dim*QTet], qweight[QTet];
4752d6035fSJeremy L Thompson   CeedScalar interp[PTet*QTet], grad[dim*PTet*QTet];
4852d6035fSJeremy L Thompson 
4952d6035fSJeremy L Thompson   CeedInit(argv[1], &ceed);
5052d6035fSJeremy L Thompson 
5152d6035fSJeremy L Thompson   // DoF Coordinates
5252d6035fSJeremy L Thompson   for (CeedInt i=0; i<ny*2+1; i++)
5352d6035fSJeremy L Thompson     for (CeedInt j=0; j<nx*2+1; j++) {
5452d6035fSJeremy L Thompson       x[i+j*(ny*2+1)+0*ndofs] = (CeedScalar) i / (2*ny);
5552d6035fSJeremy L Thompson       x[i+j*(ny*2+1)+1*ndofs] = (CeedScalar) j / (2*nx);
5652d6035fSJeremy L Thompson     }
5752d6035fSJeremy L Thompson   CeedVectorCreate(ceed, dim*ndofs, &X);
5852d6035fSJeremy L Thompson   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
5952d6035fSJeremy L Thompson 
6052d6035fSJeremy L Thompson   // Qdata Vectors
6152d6035fSJeremy L Thompson   CeedVectorCreate(ceed, nqptsTet, &qdataTet);
6252d6035fSJeremy L Thompson   CeedVectorCreate(ceed, nqptsHex, &qdataHex);
6352d6035fSJeremy L Thompson 
6452d6035fSJeremy L Thompson   // Set up Tet Elements
6552d6035fSJeremy L Thompson   for (CeedInt i=0; i<nelemTet/2; i++) {
6652d6035fSJeremy L Thompson     col = i % nxTet;
6752d6035fSJeremy L Thompson     row = i / nxTet;
6852d6035fSJeremy L Thompson     offset = col*2 + row*(nxTet*2+1)*2;
6952d6035fSJeremy L Thompson 
7052d6035fSJeremy L Thompson     indxTet[i*2*PTet +  0] =  2 + offset;
7152d6035fSJeremy L Thompson     indxTet[i*2*PTet +  1] =  9 + offset;
7252d6035fSJeremy L Thompson     indxTet[i*2*PTet +  2] = 16 + offset;
7352d6035fSJeremy L Thompson     indxTet[i*2*PTet +  3] =  1 + offset;
7452d6035fSJeremy L Thompson     indxTet[i*2*PTet +  4] =  8 + offset;
7552d6035fSJeremy L Thompson     indxTet[i*2*PTet +  5] =  0 + offset;
7652d6035fSJeremy L Thompson 
7752d6035fSJeremy L Thompson     indxTet[i*2*PTet +  6] = 14 + offset;
7852d6035fSJeremy L Thompson     indxTet[i*2*PTet +  7] =  7 + offset;
7952d6035fSJeremy L Thompson     indxTet[i*2*PTet +  8] =  0 + offset;
8052d6035fSJeremy L Thompson     indxTet[i*2*PTet +  9] = 15 + offset;
8152d6035fSJeremy L Thompson     indxTet[i*2*PTet + 10] =  8 + offset;
8252d6035fSJeremy L Thompson     indxTet[i*2*PTet + 11] = 16 + offset;
8352d6035fSJeremy L Thompson   }
8452d6035fSJeremy L Thompson 
8552d6035fSJeremy L Thompson   // -- Restrictions
8661dbc9d2Sjeremylt   CeedElemRestrictionCreate(ceed, imode, nelemTet, PTet, ndofs, dim,
87a8d32208Sjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, indxTet,
88a8d32208Sjeremylt                             &ErestrictxTet);
89*7509a596Sjeremylt   CeedInt stridesxTet[3] = {1, PTet, PTet*dim};
90*7509a596Sjeremylt   CeedElemRestrictionCreateStrided(ceed,  nelemTet, PTet, nelemTet*PTet, dim,
91*7509a596Sjeremylt                                    stridesxTet, &ErestrictxiTet);
9252d6035fSJeremy L Thompson 
9361dbc9d2Sjeremylt   CeedElemRestrictionCreate(ceed, imode, nelemTet, PTet, ndofs, 1,
94a8d32208Sjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, indxTet,
95a8d32208Sjeremylt                             &ErestrictuTet);
96*7509a596Sjeremylt   CeedInt stridesuTet[3] = {1, QTet, QTet};
97*7509a596Sjeremylt   CeedElemRestrictionCreateStrided(ceed,  nelemTet, QTet, nqptsTet, 1,
98*7509a596Sjeremylt                                    stridesuTet, &ErestrictuiTet);
9952d6035fSJeremy L Thompson 
10052d6035fSJeremy L Thompson   // -- Bases
10152d6035fSJeremy L Thompson   buildmats(qref, qweight, interp, grad);
10252d6035fSJeremy L Thompson   CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, PTet, QTet, interp, grad, qref,
10352d6035fSJeremy L Thompson                     qweight, &bxTet);
10452d6035fSJeremy L Thompson 
10552d6035fSJeremy L Thompson   buildmats(qref, qweight, interp, grad);
10652d6035fSJeremy L Thompson   CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, PTet, QTet, interp, grad, qref,
10752d6035fSJeremy L Thompson                     qweight, &buTet);
10852d6035fSJeremy L Thompson 
10952d6035fSJeremy L Thompson   // -- QFunctions
1104d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setupTet);
11152d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_setupTet, "_weight", 1, CEED_EVAL_WEIGHT);
1124d537eeaSYohann   CeedQFunctionAddInput(qf_setupTet, "dx", dim*dim, CEED_EVAL_GRAD);
11352d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_setupTet, "rho", 1, CEED_EVAL_NONE);
11452d6035fSJeremy L Thompson 
1154d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_massTet);
11652d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massTet, "rho", 1, CEED_EVAL_NONE);
11752d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massTet, "u", 1, CEED_EVAL_INTERP);
11852d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_massTet, "v", 1, CEED_EVAL_INTERP);
11952d6035fSJeremy L Thompson 
12052d6035fSJeremy L Thompson   // -- Operators
12152d6035fSJeremy L Thompson   // ---- Setup Tet
122442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_setupTet, CEED_QFUNCTION_NONE,
123442e7f0bSjeremylt                      CEED_QFUNCTION_NONE, &op_setupTet);
124a8d32208Sjeremylt   CeedOperatorSetField(op_setupTet, "_weight", ErestrictxiTet, bxTet,
125a8d32208Sjeremylt                        CEED_VECTOR_NONE);
126a8d32208Sjeremylt   CeedOperatorSetField(op_setupTet, "dx", ErestrictxTet, bxTet,
127a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
128a8d32208Sjeremylt   CeedOperatorSetField(op_setupTet, "rho", ErestrictuiTet,
12952d6035fSJeremy L Thompson                        CEED_BASIS_COLLOCATED, qdataTet);
13052d6035fSJeremy L Thompson   // ---- Mass Tet
131442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_massTet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
132442e7f0bSjeremylt                      &op_massTet);
133a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "rho", ErestrictuiTet, CEED_BASIS_COLLOCATED,
134a8d32208Sjeremylt                        qdataTet);
135a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "u", ErestrictuTet, buTet,
136a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
137a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "v", ErestrictuTet, buTet,
138a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
13952d6035fSJeremy L Thompson 
14052d6035fSJeremy L Thompson   // Set up Hex Elements
14152d6035fSJeremy L Thompson   for (CeedInt i=0; i<nelemHex; i++) {
14252d6035fSJeremy L Thompson     col = i % nxHex;
14352d6035fSJeremy L Thompson     row = i / nxHex;
14452d6035fSJeremy L Thompson     offset = (nxTet*2+1)*(nyTet*2)*(1+row) + col*2;
14552d6035fSJeremy L Thompson     for (CeedInt j=0; j<PHex; j++)
14652d6035fSJeremy L Thompson       for (CeedInt k=0; k<PHex; k++)
14752d6035fSJeremy L Thompson         indxHex[PHex*(PHex*i+k)+j] = offset + k*(nxHex*2+1) + j;
14852d6035fSJeremy L Thompson   }
14952d6035fSJeremy L Thompson 
15052d6035fSJeremy L Thompson   // -- Restrictions
15161dbc9d2Sjeremylt   CeedElemRestrictionCreate(ceed, imode, nelemHex, PHex*PHex, ndofs, dim,
15252d6035fSJeremy L Thompson                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
15352d6035fSJeremy L Thompson                             &ErestrictxHex);
154*7509a596Sjeremylt   CeedInt stridesxHex[3] = {1, PHex*PHex, PHex *PHex*dim};
155*7509a596Sjeremylt   CeedElemRestrictionCreateStrided(ceed,  nelemHex, PHex*PHex,
156*7509a596Sjeremylt                                    nelemHex*PHex*PHex, dim, stridesxHex,
157*7509a596Sjeremylt                                    &ErestrictxiHex);
15852d6035fSJeremy L Thompson 
15961dbc9d2Sjeremylt   CeedElemRestrictionCreate(ceed, imode, nelemHex, PHex*PHex, ndofs, 1,
16052d6035fSJeremy L Thompson                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
16152d6035fSJeremy L Thompson                             &ErestrictuHex);
162*7509a596Sjeremylt   CeedInt stridesuHex[3] = {1, QHex*QHex, QHex*QHex};
163*7509a596Sjeremylt   CeedElemRestrictionCreateStrided(ceed, nelemHex, QHex*QHex, nqptsHex, 1,
164*7509a596Sjeremylt                                    stridesuHex, &ErestrictuiHex);
16552d6035fSJeremy L Thompson 
16652d6035fSJeremy L Thompson   // -- Bases
16752d6035fSJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, PHex, QHex, CEED_GAUSS,
16852d6035fSJeremy L Thompson                                   &bxHex);
16952d6035fSJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, PHex, QHex, CEED_GAUSS, &buHex);
17052d6035fSJeremy L Thompson 
17152d6035fSJeremy L Thompson   // -- QFunctions
1724d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setupHex);
17352d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_setupHex, "_weight", 1, CEED_EVAL_WEIGHT);
1744d537eeaSYohann   CeedQFunctionAddInput(qf_setupHex, "dx", dim*dim, CEED_EVAL_GRAD);
17552d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_setupHex, "rho", 1, CEED_EVAL_NONE);
17652d6035fSJeremy L Thompson 
1774d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_massHex);
17852d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massHex, "rho", 1, CEED_EVAL_NONE);
17952d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massHex, "u", 1, CEED_EVAL_INTERP);
18052d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_massHex, "v", 1, CEED_EVAL_INTERP);
18152d6035fSJeremy L Thompson 
18252d6035fSJeremy L Thompson   // -- Operators
183442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_setupHex, CEED_QFUNCTION_NONE,
184442e7f0bSjeremylt                      CEED_QFUNCTION_NONE, &op_setupHex);
185a8d32208Sjeremylt   CeedOperatorSetField(op_setupHex, "_weight", ErestrictxiHex, bxHex,
186a8d32208Sjeremylt                        CEED_VECTOR_NONE);
187a8d32208Sjeremylt   CeedOperatorSetField(op_setupHex, "dx", ErestrictxHex, bxHex,
188a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
189a8d32208Sjeremylt   CeedOperatorSetField(op_setupHex, "rho", ErestrictuiHex,
19052d6035fSJeremy L Thompson                        CEED_BASIS_COLLOCATED, qdataHex);
19152d6035fSJeremy L Thompson 
192442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_massHex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
193442e7f0bSjeremylt                      &op_massHex);
194a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "rho", ErestrictuiHex, CEED_BASIS_COLLOCATED,
195a8d32208Sjeremylt                        qdataHex);
196a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "u", ErestrictuHex, buHex,
197a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
198a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "v", ErestrictuHex, buHex,
199a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
20052d6035fSJeremy L Thompson 
20152d6035fSJeremy L Thompson   // Set up Composite Operators
20252d6035fSJeremy L Thompson   // -- Create
20352d6035fSJeremy L Thompson   CeedCompositeOperatorCreate(ceed, &op_setup);
20452d6035fSJeremy L Thompson   // -- Add SubOperators
20552d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_setup, op_setupTet);
20652d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_setup, op_setupHex);
20752d6035fSJeremy L Thompson 
20852d6035fSJeremy L Thompson   // -- Create
20952d6035fSJeremy L Thompson   CeedCompositeOperatorCreate(ceed, &op_mass);
21052d6035fSJeremy L Thompson   // -- Add SubOperators
21152d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_mass, op_massTet);
21252d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_mass, op_massHex);
21352d6035fSJeremy L Thompson 
21452d6035fSJeremy L Thompson   // Apply Setup Operator
215e97ff134Sjeremylt   CeedOperatorApply(op_setup, X, CEED_VECTOR_NONE, CEED_REQUEST_IMMEDIATE);
21652d6035fSJeremy L Thompson 
21752d6035fSJeremy L Thompson   // Apply Mass Operator
21852d6035fSJeremy L Thompson   CeedVectorCreate(ceed, ndofs, &U);
21952d6035fSJeremy L Thompson   CeedVectorSetValue(U, 0.0);
22052d6035fSJeremy L Thompson   CeedVectorCreate(ceed, ndofs, &V);
22152d6035fSJeremy L Thompson 
22252d6035fSJeremy L Thompson   CeedOperatorApply(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
22352d6035fSJeremy L Thompson 
22452d6035fSJeremy L Thompson   // Check output
22552d6035fSJeremy L Thompson   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
22652d6035fSJeremy L Thompson   for (CeedInt i=0; i<ndofs; i++)
22752d6035fSJeremy L Thompson     if (fabs(hv[i]) > 1e-14) printf("[%d] v %g != 0.0\n",i, hv[i]);
22852d6035fSJeremy L Thompson   CeedVectorRestoreArrayRead(V, &hv);
22952d6035fSJeremy L Thompson 
23052d6035fSJeremy L Thompson   // Cleanup
23152d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_setupTet);
23252d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_massTet);
23352d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setupTet);
23452d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_massTet);
23552d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_setupHex);
23652d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_massHex);
23752d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setupHex);
23852d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_massHex);
23952d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setup);
24052d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_mass);
24152d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuTet);
24252d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxTet);
24352d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuiTet);
24452d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxiTet);
24552d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuHex);
24652d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxHex);
24752d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuiHex);
24852d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxiHex);
24952d6035fSJeremy L Thompson   CeedBasisDestroy(&buTet);
25052d6035fSJeremy L Thompson   CeedBasisDestroy(&bxTet);
25152d6035fSJeremy L Thompson   CeedBasisDestroy(&buHex);
25252d6035fSJeremy L Thompson   CeedBasisDestroy(&bxHex);
25352d6035fSJeremy L Thompson   CeedVectorDestroy(&X);
25452d6035fSJeremy L Thompson   CeedVectorDestroy(&U);
25552d6035fSJeremy L Thompson   CeedVectorDestroy(&V);
25652d6035fSJeremy L Thompson   CeedVectorDestroy(&qdataTet);
25752d6035fSJeremy L Thompson   CeedVectorDestroy(&qdataHex);
25852d6035fSJeremy L Thompson   CeedDestroy(&ceed);
25952d6035fSJeremy L Thompson   return 0;
26052d6035fSJeremy L Thompson }
261