166087c08SValeria Barra // Copyright (c) 2017-2018, Lawrence Livermore National Security, LLC. 266087c08SValeria Barra // Produced at the Lawrence Livermore National Laboratory. LLNL-CODE-734707. 366087c08SValeria Barra // All Rights reserved. See files LICENSE and NOTICE for details. 466087c08SValeria Barra // 566087c08SValeria Barra // This file is part of CEED, a collection of benchmarks, miniapps, software 666087c08SValeria Barra // libraries and APIs for efficient high-order finite element and spectral 766087c08SValeria Barra // element discretizations for exascale applications. For more information and 866087c08SValeria Barra // source code availability see http://github.com/ceed. 966087c08SValeria Barra // 1066087c08SValeria Barra // The CEED research is supported by the Exascale Computing Project 17-SC-20-SC, 1166087c08SValeria Barra // a collaborative effort of two U.S. Department of Energy organizations (Office 1266087c08SValeria Barra // of Science and the National Nuclear Security Administration) responsible for 1366087c08SValeria Barra // the planning and preparation of a capable exascale ecosystem, including 1466087c08SValeria Barra // software, applications, hardware, advanced system engineering and early 1566087c08SValeria Barra // testbed platforms, in support of the nation's exascale computing imperative. 1666087c08SValeria Barra 1766087c08SValeria Barra // libCEED Example 2 1866087c08SValeria Barra // 1966087c08SValeria Barra // This example illustrates a simple usage of libCEED to compute the surface 2066087c08SValeria Barra // area of a 3D body using matrix-free application of a diffusion operator. 21ded9b81dSJeremy L Thompson // Arbitrary mesh and solution degrees in 1D, 2D and 3D are supported from the 2266087c08SValeria Barra // same code. 2366087c08SValeria Barra // 2466087c08SValeria Barra // The example has no dependencies, and is designed to be self-contained. For 2566087c08SValeria Barra // additional examples that use external discretization libraries (MFEM, PETSc, 2666087c08SValeria Barra // etc.) see the subdirectories in libceed/examples. 2766087c08SValeria Barra // 2866087c08SValeria Barra // All libCEED objects use a Ceed device object constructed based on a command 2966087c08SValeria Barra // line argument (-ceed). 3066087c08SValeria Barra // 3166087c08SValeria Barra // Build with: 3266087c08SValeria Barra // 3366087c08SValeria Barra // make ex2-surface [CEED_DIR=</path/to/libceed>] 3466087c08SValeria Barra // 3566087c08SValeria Barra // Sample runs: 3666087c08SValeria Barra // 3766087c08SValeria Barra // ./ex2-surface 3866087c08SValeria Barra // ./ex2-surface -ceed /cpu/self 3928688798Sjeremylt // ./ex2-surface -ceed /gpu/cuda 4066087c08SValeria Barra // 4166087c08SValeria Barra // Next line is grep'd from tap.sh to set its arguments 4266087c08SValeria Barra // Test in 1D-3D 43*dc8efd83SLeila Ghaffari //TESTARGS(name="1D_user_QFunction") -ceed {ceed_resource} -d 1 -t 44*dc8efd83SLeila Ghaffari //TESTARGS(name="2D_user_QFunction") -ceed {ceed_resource} -d 2 -t 45*dc8efd83SLeila Ghaffari //TESTARGS(name="3D_user_QFunction") -ceed {ceed_resource} -d 3 -t 46*dc8efd83SLeila Ghaffari //TESTARGS(name="1D_Gallery_QFunction") -ceed {ceed_resource} -d 1 -t -g 47*dc8efd83SLeila Ghaffari //TESTARGS(name="2D_Gallery_QFunction") -ceed {ceed_resource} -d 2 -t -g 48*dc8efd83SLeila Ghaffari //TESTARGS(name="3D_Gallery_QFunction") -ceed {ceed_resource} -d 3 -t -g 4966087c08SValeria Barra 5066087c08SValeria Barra /// @file 5166087c08SValeria Barra /// libCEED example using diffusion operator to compute surface area 5266087c08SValeria Barra 5366087c08SValeria Barra #include <ceed.h> 5466087c08SValeria Barra #include <math.h> 553d576824SJeremy L Thompson #include <stdlib.h> 5666087c08SValeria Barra #include <string.h> 5766087c08SValeria Barra #include "ex2-surface.h" 5866087c08SValeria Barra 5966087c08SValeria Barra // Auxiliary functions. 60ded9b81dSJeremy L Thompson int GetCartesianMeshSize(int dim, int degree, int prob_size, int nxyz[3]); 61ded9b81dSJeremy L Thompson int BuildCartesianRestriction(Ceed ceed, int dim, int nxyz[3], int degree, 6266087c08SValeria Barra int ncomp, CeedInt *size, CeedInt num_qpts, 6366087c08SValeria Barra CeedElemRestriction *restr, 6466087c08SValeria Barra CeedElemRestriction *restr_i); 65ded9b81dSJeremy L Thompson int SetCartesianMeshCoords(int dim, int nxyz[3], int mesh_degree, 6666087c08SValeria Barra CeedVector mesh_coords); 6766087c08SValeria Barra CeedScalar TransformMeshCoords(int dim, int mesh_size, CeedVector mesh_coords); 6866087c08SValeria Barra 6966087c08SValeria Barra 7066087c08SValeria Barra int main(int argc, const char *argv[]) { 7166087c08SValeria Barra const char *ceed_spec = "/cpu/self"; 7266087c08SValeria Barra int dim = 3; // dimension of the mesh 7366087c08SValeria Barra int ncompx = 3; // number of x components 74ded9b81dSJeremy L Thompson int mesh_degree = 4; // polynomial degree for the mesh 75ded9b81dSJeremy L Thompson int sol_degree = 4; // polynomial degree for the solution 76ded9b81dSJeremy L Thompson int num_qpts = sol_degree + 2; // number of 1D quadrature points 7766087c08SValeria Barra int prob_size = -1; // approximate problem size 7866087c08SValeria Barra int help = 0, test = 0, gallery = 0; 7966087c08SValeria Barra 8066087c08SValeria Barra // Process command line arguments. 8166087c08SValeria Barra for (int ia = 1; ia < argc; ia++) { 82ded9b81dSJeremy L Thompson // LCOV_EXCL_START 8366087c08SValeria Barra int next_arg = ((ia+1) < argc), parse_error = 0; 8466087c08SValeria Barra if (!strcmp(argv[ia],"-h")) { 8566087c08SValeria Barra help = 1; 8666087c08SValeria Barra } else if (!strcmp(argv[ia],"-c") || !strcmp(argv[ia],"-ceed")) { 8766087c08SValeria Barra parse_error = next_arg ? ceed_spec = argv[++ia], 0 : 1; 8866087c08SValeria Barra } else if (!strcmp(argv[ia],"-d")) { 8966087c08SValeria Barra parse_error = next_arg ? dim = atoi(argv[++ia]), 0 : 1; 9066087c08SValeria Barra ncompx = dim; 9166087c08SValeria Barra } else if (!strcmp(argv[ia],"-m")) { 92ded9b81dSJeremy L Thompson parse_error = next_arg ? mesh_degree = atoi(argv[++ia]), 0 : 1; 93ded9b81dSJeremy L Thompson } else if (!strcmp(argv[ia],"-p")) { 94ded9b81dSJeremy L Thompson parse_error = next_arg ? sol_degree = atoi(argv[++ia]), 0 : 1; 9566087c08SValeria Barra } else if (!strcmp(argv[ia],"-q")) { 9666087c08SValeria Barra parse_error = next_arg ? num_qpts = atoi(argv[++ia]), 0 : 1; 9766087c08SValeria Barra } else if (!strcmp(argv[ia],"-s")) { 9866087c08SValeria Barra parse_error = next_arg ? prob_size = atoi(argv[++ia]), 0 : 1; 9966087c08SValeria Barra } else if (!strcmp(argv[ia],"-t")) { 10066087c08SValeria Barra test = 1; 10166087c08SValeria Barra } else if (!strcmp(argv[ia],"-g")) { 10266087c08SValeria Barra gallery = 1; 10366087c08SValeria Barra } 10466087c08SValeria Barra if (parse_error) { 10566087c08SValeria Barra printf("Error parsing command line options.\n"); 10666087c08SValeria Barra return 1; 10766087c08SValeria Barra } 108ded9b81dSJeremy L Thompson // LCOV_EXCL_STOP 10966087c08SValeria Barra } 11066087c08SValeria Barra if (prob_size < 0) prob_size = test ? 16*16*dim*dim : 256*1024; 11166087c08SValeria Barra 112ded9b81dSJeremy L Thompson // Set mesh_degree = sol_degree. 113ded9b81dSJeremy L Thompson mesh_degree = fmax(mesh_degree, sol_degree); 114ded9b81dSJeremy L Thompson sol_degree = mesh_degree; 11566087c08SValeria Barra 11666087c08SValeria Barra // Print the values of all options: 11766087c08SValeria Barra if (!test || help) { 118ded9b81dSJeremy L Thompson // LCOV_EXCL_START 11966087c08SValeria Barra printf("Selected options: [command line option] : <current value>\n"); 12066087c08SValeria Barra printf(" Ceed specification [-c] : %s\n", ceed_spec); 12166087c08SValeria Barra printf(" Mesh dimension [-d] : %d\n", dim); 122ded9b81dSJeremy L Thompson printf(" Mesh degree [-m] : %d\n", mesh_degree); 123ded9b81dSJeremy L Thompson printf(" Solution degree [-p] : %d\n", sol_degree); 12466087c08SValeria Barra printf(" Num. 1D quadr. pts [-q] : %d\n", num_qpts); 12566087c08SValeria Barra printf(" Approx. # unknowns [-s] : %d\n", prob_size); 12666087c08SValeria Barra printf(" QFunction source [-g] : %s\n", gallery?"gallery":"header"); 12766087c08SValeria Barra if (help) { 12866087c08SValeria Barra printf("Test/quiet mode is %s\n", (test?"ON":"OFF (use -t to enable)")); 12966087c08SValeria Barra return 0; 13066087c08SValeria Barra } 13166087c08SValeria Barra printf("\n"); 132ded9b81dSJeremy L Thompson // LCOV_EXCL_STOP 13366087c08SValeria Barra } 13466087c08SValeria Barra 13566087c08SValeria Barra // Select appropriate backend and logical device based on the <ceed-spec> 13666087c08SValeria Barra // command line argument. 13766087c08SValeria Barra Ceed ceed; 13866087c08SValeria Barra CeedInit(ceed_spec, &ceed); 13966087c08SValeria Barra 14066087c08SValeria Barra // Construct the mesh and solution bases. 14166087c08SValeria Barra CeedBasis mesh_basis, sol_basis; 142ded9b81dSJeremy L Thompson CeedBasisCreateTensorH1Lagrange(ceed, dim, ncompx, mesh_degree + 1, num_qpts, 14366087c08SValeria Barra CEED_GAUSS, &mesh_basis); 144ded9b81dSJeremy L Thompson CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, sol_degree + 1, num_qpts, 14566087c08SValeria Barra CEED_GAUSS, &sol_basis); 14666087c08SValeria Barra 14766087c08SValeria Barra // Determine the mesh size based on the given approximate problem size. 14866087c08SValeria Barra int nxyz[3]; 149ded9b81dSJeremy L Thompson GetCartesianMeshSize(dim, sol_degree, prob_size, nxyz); 15066087c08SValeria Barra 15166087c08SValeria Barra if (!test) { 152ded9b81dSJeremy L Thompson // LCOV_EXCL_START 15366087c08SValeria Barra printf("Mesh size: nx = %d", nxyz[0]); 15466087c08SValeria Barra if (dim > 1) { printf(", ny = %d", nxyz[1]); } 15566087c08SValeria Barra if (dim > 2) { printf(", nz = %d", nxyz[2]); } 15666087c08SValeria Barra printf("\n"); 157ded9b81dSJeremy L Thompson // LCOV_EXCL_STOP 15866087c08SValeria Barra } 15966087c08SValeria Barra 16066087c08SValeria Barra // Build CeedElemRestriction objects describing the mesh and solution discrete 16166087c08SValeria Barra // representations. 16266087c08SValeria Barra CeedInt mesh_size, sol_size; 163ded9b81dSJeremy L Thompson CeedElemRestriction mesh_restr, sol_restr, qdata_restr_i; 164ded9b81dSJeremy L Thompson BuildCartesianRestriction(ceed, dim, nxyz, mesh_degree, ncompx, &mesh_size, 16515910d16Sjeremylt num_qpts, &mesh_restr, NULL); 166ded9b81dSJeremy L Thompson BuildCartesianRestriction(ceed, dim, nxyz, sol_degree, dim*(dim+1)/2, 16766087c08SValeria Barra &sol_size, num_qpts, NULL, &qdata_restr_i); 168ded9b81dSJeremy L Thompson BuildCartesianRestriction(ceed, dim, nxyz, sol_degree, 1, &sol_size, 169ded9b81dSJeremy L Thompson num_qpts, &sol_restr, NULL); 17066087c08SValeria Barra if (!test) { 171ded9b81dSJeremy L Thompson // LCOV_EXCL_START 17266087c08SValeria Barra printf("Number of mesh nodes : %d\n", mesh_size/dim); 17366087c08SValeria Barra printf("Number of solution nodes : %d\n", sol_size); 174ded9b81dSJeremy L Thompson // LCOV_EXCL_STOP 17566087c08SValeria Barra } 17666087c08SValeria Barra 17766087c08SValeria Barra // Create a CeedVector with the mesh coordinates. 17866087c08SValeria Barra CeedVector mesh_coords; 17966087c08SValeria Barra CeedVectorCreate(ceed, mesh_size, &mesh_coords); 180ded9b81dSJeremy L Thompson SetCartesianMeshCoords(dim, nxyz, mesh_degree, mesh_coords); 18166087c08SValeria Barra 18266087c08SValeria Barra // Apply a transformation to the mesh. 18366087c08SValeria Barra CeedScalar exact_sa = TransformMeshCoords(dim, mesh_size, mesh_coords); 18466087c08SValeria Barra 185ded9b81dSJeremy L Thompson // Context data to be passed to the 'f_build_diff' QFunction. 186777ff853SJeremy L Thompson CeedQFunctionContext build_ctx; 187777ff853SJeremy L Thompson struct BuildContext build_ctx_data; 188777ff853SJeremy L Thompson build_ctx_data.dim = build_ctx_data.space_dim = dim; 189777ff853SJeremy L Thompson CeedQFunctionContextCreate(ceed, &build_ctx); 190777ff853SJeremy L Thompson CeedQFunctionContextSetData(build_ctx, CEED_MEM_HOST, CEED_USE_POINTER, 191777ff853SJeremy L Thompson sizeof(build_ctx_data), &build_ctx_data); 19266087c08SValeria Barra 193ded9b81dSJeremy L Thompson // Create the QFunction that builds the diffusion operator (i.e. computes its 19466087c08SValeria Barra // quadrature data) and set its context data. 19566087c08SValeria Barra CeedQFunction build_qfunc; 19666087c08SValeria Barra switch (gallery) { 19766087c08SValeria Barra case 0: 19866087c08SValeria Barra // This creates the QFunction directly. 19966087c08SValeria Barra CeedQFunctionCreateInterior(ceed, 1, f_build_diff, 20066087c08SValeria Barra f_build_diff_loc, &build_qfunc); 20166087c08SValeria Barra CeedQFunctionAddInput(build_qfunc, "dx", ncompx*dim, CEED_EVAL_GRAD); 20266087c08SValeria Barra CeedQFunctionAddInput(build_qfunc, "weights", 1, CEED_EVAL_WEIGHT); 20366087c08SValeria Barra CeedQFunctionAddOutput(build_qfunc, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE); 204777ff853SJeremy L Thompson CeedQFunctionSetContext(build_qfunc, build_ctx); 20566087c08SValeria Barra break; 20666087c08SValeria Barra case 1: { 20766087c08SValeria Barra // This creates the QFunction via the gallery. 20866087c08SValeria Barra char name[16] = ""; 20966087c08SValeria Barra snprintf(name, sizeof name, "Poisson%dDBuild", dim); 21066087c08SValeria Barra CeedQFunctionCreateInteriorByName(ceed, name, &build_qfunc); 21166087c08SValeria Barra break; 21266087c08SValeria Barra } 21366087c08SValeria Barra } 21466087c08SValeria Barra 21566087c08SValeria Barra // Create the operator that builds the quadrature data for the diffusion 21666087c08SValeria Barra // operator. 21766087c08SValeria Barra CeedOperator build_oper; 21866087c08SValeria Barra CeedOperatorCreate(ceed, build_qfunc, CEED_QFUNCTION_NONE, 21966087c08SValeria Barra CEED_QFUNCTION_NONE, &build_oper); 220a8d32208Sjeremylt CeedOperatorSetField(build_oper, "dx", mesh_restr, mesh_basis, 221a8d32208Sjeremylt CEED_VECTOR_ACTIVE); 22215910d16Sjeremylt CeedOperatorSetField(build_oper, "weights", CEED_ELEMRESTRICTION_NONE, 22315910d16Sjeremylt mesh_basis, CEED_VECTOR_NONE); 224a8d32208Sjeremylt CeedOperatorSetField(build_oper, "qdata", qdata_restr_i, 22566087c08SValeria Barra CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 22666087c08SValeria Barra 22766087c08SValeria Barra // Compute the quadrature data for the diffusion operator. 22866087c08SValeria Barra CeedVector qdata; 22966087c08SValeria Barra CeedInt elem_qpts = CeedIntPow(num_qpts, dim); 23066087c08SValeria Barra CeedInt num_elem = 1; 23166087c08SValeria Barra for (int d = 0; d < dim; d++) 23266087c08SValeria Barra num_elem *= nxyz[d]; 23366087c08SValeria Barra CeedVectorCreate(ceed, num_elem*elem_qpts*dim*(dim+1)/2, &qdata); 23466087c08SValeria Barra CeedOperatorApply(build_oper, mesh_coords, qdata, 23566087c08SValeria Barra CEED_REQUEST_IMMEDIATE); 23666087c08SValeria Barra 237ded9b81dSJeremy L Thompson // Create the QFunction that defines the action of the diffusion operator. 23866087c08SValeria Barra CeedQFunction apply_qfunc; 23966087c08SValeria Barra switch (gallery) { 24066087c08SValeria Barra case 0: 24166087c08SValeria Barra // This creates the QFunction directly. 24266087c08SValeria Barra CeedQFunctionCreateInterior(ceed, 1, f_apply_diff, 24366087c08SValeria Barra f_apply_diff_loc, &apply_qfunc); 24466087c08SValeria Barra CeedQFunctionAddInput(apply_qfunc, "du", dim, CEED_EVAL_GRAD); 24566087c08SValeria Barra CeedQFunctionAddInput(apply_qfunc, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE); 24666087c08SValeria Barra CeedQFunctionAddOutput(apply_qfunc, "dv", dim, CEED_EVAL_GRAD); 247777ff853SJeremy L Thompson CeedQFunctionSetContext(apply_qfunc, build_ctx); 24866087c08SValeria Barra break; 24966087c08SValeria Barra case 1: { 25066087c08SValeria Barra // This creates the QFunction via the gallery. 25166087c08SValeria Barra char name[16] = ""; 25266087c08SValeria Barra snprintf(name, sizeof name, "Poisson%dDApply", dim); 25366087c08SValeria Barra CeedQFunctionCreateInteriorByName(ceed, name, &apply_qfunc); 25466087c08SValeria Barra break; 25566087c08SValeria Barra } 25666087c08SValeria Barra } 25766087c08SValeria Barra 25866087c08SValeria Barra // Create the diffusion operator. 25966087c08SValeria Barra CeedOperator oper; 26066087c08SValeria Barra CeedOperatorCreate(ceed, apply_qfunc, CEED_QFUNCTION_NONE, 26166087c08SValeria Barra CEED_QFUNCTION_NONE, &oper); 262a8d32208Sjeremylt CeedOperatorSetField(oper, "du", sol_restr, sol_basis, CEED_VECTOR_ACTIVE); 263a8d32208Sjeremylt CeedOperatorSetField(oper, "qdata", qdata_restr_i, CEED_BASIS_COLLOCATED, 264a8d32208Sjeremylt qdata); 265a8d32208Sjeremylt CeedOperatorSetField(oper, "dv", sol_restr, sol_basis, CEED_VECTOR_ACTIVE); 26666087c08SValeria Barra 26766087c08SValeria Barra // Create auxiliary solution-size vectors. 26866087c08SValeria Barra CeedVector u, v; 26966087c08SValeria Barra CeedVectorCreate(ceed, sol_size, &u); 27066087c08SValeria Barra CeedVectorCreate(ceed, sol_size, &v); 27166087c08SValeria Barra 27266087c08SValeria Barra // Initialize 'u' with sum of coordinates, x+y+z. 27366087c08SValeria Barra CeedScalar *u_host; 27466087c08SValeria Barra const CeedScalar *x_host; 27566087c08SValeria Barra CeedVectorGetArray(u, CEED_MEM_HOST, &u_host); 27666087c08SValeria Barra CeedVectorGetArrayRead(mesh_coords, CEED_MEM_HOST, &x_host); 27766087c08SValeria Barra for (CeedInt i = 0; i < sol_size; i++) { 27866087c08SValeria Barra u_host[i] = 0; 27966087c08SValeria Barra for (CeedInt d = 0; d < dim; d++) 28066087c08SValeria Barra u_host[i] += x_host[i+d*sol_size]; 28166087c08SValeria Barra } 28266087c08SValeria Barra CeedVectorRestoreArray(u, &u_host); 28366087c08SValeria Barra CeedVectorRestoreArrayRead(mesh_coords, &x_host); 28466087c08SValeria Barra 285ded9b81dSJeremy L Thompson // Compute the mesh surface area using the diff operator: 286ded9b81dSJeremy L Thompson // sa = 1^T \cdot abs( K \cdot x). 28766087c08SValeria Barra CeedOperatorApply(oper, u, v, CEED_REQUEST_IMMEDIATE); 28866087c08SValeria Barra 28966087c08SValeria Barra // Compute and print the sum of the entries of 'v' giving the mesh surface area. 29066087c08SValeria Barra const CeedScalar *v_host; 29166087c08SValeria Barra CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_host); 29266087c08SValeria Barra CeedScalar sa = 0.; 29366087c08SValeria Barra for (CeedInt i = 0; i < sol_size; i++) { 29466087c08SValeria Barra sa += fabs(v_host[i]); 29566087c08SValeria Barra } 29666087c08SValeria Barra CeedVectorRestoreArrayRead(v, &v_host); 29766087c08SValeria Barra if (!test) { 298ded9b81dSJeremy L Thompson // LCOV_EXCL_START 29966087c08SValeria Barra printf(" done.\n"); 30066087c08SValeria Barra printf("Exact mesh surface area : % .14g\n", exact_sa); 30166087c08SValeria Barra printf("Computed mesh surface area : % .14g\n", sa); 30266087c08SValeria Barra printf("Surface area error : % .14g\n", sa-exact_sa); 303ded9b81dSJeremy L Thompson // LCOV_EXCL_STOP 30466087c08SValeria Barra } else { 30566087c08SValeria Barra CeedScalar tol = (dim==1? 1E-12 : dim==2? 1E-1 : 1E-1); 30666087c08SValeria Barra if (fabs(sa-exact_sa)>tol) 307e15f9bd0SJeremy L Thompson // LCOV_EXCL_START 30866087c08SValeria Barra printf("Surface area error : % .14g\n", sa-exact_sa); 309e15f9bd0SJeremy L Thompson // LCOV_EXCL_STOP 31066087c08SValeria Barra } 31166087c08SValeria Barra 31266087c08SValeria Barra // Free dynamically allocated memory. 31366087c08SValeria Barra CeedVectorDestroy(&u); 31466087c08SValeria Barra CeedVectorDestroy(&v); 31566087c08SValeria Barra CeedVectorDestroy(&qdata); 31666087c08SValeria Barra CeedVectorDestroy(&mesh_coords); 31766087c08SValeria Barra CeedOperatorDestroy(&oper); 31866087c08SValeria Barra CeedQFunctionDestroy(&apply_qfunc); 319777ff853SJeremy L Thompson CeedQFunctionContextDestroy(&build_ctx); 32066087c08SValeria Barra CeedOperatorDestroy(&build_oper); 32166087c08SValeria Barra CeedQFunctionDestroy(&build_qfunc); 32266087c08SValeria Barra CeedElemRestrictionDestroy(&sol_restr); 32366087c08SValeria Barra CeedElemRestrictionDestroy(&mesh_restr); 32466087c08SValeria Barra CeedElemRestrictionDestroy(&qdata_restr_i); 32566087c08SValeria Barra CeedBasisDestroy(&sol_basis); 32666087c08SValeria Barra CeedBasisDestroy(&mesh_basis); 32766087c08SValeria Barra CeedDestroy(&ceed); 32866087c08SValeria Barra return 0; 32966087c08SValeria Barra } 33066087c08SValeria Barra 33166087c08SValeria Barra 332ded9b81dSJeremy L Thompson int GetCartesianMeshSize(int dim, int degree, int prob_size, int nxyz[3]) { 33366087c08SValeria Barra // Use the approximate formula: 334ded9b81dSJeremy L Thompson // prob_size ~ num_elem * degree^dim 335ded9b81dSJeremy L Thompson CeedInt num_elem = prob_size / CeedIntPow(degree, dim); 33666087c08SValeria Barra CeedInt s = 0; // find s: num_elem/2 < 2^s <= num_elem 33766087c08SValeria Barra while (num_elem > 1) { 33866087c08SValeria Barra num_elem /= 2; 33966087c08SValeria Barra s++; 34066087c08SValeria Barra } 34166087c08SValeria Barra CeedInt r = s%dim; 34266087c08SValeria Barra for (int d = 0; d < dim; d++) { 34366087c08SValeria Barra int sd = s/dim; 34466087c08SValeria Barra if (r > 0) { sd++; r--; } 34566087c08SValeria Barra nxyz[d] = 1 << sd; 34666087c08SValeria Barra } 34766087c08SValeria Barra return 0; 34866087c08SValeria Barra } 34966087c08SValeria Barra 350ded9b81dSJeremy L Thompson int BuildCartesianRestriction(Ceed ceed, int dim, int nxyz[3], int degree, 35166087c08SValeria Barra int ncomp, CeedInt *size, CeedInt num_qpts, 35266087c08SValeria Barra CeedElemRestriction *restr, 35366087c08SValeria Barra CeedElemRestriction *restr_i) { 354ded9b81dSJeremy L Thompson CeedInt p = degree + 1; 355ded9b81dSJeremy L Thompson CeedInt nnodes = CeedIntPow(p, dim); // number of scal. nodes per element 35666087c08SValeria Barra CeedInt elem_qpts = CeedIntPow(num_qpts, dim); // number of qpts per element 35766087c08SValeria Barra CeedInt nd[3], num_elem = 1, scalar_size = 1; 35866087c08SValeria Barra for (int d = 0; d < dim; d++) { 35966087c08SValeria Barra num_elem *= nxyz[d]; 360ded9b81dSJeremy L Thompson nd[d] = nxyz[d] * (p - 1) + 1; 36166087c08SValeria Barra scalar_size *= nd[d]; 36266087c08SValeria Barra } 36366087c08SValeria Barra *size = scalar_size*ncomp; 36466087c08SValeria Barra // elem: 0 1 n-1 36566087c08SValeria Barra // |---*-...-*---|---*-...-*---|- ... -|--...--| 36666087c08SValeria Barra // nnodes: 0 1 p-1 p p+1 2*p n*p 36766087c08SValeria Barra CeedInt *el_nodes = malloc(sizeof(CeedInt)*num_elem*nnodes); 36866087c08SValeria Barra for (CeedInt e = 0; e < num_elem; e++) { 3692d4f38ccSjeremylt CeedInt exyz[3] = {1, 1, 1}, re = e; 37066087c08SValeria Barra for (int d = 0; d < dim; d++) { exyz[d] = re%nxyz[d]; re /= nxyz[d]; } 37166087c08SValeria Barra CeedInt *loc_el_nodes = el_nodes + e*nnodes; 37266087c08SValeria Barra for (int lnodes = 0; lnodes < nnodes; lnodes++) { 37366087c08SValeria Barra CeedInt gnodes = 0, gnodes_stride = 1, rnodes = lnodes; 37466087c08SValeria Barra for (int d = 0; d < dim; d++) { 375ded9b81dSJeremy L Thompson gnodes += (exyz[d] * (p - 1) + rnodes % p) * gnodes_stride; 37666087c08SValeria Barra gnodes_stride *= nd[d]; 377ded9b81dSJeremy L Thompson rnodes /= p; 37866087c08SValeria Barra } 37966087c08SValeria Barra loc_el_nodes[lnodes] = gnodes; 38066087c08SValeria Barra } 38166087c08SValeria Barra } 38266087c08SValeria Barra if (restr) 383d979a051Sjeremylt CeedElemRestrictionCreate(ceed, num_elem, nnodes, ncomp, scalar_size, 384d979a051Sjeremylt ncomp * scalar_size, CEED_MEM_HOST, 385d979a051Sjeremylt CEED_COPY_VALUES, el_nodes, restr); 38666087c08SValeria Barra free(el_nodes); 3877509a596Sjeremylt 3887509a596Sjeremylt if (restr_i) { 3897509a596Sjeremylt CeedElemRestrictionCreateStrided(ceed, num_elem, elem_qpts, 390d979a051Sjeremylt ncomp, ncomp * elem_qpts * num_elem, 391523b8ea0Sjeremylt CEED_STRIDES_BACKEND, restr_i); 3927509a596Sjeremylt } 3937509a596Sjeremylt 39466087c08SValeria Barra return 0; 39566087c08SValeria Barra } 39666087c08SValeria Barra 397ded9b81dSJeremy L Thompson int SetCartesianMeshCoords(int dim, int nxyz[3], int mesh_degree, 39866087c08SValeria Barra CeedVector mesh_coords) { 399ded9b81dSJeremy L Thompson CeedInt p = mesh_degree + 1; 40066087c08SValeria Barra CeedInt nd[3], num_elem = 1, scalar_size = 1; 40166087c08SValeria Barra for (int d = 0; d < dim; d++) { 40266087c08SValeria Barra num_elem *= nxyz[d]; 403ded9b81dSJeremy L Thompson nd[d] = nxyz[d] * (p - 1) + 1; 40466087c08SValeria Barra scalar_size *= nd[d]; 40566087c08SValeria Barra } 40666087c08SValeria Barra CeedScalar *coords; 40766087c08SValeria Barra CeedVectorGetArray(mesh_coords, CEED_MEM_HOST, &coords); 408ded9b81dSJeremy L Thompson CeedScalar *nodes = malloc(sizeof(CeedScalar) * p); 40966087c08SValeria Barra // The H1 basis uses Lobatto quadrature points as nodes. 410ded9b81dSJeremy L Thompson CeedLobattoQuadrature(p, nodes, NULL); // nodes are in [-1,1] 411ded9b81dSJeremy L Thompson for (CeedInt i = 0; i < p; i++) { nodes[i] = 0.5 + 0.5 * nodes[i]; } 41266087c08SValeria Barra for (CeedInt gsnodes = 0; gsnodes < scalar_size; gsnodes++) { 41366087c08SValeria Barra CeedInt rnodes = gsnodes; 41466087c08SValeria Barra for (int d = 0; d < dim; d++) { 41566087c08SValeria Barra CeedInt d1d = rnodes % nd[d]; 416ded9b81dSJeremy L Thompson coords[gsnodes + scalar_size * d] = ((d1d / (p - 1)) + nodes[d1d % 417ded9b81dSJeremy L Thompson (p - 1)]) / nxyz[d]; 41866087c08SValeria Barra rnodes /= nd[d]; 41966087c08SValeria Barra } 42066087c08SValeria Barra } 42166087c08SValeria Barra free(nodes); 42266087c08SValeria Barra CeedVectorRestoreArray(mesh_coords, &coords); 42366087c08SValeria Barra return 0; 42466087c08SValeria Barra } 42566087c08SValeria Barra 42666087c08SValeria Barra #ifndef M_PI 42766087c08SValeria Barra #define M_PI 3.14159265358979323846 42866087c08SValeria Barra #endif 42966087c08SValeria Barra 43066087c08SValeria Barra CeedScalar TransformMeshCoords(int dim, int mesh_size, CeedVector mesh_coords) { 43166087c08SValeria Barra CeedScalar exact_sa = (dim == 1 ? 2 : dim == 2 ? 4 : 6); 43266087c08SValeria Barra CeedScalar *coords; 43366087c08SValeria Barra 43466087c08SValeria Barra CeedVectorGetArray(mesh_coords, CEED_MEM_HOST, &coords); 43566087c08SValeria Barra for (CeedInt i = 0; i < mesh_size; i++) { 43666087c08SValeria Barra // map [0,1] to [0,1] varying the mesh density 43766087c08SValeria Barra coords[i] = 0.5 + 1./sqrt(3.) * sin((2./3.) * M_PI * (coords[i] - 0.5)); 43866087c08SValeria Barra } 43966087c08SValeria Barra CeedVectorRestoreArray(mesh_coords, &coords); 44066087c08SValeria Barra 44166087c08SValeria Barra return exact_sa; 44266087c08SValeria Barra } 443