xref: /libCEED/tests/t520-operator.c (revision a8d322087fa8f150327cdc2bf14a171452b711ec)
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;
21*a8d32208Sjeremylt   CeedTransposeMode lmode = CEED_NOTRANSPOSE;
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
86*a8d32208Sjeremylt   CeedElemRestrictionCreate(ceed, lmode, nelemTet, PTet, ndofs, dim,
87*a8d32208Sjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, indxTet,
88*a8d32208Sjeremylt                             &ErestrictxTet);
89*a8d32208Sjeremylt   CeedElemRestrictionCreateIdentity(ceed, lmode, nelemTet, PTet, nelemTet*PTet,
90*a8d32208Sjeremylt                                     dim, &ErestrictxiTet);
9152d6035fSJeremy L Thompson 
92*a8d32208Sjeremylt   CeedElemRestrictionCreate(ceed, lmode, nelemTet, PTet, ndofs, 1,
93*a8d32208Sjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, indxTet,
94*a8d32208Sjeremylt                             &ErestrictuTet);
95*a8d32208Sjeremylt   CeedElemRestrictionCreateIdentity(ceed, lmode, nelemTet, QTet, nqptsTet, 1,
9652d6035fSJeremy L Thompson                                     &ErestrictuiTet);
9752d6035fSJeremy L Thompson 
9852d6035fSJeremy L Thompson   // -- Bases
9952d6035fSJeremy L Thompson   buildmats(qref, qweight, interp, grad);
10052d6035fSJeremy L Thompson   CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, PTet, QTet, interp, grad, qref,
10152d6035fSJeremy L Thompson                     qweight, &bxTet);
10252d6035fSJeremy L Thompson 
10352d6035fSJeremy L Thompson   buildmats(qref, qweight, interp, grad);
10452d6035fSJeremy L Thompson   CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, PTet, QTet, interp, grad, qref,
10552d6035fSJeremy L Thompson                     qweight, &buTet);
10652d6035fSJeremy L Thompson 
10752d6035fSJeremy L Thompson   // -- QFunctions
1084d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setupTet);
10952d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_setupTet, "_weight", 1, CEED_EVAL_WEIGHT);
1104d537eeaSYohann   CeedQFunctionAddInput(qf_setupTet, "dx", dim*dim, CEED_EVAL_GRAD);
11152d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_setupTet, "rho", 1, CEED_EVAL_NONE);
11252d6035fSJeremy L Thompson 
1134d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_massTet);
11452d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massTet, "rho", 1, CEED_EVAL_NONE);
11552d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massTet, "u", 1, CEED_EVAL_INTERP);
11652d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_massTet, "v", 1, CEED_EVAL_INTERP);
11752d6035fSJeremy L Thompson 
11852d6035fSJeremy L Thompson   // -- Operators
11952d6035fSJeremy L Thompson   // ---- Setup Tet
120442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_setupTet, CEED_QFUNCTION_NONE,
121442e7f0bSjeremylt                      CEED_QFUNCTION_NONE, &op_setupTet);
122*a8d32208Sjeremylt   CeedOperatorSetField(op_setupTet, "_weight", ErestrictxiTet, bxTet,
123*a8d32208Sjeremylt                        CEED_VECTOR_NONE);
124*a8d32208Sjeremylt   CeedOperatorSetField(op_setupTet, "dx", ErestrictxTet, bxTet,
125*a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
126*a8d32208Sjeremylt   CeedOperatorSetField(op_setupTet, "rho", ErestrictuiTet,
12752d6035fSJeremy L Thompson                        CEED_BASIS_COLLOCATED, qdataTet);
12852d6035fSJeremy L Thompson   // ---- Mass Tet
129442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_massTet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
130442e7f0bSjeremylt                      &op_massTet);
131*a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "rho", ErestrictuiTet, CEED_BASIS_COLLOCATED,
132*a8d32208Sjeremylt                        qdataTet);
133*a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "u", ErestrictuTet, buTet,
134*a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
135*a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "v", ErestrictuTet, buTet,
136*a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
13752d6035fSJeremy L Thompson 
13852d6035fSJeremy L Thompson   // Set up Hex Elements
13952d6035fSJeremy L Thompson   for (CeedInt i=0; i<nelemHex; i++) {
14052d6035fSJeremy L Thompson     col = i % nxHex;
14152d6035fSJeremy L Thompson     row = i / nxHex;
14252d6035fSJeremy L Thompson     offset = (nxTet*2+1)*(nyTet*2)*(1+row) + col*2;
14352d6035fSJeremy L Thompson     for (CeedInt j=0; j<PHex; j++)
14452d6035fSJeremy L Thompson       for (CeedInt k=0; k<PHex; k++)
14552d6035fSJeremy L Thompson         indxHex[PHex*(PHex*i+k)+j] = offset + k*(nxHex*2+1) + j;
14652d6035fSJeremy L Thompson   }
14752d6035fSJeremy L Thompson 
14852d6035fSJeremy L Thompson   // -- Restrictions
149*a8d32208Sjeremylt   CeedElemRestrictionCreate(ceed, lmode, nelemHex, PHex*PHex, ndofs, dim,
15052d6035fSJeremy L Thompson                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
15152d6035fSJeremy L Thompson                             &ErestrictxHex);
152*a8d32208Sjeremylt   CeedElemRestrictionCreateIdentity(ceed, lmode, nelemHex, PHex*PHex,
15352d6035fSJeremy L Thompson                                     nelemHex*PHex*PHex, dim, &ErestrictxiHex);
15452d6035fSJeremy L Thompson 
155*a8d32208Sjeremylt   CeedElemRestrictionCreate(ceed, lmode, nelemHex, PHex*PHex, ndofs, 1,
15652d6035fSJeremy L Thompson                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
15752d6035fSJeremy L Thompson                             &ErestrictuHex);
158*a8d32208Sjeremylt   CeedElemRestrictionCreateIdentity(ceed, lmode, nelemHex, QHex*QHex, nqptsHex,
159*a8d32208Sjeremylt                                     1, &ErestrictuiHex);
16052d6035fSJeremy L Thompson 
16152d6035fSJeremy L Thompson   // -- Bases
16252d6035fSJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, PHex, QHex, CEED_GAUSS,
16352d6035fSJeremy L Thompson                                   &bxHex);
16452d6035fSJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, PHex, QHex, CEED_GAUSS, &buHex);
16552d6035fSJeremy L Thompson 
16652d6035fSJeremy L Thompson   // -- QFunctions
1674d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setupHex);
16852d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_setupHex, "_weight", 1, CEED_EVAL_WEIGHT);
1694d537eeaSYohann   CeedQFunctionAddInput(qf_setupHex, "dx", dim*dim, CEED_EVAL_GRAD);
17052d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_setupHex, "rho", 1, CEED_EVAL_NONE);
17152d6035fSJeremy L Thompson 
1724d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_massHex);
17352d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massHex, "rho", 1, CEED_EVAL_NONE);
17452d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massHex, "u", 1, CEED_EVAL_INTERP);
17552d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_massHex, "v", 1, CEED_EVAL_INTERP);
17652d6035fSJeremy L Thompson 
17752d6035fSJeremy L Thompson   // -- Operators
178442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_setupHex, CEED_QFUNCTION_NONE,
179442e7f0bSjeremylt                      CEED_QFUNCTION_NONE, &op_setupHex);
180*a8d32208Sjeremylt   CeedOperatorSetField(op_setupHex, "_weight", ErestrictxiHex, bxHex,
181*a8d32208Sjeremylt                        CEED_VECTOR_NONE);
182*a8d32208Sjeremylt   CeedOperatorSetField(op_setupHex, "dx", ErestrictxHex, bxHex,
183*a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
184*a8d32208Sjeremylt   CeedOperatorSetField(op_setupHex, "rho", ErestrictuiHex,
18552d6035fSJeremy L Thompson                        CEED_BASIS_COLLOCATED, qdataHex);
18652d6035fSJeremy L Thompson 
187442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_massHex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
188442e7f0bSjeremylt                      &op_massHex);
189*a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "rho", ErestrictuiHex, CEED_BASIS_COLLOCATED,
190*a8d32208Sjeremylt                        qdataHex);
191*a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "u", ErestrictuHex, buHex,
192*a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
193*a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "v", ErestrictuHex, buHex,
194*a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
19552d6035fSJeremy L Thompson 
19652d6035fSJeremy L Thompson   // Set up Composite Operators
19752d6035fSJeremy L Thompson   // -- Create
19852d6035fSJeremy L Thompson   CeedCompositeOperatorCreate(ceed, &op_setup);
19952d6035fSJeremy L Thompson   // -- Add SubOperators
20052d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_setup, op_setupTet);
20152d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_setup, op_setupHex);
20252d6035fSJeremy L Thompson 
20352d6035fSJeremy L Thompson   // -- Create
20452d6035fSJeremy L Thompson   CeedCompositeOperatorCreate(ceed, &op_mass);
20552d6035fSJeremy L Thompson   // -- Add SubOperators
20652d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_mass, op_massTet);
20752d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_mass, op_massHex);
20852d6035fSJeremy L Thompson 
20952d6035fSJeremy L Thompson   // Apply Setup Operator
210e97ff134Sjeremylt   CeedOperatorApply(op_setup, X, CEED_VECTOR_NONE, CEED_REQUEST_IMMEDIATE);
21152d6035fSJeremy L Thompson 
21252d6035fSJeremy L Thompson   // Apply Mass Operator
21352d6035fSJeremy L Thompson   CeedVectorCreate(ceed, ndofs, &U);
21452d6035fSJeremy L Thompson   CeedVectorSetValue(U, 0.0);
21552d6035fSJeremy L Thompson   CeedVectorCreate(ceed, ndofs, &V);
21652d6035fSJeremy L Thompson 
21752d6035fSJeremy L Thompson   CeedOperatorApply(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
21852d6035fSJeremy L Thompson 
21952d6035fSJeremy L Thompson   // Check output
22052d6035fSJeremy L Thompson   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
22152d6035fSJeremy L Thompson   for (CeedInt i=0; i<ndofs; i++)
22252d6035fSJeremy L Thompson     if (fabs(hv[i]) > 1e-14) printf("[%d] v %g != 0.0\n",i, hv[i]);
22352d6035fSJeremy L Thompson   CeedVectorRestoreArrayRead(V, &hv);
22452d6035fSJeremy L Thompson 
22552d6035fSJeremy L Thompson   // Cleanup
22652d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_setupTet);
22752d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_massTet);
22852d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setupTet);
22952d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_massTet);
23052d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_setupHex);
23152d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_massHex);
23252d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setupHex);
23352d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_massHex);
23452d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setup);
23552d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_mass);
23652d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuTet);
23752d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxTet);
23852d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuiTet);
23952d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxiTet);
24052d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuHex);
24152d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxHex);
24252d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuiHex);
24352d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxiHex);
24452d6035fSJeremy L Thompson   CeedBasisDestroy(&buTet);
24552d6035fSJeremy L Thompson   CeedBasisDestroy(&bxTet);
24652d6035fSJeremy L Thompson   CeedBasisDestroy(&buHex);
24752d6035fSJeremy L Thompson   CeedBasisDestroy(&bxHex);
24852d6035fSJeremy L Thompson   CeedVectorDestroy(&X);
24952d6035fSJeremy L Thompson   CeedVectorDestroy(&U);
25052d6035fSJeremy L Thompson   CeedVectorDestroy(&V);
25152d6035fSJeremy L Thompson   CeedVectorDestroy(&qdataTet);
25252d6035fSJeremy L Thompson   CeedVectorDestroy(&qdataHex);
25352d6035fSJeremy L Thompson   CeedDestroy(&ceed);
25452d6035fSJeremy L Thompson   return 0;
25552d6035fSJeremy L Thompson }
256