xref: /libCEED/tests/t521-operator.c (revision 6227f746ac60b204eb8bef3940ce18d29695259e)
152d6035fSJeremy L Thompson /// @file
2*6227f746SJeremy L Thompson /// Test creation, action, and destruction for composite mass matrix operator
3*6227f746SJeremy L Thompson /// \test Test creation, action, and destruction for composite 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;
2152d6035fSJeremy L Thompson   CeedElemRestriction ErestrictxTet, ErestrictuTet,
2215910d16Sjeremylt                       ErestrictuiTet,
2352d6035fSJeremy L Thompson                       ErestrictxHex, ErestrictuHex,
2415910d16Sjeremylt                       ErestrictuiHex;
2552d6035fSJeremy L Thompson   CeedBasis bxTet, buTet,
2652d6035fSJeremy L Thompson             bxHex, buHex;
2752d6035fSJeremy L Thompson   CeedQFunction qf_setupTet, qf_massTet,
2852d6035fSJeremy L Thompson                 qf_setupHex, qf_massHex;
2952d6035fSJeremy L Thompson   CeedOperator op_setupTet, op_massTet,
3052d6035fSJeremy L Thompson                op_setupHex, op_massHex,
3152d6035fSJeremy L Thompson                op_setup, op_mass;
3252d6035fSJeremy L Thompson   CeedVector qdataTet, qdataHex, X, U, V;
3352d6035fSJeremy L Thompson   const CeedScalar *hv;
3452d6035fSJeremy L Thompson   CeedInt nelemTet = 6, PTet = 6, QTet = 4,
3552d6035fSJeremy L Thompson           nelemHex = 6, PHex = 3, QHex = 4, dim = 2;
3652d6035fSJeremy L Thompson   CeedInt nx = 3, ny = 3,
3752d6035fSJeremy L Thompson           nxTet = 3, nyTet = 1, nxHex = 3;
3852d6035fSJeremy L Thompson   CeedInt row, col, offset;
3952d6035fSJeremy L Thompson   CeedInt ndofs = (nx*2+1)*(ny*2+1),
4052d6035fSJeremy L Thompson           nqptsTet = nelemTet*QTet,
4152d6035fSJeremy L Thompson           nqptsHex = nelemHex*QHex*QHex;
4252d6035fSJeremy L Thompson   CeedInt indxTet[nelemTet*PTet],
4352d6035fSJeremy L Thompson           indxHex[nelemHex*PHex*PHex];
4452d6035fSJeremy L Thompson   CeedScalar x[dim*ndofs];
4552d6035fSJeremy L Thompson   CeedScalar qref[dim*QTet], qweight[QTet];
4652d6035fSJeremy L Thompson   CeedScalar interp[PTet*QTet], grad[dim*PTet*QTet];
4752d6035fSJeremy L Thompson   CeedScalar sum;
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   // 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
86d979a051Sjeremylt   CeedElemRestrictionCreate(ceed, nelemTet, PTet, dim, ndofs, dim*ndofs,
87a8d32208Sjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, indxTet,
88a8d32208Sjeremylt                             &ErestrictxTet);
8952d6035fSJeremy L Thompson 
90d979a051Sjeremylt   CeedElemRestrictionCreate(ceed, nelemTet, PTet, 1, 1, ndofs,
91a8d32208Sjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, indxTet,
92a8d32208Sjeremylt                             &ErestrictuTet);
937509a596Sjeremylt   CeedInt stridesuTet[3] = {1, QTet, QTet};
94d979a051Sjeremylt   CeedElemRestrictionCreateStrided(ceed,  nelemTet, QTet, 1, nqptsTet,
957509a596Sjeremylt                                    stridesuTet, &ErestrictuiTet);
9652d6035fSJeremy L Thompson 
9752d6035fSJeremy L Thompson   // -- Bases
9852d6035fSJeremy L Thompson   buildmats(qref, qweight, interp, grad);
9952d6035fSJeremy L Thompson   CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, PTet, QTet, interp, grad, qref,
10052d6035fSJeremy L Thompson                     qweight, &bxTet);
10152d6035fSJeremy L Thompson 
10252d6035fSJeremy L Thompson   buildmats(qref, qweight, interp, grad);
10352d6035fSJeremy L Thompson   CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, PTet, QTet, interp, grad, qref,
10452d6035fSJeremy L Thompson                     qweight, &buTet);
10552d6035fSJeremy L Thompson 
10652d6035fSJeremy L Thompson   // -- QFunctions
1074d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setupTet);
10852d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_setupTet, "_weight", 1, CEED_EVAL_WEIGHT);
1094d537eeaSYohann   CeedQFunctionAddInput(qf_setupTet, "dx", dim*dim, CEED_EVAL_GRAD);
11052d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_setupTet, "rho", 1, CEED_EVAL_NONE);
11152d6035fSJeremy L Thompson 
1124d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_massTet);
11352d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massTet, "rho", 1, CEED_EVAL_NONE);
11452d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massTet, "u", 1, CEED_EVAL_INTERP);
11552d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_massTet, "v", 1, CEED_EVAL_INTERP);
11652d6035fSJeremy L Thompson 
11752d6035fSJeremy L Thompson   // -- Operators
11852d6035fSJeremy L Thompson   // ---- Setup Tet
119442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_setupTet, CEED_QFUNCTION_NONE,
120442e7f0bSjeremylt                      CEED_QFUNCTION_NONE, &op_setupTet);
12115910d16Sjeremylt   CeedOperatorSetField(op_setupTet, "_weight", CEED_ELEMRESTRICTION_NONE, bxTet,
122a8d32208Sjeremylt                        CEED_VECTOR_NONE);
123a8d32208Sjeremylt   CeedOperatorSetField(op_setupTet, "dx", ErestrictxTet, bxTet,
124a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
125a8d32208Sjeremylt   CeedOperatorSetField(op_setupTet, "rho", ErestrictuiTet,
12652d6035fSJeremy L Thompson                        CEED_BASIS_COLLOCATED, qdataTet);
12752d6035fSJeremy L Thompson   // ---- Mass Tet
128442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_massTet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
129442e7f0bSjeremylt                      &op_massTet);
130a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "rho", ErestrictuiTet, CEED_BASIS_COLLOCATED,
131a8d32208Sjeremylt                        qdataTet);
132a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "u", ErestrictuTet, buTet,
133a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
134a8d32208Sjeremylt   CeedOperatorSetField(op_massTet, "v", ErestrictuTet, buTet,
135a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
13652d6035fSJeremy L Thompson 
13752d6035fSJeremy L Thompson   // Hex Elements
13852d6035fSJeremy L Thompson   for (CeedInt i=0; i<nelemHex; i++) {
13952d6035fSJeremy L Thompson     col = i % nxHex;
14052d6035fSJeremy L Thompson     row = i / nxHex;
14152d6035fSJeremy L Thompson     offset = (nxTet*2+1)*(nyTet*2)*(1+row) + col*2;
14252d6035fSJeremy L Thompson     for (CeedInt j=0; j<PHex; j++)
14352d6035fSJeremy L Thompson       for (CeedInt k=0; k<PHex; k++)
14452d6035fSJeremy L Thompson         indxHex[PHex*(PHex*i+k)+j] = offset + k*(nxHex*2+1) + j;
14552d6035fSJeremy L Thompson   }
14652d6035fSJeremy L Thompson 
14752d6035fSJeremy L Thompson   // -- Restrictions
148d979a051Sjeremylt   CeedElemRestrictionCreate(ceed, nelemHex, PHex*PHex, dim, ndofs, dim*ndofs,
14952d6035fSJeremy L Thompson                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
15052d6035fSJeremy L Thompson                             &ErestrictxHex);
15152d6035fSJeremy L Thompson 
152d979a051Sjeremylt   CeedElemRestrictionCreate(ceed, nelemHex, PHex*PHex, 1, 1, ndofs,
15352d6035fSJeremy L Thompson                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
15452d6035fSJeremy L Thompson                             &ErestrictuHex);
1557509a596Sjeremylt   CeedInt stridesuHex[3] = {1, QHex*QHex, QHex*QHex};
156d979a051Sjeremylt   CeedElemRestrictionCreateStrided(ceed, nelemHex, QHex*QHex, 1, nqptsHex,
1577509a596Sjeremylt                                    stridesuHex, &ErestrictuiHex);
15852d6035fSJeremy L Thompson 
15952d6035fSJeremy L Thompson   // -- Bases
16052d6035fSJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, PHex, QHex, CEED_GAUSS,
16152d6035fSJeremy L Thompson                                   &bxHex);
16252d6035fSJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, PHex, QHex, CEED_GAUSS, &buHex);
16352d6035fSJeremy L Thompson 
16452d6035fSJeremy L Thompson   // -- QFunctions
1654d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setupHex);
16652d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_setupHex, "_weight", 1, CEED_EVAL_WEIGHT);
1674d537eeaSYohann   CeedQFunctionAddInput(qf_setupHex, "dx", dim*dim, CEED_EVAL_GRAD);
16852d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_setupHex, "rho", 1, CEED_EVAL_NONE);
16952d6035fSJeremy L Thompson 
1704d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_massHex);
17152d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massHex, "rho", 1, CEED_EVAL_NONE);
17252d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massHex, "u", 1, CEED_EVAL_INTERP);
17352d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_massHex, "v", 1, CEED_EVAL_INTERP);
17452d6035fSJeremy L Thompson 
17552d6035fSJeremy L Thompson   // -- Operators
176442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_setupHex, CEED_QFUNCTION_NONE,
177442e7f0bSjeremylt                      CEED_QFUNCTION_NONE, &op_setupHex);
17815910d16Sjeremylt   CeedOperatorSetField(op_setupHex, "_weight", CEED_ELEMRESTRICTION_NONE, bxHex,
179a8d32208Sjeremylt                        CEED_VECTOR_NONE);
180a8d32208Sjeremylt   CeedOperatorSetField(op_setupHex, "dx", ErestrictxHex, bxHex,
181a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
182a8d32208Sjeremylt   CeedOperatorSetField(op_setupHex, "rho", ErestrictuiHex,
18352d6035fSJeremy L Thompson                        CEED_BASIS_COLLOCATED, qdataHex);
18452d6035fSJeremy L Thompson 
185442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_massHex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
186442e7f0bSjeremylt                      &op_massHex);
187a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "rho", ErestrictuiHex, CEED_BASIS_COLLOCATED,
188a8d32208Sjeremylt                        qdataHex);
189a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "u", ErestrictuHex, buHex,
190a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
191a8d32208Sjeremylt   CeedOperatorSetField(op_massHex, "v", ErestrictuHex, buHex,
192a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
19352d6035fSJeremy L Thompson 
19452d6035fSJeremy L Thompson   // Composite Operators
19552d6035fSJeremy L Thompson   CeedCompositeOperatorCreate(ceed, &op_setup);
19652d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_setup, op_setupTet);
19752d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_setup, op_setupHex);
19852d6035fSJeremy L Thompson 
19952d6035fSJeremy L Thompson   CeedCompositeOperatorCreate(ceed, &op_mass);
20052d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_mass, op_massTet);
20152d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_mass, op_massHex);
20252d6035fSJeremy L Thompson 
20352d6035fSJeremy L Thompson   // Apply Setup Operator
204e97ff134Sjeremylt   CeedOperatorApply(op_setup, X, CEED_VECTOR_NONE, CEED_REQUEST_IMMEDIATE);
20552d6035fSJeremy L Thompson 
20652d6035fSJeremy L Thompson   // Apply Mass Operator
20752d6035fSJeremy L Thompson   CeedVectorCreate(ceed, ndofs, &U);
20852d6035fSJeremy L Thompson   CeedVectorSetValue(U, 1.0);
20952d6035fSJeremy L Thompson   CeedVectorCreate(ceed, ndofs, &V);
21052d6035fSJeremy L Thompson 
21152d6035fSJeremy L Thompson   CeedOperatorApply(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
21252d6035fSJeremy L Thompson 
21352d6035fSJeremy L Thompson   // Check output
21452d6035fSJeremy L Thompson   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
21552d6035fSJeremy L Thompson   sum = 0.;
21652d6035fSJeremy L Thompson   for (CeedInt i=0; i<ndofs; i++)
21752d6035fSJeremy L Thompson     sum += hv[i];
21852d6035fSJeremy L Thompson   if (fabs(sum-1.)>1e-10) printf("Computed Area: %f != True Area: 1.0\n", sum);
21952d6035fSJeremy L Thompson   CeedVectorRestoreArrayRead(V, &hv);
22052d6035fSJeremy L Thompson 
22152d6035fSJeremy L Thompson   // Cleanup
22252d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_setupTet);
22352d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_massTet);
22452d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setupTet);
22552d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_massTet);
22652d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_setupHex);
22752d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_massHex);
22852d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setupHex);
22952d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_massHex);
23052d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setup);
23152d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_mass);
23252d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuTet);
23352d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxTet);
23452d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuiTet);
23552d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuHex);
23652d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxHex);
23752d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuiHex);
23852d6035fSJeremy L Thompson   CeedBasisDestroy(&buTet);
23952d6035fSJeremy L Thompson   CeedBasisDestroy(&bxTet);
24052d6035fSJeremy L Thompson   CeedBasisDestroy(&buHex);
24152d6035fSJeremy L Thompson   CeedBasisDestroy(&bxHex);
24252d6035fSJeremy L Thompson   CeedVectorDestroy(&X);
24352d6035fSJeremy L Thompson   CeedVectorDestroy(&U);
24452d6035fSJeremy L Thompson   CeedVectorDestroy(&V);
24552d6035fSJeremy L Thompson   CeedVectorDestroy(&qdataTet);
24652d6035fSJeremy L Thompson   CeedVectorDestroy(&qdataHex);
24752d6035fSJeremy L Thompson   CeedDestroy(&ceed);
24852d6035fSJeremy L Thompson   return 0;
24952d6035fSJeremy L Thompson }
250