xref: /libCEED/tests/t521-operator.c (revision 52bfb9bbf17f17edbcd45876cdc8689a879bc683)
152d6035fSJeremy L Thompson /// @file
252d6035fSJeremy L Thompson /// Test creation creation, action, and destruction for mass matrix operator
352d6035fSJeremy L Thompson /// \test Test creation 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>
7*52bfb9bbSJeremy L Thompson #include "t320-basis.h"
852d6035fSJeremy L Thompson 
94d537eeaSYohann #include "t521-operator.h"
104d537eeaSYohann 
1152d6035fSJeremy L Thompson /* The mesh comprises of two rows of 3 quadralaterals followed by one row
1252d6035fSJeremy L Thompson      of 6 triangles:
1352d6035fSJeremy L Thompson    _ _ _
1452d6035fSJeremy L Thompson   |_|_|_|
1552d6035fSJeremy L Thompson   |_|_|_|
1652d6035fSJeremy L Thompson   |/|/|/|
1752d6035fSJeremy L Thompson 
1852d6035fSJeremy L Thompson */
1952d6035fSJeremy L Thompson 
2052d6035fSJeremy L Thompson int main(int argc, char **argv) {
2152d6035fSJeremy L Thompson   Ceed ceed;
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   CeedScalar sum;
4952d6035fSJeremy L Thompson 
5052d6035fSJeremy L Thompson   CeedInit(argv[1], &ceed);
5152d6035fSJeremy L Thompson 
5252d6035fSJeremy L Thompson   // DoF Coordinates
5352d6035fSJeremy L Thompson   for (CeedInt i=0; i<ny*2+1; i++)
5452d6035fSJeremy L Thompson     for (CeedInt j=0; j<nx*2+1; j++) {
5552d6035fSJeremy L Thompson       x[i+j*(ny*2+1)+0*ndofs] = (CeedScalar) i / (2*ny);
5652d6035fSJeremy L Thompson       x[i+j*(ny*2+1)+1*ndofs] = (CeedScalar) j / (2*nx);
5752d6035fSJeremy L Thompson     }
5852d6035fSJeremy L Thompson   CeedVectorCreate(ceed, dim*ndofs, &X);
5952d6035fSJeremy L Thompson   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
6052d6035fSJeremy L Thompson 
6152d6035fSJeremy L Thompson   // Qdata Vectors
6252d6035fSJeremy L Thompson   CeedVectorCreate(ceed, nqptsTet, &qdataTet);
6352d6035fSJeremy L Thompson   CeedVectorCreate(ceed, nqptsHex, &qdataHex);
6452d6035fSJeremy L Thompson 
6552d6035fSJeremy L Thompson   // Tet Elements
6652d6035fSJeremy L Thompson   for (CeedInt i=0; i<nelemTet/2; i++) {
6752d6035fSJeremy L Thompson     col = i % nxTet;
6852d6035fSJeremy L Thompson     row = i / nxTet;
6952d6035fSJeremy L Thompson     offset = col*2 + row*(nxTet*2+1)*2;
7052d6035fSJeremy L Thompson 
7152d6035fSJeremy L Thompson     indxTet[i*2*PTet +  0] =  2 + offset;
7252d6035fSJeremy L Thompson     indxTet[i*2*PTet +  1] =  9 + offset;
7352d6035fSJeremy L Thompson     indxTet[i*2*PTet +  2] = 16 + offset;
7452d6035fSJeremy L Thompson     indxTet[i*2*PTet +  3] =  1 + offset;
7552d6035fSJeremy L Thompson     indxTet[i*2*PTet +  4] =  8 + offset;
7652d6035fSJeremy L Thompson     indxTet[i*2*PTet +  5] =  0 + offset;
7752d6035fSJeremy L Thompson 
7852d6035fSJeremy L Thompson     indxTet[i*2*PTet +  6] = 14 + offset;
7952d6035fSJeremy L Thompson     indxTet[i*2*PTet +  7] =  7 + offset;
8052d6035fSJeremy L Thompson     indxTet[i*2*PTet +  8] =  0 + offset;
8152d6035fSJeremy L Thompson     indxTet[i*2*PTet +  9] = 15 + offset;
8252d6035fSJeremy L Thompson     indxTet[i*2*PTet + 10] =  8 + offset;
8352d6035fSJeremy L Thompson     indxTet[i*2*PTet + 11] = 16 + offset;
8452d6035fSJeremy L Thompson   }
8552d6035fSJeremy L Thompson 
8652d6035fSJeremy L Thompson   // -- Restrictions
8752d6035fSJeremy L Thompson   CeedElemRestrictionCreate(ceed, nelemTet, PTet, ndofs, dim, CEED_MEM_HOST,
8852d6035fSJeremy L Thompson                             CEED_USE_POINTER, indxTet, &ErestrictxTet);
8952d6035fSJeremy L Thompson   CeedElemRestrictionCreateIdentity(ceed, nelemTet, PTet, nelemTet*PTet, dim,
9052d6035fSJeremy L Thompson                                     &ErestrictxiTet);
9152d6035fSJeremy L Thompson 
9252d6035fSJeremy L Thompson   CeedElemRestrictionCreate(ceed, nelemTet, PTet, ndofs, 1, CEED_MEM_HOST,
9352d6035fSJeremy L Thompson                             CEED_USE_POINTER, indxTet, &ErestrictuTet);
9452d6035fSJeremy L Thompson   CeedElemRestrictionCreateIdentity(ceed, nelemTet, QTet, nqptsTet, 1,
9552d6035fSJeremy L Thompson                                     &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
11952d6035fSJeremy L Thompson   CeedOperatorCreate(ceed, qf_setupTet, NULL, NULL, &op_setupTet);
12052d6035fSJeremy L Thompson   CeedOperatorSetField(op_setupTet, "_weight", ErestrictxiTet, CEED_NOTRANSPOSE,
12152d6035fSJeremy L Thompson                        bxTet, CEED_VECTOR_NONE);
12252d6035fSJeremy L Thompson   CeedOperatorSetField(op_setupTet, "dx", ErestrictxTet, CEED_NOTRANSPOSE,
12352d6035fSJeremy L Thompson                        bxTet, CEED_VECTOR_ACTIVE);
12452d6035fSJeremy L Thompson   CeedOperatorSetField(op_setupTet, "rho", ErestrictuiTet, CEED_NOTRANSPOSE,
12552d6035fSJeremy L Thompson                        CEED_BASIS_COLLOCATED, qdataTet);
12652d6035fSJeremy L Thompson   // ---- Mass Tet
12752d6035fSJeremy L Thompson   CeedOperatorCreate(ceed, qf_massTet, NULL, NULL, &op_massTet);
12852d6035fSJeremy L Thompson   CeedOperatorSetField(op_massTet, "rho", ErestrictuiTet, CEED_NOTRANSPOSE,
12952d6035fSJeremy L Thompson                        CEED_BASIS_COLLOCATED, qdataTet);
13052d6035fSJeremy L Thompson   CeedOperatorSetField(op_massTet, "u", ErestrictuTet, CEED_NOTRANSPOSE,
13152d6035fSJeremy L Thompson                        buTet, CEED_VECTOR_ACTIVE);
13252d6035fSJeremy L Thompson   CeedOperatorSetField(op_massTet, "v", ErestrictuTet, CEED_NOTRANSPOSE,
13352d6035fSJeremy L Thompson                        buTet, CEED_VECTOR_ACTIVE);
13452d6035fSJeremy L Thompson 
13552d6035fSJeremy L Thompson   // Hex Elements
13652d6035fSJeremy L Thompson   for (CeedInt i=0; i<nelemHex; i++) {
13752d6035fSJeremy L Thompson     col = i % nxHex;
13852d6035fSJeremy L Thompson     row = i / nxHex;
13952d6035fSJeremy L Thompson     offset = (nxTet*2+1)*(nyTet*2)*(1+row) + col*2;
14052d6035fSJeremy L Thompson     for (CeedInt j=0; j<PHex; j++)
14152d6035fSJeremy L Thompson       for (CeedInt k=0; k<PHex; k++)
14252d6035fSJeremy L Thompson         indxHex[PHex*(PHex*i+k)+j] = offset + k*(nxHex*2+1) + j;
14352d6035fSJeremy L Thompson   }
14452d6035fSJeremy L Thompson 
14552d6035fSJeremy L Thompson   // -- Restrictions
14652d6035fSJeremy L Thompson   CeedElemRestrictionCreate(ceed, nelemHex, PHex*PHex, ndofs, dim,
14752d6035fSJeremy L Thompson                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
14852d6035fSJeremy L Thompson                             &ErestrictxHex);
14952d6035fSJeremy L Thompson   CeedElemRestrictionCreateIdentity(ceed, nelemHex, PHex*PHex,
15052d6035fSJeremy L Thompson                                     nelemHex*PHex*PHex, dim, &ErestrictxiHex);
15152d6035fSJeremy L Thompson 
15252d6035fSJeremy L Thompson   CeedElemRestrictionCreate(ceed, nelemHex, PHex*PHex, ndofs, 1,
15352d6035fSJeremy L Thompson                             CEED_MEM_HOST, CEED_USE_POINTER, indxHex,
15452d6035fSJeremy L Thompson                             &ErestrictuHex);
15552d6035fSJeremy L Thompson   CeedElemRestrictionCreateIdentity(ceed, nelemHex, QHex*QHex, nqptsHex, 1,
15652d6035fSJeremy L Thompson                                     &ErestrictuiHex);
15752d6035fSJeremy L Thompson 
15852d6035fSJeremy L Thompson   // -- Bases
15952d6035fSJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, PHex, QHex, CEED_GAUSS,
16052d6035fSJeremy L Thompson                                   &bxHex);
16152d6035fSJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, PHex, QHex, CEED_GAUSS, &buHex);
16252d6035fSJeremy L Thompson 
16352d6035fSJeremy L Thompson   // -- QFunctions
1644d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setupHex);
16552d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_setupHex, "_weight", 1, CEED_EVAL_WEIGHT);
1664d537eeaSYohann   CeedQFunctionAddInput(qf_setupHex, "dx", dim*dim, CEED_EVAL_GRAD);
16752d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_setupHex, "rho", 1, CEED_EVAL_NONE);
16852d6035fSJeremy L Thompson 
1694d537eeaSYohann   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_massHex);
17052d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massHex, "rho", 1, CEED_EVAL_NONE);
17152d6035fSJeremy L Thompson   CeedQFunctionAddInput(qf_massHex, "u", 1, CEED_EVAL_INTERP);
17252d6035fSJeremy L Thompson   CeedQFunctionAddOutput(qf_massHex, "v", 1, CEED_EVAL_INTERP);
17352d6035fSJeremy L Thompson 
17452d6035fSJeremy L Thompson   // -- Operators
17552d6035fSJeremy L Thompson   CeedOperatorCreate(ceed, qf_setupHex, NULL, NULL, &op_setupHex);
17652d6035fSJeremy L Thompson   CeedOperatorSetField(op_setupHex, "_weight", ErestrictxiHex, CEED_NOTRANSPOSE,
17752d6035fSJeremy L Thompson                        bxHex, CEED_VECTOR_NONE);
17852d6035fSJeremy L Thompson   CeedOperatorSetField(op_setupHex, "dx", ErestrictxHex, CEED_NOTRANSPOSE,
17952d6035fSJeremy L Thompson                        bxHex, CEED_VECTOR_ACTIVE);
18052d6035fSJeremy L Thompson   CeedOperatorSetField(op_setupHex, "rho", ErestrictuiHex, CEED_NOTRANSPOSE,
18152d6035fSJeremy L Thompson                        CEED_BASIS_COLLOCATED, qdataHex);
18252d6035fSJeremy L Thompson 
18352d6035fSJeremy L Thompson   CeedOperatorCreate(ceed, qf_massHex, NULL, NULL, &op_massHex);
18452d6035fSJeremy L Thompson   CeedOperatorSetField(op_massHex, "rho", ErestrictuiHex, CEED_NOTRANSPOSE,
18552d6035fSJeremy L Thompson                        CEED_BASIS_COLLOCATED, qdataHex);
18652d6035fSJeremy L Thompson   CeedOperatorSetField(op_massHex, "u", ErestrictuHex, CEED_NOTRANSPOSE,
18752d6035fSJeremy L Thompson                        buHex, CEED_VECTOR_ACTIVE);
18852d6035fSJeremy L Thompson   CeedOperatorSetField(op_massHex, "v", ErestrictuHex, CEED_NOTRANSPOSE,
18952d6035fSJeremy L Thompson                        buHex, CEED_VECTOR_ACTIVE);
19052d6035fSJeremy L Thompson 
19152d6035fSJeremy L Thompson   // Composite Operators
19252d6035fSJeremy L Thompson   CeedCompositeOperatorCreate(ceed, &op_setup);
19352d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_setup, op_setupTet);
19452d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_setup, op_setupHex);
19552d6035fSJeremy L Thompson 
19652d6035fSJeremy L Thompson   CeedCompositeOperatorCreate(ceed, &op_mass);
19752d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_mass, op_massTet);
19852d6035fSJeremy L Thompson   CeedCompositeOperatorAddSub(op_mass, op_massHex);
19952d6035fSJeremy L Thompson 
20052d6035fSJeremy L Thompson   // Apply Setup Operator
20152d6035fSJeremy L Thompson   CeedOperatorApply(op_setup, X, NULL, CEED_REQUEST_IMMEDIATE);
20252d6035fSJeremy L Thompson 
20352d6035fSJeremy L Thompson   // Apply Mass Operator
20452d6035fSJeremy L Thompson   CeedVectorCreate(ceed, ndofs, &U);
20552d6035fSJeremy L Thompson   CeedVectorSetValue(U, 1.0);
20652d6035fSJeremy L Thompson   CeedVectorCreate(ceed, ndofs, &V);
20752d6035fSJeremy L Thompson 
20852d6035fSJeremy L Thompson   CeedOperatorApply(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
20952d6035fSJeremy L Thompson 
21052d6035fSJeremy L Thompson   // Check output
21152d6035fSJeremy L Thompson   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
21252d6035fSJeremy L Thompson   sum = 0.;
21352d6035fSJeremy L Thompson   for (CeedInt i=0; i<ndofs; i++)
21452d6035fSJeremy L Thompson     sum += hv[i];
21552d6035fSJeremy L Thompson   if (fabs(sum-1.)>1e-10) printf("Computed Area: %f != True Area: 1.0\n", sum);
21652d6035fSJeremy L Thompson   CeedVectorRestoreArrayRead(V, &hv);
21752d6035fSJeremy L Thompson 
21852d6035fSJeremy L Thompson   // Cleanup
21952d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_setupTet);
22052d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_massTet);
22152d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setupTet);
22252d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_massTet);
22352d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_setupHex);
22452d6035fSJeremy L Thompson   CeedQFunctionDestroy(&qf_massHex);
22552d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setupHex);
22652d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_massHex);
22752d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setup);
22852d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_mass);
22952d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuTet);
23052d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxTet);
23152d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuiTet);
23252d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxiTet);
23352d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuHex);
23452d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxHex);
23552d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictuiHex);
23652d6035fSJeremy L Thompson   CeedElemRestrictionDestroy(&ErestrictxiHex);
23752d6035fSJeremy L Thompson   CeedBasisDestroy(&buTet);
23852d6035fSJeremy L Thompson   CeedBasisDestroy(&bxTet);
23952d6035fSJeremy L Thompson   CeedBasisDestroy(&buHex);
24052d6035fSJeremy L Thompson   CeedBasisDestroy(&bxHex);
24152d6035fSJeremy L Thompson   CeedVectorDestroy(&X);
24252d6035fSJeremy L Thompson   CeedVectorDestroy(&U);
24352d6035fSJeremy L Thompson   CeedVectorDestroy(&V);
24452d6035fSJeremy L Thompson   CeedVectorDestroy(&qdataTet);
24552d6035fSJeremy L Thompson   CeedVectorDestroy(&qdataHex);
24652d6035fSJeremy L Thompson   CeedDestroy(&ceed);
24752d6035fSJeremy L Thompson   return 0;
24852d6035fSJeremy L Thompson }
249