13d8e8822SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors. 23d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3eaf62fffSJeremy L Thompson // 43d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause 5eaf62fffSJeremy L Thompson // 63d8e8822SJeremy L Thompson // This file is part of CEED: http://github.com/ceed 7eaf62fffSJeremy L Thompson 8eaf62fffSJeremy L Thompson #include <ceed/ceed.h> 9eaf62fffSJeremy L Thompson #include <ceed/backend.h> 10eaf62fffSJeremy L Thompson #include <ceed-impl.h> 11eaf62fffSJeremy L Thompson #include <math.h> 12eaf62fffSJeremy L Thompson #include <stdbool.h> 13eaf62fffSJeremy L Thompson #include <stdio.h> 14eaf62fffSJeremy L Thompson #include <string.h> 15eaf62fffSJeremy L Thompson 16eaf62fffSJeremy L Thompson /// @file 17eaf62fffSJeremy L Thompson /// Implementation of CeedOperator preconditioning interfaces 18eaf62fffSJeremy L Thompson 19eaf62fffSJeremy L Thompson /// ---------------------------------------------------------------------------- 20eaf62fffSJeremy L Thompson /// CeedOperator Library Internal Preconditioning Functions 21eaf62fffSJeremy L Thompson /// ---------------------------------------------------------------------------- 22eaf62fffSJeremy L Thompson /// @addtogroup CeedOperatorDeveloper 23eaf62fffSJeremy L Thompson /// @{ 24eaf62fffSJeremy L Thompson 25eaf62fffSJeremy L Thompson /** 26eaf62fffSJeremy L Thompson @brief Duplicate a CeedOperator with a reference Ceed to fallback for advanced 27eaf62fffSJeremy L Thompson CeedOperator functionality 28eaf62fffSJeremy L Thompson 29eaf62fffSJeremy L Thompson @param op CeedOperator to create fallback for 30eaf62fffSJeremy L Thompson 31eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 32eaf62fffSJeremy L Thompson 33eaf62fffSJeremy L Thompson @ref Developer 34eaf62fffSJeremy L Thompson **/ 35eaf62fffSJeremy L Thompson int CeedOperatorCreateFallback(CeedOperator op) { 36eaf62fffSJeremy L Thompson int ierr; 37*8687e1d4SJeremy L Thompson Ceed fallback_ceed; 38eaf62fffSJeremy L Thompson 39805fe78eSJeremy L Thompson // Check not already created 40805fe78eSJeremy L Thompson if (op->op_fallback) return CEED_ERROR_SUCCESS; 41805fe78eSJeremy L Thompson 42eaf62fffSJeremy L Thompson // Fallback Ceed 43*8687e1d4SJeremy L Thompson ierr = CeedGetOperatorFallbackCeed(op->ceed, &fallback_ceed); CeedChk(ierr); 44eaf62fffSJeremy L Thompson 45eaf62fffSJeremy L Thompson // Clone Op 46805fe78eSJeremy L Thompson CeedOperator op_fallback; 47805fe78eSJeremy L Thompson if (op->is_composite) { 48*8687e1d4SJeremy L Thompson ierr = CeedCompositeOperatorCreate(fallback_ceed, &op_fallback); 49805fe78eSJeremy L Thompson CeedChk(ierr); 50805fe78eSJeremy L Thompson for (CeedInt i = 0; i < op->num_suboperators; i++) { 51805fe78eSJeremy L Thompson ierr = CeedCompositeOperatorAddSub(op_fallback, op->sub_operators[i]); 52805fe78eSJeremy L Thompson CeedChk(ierr); 53805fe78eSJeremy L Thompson } 54805fe78eSJeremy L Thompson } else { 55*8687e1d4SJeremy L Thompson ierr = CeedOperatorCreate(fallback_ceed, op->qf, op->dqf, op->dqfT, 56805fe78eSJeremy L Thompson &op_fallback); CeedChk(ierr); 57805fe78eSJeremy L Thompson for (CeedInt i = 0; i < op->qf->num_input_fields; i++) { 58805fe78eSJeremy L Thompson ierr = CeedOperatorSetField(op_fallback, op->input_fields[i]->field_name, 59805fe78eSJeremy L Thompson op->input_fields[i]->elem_restr, 60805fe78eSJeremy L Thompson op->input_fields[i]->basis, 61805fe78eSJeremy L Thompson op->input_fields[i]->vec); CeedChk(ierr); 62805fe78eSJeremy L Thompson } 63805fe78eSJeremy L Thompson for (CeedInt i = 0; i < op->qf->num_output_fields; i++) { 64805fe78eSJeremy L Thompson ierr = CeedOperatorSetField(op_fallback, op->output_fields[i]->field_name, 65805fe78eSJeremy L Thompson op->output_fields[i]->elem_restr, 66805fe78eSJeremy L Thompson op->output_fields[i]->basis, 67805fe78eSJeremy L Thompson op->output_fields[i]->vec); CeedChk(ierr); 68805fe78eSJeremy L Thompson } 69480fae85SJeremy L Thompson ierr = CeedQFunctionAssemblyDataReferenceCopy(op->qf_assembled, 70805fe78eSJeremy L Thompson &op_fallback->qf_assembled); CeedChk(ierr); 71805fe78eSJeremy L Thompson if (op_fallback->num_qpts == 0) { 72805fe78eSJeremy L Thompson ierr = CeedOperatorSetNumQuadraturePoints(op_fallback, op->num_qpts); 73805fe78eSJeremy L Thompson CeedChk(ierr); 74805fe78eSJeremy L Thompson } 75805fe78eSJeremy L Thompson } 76805fe78eSJeremy L Thompson ierr = CeedOperatorSetName(op_fallback, op->name); CeedChk(ierr); 77805fe78eSJeremy L Thompson ierr = CeedOperatorCheckReady(op_fallback); CeedChk(ierr); 78805fe78eSJeremy L Thompson op->op_fallback = op_fallback; 79eaf62fffSJeremy L Thompson 80eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 81eaf62fffSJeremy L Thompson } 82eaf62fffSJeremy L Thompson 83eaf62fffSJeremy L Thompson /** 84eaf62fffSJeremy L Thompson @brief Select correct basis matrix pointer based on CeedEvalMode 85eaf62fffSJeremy L Thompson 86eaf62fffSJeremy L Thompson @param[in] eval_mode Current basis evaluation mode 87eaf62fffSJeremy L Thompson @param[in] identity Pointer to identity matrix 88eaf62fffSJeremy L Thompson @param[in] interp Pointer to interpolation matrix 89eaf62fffSJeremy L Thompson @param[in] grad Pointer to gradient matrix 90eaf62fffSJeremy L Thompson @param[out] basis_ptr Basis pointer to set 91eaf62fffSJeremy L Thompson 92eaf62fffSJeremy L Thompson @ref Developer 93eaf62fffSJeremy L Thompson **/ 94eaf62fffSJeremy L Thompson static inline void CeedOperatorGetBasisPointer(CeedEvalMode eval_mode, 95eaf62fffSJeremy L Thompson const CeedScalar *identity, const CeedScalar *interp, 96eaf62fffSJeremy L Thompson const CeedScalar *grad, const CeedScalar **basis_ptr) { 97eaf62fffSJeremy L Thompson switch (eval_mode) { 98eaf62fffSJeremy L Thompson case CEED_EVAL_NONE: 99eaf62fffSJeremy L Thompson *basis_ptr = identity; 100eaf62fffSJeremy L Thompson break; 101eaf62fffSJeremy L Thompson case CEED_EVAL_INTERP: 102eaf62fffSJeremy L Thompson *basis_ptr = interp; 103eaf62fffSJeremy L Thompson break; 104eaf62fffSJeremy L Thompson case CEED_EVAL_GRAD: 105eaf62fffSJeremy L Thompson *basis_ptr = grad; 106eaf62fffSJeremy L Thompson break; 107eaf62fffSJeremy L Thompson case CEED_EVAL_WEIGHT: 108eaf62fffSJeremy L Thompson case CEED_EVAL_DIV: 109eaf62fffSJeremy L Thompson case CEED_EVAL_CURL: 110eaf62fffSJeremy L Thompson break; // Caught by QF Assembly 111eaf62fffSJeremy L Thompson } 112eaf62fffSJeremy L Thompson } 113eaf62fffSJeremy L Thompson 114eaf62fffSJeremy L Thompson /** 115eaf62fffSJeremy L Thompson @brief Create point block restriction for active operator field 116eaf62fffSJeremy L Thompson 117eaf62fffSJeremy L Thompson @param[in] rstr Original CeedElemRestriction for active field 118eaf62fffSJeremy L Thompson @param[out] pointblock_rstr Address of the variable where the newly created 119eaf62fffSJeremy L Thompson CeedElemRestriction will be stored 120eaf62fffSJeremy L Thompson 121eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 122eaf62fffSJeremy L Thompson 123eaf62fffSJeremy L Thompson @ref Developer 124eaf62fffSJeremy L Thompson **/ 125eaf62fffSJeremy L Thompson static int CeedOperatorCreateActivePointBlockRestriction( 126eaf62fffSJeremy L Thompson CeedElemRestriction rstr, 127eaf62fffSJeremy L Thompson CeedElemRestriction *pointblock_rstr) { 128eaf62fffSJeremy L Thompson int ierr; 129eaf62fffSJeremy L Thompson Ceed ceed; 130eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetCeed(rstr, &ceed); CeedChk(ierr); 131eaf62fffSJeremy L Thompson const CeedInt *offsets; 132eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetOffsets(rstr, CEED_MEM_HOST, &offsets); 133eaf62fffSJeremy L Thompson CeedChk(ierr); 134eaf62fffSJeremy L Thompson 135eaf62fffSJeremy L Thompson // Expand offsets 136eaf62fffSJeremy L Thompson CeedInt num_elem, num_comp, elem_size, comp_stride, max = 1, 137eaf62fffSJeremy L Thompson *pointblock_offsets; 138eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetNumElements(rstr, &num_elem); CeedChk(ierr); 139eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetNumComponents(rstr, &num_comp); CeedChk(ierr); 140eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetElementSize(rstr, &elem_size); CeedChk(ierr); 141eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetCompStride(rstr, &comp_stride); CeedChk(ierr); 142eaf62fffSJeremy L Thompson CeedInt shift = num_comp; 143eaf62fffSJeremy L Thompson if (comp_stride != 1) 144eaf62fffSJeremy L Thompson shift *= num_comp; 145eaf62fffSJeremy L Thompson ierr = CeedCalloc(num_elem*elem_size, &pointblock_offsets); 146eaf62fffSJeremy L Thompson CeedChk(ierr); 147eaf62fffSJeremy L Thompson for (CeedInt i = 0; i < num_elem*elem_size; i++) { 148eaf62fffSJeremy L Thompson pointblock_offsets[i] = offsets[i]*shift; 149eaf62fffSJeremy L Thompson if (pointblock_offsets[i] > max) 150eaf62fffSJeremy L Thompson max = pointblock_offsets[i]; 151eaf62fffSJeremy L Thompson } 152eaf62fffSJeremy L Thompson 153eaf62fffSJeremy L Thompson // Create new restriction 154eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionCreate(ceed, num_elem, elem_size, num_comp*num_comp, 155eaf62fffSJeremy L Thompson 1, max + num_comp*num_comp, CEED_MEM_HOST, 156eaf62fffSJeremy L Thompson CEED_OWN_POINTER, pointblock_offsets, pointblock_rstr); 157eaf62fffSJeremy L Thompson CeedChk(ierr); 158eaf62fffSJeremy L Thompson 159eaf62fffSJeremy L Thompson // Cleanup 160eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionRestoreOffsets(rstr, &offsets); CeedChk(ierr); 161eaf62fffSJeremy L Thompson 162eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 163eaf62fffSJeremy L Thompson } 164eaf62fffSJeremy L Thompson 165eaf62fffSJeremy L Thompson /** 166eaf62fffSJeremy L Thompson @brief Core logic for assembling operator diagonal or point block diagonal 167eaf62fffSJeremy L Thompson 168eaf62fffSJeremy L Thompson @param[in] op CeedOperator to assemble point block diagonal 169eaf62fffSJeremy L Thompson @param[in] request Address of CeedRequest for non-blocking completion, else 170eaf62fffSJeremy L Thompson CEED_REQUEST_IMMEDIATE 171eaf62fffSJeremy L Thompson @param[in] is_pointblock Boolean flag to assemble diagonal or point block diagonal 172eaf62fffSJeremy L Thompson @param[out] assembled CeedVector to store assembled diagonal 173eaf62fffSJeremy L Thompson 174eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 175eaf62fffSJeremy L Thompson 176eaf62fffSJeremy L Thompson @ref Developer 177eaf62fffSJeremy L Thompson **/ 178eaf62fffSJeremy L Thompson static inline int CeedSingleOperatorAssembleAddDiagonal(CeedOperator op, 179eaf62fffSJeremy L Thompson CeedRequest *request, const bool is_pointblock, CeedVector assembled) { 180eaf62fffSJeremy L Thompson int ierr; 181eaf62fffSJeremy L Thompson Ceed ceed; 182eaf62fffSJeremy L Thompson ierr = CeedOperatorGetCeed(op, &ceed); CeedChk(ierr); 183eaf62fffSJeremy L Thompson 184eaf62fffSJeremy L Thompson // Assemble QFunction 185eaf62fffSJeremy L Thompson CeedQFunction qf; 186eaf62fffSJeremy L Thompson ierr = CeedOperatorGetQFunction(op, &qf); CeedChk(ierr); 187eaf62fffSJeremy L Thompson CeedInt num_input_fields, num_output_fields; 188eaf62fffSJeremy L Thompson ierr= CeedQFunctionGetNumArgs(qf, &num_input_fields, &num_output_fields); 189eaf62fffSJeremy L Thompson CeedChk(ierr); 190eaf62fffSJeremy L Thompson CeedVector assembled_qf; 191eaf62fffSJeremy L Thompson CeedElemRestriction rstr; 19270a7ffb3SJeremy L Thompson ierr = CeedOperatorLinearAssembleQFunctionBuildOrUpdate(op, &assembled_qf, 19370a7ffb3SJeremy L Thompson &rstr, request); CeedChk(ierr); 194eaf62fffSJeremy L Thompson CeedInt layout[3]; 195eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetELayout(rstr, &layout); CeedChk(ierr); 196eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionDestroy(&rstr); CeedChk(ierr); 197eaf62fffSJeremy L Thompson CeedScalar max_norm = 0; 198eaf62fffSJeremy L Thompson ierr = CeedVectorNorm(assembled_qf, CEED_NORM_MAX, &max_norm); CeedChk(ierr); 199eaf62fffSJeremy L Thompson 200eaf62fffSJeremy L Thompson // Determine active input basis 201eaf62fffSJeremy L Thompson CeedOperatorField *op_fields; 202eaf62fffSJeremy L Thompson CeedQFunctionField *qf_fields; 2037e7773b5SJeremy L Thompson ierr = CeedOperatorGetFields(op, NULL, &op_fields, NULL, NULL); CeedChk(ierr); 2047e7773b5SJeremy L Thompson ierr = CeedQFunctionGetFields(qf, NULL, &qf_fields, NULL, NULL); CeedChk(ierr); 205eaf62fffSJeremy L Thompson CeedInt num_eval_mode_in = 0, num_comp, dim = 1; 206eaf62fffSJeremy L Thompson CeedEvalMode *eval_mode_in = NULL; 207eaf62fffSJeremy L Thompson CeedBasis basis_in = NULL; 208eaf62fffSJeremy L Thompson CeedElemRestriction rstr_in = NULL; 209eaf62fffSJeremy L Thompson for (CeedInt i=0; i<num_input_fields; i++) { 210eaf62fffSJeremy L Thompson CeedVector vec; 211eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetVector(op_fields[i], &vec); CeedChk(ierr); 212eaf62fffSJeremy L Thompson if (vec == CEED_VECTOR_ACTIVE) { 213eaf62fffSJeremy L Thompson CeedElemRestriction rstr; 214eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetBasis(op_fields[i], &basis_in); CeedChk(ierr); 215eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumComponents(basis_in, &num_comp); CeedChk(ierr); 216eaf62fffSJeremy L Thompson ierr = CeedBasisGetDimension(basis_in, &dim); CeedChk(ierr); 217eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetElemRestriction(op_fields[i], &rstr); CeedChk(ierr); 218eaf62fffSJeremy L Thompson if (rstr_in && rstr_in != rstr) 219eaf62fffSJeremy L Thompson // LCOV_EXCL_START 220eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_BACKEND, 221eaf62fffSJeremy L Thompson "Multi-field non-composite operator diagonal assembly not supported"); 222eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 223eaf62fffSJeremy L Thompson rstr_in = rstr; 224eaf62fffSJeremy L Thompson CeedEvalMode eval_mode; 225eaf62fffSJeremy L Thompson ierr = CeedQFunctionFieldGetEvalMode(qf_fields[i], &eval_mode); CeedChk(ierr); 226eaf62fffSJeremy L Thompson switch (eval_mode) { 227eaf62fffSJeremy L Thompson case CEED_EVAL_NONE: 228eaf62fffSJeremy L Thompson case CEED_EVAL_INTERP: 229eaf62fffSJeremy L Thompson ierr = CeedRealloc(num_eval_mode_in + 1, &eval_mode_in); CeedChk(ierr); 230eaf62fffSJeremy L Thompson eval_mode_in[num_eval_mode_in] = eval_mode; 231eaf62fffSJeremy L Thompson num_eval_mode_in += 1; 232eaf62fffSJeremy L Thompson break; 233eaf62fffSJeremy L Thompson case CEED_EVAL_GRAD: 234eaf62fffSJeremy L Thompson ierr = CeedRealloc(num_eval_mode_in + dim, &eval_mode_in); CeedChk(ierr); 235eaf62fffSJeremy L Thompson for (CeedInt d=0; d<dim; d++) 236eaf62fffSJeremy L Thompson eval_mode_in[num_eval_mode_in+d] = eval_mode; 237eaf62fffSJeremy L Thompson num_eval_mode_in += dim; 238eaf62fffSJeremy L Thompson break; 239eaf62fffSJeremy L Thompson case CEED_EVAL_WEIGHT: 240eaf62fffSJeremy L Thompson case CEED_EVAL_DIV: 241eaf62fffSJeremy L Thompson case CEED_EVAL_CURL: 242eaf62fffSJeremy L Thompson break; // Caught by QF Assembly 243eaf62fffSJeremy L Thompson } 244eaf62fffSJeremy L Thompson } 245eaf62fffSJeremy L Thompson } 246eaf62fffSJeremy L Thompson 247eaf62fffSJeremy L Thompson // Determine active output basis 2487e7773b5SJeremy L Thompson ierr = CeedOperatorGetFields(op, NULL, NULL, NULL, &op_fields); CeedChk(ierr); 2497e7773b5SJeremy L Thompson ierr = CeedQFunctionGetFields(qf, NULL, NULL, NULL, &qf_fields); CeedChk(ierr); 250eaf62fffSJeremy L Thompson CeedInt num_eval_mode_out = 0; 251eaf62fffSJeremy L Thompson CeedEvalMode *eval_mode_out = NULL; 252eaf62fffSJeremy L Thompson CeedBasis basis_out = NULL; 253eaf62fffSJeremy L Thompson CeedElemRestriction rstr_out = NULL; 254eaf62fffSJeremy L Thompson for (CeedInt i=0; i<num_output_fields; i++) { 255eaf62fffSJeremy L Thompson CeedVector vec; 256eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetVector(op_fields[i], &vec); CeedChk(ierr); 257eaf62fffSJeremy L Thompson if (vec == CEED_VECTOR_ACTIVE) { 258eaf62fffSJeremy L Thompson CeedElemRestriction rstr; 259eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetBasis(op_fields[i], &basis_out); CeedChk(ierr); 260eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetElemRestriction(op_fields[i], &rstr); CeedChk(ierr); 261eaf62fffSJeremy L Thompson if (rstr_out && rstr_out != rstr) 262eaf62fffSJeremy L Thompson // LCOV_EXCL_START 263eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_BACKEND, 264eaf62fffSJeremy L Thompson "Multi-field non-composite operator diagonal assembly not supported"); 265eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 266eaf62fffSJeremy L Thompson rstr_out = rstr; 267eaf62fffSJeremy L Thompson CeedEvalMode eval_mode; 268eaf62fffSJeremy L Thompson ierr = CeedQFunctionFieldGetEvalMode(qf_fields[i], &eval_mode); CeedChk(ierr); 269eaf62fffSJeremy L Thompson switch (eval_mode) { 270eaf62fffSJeremy L Thompson case CEED_EVAL_NONE: 271eaf62fffSJeremy L Thompson case CEED_EVAL_INTERP: 272eaf62fffSJeremy L Thompson ierr = CeedRealloc(num_eval_mode_out + 1, &eval_mode_out); CeedChk(ierr); 273eaf62fffSJeremy L Thompson eval_mode_out[num_eval_mode_out] = eval_mode; 274eaf62fffSJeremy L Thompson num_eval_mode_out += 1; 275eaf62fffSJeremy L Thompson break; 276eaf62fffSJeremy L Thompson case CEED_EVAL_GRAD: 277eaf62fffSJeremy L Thompson ierr = CeedRealloc(num_eval_mode_out + dim, &eval_mode_out); CeedChk(ierr); 278eaf62fffSJeremy L Thompson for (CeedInt d=0; d<dim; d++) 279eaf62fffSJeremy L Thompson eval_mode_out[num_eval_mode_out+d] = eval_mode; 280eaf62fffSJeremy L Thompson num_eval_mode_out += dim; 281eaf62fffSJeremy L Thompson break; 282eaf62fffSJeremy L Thompson case CEED_EVAL_WEIGHT: 283eaf62fffSJeremy L Thompson case CEED_EVAL_DIV: 284eaf62fffSJeremy L Thompson case CEED_EVAL_CURL: 285eaf62fffSJeremy L Thompson break; // Caught by QF Assembly 286eaf62fffSJeremy L Thompson } 287eaf62fffSJeremy L Thompson } 288eaf62fffSJeremy L Thompson } 289eaf62fffSJeremy L Thompson 290eaf62fffSJeremy L Thompson // Assemble point block diagonal restriction, if needed 291eaf62fffSJeremy L Thompson CeedElemRestriction diag_rstr = rstr_out; 292eaf62fffSJeremy L Thompson if (is_pointblock) { 293eaf62fffSJeremy L Thompson ierr = CeedOperatorCreateActivePointBlockRestriction(rstr_out, &diag_rstr); 294eaf62fffSJeremy L Thompson CeedChk(ierr); 295eaf62fffSJeremy L Thompson } 296eaf62fffSJeremy L Thompson 297eaf62fffSJeremy L Thompson // Create diagonal vector 298eaf62fffSJeremy L Thompson CeedVector elem_diag; 299eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionCreateVector(diag_rstr, NULL, &elem_diag); 300eaf62fffSJeremy L Thompson CeedChk(ierr); 301eaf62fffSJeremy L Thompson 302eaf62fffSJeremy L Thompson // Assemble element operator diagonals 3039c774eddSJeremy L Thompson CeedScalar *elem_diag_array; 3049c774eddSJeremy L Thompson const CeedScalar *assembled_qf_array; 305eaf62fffSJeremy L Thompson ierr = CeedVectorSetValue(elem_diag, 0.0); CeedChk(ierr); 306eaf62fffSJeremy L Thompson ierr = CeedVectorGetArray(elem_diag, CEED_MEM_HOST, &elem_diag_array); 307eaf62fffSJeremy L Thompson CeedChk(ierr); 3089c774eddSJeremy L Thompson ierr = CeedVectorGetArrayRead(assembled_qf, CEED_MEM_HOST, &assembled_qf_array); 309eaf62fffSJeremy L Thompson CeedChk(ierr); 310eaf62fffSJeremy L Thompson CeedInt num_elem, num_nodes, num_qpts; 311eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetNumElements(diag_rstr, &num_elem); CeedChk(ierr); 312eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumNodes(basis_in, &num_nodes); CeedChk(ierr); 313eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints(basis_in, &num_qpts); CeedChk(ierr); 314eaf62fffSJeremy L Thompson // Basis matrices 315eaf62fffSJeremy L Thompson const CeedScalar *interp_in, *interp_out, *grad_in, *grad_out; 316eaf62fffSJeremy L Thompson CeedScalar *identity = NULL; 317eaf62fffSJeremy L Thompson bool evalNone = false; 318eaf62fffSJeremy L Thompson for (CeedInt i=0; i<num_eval_mode_in; i++) 319eaf62fffSJeremy L Thompson evalNone = evalNone || (eval_mode_in[i] == CEED_EVAL_NONE); 320eaf62fffSJeremy L Thompson for (CeedInt i=0; i<num_eval_mode_out; i++) 321eaf62fffSJeremy L Thompson evalNone = evalNone || (eval_mode_out[i] == CEED_EVAL_NONE); 322eaf62fffSJeremy L Thompson if (evalNone) { 323eaf62fffSJeremy L Thompson ierr = CeedCalloc(num_qpts*num_nodes, &identity); CeedChk(ierr); 324eaf62fffSJeremy L Thompson for (CeedInt i=0; i<(num_nodes<num_qpts?num_nodes:num_qpts); i++) 325eaf62fffSJeremy L Thompson identity[i*num_nodes+i] = 1.0; 326eaf62fffSJeremy L Thompson } 327eaf62fffSJeremy L Thompson ierr = CeedBasisGetInterp(basis_in, &interp_in); CeedChk(ierr); 328eaf62fffSJeremy L Thompson ierr = CeedBasisGetInterp(basis_out, &interp_out); CeedChk(ierr); 329eaf62fffSJeremy L Thompson ierr = CeedBasisGetGrad(basis_in, &grad_in); CeedChk(ierr); 330eaf62fffSJeremy L Thompson ierr = CeedBasisGetGrad(basis_out, &grad_out); CeedChk(ierr); 331eaf62fffSJeremy L Thompson // Compute the diagonal of B^T D B 332eaf62fffSJeremy L Thompson // Each element 333eaf62fffSJeremy L Thompson const CeedScalar qf_value_bound = max_norm*100*CEED_EPSILON; 334eaf62fffSJeremy L Thompson for (CeedInt e=0; e<num_elem; e++) { 335eaf62fffSJeremy L Thompson CeedInt d_out = -1; 336eaf62fffSJeremy L Thompson // Each basis eval mode pair 337eaf62fffSJeremy L Thompson for (CeedInt e_out=0; e_out<num_eval_mode_out; e_out++) { 338eaf62fffSJeremy L Thompson const CeedScalar *bt = NULL; 339eaf62fffSJeremy L Thompson if (eval_mode_out[e_out] == CEED_EVAL_GRAD) 340eaf62fffSJeremy L Thompson d_out += 1; 341eaf62fffSJeremy L Thompson CeedOperatorGetBasisPointer(eval_mode_out[e_out], identity, interp_out, 342eaf62fffSJeremy L Thompson &grad_out[d_out*num_qpts*num_nodes], &bt); 343eaf62fffSJeremy L Thompson CeedInt d_in = -1; 344eaf62fffSJeremy L Thompson for (CeedInt e_in=0; e_in<num_eval_mode_in; e_in++) { 345eaf62fffSJeremy L Thompson const CeedScalar *b = NULL; 346eaf62fffSJeremy L Thompson if (eval_mode_in[e_in] == CEED_EVAL_GRAD) 347eaf62fffSJeremy L Thompson d_in += 1; 348eaf62fffSJeremy L Thompson CeedOperatorGetBasisPointer(eval_mode_in[e_in], identity, interp_in, 349eaf62fffSJeremy L Thompson &grad_in[d_in*num_qpts*num_nodes], &b); 350eaf62fffSJeremy L Thompson // Each component 351eaf62fffSJeremy L Thompson for (CeedInt c_out=0; c_out<num_comp; c_out++) 352eaf62fffSJeremy L Thompson // Each qpoint/node pair 353eaf62fffSJeremy L Thompson for (CeedInt q=0; q<num_qpts; q++) 354eaf62fffSJeremy L Thompson if (is_pointblock) { 355eaf62fffSJeremy L Thompson // Point Block Diagonal 356eaf62fffSJeremy L Thompson for (CeedInt c_in=0; c_in<num_comp; c_in++) { 357eaf62fffSJeremy L Thompson const CeedScalar qf_value = 358eaf62fffSJeremy L Thompson assembled_qf_array[q*layout[0] + (((e_in*num_comp+c_in)* 359eaf62fffSJeremy L Thompson num_eval_mode_out+e_out)*num_comp+c_out)*layout[1] + e*layout[2]]; 360eaf62fffSJeremy L Thompson if (fabs(qf_value) > qf_value_bound) 361eaf62fffSJeremy L Thompson for (CeedInt n=0; n<num_nodes; n++) 362eaf62fffSJeremy L Thompson elem_diag_array[((e*num_comp+c_out)*num_comp+c_in)*num_nodes+n] += 363eaf62fffSJeremy L Thompson bt[q*num_nodes+n] * qf_value * b[q*num_nodes+n]; 364eaf62fffSJeremy L Thompson } 365eaf62fffSJeremy L Thompson } else { 366eaf62fffSJeremy L Thompson // Diagonal Only 367eaf62fffSJeremy L Thompson const CeedScalar qf_value = 368eaf62fffSJeremy L Thompson assembled_qf_array[q*layout[0] + (((e_in*num_comp+c_out)* 369eaf62fffSJeremy L Thompson num_eval_mode_out+e_out)*num_comp+c_out)*layout[1] + e*layout[2]]; 370eaf62fffSJeremy L Thompson if (fabs(qf_value) > qf_value_bound) 371eaf62fffSJeremy L Thompson for (CeedInt n=0; n<num_nodes; n++) 372eaf62fffSJeremy L Thompson elem_diag_array[(e*num_comp+c_out)*num_nodes+n] += 373eaf62fffSJeremy L Thompson bt[q*num_nodes+n] * qf_value * b[q*num_nodes+n]; 374eaf62fffSJeremy L Thompson } 375eaf62fffSJeremy L Thompson } 376eaf62fffSJeremy L Thompson } 377eaf62fffSJeremy L Thompson } 378eaf62fffSJeremy L Thompson ierr = CeedVectorRestoreArray(elem_diag, &elem_diag_array); CeedChk(ierr); 3799c774eddSJeremy L Thompson ierr = CeedVectorRestoreArrayRead(assembled_qf, &assembled_qf_array); 3809c774eddSJeremy L Thompson CeedChk(ierr); 381eaf62fffSJeremy L Thompson 382eaf62fffSJeremy L Thompson // Assemble local operator diagonal 383eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionApply(diag_rstr, CEED_TRANSPOSE, elem_diag, 384eaf62fffSJeremy L Thompson assembled, request); CeedChk(ierr); 385eaf62fffSJeremy L Thompson 386eaf62fffSJeremy L Thompson // Cleanup 387eaf62fffSJeremy L Thompson if (is_pointblock) { 388eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionDestroy(&diag_rstr); CeedChk(ierr); 389eaf62fffSJeremy L Thompson } 390eaf62fffSJeremy L Thompson ierr = CeedVectorDestroy(&assembled_qf); CeedChk(ierr); 391eaf62fffSJeremy L Thompson ierr = CeedVectorDestroy(&elem_diag); CeedChk(ierr); 392eaf62fffSJeremy L Thompson ierr = CeedFree(&eval_mode_in); CeedChk(ierr); 393eaf62fffSJeremy L Thompson ierr = CeedFree(&eval_mode_out); CeedChk(ierr); 394eaf62fffSJeremy L Thompson ierr = CeedFree(&identity); CeedChk(ierr); 395eaf62fffSJeremy L Thompson 396eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 397eaf62fffSJeremy L Thompson } 398eaf62fffSJeremy L Thompson 399eaf62fffSJeremy L Thompson /** 400eaf62fffSJeremy L Thompson @brief Core logic for assembling composite operator diagonal 401eaf62fffSJeremy L Thompson 402eaf62fffSJeremy L Thompson @param[in] op CeedOperator to assemble point block diagonal 403eaf62fffSJeremy L Thompson @param[in] request Address of CeedRequest for non-blocking completion, else 404eaf62fffSJeremy L Thompson CEED_REQUEST_IMMEDIATE 405eaf62fffSJeremy L Thompson @param[in] is_pointblock Boolean flag to assemble diagonal or point block diagonal 406eaf62fffSJeremy L Thompson @param[out] assembled CeedVector to store assembled diagonal 407eaf62fffSJeremy L Thompson 408eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 409eaf62fffSJeremy L Thompson 410eaf62fffSJeremy L Thompson @ref Developer 411eaf62fffSJeremy L Thompson **/ 412eaf62fffSJeremy L Thompson static inline int CeedCompositeOperatorLinearAssembleAddDiagonal( 413eaf62fffSJeremy L Thompson CeedOperator op, CeedRequest *request, const bool is_pointblock, 414eaf62fffSJeremy L Thompson CeedVector assembled) { 415eaf62fffSJeremy L Thompson int ierr; 416eaf62fffSJeremy L Thompson CeedInt num_sub; 417eaf62fffSJeremy L Thompson CeedOperator *suboperators; 418eaf62fffSJeremy L Thompson ierr = CeedOperatorGetNumSub(op, &num_sub); CeedChk(ierr); 419eaf62fffSJeremy L Thompson ierr = CeedOperatorGetSubList(op, &suboperators); CeedChk(ierr); 420eaf62fffSJeremy L Thompson for (CeedInt i = 0; i < num_sub; i++) { 421eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssembleAddDiagonal(suboperators[i], request, 422eaf62fffSJeremy L Thompson is_pointblock, assembled); CeedChk(ierr); 423eaf62fffSJeremy L Thompson } 424eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 425eaf62fffSJeremy L Thompson } 426eaf62fffSJeremy L Thompson 427eaf62fffSJeremy L Thompson /** 428eaf62fffSJeremy L Thompson @brief Build nonzero pattern for non-composite operator 429eaf62fffSJeremy L Thompson 430eaf62fffSJeremy L Thompson Users should generally use CeedOperatorLinearAssembleSymbolic() 431eaf62fffSJeremy L Thompson 432eaf62fffSJeremy L Thompson @param[in] op CeedOperator to assemble nonzero pattern 433eaf62fffSJeremy L Thompson @param[in] offset Offset for number of entries 434eaf62fffSJeremy L Thompson @param[out] rows Row number for each entry 435eaf62fffSJeremy L Thompson @param[out] cols Column number for each entry 436eaf62fffSJeremy L Thompson 437eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 438eaf62fffSJeremy L Thompson 439eaf62fffSJeremy L Thompson @ref Developer 440eaf62fffSJeremy L Thompson **/ 441eaf62fffSJeremy L Thompson static int CeedSingleOperatorAssembleSymbolic(CeedOperator op, CeedInt offset, 442eaf62fffSJeremy L Thompson CeedInt *rows, CeedInt *cols) { 443eaf62fffSJeremy L Thompson int ierr; 444eaf62fffSJeremy L Thompson Ceed ceed = op->ceed; 445f04ea552SJeremy L Thompson if (op->is_composite) 446eaf62fffSJeremy L Thompson // LCOV_EXCL_START 447eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_UNSUPPORTED, 448eaf62fffSJeremy L Thompson "Composite operator not supported"); 449eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 450eaf62fffSJeremy L Thompson 451c9366a6bSJeremy L Thompson CeedSize num_nodes; 452c9366a6bSJeremy L Thompson ierr = CeedOperatorGetActiveVectorLengths(op, &num_nodes, NULL); CeedChk(ierr); 453eaf62fffSJeremy L Thompson CeedElemRestriction rstr_in; 454eaf62fffSJeremy L Thompson ierr = CeedOperatorGetActiveElemRestriction(op, &rstr_in); CeedChk(ierr); 455e79b91d9SJeremy L Thompson CeedInt num_elem, elem_size, num_comp; 456eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetNumElements(rstr_in, &num_elem); CeedChk(ierr); 457eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetElementSize(rstr_in, &elem_size); CeedChk(ierr); 458eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetNumComponents(rstr_in, &num_comp); CeedChk(ierr); 459eaf62fffSJeremy L Thompson CeedInt layout_er[3]; 460eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetELayout(rstr_in, &layout_er); CeedChk(ierr); 461eaf62fffSJeremy L Thompson 462eaf62fffSJeremy L Thompson CeedInt local_num_entries = elem_size*num_comp * elem_size*num_comp * num_elem; 463eaf62fffSJeremy L Thompson 464eaf62fffSJeremy L Thompson // Determine elem_dof relation 465eaf62fffSJeremy L Thompson CeedVector index_vec; 466eaf62fffSJeremy L Thompson ierr = CeedVectorCreate(ceed, num_nodes, &index_vec); CeedChk(ierr); 467eaf62fffSJeremy L Thompson CeedScalar *array; 4689c774eddSJeremy L Thompson ierr = CeedVectorGetArrayWrite(index_vec, CEED_MEM_HOST, &array); CeedChk(ierr); 469eaf62fffSJeremy L Thompson for (CeedInt i = 0; i < num_nodes; ++i) { 470eaf62fffSJeremy L Thompson array[i] = i; 471eaf62fffSJeremy L Thompson } 472eaf62fffSJeremy L Thompson ierr = CeedVectorRestoreArray(index_vec, &array); CeedChk(ierr); 473eaf62fffSJeremy L Thompson CeedVector elem_dof; 474eaf62fffSJeremy L Thompson ierr = CeedVectorCreate(ceed, num_elem * elem_size * num_comp, &elem_dof); 475eaf62fffSJeremy L Thompson CeedChk(ierr); 476eaf62fffSJeremy L Thompson ierr = CeedVectorSetValue(elem_dof, 0.0); CeedChk(ierr); 477eaf62fffSJeremy L Thompson CeedElemRestrictionApply(rstr_in, CEED_NOTRANSPOSE, index_vec, 478eaf62fffSJeremy L Thompson elem_dof, CEED_REQUEST_IMMEDIATE); CeedChk(ierr); 479eaf62fffSJeremy L Thompson const CeedScalar *elem_dof_a; 480eaf62fffSJeremy L Thompson ierr = CeedVectorGetArrayRead(elem_dof, CEED_MEM_HOST, &elem_dof_a); 481eaf62fffSJeremy L Thompson CeedChk(ierr); 482eaf62fffSJeremy L Thompson ierr = CeedVectorDestroy(&index_vec); CeedChk(ierr); 483eaf62fffSJeremy L Thompson 484eaf62fffSJeremy L Thompson // Determine i, j locations for element matrices 485eaf62fffSJeremy L Thompson CeedInt count = 0; 48692ae7e47SJeremy L Thompson for (CeedInt e = 0; e < num_elem; ++e) { 48792ae7e47SJeremy L Thompson for (CeedInt comp_in = 0; comp_in < num_comp; ++comp_in) { 48892ae7e47SJeremy L Thompson for (CeedInt comp_out = 0; comp_out < num_comp; ++comp_out) { 48992ae7e47SJeremy L Thompson for (CeedInt i = 0; i < elem_size; ++i) { 49092ae7e47SJeremy L Thompson for (CeedInt j = 0; j < elem_size; ++j) { 491eaf62fffSJeremy L Thompson const CeedInt elem_dof_index_row = (i)*layout_er[0] + 492eaf62fffSJeremy L Thompson (comp_out)*layout_er[1] + e*layout_er[2]; 493eaf62fffSJeremy L Thompson const CeedInt elem_dof_index_col = (j)*layout_er[0] + 494eaf62fffSJeremy L Thompson (comp_in)*layout_er[1] + e*layout_er[2]; 495eaf62fffSJeremy L Thompson 496eaf62fffSJeremy L Thompson const CeedInt row = elem_dof_a[elem_dof_index_row]; 497eaf62fffSJeremy L Thompson const CeedInt col = elem_dof_a[elem_dof_index_col]; 498eaf62fffSJeremy L Thompson 499eaf62fffSJeremy L Thompson rows[offset + count] = row; 500eaf62fffSJeremy L Thompson cols[offset + count] = col; 501eaf62fffSJeremy L Thompson count++; 502eaf62fffSJeremy L Thompson } 503eaf62fffSJeremy L Thompson } 504eaf62fffSJeremy L Thompson } 505eaf62fffSJeremy L Thompson } 506eaf62fffSJeremy L Thompson } 507eaf62fffSJeremy L Thompson if (count != local_num_entries) 508eaf62fffSJeremy L Thompson // LCOV_EXCL_START 509eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_MAJOR, "Error computing assembled entries"); 510eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 511eaf62fffSJeremy L Thompson ierr = CeedVectorRestoreArrayRead(elem_dof, &elem_dof_a); CeedChk(ierr); 512eaf62fffSJeremy L Thompson ierr = CeedVectorDestroy(&elem_dof); CeedChk(ierr); 513eaf62fffSJeremy L Thompson 514eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 515eaf62fffSJeremy L Thompson } 516eaf62fffSJeremy L Thompson 517eaf62fffSJeremy L Thompson /** 518eaf62fffSJeremy L Thompson @brief Assemble nonzero entries for non-composite operator 519eaf62fffSJeremy L Thompson 520eaf62fffSJeremy L Thompson Users should generally use CeedOperatorLinearAssemble() 521eaf62fffSJeremy L Thompson 522eaf62fffSJeremy L Thompson @param[in] op CeedOperator to assemble 523eaf62fffSJeremy L Thompson @param[out] offset Offest for number of entries 524eaf62fffSJeremy L Thompson @param[out] values Values to assemble into matrix 525eaf62fffSJeremy L Thompson 526eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 527eaf62fffSJeremy L Thompson 528eaf62fffSJeremy L Thompson @ref Developer 529eaf62fffSJeremy L Thompson **/ 530eaf62fffSJeremy L Thompson static int CeedSingleOperatorAssemble(CeedOperator op, CeedInt offset, 531eaf62fffSJeremy L Thompson CeedVector values) { 532eaf62fffSJeremy L Thompson int ierr; 533eaf62fffSJeremy L Thompson Ceed ceed = op->ceed; 534f04ea552SJeremy L Thompson if (op->is_composite) 535eaf62fffSJeremy L Thompson // LCOV_EXCL_START 536eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_UNSUPPORTED, 537eaf62fffSJeremy L Thompson "Composite operator not supported"); 538eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 539eaf62fffSJeremy L Thompson 540eaf62fffSJeremy L Thompson // Assemble QFunction 541eaf62fffSJeremy L Thompson CeedQFunction qf; 542eaf62fffSJeremy L Thompson ierr = CeedOperatorGetQFunction(op, &qf); CeedChk(ierr); 543eaf62fffSJeremy L Thompson CeedVector assembled_qf; 544eaf62fffSJeremy L Thompson CeedElemRestriction rstr_q; 54570a7ffb3SJeremy L Thompson ierr = CeedOperatorLinearAssembleQFunctionBuildOrUpdate( 546eaf62fffSJeremy L Thompson op, &assembled_qf, &rstr_q, CEED_REQUEST_IMMEDIATE); CeedChk(ierr); 547eaf62fffSJeremy L Thompson 5481f9221feSJeremy L Thompson CeedSize qf_length; 549eaf62fffSJeremy L Thompson ierr = CeedVectorGetLength(assembled_qf, &qf_length); CeedChk(ierr); 550eaf62fffSJeremy L Thompson 5517e7773b5SJeremy L Thompson CeedInt num_input_fields, num_output_fields; 552eaf62fffSJeremy L Thompson CeedOperatorField *input_fields; 553eaf62fffSJeremy L Thompson CeedOperatorField *output_fields; 5547e7773b5SJeremy L Thompson ierr = CeedOperatorGetFields(op, &num_input_fields, &input_fields, 5557e7773b5SJeremy L Thompson &num_output_fields, &output_fields); CeedChk(ierr); 556eaf62fffSJeremy L Thompson 557eaf62fffSJeremy L Thompson // Determine active input basis 558eaf62fffSJeremy L Thompson CeedQFunctionField *qf_fields; 5597e7773b5SJeremy L Thompson ierr = CeedQFunctionGetFields(qf, NULL, &qf_fields, NULL, NULL); CeedChk(ierr); 560eaf62fffSJeremy L Thompson CeedInt num_eval_mode_in = 0, dim = 1; 561eaf62fffSJeremy L Thompson CeedEvalMode *eval_mode_in = NULL; 562eaf62fffSJeremy L Thompson CeedBasis basis_in = NULL; 563eaf62fffSJeremy L Thompson CeedElemRestriction rstr_in = NULL; 564eaf62fffSJeremy L Thompson for (CeedInt i=0; i<num_input_fields; i++) { 565eaf62fffSJeremy L Thompson CeedVector vec; 566eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetVector(input_fields[i], &vec); CeedChk(ierr); 567eaf62fffSJeremy L Thompson if (vec == CEED_VECTOR_ACTIVE) { 568eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetBasis(input_fields[i], &basis_in); 569eaf62fffSJeremy L Thompson CeedChk(ierr); 570eaf62fffSJeremy L Thompson ierr = CeedBasisGetDimension(basis_in, &dim); CeedChk(ierr); 571eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetElemRestriction(input_fields[i], &rstr_in); 572eaf62fffSJeremy L Thompson CeedChk(ierr); 573eaf62fffSJeremy L Thompson CeedEvalMode eval_mode; 574eaf62fffSJeremy L Thompson ierr = CeedQFunctionFieldGetEvalMode(qf_fields[i], &eval_mode); 575eaf62fffSJeremy L Thompson CeedChk(ierr); 576eaf62fffSJeremy L Thompson switch (eval_mode) { 577eaf62fffSJeremy L Thompson case CEED_EVAL_NONE: 578eaf62fffSJeremy L Thompson case CEED_EVAL_INTERP: 579eaf62fffSJeremy L Thompson ierr = CeedRealloc(num_eval_mode_in + 1, &eval_mode_in); CeedChk(ierr); 580eaf62fffSJeremy L Thompson eval_mode_in[num_eval_mode_in] = eval_mode; 581eaf62fffSJeremy L Thompson num_eval_mode_in += 1; 582eaf62fffSJeremy L Thompson break; 583eaf62fffSJeremy L Thompson case CEED_EVAL_GRAD: 584eaf62fffSJeremy L Thompson ierr = CeedRealloc(num_eval_mode_in + dim, &eval_mode_in); CeedChk(ierr); 585eaf62fffSJeremy L Thompson for (CeedInt d=0; d<dim; d++) { 586eaf62fffSJeremy L Thompson eval_mode_in[num_eval_mode_in+d] = eval_mode; 587eaf62fffSJeremy L Thompson } 588eaf62fffSJeremy L Thompson num_eval_mode_in += dim; 589eaf62fffSJeremy L Thompson break; 590eaf62fffSJeremy L Thompson case CEED_EVAL_WEIGHT: 591eaf62fffSJeremy L Thompson case CEED_EVAL_DIV: 592eaf62fffSJeremy L Thompson case CEED_EVAL_CURL: 593eaf62fffSJeremy L Thompson break; // Caught by QF Assembly 594eaf62fffSJeremy L Thompson } 595eaf62fffSJeremy L Thompson } 596eaf62fffSJeremy L Thompson } 597eaf62fffSJeremy L Thompson 598eaf62fffSJeremy L Thompson // Determine active output basis 5997e7773b5SJeremy L Thompson ierr = CeedQFunctionGetFields(qf, NULL, NULL, NULL, &qf_fields); CeedChk(ierr); 600eaf62fffSJeremy L Thompson CeedInt num_eval_mode_out = 0; 601eaf62fffSJeremy L Thompson CeedEvalMode *eval_mode_out = NULL; 602eaf62fffSJeremy L Thompson CeedBasis basis_out = NULL; 603eaf62fffSJeremy L Thompson CeedElemRestriction rstr_out = NULL; 604eaf62fffSJeremy L Thompson for (CeedInt i=0; i<num_output_fields; i++) { 605eaf62fffSJeremy L Thompson CeedVector vec; 606eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetVector(output_fields[i], &vec); CeedChk(ierr); 607eaf62fffSJeremy L Thompson if (vec == CEED_VECTOR_ACTIVE) { 608eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetBasis(output_fields[i], &basis_out); 609eaf62fffSJeremy L Thompson CeedChk(ierr); 610eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetElemRestriction(output_fields[i], &rstr_out); 611eaf62fffSJeremy L Thompson CeedChk(ierr); 612eaf62fffSJeremy L Thompson CeedEvalMode eval_mode; 613eaf62fffSJeremy L Thompson ierr = CeedQFunctionFieldGetEvalMode(qf_fields[i], &eval_mode); 614eaf62fffSJeremy L Thompson CeedChk(ierr); 615eaf62fffSJeremy L Thompson switch (eval_mode) { 616eaf62fffSJeremy L Thompson case CEED_EVAL_NONE: 617eaf62fffSJeremy L Thompson case CEED_EVAL_INTERP: 618eaf62fffSJeremy L Thompson ierr = CeedRealloc(num_eval_mode_out + 1, &eval_mode_out); CeedChk(ierr); 619eaf62fffSJeremy L Thompson eval_mode_out[num_eval_mode_out] = eval_mode; 620eaf62fffSJeremy L Thompson num_eval_mode_out += 1; 621eaf62fffSJeremy L Thompson break; 622eaf62fffSJeremy L Thompson case CEED_EVAL_GRAD: 623eaf62fffSJeremy L Thompson ierr = CeedRealloc(num_eval_mode_out + dim, &eval_mode_out); CeedChk(ierr); 624eaf62fffSJeremy L Thompson for (CeedInt d=0; d<dim; d++) { 625eaf62fffSJeremy L Thompson eval_mode_out[num_eval_mode_out+d] = eval_mode; 626eaf62fffSJeremy L Thompson } 627eaf62fffSJeremy L Thompson num_eval_mode_out += dim; 628eaf62fffSJeremy L Thompson break; 629eaf62fffSJeremy L Thompson case CEED_EVAL_WEIGHT: 630eaf62fffSJeremy L Thompson case CEED_EVAL_DIV: 631eaf62fffSJeremy L Thompson case CEED_EVAL_CURL: 632eaf62fffSJeremy L Thompson break; // Caught by QF Assembly 633eaf62fffSJeremy L Thompson } 634eaf62fffSJeremy L Thompson } 635eaf62fffSJeremy L Thompson } 636eaf62fffSJeremy L Thompson 637eaf62fffSJeremy L Thompson if (num_eval_mode_in == 0 || num_eval_mode_out == 0) 638eaf62fffSJeremy L Thompson // LCOV_EXCL_START 639eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_UNSUPPORTED, 640eaf62fffSJeremy L Thompson "Cannot assemble operator with out inputs/outputs"); 641eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 642eaf62fffSJeremy L Thompson 643eaf62fffSJeremy L Thompson CeedInt num_elem, elem_size, num_qpts, num_comp; 644eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetNumElements(rstr_in, &num_elem); CeedChk(ierr); 645eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetElementSize(rstr_in, &elem_size); CeedChk(ierr); 646eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetNumComponents(rstr_in, &num_comp); CeedChk(ierr); 647eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints(basis_in, &num_qpts); CeedChk(ierr); 648eaf62fffSJeremy L Thompson 649eaf62fffSJeremy L Thompson CeedInt local_num_entries = elem_size*num_comp * elem_size*num_comp * num_elem; 650eaf62fffSJeremy L Thompson 651eaf62fffSJeremy L Thompson // loop over elements and put in data structure 652eaf62fffSJeremy L Thompson const CeedScalar *interp_in, *grad_in; 653eaf62fffSJeremy L Thompson ierr = CeedBasisGetInterp(basis_in, &interp_in); CeedChk(ierr); 654eaf62fffSJeremy L Thompson ierr = CeedBasisGetGrad(basis_in, &grad_in); CeedChk(ierr); 655eaf62fffSJeremy L Thompson 656eaf62fffSJeremy L Thompson const CeedScalar *assembled_qf_array; 657eaf62fffSJeremy L Thompson ierr = CeedVectorGetArrayRead(assembled_qf, CEED_MEM_HOST, &assembled_qf_array); 658eaf62fffSJeremy L Thompson CeedChk(ierr); 659eaf62fffSJeremy L Thompson 660eaf62fffSJeremy L Thompson CeedInt layout_qf[3]; 661eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetELayout(rstr_q, &layout_qf); CeedChk(ierr); 662eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionDestroy(&rstr_q); CeedChk(ierr); 663eaf62fffSJeremy L Thompson 664eaf62fffSJeremy L Thompson // we store B_mat_in, B_mat_out, BTD, elem_mat in row-major order 665eaf62fffSJeremy L Thompson CeedScalar B_mat_in[(num_qpts * num_eval_mode_in) * elem_size]; 666eaf62fffSJeremy L Thompson CeedScalar B_mat_out[(num_qpts * num_eval_mode_out) * elem_size]; 667eaf62fffSJeremy L Thompson CeedScalar D_mat[num_eval_mode_out * num_eval_mode_in * 668eaf62fffSJeremy L Thompson num_qpts]; // logically 3-tensor 669eaf62fffSJeremy L Thompson CeedScalar BTD[elem_size * num_qpts*num_eval_mode_in]; 670eaf62fffSJeremy L Thompson CeedScalar elem_mat[elem_size * elem_size]; 67192ae7e47SJeremy L Thompson CeedInt count = 0; 672eaf62fffSJeremy L Thompson CeedScalar *vals; 6739c774eddSJeremy L Thompson ierr = CeedVectorGetArrayWrite(values, CEED_MEM_HOST, &vals); CeedChk(ierr); 67492ae7e47SJeremy L Thompson for (CeedInt e = 0; e < num_elem; ++e) { 67592ae7e47SJeremy L Thompson for (CeedInt comp_in = 0; comp_in < num_comp; ++comp_in) { 67692ae7e47SJeremy L Thompson for (CeedInt comp_out = 0; comp_out < num_comp; ++comp_out) { 67792ae7e47SJeremy L Thompson for (CeedInt ell = 0; ell < (num_qpts * num_eval_mode_in) * elem_size; ++ell) { 678eaf62fffSJeremy L Thompson B_mat_in[ell] = 0.0; 679eaf62fffSJeremy L Thompson } 68092ae7e47SJeremy L Thompson for (CeedInt ell = 0; ell < (num_qpts * num_eval_mode_out) * elem_size; ++ell) { 681eaf62fffSJeremy L Thompson B_mat_out[ell] = 0.0; 682eaf62fffSJeremy L Thompson } 683eaf62fffSJeremy L Thompson // Store block-diagonal D matrix as collection of small dense blocks 68492ae7e47SJeremy L Thompson for (CeedInt ell = 0; ell < num_eval_mode_in*num_eval_mode_out*num_qpts; ++ell) { 685eaf62fffSJeremy L Thompson D_mat[ell] = 0.0; 686eaf62fffSJeremy L Thompson } 687eaf62fffSJeremy L Thompson // form element matrix itself (for each block component) 68892ae7e47SJeremy L Thompson for (CeedInt ell = 0; ell < elem_size*elem_size; ++ell) { 689eaf62fffSJeremy L Thompson elem_mat[ell] = 0.0; 690eaf62fffSJeremy L Thompson } 69192ae7e47SJeremy L Thompson for (CeedInt q = 0; q < num_qpts; ++q) { 69292ae7e47SJeremy L Thompson for (CeedInt n = 0; n < elem_size; ++n) { 693eaf62fffSJeremy L Thompson CeedInt d_in = -1; 69492ae7e47SJeremy L Thompson for (CeedInt e_in = 0; e_in < num_eval_mode_in; ++e_in) { 69592ae7e47SJeremy L Thompson const CeedInt qq = num_eval_mode_in*q; 696eaf62fffSJeremy L Thompson if (eval_mode_in[e_in] == CEED_EVAL_INTERP) { 697eaf62fffSJeremy L Thompson B_mat_in[(qq+e_in)*elem_size + n] += interp_in[q * elem_size + n]; 698eaf62fffSJeremy L Thompson } else if (eval_mode_in[e_in] == CEED_EVAL_GRAD) { 699eaf62fffSJeremy L Thompson d_in += 1; 700eaf62fffSJeremy L Thompson B_mat_in[(qq+e_in)*elem_size + n] += 701eaf62fffSJeremy L Thompson grad_in[(d_in*num_qpts+q) * elem_size + n]; 702eaf62fffSJeremy L Thompson } else { 703eaf62fffSJeremy L Thompson // LCOV_EXCL_START 704eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_UNSUPPORTED, "Not implemented!"); 705eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 706eaf62fffSJeremy L Thompson } 707eaf62fffSJeremy L Thompson } 708eaf62fffSJeremy L Thompson CeedInt d_out = -1; 70992ae7e47SJeremy L Thompson for (CeedInt e_out = 0; e_out < num_eval_mode_out; ++e_out) { 71092ae7e47SJeremy L Thompson const CeedInt qq = num_eval_mode_out*q; 711eaf62fffSJeremy L Thompson if (eval_mode_out[e_out] == CEED_EVAL_INTERP) { 712eaf62fffSJeremy L Thompson B_mat_out[(qq+e_out)*elem_size + n] += interp_in[q * elem_size + n]; 713eaf62fffSJeremy L Thompson } else if (eval_mode_out[e_out] == CEED_EVAL_GRAD) { 714eaf62fffSJeremy L Thompson d_out += 1; 715eaf62fffSJeremy L Thompson B_mat_out[(qq+e_out)*elem_size + n] += 716eaf62fffSJeremy L Thompson grad_in[(d_out*num_qpts+q) * elem_size + n]; 717eaf62fffSJeremy L Thompson } else { 718eaf62fffSJeremy L Thompson // LCOV_EXCL_START 719eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_UNSUPPORTED, "Not implemented!"); 720eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 721eaf62fffSJeremy L Thompson } 722eaf62fffSJeremy L Thompson } 723eaf62fffSJeremy L Thompson } 72492ae7e47SJeremy L Thompson for (CeedInt ei = 0; ei < num_eval_mode_out; ++ei) { 72592ae7e47SJeremy L Thompson for (CeedInt ej = 0; ej < num_eval_mode_in; ++ej) { 72692ae7e47SJeremy L Thompson const CeedInt eval_mode_index = ((ei*num_comp+comp_in)*num_eval_mode_in+ej)*num_comp 727eaf62fffSJeremy L Thompson +comp_out; 72892ae7e47SJeremy L Thompson const CeedInt index = q*layout_qf[0] + eval_mode_index*layout_qf[1] + 729eaf62fffSJeremy L Thompson e*layout_qf[2]; 730eaf62fffSJeremy L Thompson D_mat[(ei*num_eval_mode_in+ej)*num_qpts + q] += assembled_qf_array[index]; 731eaf62fffSJeremy L Thompson } 732eaf62fffSJeremy L Thompson } 733eaf62fffSJeremy L Thompson } 734eaf62fffSJeremy L Thompson // Compute B^T*D 73592ae7e47SJeremy L Thompson for (CeedInt ell = 0; ell < elem_size*num_qpts*num_eval_mode_in; ++ell) { 736eaf62fffSJeremy L Thompson BTD[ell] = 0.0; 737eaf62fffSJeremy L Thompson } 73892ae7e47SJeremy L Thompson for (CeedInt j = 0; j<elem_size; ++j) { 73992ae7e47SJeremy L Thompson for (CeedInt q = 0; q<num_qpts; ++q) { 74092ae7e47SJeremy L Thompson const CeedInt qq = num_eval_mode_out*q; 74192ae7e47SJeremy L Thompson for (CeedInt ei = 0; ei < num_eval_mode_in; ++ei) { 74292ae7e47SJeremy L Thompson for (CeedInt ej = 0; ej < num_eval_mode_out; ++ej) { 743eaf62fffSJeremy L Thompson BTD[j*(num_qpts*num_eval_mode_in) + (qq+ei)] += 744eaf62fffSJeremy L Thompson B_mat_out[(qq+ej)*elem_size + j] * D_mat[(ei*num_eval_mode_in+ej)*num_qpts + q]; 745eaf62fffSJeremy L Thompson } 746eaf62fffSJeremy L Thompson } 747eaf62fffSJeremy L Thompson } 748eaf62fffSJeremy L Thompson } 749eaf62fffSJeremy L Thompson 750eaf62fffSJeremy L Thompson ierr = CeedMatrixMultiply(ceed, BTD, B_mat_in, elem_mat, elem_size, 751eaf62fffSJeremy L Thompson elem_size, num_qpts*num_eval_mode_in); CeedChk(ierr); 752eaf62fffSJeremy L Thompson 753eaf62fffSJeremy L Thompson // put element matrix in coordinate data structure 75492ae7e47SJeremy L Thompson for (CeedInt i = 0; i < elem_size; ++i) { 75592ae7e47SJeremy L Thompson for (CeedInt j = 0; j < elem_size; ++j) { 756eaf62fffSJeremy L Thompson vals[offset + count] = elem_mat[i*elem_size + j]; 757eaf62fffSJeremy L Thompson count++; 758eaf62fffSJeremy L Thompson } 759eaf62fffSJeremy L Thompson } 760eaf62fffSJeremy L Thompson } 761eaf62fffSJeremy L Thompson } 762eaf62fffSJeremy L Thompson } 763eaf62fffSJeremy L Thompson if (count != local_num_entries) 764eaf62fffSJeremy L Thompson // LCOV_EXCL_START 765eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_MAJOR, "Error computing entries"); 766eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 767eaf62fffSJeremy L Thompson ierr = CeedVectorRestoreArray(values, &vals); CeedChk(ierr); 768eaf62fffSJeremy L Thompson 769eaf62fffSJeremy L Thompson ierr = CeedVectorRestoreArrayRead(assembled_qf, &assembled_qf_array); 770eaf62fffSJeremy L Thompson CeedChk(ierr); 771eaf62fffSJeremy L Thompson ierr = CeedVectorDestroy(&assembled_qf); CeedChk(ierr); 772eaf62fffSJeremy L Thompson ierr = CeedFree(&eval_mode_in); CeedChk(ierr); 773eaf62fffSJeremy L Thompson ierr = CeedFree(&eval_mode_out); CeedChk(ierr); 774eaf62fffSJeremy L Thompson 775eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 776eaf62fffSJeremy L Thompson } 777eaf62fffSJeremy L Thompson 778eaf62fffSJeremy L Thompson /** 779eaf62fffSJeremy L Thompson @brief Count number of entries for assembled CeedOperator 780eaf62fffSJeremy L Thompson 781eaf62fffSJeremy L Thompson @param[in] op CeedOperator to assemble 782eaf62fffSJeremy L Thompson @param[out] num_entries Number of entries in assembled representation 783eaf62fffSJeremy L Thompson 784eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 785eaf62fffSJeremy L Thompson 786eaf62fffSJeremy L Thompson @ref Utility 787eaf62fffSJeremy L Thompson **/ 788eaf62fffSJeremy L Thompson static int CeedSingleOperatorAssemblyCountEntries(CeedOperator op, 789eaf62fffSJeremy L Thompson CeedInt *num_entries) { 790eaf62fffSJeremy L Thompson int ierr; 791eaf62fffSJeremy L Thompson CeedElemRestriction rstr; 792eaf62fffSJeremy L Thompson CeedInt num_elem, elem_size, num_comp; 793eaf62fffSJeremy L Thompson 794f04ea552SJeremy L Thompson if (op->is_composite) 795eaf62fffSJeremy L Thompson // LCOV_EXCL_START 796eaf62fffSJeremy L Thompson return CeedError(op->ceed, CEED_ERROR_UNSUPPORTED, 797eaf62fffSJeremy L Thompson "Composite operator not supported"); 798eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 799eaf62fffSJeremy L Thompson ierr = CeedOperatorGetActiveElemRestriction(op, &rstr); CeedChk(ierr); 800eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetNumElements(rstr, &num_elem); CeedChk(ierr); 801eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetElementSize(rstr, &elem_size); CeedChk(ierr); 802eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetNumComponents(rstr, &num_comp); CeedChk(ierr); 803eaf62fffSJeremy L Thompson *num_entries = elem_size*num_comp * elem_size*num_comp * num_elem; 804eaf62fffSJeremy L Thompson 805eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 806eaf62fffSJeremy L Thompson } 807eaf62fffSJeremy L Thompson 808eaf62fffSJeremy L Thompson /** 809eaf62fffSJeremy L Thompson @brief Common code for creating a multigrid coarse operator and level 810eaf62fffSJeremy L Thompson transfer operators for a CeedOperator 811eaf62fffSJeremy L Thompson 812eaf62fffSJeremy L Thompson @param[in] op_fine Fine grid operator 813eaf62fffSJeremy L Thompson @param[in] p_mult_fine L-vector multiplicity in parallel gather/scatter 814eaf62fffSJeremy L Thompson @param[in] rstr_coarse Coarse grid restriction 815eaf62fffSJeremy L Thompson @param[in] basis_coarse Coarse grid active vector basis 816eaf62fffSJeremy L Thompson @param[in] basis_c_to_f Basis for coarse to fine interpolation 817eaf62fffSJeremy L Thompson @param[out] op_coarse Coarse grid operator 818eaf62fffSJeremy L Thompson @param[out] op_prolong Coarse to fine operator 819eaf62fffSJeremy L Thompson @param[out] op_restrict Fine to coarse operator 820eaf62fffSJeremy L Thompson 821eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 822eaf62fffSJeremy L Thompson 823eaf62fffSJeremy L Thompson @ref Developer 824eaf62fffSJeremy L Thompson **/ 825eaf62fffSJeremy L Thompson static int CeedSingleOperatorMultigridLevel(CeedOperator op_fine, 826eaf62fffSJeremy L Thompson CeedVector p_mult_fine, CeedElemRestriction rstr_coarse, CeedBasis basis_coarse, 827eaf62fffSJeremy L Thompson CeedBasis basis_c_to_f, CeedOperator *op_coarse, CeedOperator *op_prolong, 828eaf62fffSJeremy L Thompson CeedOperator *op_restrict) { 829eaf62fffSJeremy L Thompson int ierr; 830eaf62fffSJeremy L Thompson Ceed ceed; 831eaf62fffSJeremy L Thompson ierr = CeedOperatorGetCeed(op_fine, &ceed); CeedChk(ierr); 832eaf62fffSJeremy L Thompson 833eaf62fffSJeremy L Thompson // Check for composite operator 834eaf62fffSJeremy L Thompson bool is_composite; 835eaf62fffSJeremy L Thompson ierr = CeedOperatorIsComposite(op_fine, &is_composite); CeedChk(ierr); 836eaf62fffSJeremy L Thompson if (is_composite) 837eaf62fffSJeremy L Thompson // LCOV_EXCL_START 838eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_UNSUPPORTED, 839eaf62fffSJeremy L Thompson "Automatic multigrid setup for composite operators not supported"); 840eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 841eaf62fffSJeremy L Thompson 842eaf62fffSJeremy L Thompson // Coarse Grid 843eaf62fffSJeremy L Thompson ierr = CeedOperatorCreate(ceed, op_fine->qf, op_fine->dqf, op_fine->dqfT, 844eaf62fffSJeremy L Thompson op_coarse); CeedChk(ierr); 845eaf62fffSJeremy L Thompson CeedElemRestriction rstr_fine = NULL; 846eaf62fffSJeremy L Thompson // -- Clone input fields 84792ae7e47SJeremy L Thompson for (CeedInt i = 0; i < op_fine->qf->num_input_fields; i++) { 848eaf62fffSJeremy L Thompson if (op_fine->input_fields[i]->vec == CEED_VECTOR_ACTIVE) { 849eaf62fffSJeremy L Thompson rstr_fine = op_fine->input_fields[i]->elem_restr; 850eaf62fffSJeremy L Thompson ierr = CeedOperatorSetField(*op_coarse, op_fine->input_fields[i]->field_name, 851eaf62fffSJeremy L Thompson rstr_coarse, basis_coarse, CEED_VECTOR_ACTIVE); 852eaf62fffSJeremy L Thompson CeedChk(ierr); 853eaf62fffSJeremy L Thompson } else { 854eaf62fffSJeremy L Thompson ierr = CeedOperatorSetField(*op_coarse, op_fine->input_fields[i]->field_name, 855eaf62fffSJeremy L Thompson op_fine->input_fields[i]->elem_restr, 856eaf62fffSJeremy L Thompson op_fine->input_fields[i]->basis, 857eaf62fffSJeremy L Thompson op_fine->input_fields[i]->vec); CeedChk(ierr); 858eaf62fffSJeremy L Thompson } 859eaf62fffSJeremy L Thompson } 860eaf62fffSJeremy L Thompson // -- Clone output fields 86192ae7e47SJeremy L Thompson for (CeedInt i = 0; i < op_fine->qf->num_output_fields; i++) { 862eaf62fffSJeremy L Thompson if (op_fine->output_fields[i]->vec == CEED_VECTOR_ACTIVE) { 863eaf62fffSJeremy L Thompson ierr = CeedOperatorSetField(*op_coarse, op_fine->output_fields[i]->field_name, 864eaf62fffSJeremy L Thompson rstr_coarse, basis_coarse, CEED_VECTOR_ACTIVE); 865eaf62fffSJeremy L Thompson CeedChk(ierr); 866eaf62fffSJeremy L Thompson } else { 867eaf62fffSJeremy L Thompson ierr = CeedOperatorSetField(*op_coarse, op_fine->output_fields[i]->field_name, 868eaf62fffSJeremy L Thompson op_fine->output_fields[i]->elem_restr, 869eaf62fffSJeremy L Thompson op_fine->output_fields[i]->basis, 870eaf62fffSJeremy L Thompson op_fine->output_fields[i]->vec); CeedChk(ierr); 871eaf62fffSJeremy L Thompson } 872eaf62fffSJeremy L Thompson } 873af99e877SJeremy L Thompson // -- Clone QFunctionAssemblyData 874af99e877SJeremy L Thompson ierr = CeedQFunctionAssemblyDataReferenceCopy(op_fine->qf_assembled, 875af99e877SJeremy L Thompson &(*op_coarse)->qf_assembled); CeedChk(ierr); 876eaf62fffSJeremy L Thompson 877eaf62fffSJeremy L Thompson // Multiplicity vector 878eaf62fffSJeremy L Thompson CeedVector mult_vec, mult_e_vec; 879eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionCreateVector(rstr_fine, &mult_vec, &mult_e_vec); 880eaf62fffSJeremy L Thompson CeedChk(ierr); 881eaf62fffSJeremy L Thompson ierr = CeedVectorSetValue(mult_e_vec, 0.0); CeedChk(ierr); 882eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionApply(rstr_fine, CEED_NOTRANSPOSE, p_mult_fine, 883eaf62fffSJeremy L Thompson mult_e_vec, CEED_REQUEST_IMMEDIATE); CeedChk(ierr); 884eaf62fffSJeremy L Thompson ierr = CeedVectorSetValue(mult_vec, 0.0); CeedChk(ierr); 885eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionApply(rstr_fine, CEED_TRANSPOSE, mult_e_vec, mult_vec, 886eaf62fffSJeremy L Thompson CEED_REQUEST_IMMEDIATE); CeedChk(ierr); 887eaf62fffSJeremy L Thompson ierr = CeedVectorDestroy(&mult_e_vec); CeedChk(ierr); 888eaf62fffSJeremy L Thompson ierr = CeedVectorReciprocal(mult_vec); CeedChk(ierr); 889eaf62fffSJeremy L Thompson 890eaf62fffSJeremy L Thompson // Restriction 891eaf62fffSJeremy L Thompson CeedInt num_comp; 892eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumComponents(basis_coarse, &num_comp); CeedChk(ierr); 893eaf62fffSJeremy L Thompson CeedQFunction qf_restrict; 894eaf62fffSJeremy L Thompson ierr = CeedQFunctionCreateInteriorByName(ceed, "Scale", &qf_restrict); 895eaf62fffSJeremy L Thompson CeedChk(ierr); 896eaf62fffSJeremy L Thompson CeedInt *num_comp_r_data; 897eaf62fffSJeremy L Thompson ierr = CeedCalloc(1, &num_comp_r_data); CeedChk(ierr); 898eaf62fffSJeremy L Thompson num_comp_r_data[0] = num_comp; 899eaf62fffSJeremy L Thompson CeedQFunctionContext ctx_r; 900eaf62fffSJeremy L Thompson ierr = CeedQFunctionContextCreate(ceed, &ctx_r); CeedChk(ierr); 901eaf62fffSJeremy L Thompson ierr = CeedQFunctionContextSetData(ctx_r, CEED_MEM_HOST, CEED_OWN_POINTER, 902eaf62fffSJeremy L Thompson sizeof(*num_comp_r_data), num_comp_r_data); 903eaf62fffSJeremy L Thompson CeedChk(ierr); 904eaf62fffSJeremy L Thompson ierr = CeedQFunctionSetContext(qf_restrict, ctx_r); CeedChk(ierr); 905eaf62fffSJeremy L Thompson ierr = CeedQFunctionContextDestroy(&ctx_r); CeedChk(ierr); 906eaf62fffSJeremy L Thompson ierr = CeedQFunctionAddInput(qf_restrict, "input", num_comp, CEED_EVAL_NONE); 907eaf62fffSJeremy L Thompson CeedChk(ierr); 908eaf62fffSJeremy L Thompson ierr = CeedQFunctionAddInput(qf_restrict, "scale", num_comp, CEED_EVAL_NONE); 909eaf62fffSJeremy L Thompson CeedChk(ierr); 910eaf62fffSJeremy L Thompson ierr = CeedQFunctionAddOutput(qf_restrict, "output", num_comp, 911eaf62fffSJeremy L Thompson CEED_EVAL_INTERP); CeedChk(ierr); 9126e15d496SJeremy L Thompson ierr = CeedQFunctionSetUserFlopsEstimate(qf_restrict, num_comp); CeedChk(ierr); 913eaf62fffSJeremy L Thompson 914eaf62fffSJeremy L Thompson ierr = CeedOperatorCreate(ceed, qf_restrict, CEED_QFUNCTION_NONE, 915eaf62fffSJeremy L Thompson CEED_QFUNCTION_NONE, op_restrict); 916eaf62fffSJeremy L Thompson CeedChk(ierr); 917eaf62fffSJeremy L Thompson ierr = CeedOperatorSetField(*op_restrict, "input", rstr_fine, 918eaf62fffSJeremy L Thompson CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 919eaf62fffSJeremy L Thompson CeedChk(ierr); 920eaf62fffSJeremy L Thompson ierr = CeedOperatorSetField(*op_restrict, "scale", rstr_fine, 921eaf62fffSJeremy L Thompson CEED_BASIS_COLLOCATED, mult_vec); 922eaf62fffSJeremy L Thompson CeedChk(ierr); 923eaf62fffSJeremy L Thompson ierr = CeedOperatorSetField(*op_restrict, "output", rstr_coarse, basis_c_to_f, 924eaf62fffSJeremy L Thompson CEED_VECTOR_ACTIVE); CeedChk(ierr); 925eaf62fffSJeremy L Thompson 926eaf62fffSJeremy L Thompson // Prolongation 927eaf62fffSJeremy L Thompson CeedQFunction qf_prolong; 928eaf62fffSJeremy L Thompson ierr = CeedQFunctionCreateInteriorByName(ceed, "Scale", &qf_prolong); 929eaf62fffSJeremy L Thompson CeedChk(ierr); 930eaf62fffSJeremy L Thompson CeedInt *num_comp_p_data; 931eaf62fffSJeremy L Thompson ierr = CeedCalloc(1, &num_comp_p_data); CeedChk(ierr); 932eaf62fffSJeremy L Thompson num_comp_p_data[0] = num_comp; 933eaf62fffSJeremy L Thompson CeedQFunctionContext ctx_p; 934eaf62fffSJeremy L Thompson ierr = CeedQFunctionContextCreate(ceed, &ctx_p); CeedChk(ierr); 935eaf62fffSJeremy L Thompson ierr = CeedQFunctionContextSetData(ctx_p, CEED_MEM_HOST, CEED_OWN_POINTER, 936eaf62fffSJeremy L Thompson sizeof(*num_comp_p_data), num_comp_p_data); 937eaf62fffSJeremy L Thompson CeedChk(ierr); 938eaf62fffSJeremy L Thompson ierr = CeedQFunctionSetContext(qf_prolong, ctx_p); CeedChk(ierr); 939eaf62fffSJeremy L Thompson ierr = CeedQFunctionContextDestroy(&ctx_p); CeedChk(ierr); 940eaf62fffSJeremy L Thompson ierr = CeedQFunctionAddInput(qf_prolong, "input", num_comp, CEED_EVAL_INTERP); 941eaf62fffSJeremy L Thompson CeedChk(ierr); 942eaf62fffSJeremy L Thompson ierr = CeedQFunctionAddInput(qf_prolong, "scale", num_comp, CEED_EVAL_NONE); 943eaf62fffSJeremy L Thompson CeedChk(ierr); 944eaf62fffSJeremy L Thompson ierr = CeedQFunctionAddOutput(qf_prolong, "output", num_comp, CEED_EVAL_NONE); 945eaf62fffSJeremy L Thompson CeedChk(ierr); 9466e15d496SJeremy L Thompson ierr = CeedQFunctionSetUserFlopsEstimate(qf_prolong, num_comp); CeedChk(ierr); 947eaf62fffSJeremy L Thompson 948eaf62fffSJeremy L Thompson ierr = CeedOperatorCreate(ceed, qf_prolong, CEED_QFUNCTION_NONE, 949eaf62fffSJeremy L Thompson CEED_QFUNCTION_NONE, op_prolong); 950eaf62fffSJeremy L Thompson CeedChk(ierr); 951eaf62fffSJeremy L Thompson ierr = CeedOperatorSetField(*op_prolong, "input", rstr_coarse, basis_c_to_f, 952eaf62fffSJeremy L Thompson CEED_VECTOR_ACTIVE); CeedChk(ierr); 953eaf62fffSJeremy L Thompson ierr = CeedOperatorSetField(*op_prolong, "scale", rstr_fine, 954eaf62fffSJeremy L Thompson CEED_BASIS_COLLOCATED, mult_vec); 955eaf62fffSJeremy L Thompson CeedChk(ierr); 956eaf62fffSJeremy L Thompson ierr = CeedOperatorSetField(*op_prolong, "output", rstr_fine, 957eaf62fffSJeremy L Thompson CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 958eaf62fffSJeremy L Thompson CeedChk(ierr); 959eaf62fffSJeremy L Thompson 960ea6b5821SJeremy L Thompson // Clone name 961ea6b5821SJeremy L Thompson bool has_name = op_fine->name; 962ea6b5821SJeremy L Thompson size_t name_len = op_fine->name ? strlen(op_fine->name) : 0; 963ea6b5821SJeremy L Thompson ierr = CeedOperatorSetName(*op_coarse, op_fine->name); CeedChk(ierr); 964ea6b5821SJeremy L Thompson { 965ea6b5821SJeremy L Thompson char *prolongation_name; 966ea6b5821SJeremy L Thompson ierr = CeedCalloc(18 + name_len, &prolongation_name); CeedChk(ierr); 967ea6b5821SJeremy L Thompson sprintf(prolongation_name, "prolongation%s%s", has_name ? " for " : "", 968ea6b5821SJeremy L Thompson op_fine->name); 969ea6b5821SJeremy L Thompson ierr = CeedOperatorSetName(*op_prolong, prolongation_name); CeedChk(ierr); 970ea6b5821SJeremy L Thompson ierr = CeedFree(&prolongation_name); CeedChk(ierr); 971ea6b5821SJeremy L Thompson } 972ea6b5821SJeremy L Thompson { 973ea6b5821SJeremy L Thompson char *restriction_name; 974ea6b5821SJeremy L Thompson ierr = CeedCalloc(17 + name_len, &restriction_name); CeedChk(ierr); 975ea6b5821SJeremy L Thompson sprintf(restriction_name, "restriction%s%s", has_name ? " for " : "", 976ea6b5821SJeremy L Thompson op_fine->name); 977ea6b5821SJeremy L Thompson ierr = CeedOperatorSetName(*op_restrict, restriction_name); CeedChk(ierr); 978ea6b5821SJeremy L Thompson ierr = CeedFree(&restriction_name); CeedChk(ierr); 979ea6b5821SJeremy L Thompson } 980ea6b5821SJeremy L Thompson 981eaf62fffSJeremy L Thompson // Cleanup 982eaf62fffSJeremy L Thompson ierr = CeedVectorDestroy(&mult_vec); CeedChk(ierr); 983eaf62fffSJeremy L Thompson ierr = CeedBasisDestroy(&basis_c_to_f); CeedChk(ierr); 984eaf62fffSJeremy L Thompson ierr = CeedQFunctionDestroy(&qf_restrict); CeedChk(ierr); 985eaf62fffSJeremy L Thompson ierr = CeedQFunctionDestroy(&qf_prolong); CeedChk(ierr); 986805fe78eSJeremy L Thompson 987eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 988eaf62fffSJeremy L Thompson } 989eaf62fffSJeremy L Thompson 990eaf62fffSJeremy L Thompson /** 991eaf62fffSJeremy L Thompson @brief Build 1D mass matrix and Laplacian with perturbation 992eaf62fffSJeremy L Thompson 993eaf62fffSJeremy L Thompson @param[in] interp_1d Interpolation matrix in one dimension 994eaf62fffSJeremy L Thompson @param[in] grad_1d Gradient matrix in one dimension 995eaf62fffSJeremy L Thompson @param[in] q_weight_1d Quadrature weights in one dimension 996eaf62fffSJeremy L Thompson @param[in] P_1d Number of basis nodes in one dimension 997eaf62fffSJeremy L Thompson @param[in] Q_1d Number of quadrature points in one dimension 998eaf62fffSJeremy L Thompson @param[in] dim Dimension of basis 999eaf62fffSJeremy L Thompson @param[out] mass Assembled mass matrix in one dimension 1000eaf62fffSJeremy L Thompson @param[out] laplace Assembled perturbed Laplacian in one dimension 1001eaf62fffSJeremy L Thompson 1002eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1003eaf62fffSJeremy L Thompson 1004eaf62fffSJeremy L Thompson @ref Developer 1005eaf62fffSJeremy L Thompson **/ 1006eaf62fffSJeremy L Thompson CeedPragmaOptimizeOff 1007eaf62fffSJeremy L Thompson static int CeedBuildMassLaplace(const CeedScalar *interp_1d, 1008eaf62fffSJeremy L Thompson const CeedScalar *grad_1d, 1009eaf62fffSJeremy L Thompson const CeedScalar *q_weight_1d, CeedInt P_1d, 1010eaf62fffSJeremy L Thompson CeedInt Q_1d, CeedInt dim, 1011eaf62fffSJeremy L Thompson CeedScalar *mass, CeedScalar *laplace) { 1012eaf62fffSJeremy L Thompson 1013eaf62fffSJeremy L Thompson for (CeedInt i=0; i<P_1d; i++) 1014eaf62fffSJeremy L Thompson for (CeedInt j=0; j<P_1d; j++) { 1015eaf62fffSJeremy L Thompson CeedScalar sum = 0.0; 1016eaf62fffSJeremy L Thompson for (CeedInt k=0; k<Q_1d; k++) 1017eaf62fffSJeremy L Thompson sum += interp_1d[k*P_1d+i]*q_weight_1d[k]*interp_1d[k*P_1d+j]; 1018eaf62fffSJeremy L Thompson mass[i+j*P_1d] = sum; 1019eaf62fffSJeremy L Thompson } 1020eaf62fffSJeremy L Thompson // -- Laplacian 1021eaf62fffSJeremy L Thompson for (CeedInt i=0; i<P_1d; i++) 1022eaf62fffSJeremy L Thompson for (CeedInt j=0; j<P_1d; j++) { 1023eaf62fffSJeremy L Thompson CeedScalar sum = 0.0; 1024eaf62fffSJeremy L Thompson for (CeedInt k=0; k<Q_1d; k++) 1025eaf62fffSJeremy L Thompson sum += grad_1d[k*P_1d+i]*q_weight_1d[k]*grad_1d[k*P_1d+j]; 1026eaf62fffSJeremy L Thompson laplace[i+j*P_1d] = sum; 1027eaf62fffSJeremy L Thompson } 1028eaf62fffSJeremy L Thompson CeedScalar perturbation = dim>2 ? 1e-6 : 1e-4; 1029eaf62fffSJeremy L Thompson for (CeedInt i=0; i<P_1d; i++) 1030eaf62fffSJeremy L Thompson laplace[i+P_1d*i] += perturbation; 1031eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1032eaf62fffSJeremy L Thompson } 1033eaf62fffSJeremy L Thompson CeedPragmaOptimizeOn 1034eaf62fffSJeremy L Thompson 1035eaf62fffSJeremy L Thompson /// @} 1036eaf62fffSJeremy L Thompson 1037eaf62fffSJeremy L Thompson /// ---------------------------------------------------------------------------- 1038480fae85SJeremy L Thompson /// CeedOperator Backend API 1039480fae85SJeremy L Thompson /// ---------------------------------------------------------------------------- 1040480fae85SJeremy L Thompson /// @addtogroup CeedOperatorBackend 1041480fae85SJeremy L Thompson /// @{ 1042480fae85SJeremy L Thompson 1043480fae85SJeremy L Thompson /** 1044480fae85SJeremy L Thompson @brief Create object holding CeedQFunction assembly data for CeedOperator 1045480fae85SJeremy L Thompson 1046480fae85SJeremy L Thompson @param[in] ceed A Ceed object where the CeedQFunctionAssemblyData will be created 1047480fae85SJeremy L Thompson @param[out] data Address of the variable where the newly created 1048480fae85SJeremy L Thompson CeedQFunctionAssemblyData will be stored 1049480fae85SJeremy L Thompson 1050480fae85SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1051480fae85SJeremy L Thompson 1052480fae85SJeremy L Thompson @ref Backend 1053480fae85SJeremy L Thompson **/ 1054480fae85SJeremy L Thompson int CeedQFunctionAssemblyDataCreate(Ceed ceed, 1055480fae85SJeremy L Thompson CeedQFunctionAssemblyData *data) { 1056480fae85SJeremy L Thompson int ierr; 1057480fae85SJeremy L Thompson 1058480fae85SJeremy L Thompson ierr = CeedCalloc(1, data); CeedChk(ierr); 1059480fae85SJeremy L Thompson (*data)->ref_count = 1; 1060480fae85SJeremy L Thompson (*data)->ceed = ceed; 1061480fae85SJeremy L Thompson ierr = CeedReference(ceed); CeedChk(ierr); 1062480fae85SJeremy L Thompson 1063480fae85SJeremy L Thompson return CEED_ERROR_SUCCESS; 1064480fae85SJeremy L Thompson } 1065480fae85SJeremy L Thompson 1066480fae85SJeremy L Thompson /** 1067480fae85SJeremy L Thompson @brief Increment the reference counter for a CeedQFunctionAssemblyData 1068480fae85SJeremy L Thompson 1069480fae85SJeremy L Thompson @param data CeedQFunctionAssemblyData to increment the reference counter 1070480fae85SJeremy L Thompson 1071480fae85SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1072480fae85SJeremy L Thompson 1073480fae85SJeremy L Thompson @ref Backend 1074480fae85SJeremy L Thompson **/ 1075480fae85SJeremy L Thompson int CeedQFunctionAssemblyDataReference(CeedQFunctionAssemblyData data) { 1076480fae85SJeremy L Thompson data->ref_count++; 1077480fae85SJeremy L Thompson return CEED_ERROR_SUCCESS; 1078480fae85SJeremy L Thompson } 1079480fae85SJeremy L Thompson 1080480fae85SJeremy L Thompson /** 1081beecbf24SJeremy L Thompson @brief Set re-use of CeedQFunctionAssemblyData 10828b919e6bSJeremy L Thompson 1083beecbf24SJeremy L Thompson @param data CeedQFunctionAssemblyData to mark for reuse 1084beecbf24SJeremy L Thompson @param reuse_data Boolean flag indicating data re-use 10858b919e6bSJeremy L Thompson 10868b919e6bSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 10878b919e6bSJeremy L Thompson 10888b919e6bSJeremy L Thompson @ref Backend 10898b919e6bSJeremy L Thompson **/ 1090beecbf24SJeremy L Thompson int CeedQFunctionAssemblyDataSetReuse(CeedQFunctionAssemblyData data, 1091beecbf24SJeremy L Thompson bool reuse_data) { 1092beecbf24SJeremy L Thompson data->reuse_data = reuse_data; 1093beecbf24SJeremy L Thompson data->needs_data_update = true; 1094beecbf24SJeremy L Thompson return CEED_ERROR_SUCCESS; 1095beecbf24SJeremy L Thompson } 1096beecbf24SJeremy L Thompson 1097beecbf24SJeremy L Thompson /** 1098beecbf24SJeremy L Thompson @brief Mark QFunctionAssemblyData as stale 1099beecbf24SJeremy L Thompson 1100beecbf24SJeremy L Thompson @param data CeedQFunctionAssemblyData to mark as stale 1101beecbf24SJeremy L Thompson @param needs_data_update Boolean flag indicating if update is needed or completed 1102beecbf24SJeremy L Thompson 1103beecbf24SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1104beecbf24SJeremy L Thompson 1105beecbf24SJeremy L Thompson @ref Backend 1106beecbf24SJeremy L Thompson **/ 1107beecbf24SJeremy L Thompson int CeedQFunctionAssemblyDataSetUpdateNeeded(CeedQFunctionAssemblyData data, 1108beecbf24SJeremy L Thompson bool needs_data_update) { 1109beecbf24SJeremy L Thompson data->needs_data_update = needs_data_update; 11108b919e6bSJeremy L Thompson return CEED_ERROR_SUCCESS; 11118b919e6bSJeremy L Thompson } 11128b919e6bSJeremy L Thompson 11138b919e6bSJeremy L Thompson /** 11148b919e6bSJeremy L Thompson @brief Determine if QFunctionAssemblyData needs update 11158b919e6bSJeremy L Thompson 11168b919e6bSJeremy L Thompson @param[in] data CeedQFunctionAssemblyData to mark as stale 11178b919e6bSJeremy L Thompson @param[out] is_update_needed Boolean flag indicating if re-assembly is required 11188b919e6bSJeremy L Thompson 11198b919e6bSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 11208b919e6bSJeremy L Thompson 11218b919e6bSJeremy L Thompson @ref Backend 11228b919e6bSJeremy L Thompson **/ 11238b919e6bSJeremy L Thompson int CeedQFunctionAssemblyDataIsUpdateNeeded(CeedQFunctionAssemblyData data, 11248b919e6bSJeremy L Thompson bool *is_update_needed) { 1125beecbf24SJeremy L Thompson *is_update_needed = !data->reuse_data || data->needs_data_update; 11268b919e6bSJeremy L Thompson return CEED_ERROR_SUCCESS; 11278b919e6bSJeremy L Thompson } 11288b919e6bSJeremy L Thompson 11298b919e6bSJeremy L Thompson /** 1130480fae85SJeremy L Thompson @brief Copy the pointer to a CeedQFunctionAssemblyData. Both pointers should 1131480fae85SJeremy L Thompson be destroyed with `CeedCeedQFunctionAssemblyDataDestroy()`; 1132480fae85SJeremy L Thompson Note: If `*data_copy` is non-NULL, then it is assumed that 1133480fae85SJeremy L Thompson `*data_copy` is a pointer to a CeedQFunctionAssemblyData. This 1134480fae85SJeremy L Thompson CeedQFunctionAssemblyData will be destroyed if `*data_copy` is 1135480fae85SJeremy L Thompson the only reference to this CeedQFunctionAssemblyData. 1136480fae85SJeremy L Thompson 1137480fae85SJeremy L Thompson @param data CeedQFunctionAssemblyData to copy reference to 1138480fae85SJeremy L Thompson @param[out] data_copy Variable to store copied reference 1139480fae85SJeremy L Thompson 1140480fae85SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1141480fae85SJeremy L Thompson 1142480fae85SJeremy L Thompson @ref Backend 1143480fae85SJeremy L Thompson **/ 1144480fae85SJeremy L Thompson int CeedQFunctionAssemblyDataReferenceCopy(CeedQFunctionAssemblyData data, 1145480fae85SJeremy L Thompson CeedQFunctionAssemblyData *data_copy) { 1146480fae85SJeremy L Thompson int ierr; 1147480fae85SJeremy L Thompson 1148480fae85SJeremy L Thompson ierr = CeedQFunctionAssemblyDataReference(data); CeedChk(ierr); 1149480fae85SJeremy L Thompson ierr = CeedQFunctionAssemblyDataDestroy(data_copy); CeedChk(ierr); 1150480fae85SJeremy L Thompson *data_copy = data; 1151480fae85SJeremy L Thompson return CEED_ERROR_SUCCESS; 1152480fae85SJeremy L Thompson } 1153480fae85SJeremy L Thompson 1154480fae85SJeremy L Thompson /** 1155480fae85SJeremy L Thompson @brief Get setup status for internal objects for CeedQFunctionAssemblyData 1156480fae85SJeremy L Thompson 1157480fae85SJeremy L Thompson @param[in] data CeedQFunctionAssemblyData to retreive status 1158480fae85SJeremy L Thompson @param[out] is_setup Boolean flag for setup status 1159480fae85SJeremy L Thompson 1160480fae85SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1161480fae85SJeremy L Thompson 1162480fae85SJeremy L Thompson @ref Backend 1163480fae85SJeremy L Thompson **/ 1164480fae85SJeremy L Thompson int CeedQFunctionAssemblyDataIsSetup(CeedQFunctionAssemblyData data, 1165480fae85SJeremy L Thompson bool *is_setup) { 1166480fae85SJeremy L Thompson *is_setup = data->is_setup; 1167480fae85SJeremy L Thompson return CEED_ERROR_SUCCESS; 1168480fae85SJeremy L Thompson } 1169480fae85SJeremy L Thompson 1170480fae85SJeremy L Thompson /** 1171480fae85SJeremy L Thompson @brief Set internal objects for CeedQFunctionAssemblyData 1172480fae85SJeremy L Thompson 1173480fae85SJeremy L Thompson @param[in] data CeedQFunctionAssemblyData to set objects 1174480fae85SJeremy L Thompson @param[in] vec CeedVector to store assembled CeedQFunction at quadrature points 1175480fae85SJeremy L Thompson @param[in] rstr CeedElemRestriction for CeedVector containing assembled CeedQFunction 1176480fae85SJeremy L Thompson 1177480fae85SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1178480fae85SJeremy L Thompson 1179480fae85SJeremy L Thompson @ref Backend 1180480fae85SJeremy L Thompson **/ 1181480fae85SJeremy L Thompson int CeedQFunctionAssemblyDataSetObjects(CeedQFunctionAssemblyData data, 1182480fae85SJeremy L Thompson CeedVector vec, CeedElemRestriction rstr) { 1183480fae85SJeremy L Thompson int ierr; 1184480fae85SJeremy L Thompson 11852efa2d85SJeremy L Thompson ierr = CeedVectorReferenceCopy(vec, &data->vec); CeedChk(ierr); 11862efa2d85SJeremy L Thompson ierr = CeedElemRestrictionReferenceCopy(rstr, &data->rstr); CeedChk(ierr); 1187480fae85SJeremy L Thompson 1188480fae85SJeremy L Thompson data->is_setup = true; 1189480fae85SJeremy L Thompson return CEED_ERROR_SUCCESS; 1190480fae85SJeremy L Thompson } 1191480fae85SJeremy L Thompson 1192480fae85SJeremy L Thompson int CeedQFunctionAssemblyDataGetObjects(CeedQFunctionAssemblyData data, 1193480fae85SJeremy L Thompson CeedVector *vec, CeedElemRestriction *rstr) { 11942efa2d85SJeremy L Thompson int ierr; 11952efa2d85SJeremy L Thompson 1196480fae85SJeremy L Thompson if (!data->is_setup) 1197480fae85SJeremy L Thompson // LCOV_EXCL_START 1198480fae85SJeremy L Thompson return CeedError(data->ceed, CEED_ERROR_INCOMPLETE, 1199480fae85SJeremy L Thompson "Internal objects not set; must call CeedQFunctionAssemblyDataSetObjects first."); 1200480fae85SJeremy L Thompson // LCOV_EXCL_STOP 1201480fae85SJeremy L Thompson 12022efa2d85SJeremy L Thompson ierr = CeedVectorReferenceCopy(data->vec, vec); CeedChk(ierr); 12032efa2d85SJeremy L Thompson ierr = CeedElemRestrictionReferenceCopy(data->rstr, rstr); CeedChk(ierr); 1204480fae85SJeremy L Thompson 1205480fae85SJeremy L Thompson return CEED_ERROR_SUCCESS; 1206480fae85SJeremy L Thompson } 1207480fae85SJeremy L Thompson 1208480fae85SJeremy L Thompson /** 1209480fae85SJeremy L Thompson @brief Destroy CeedQFunctionAssemblyData 1210480fae85SJeremy L Thompson 1211480fae85SJeremy L Thompson @param[out] data CeedQFunctionAssemblyData to destroy 1212480fae85SJeremy L Thompson 1213480fae85SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1214480fae85SJeremy L Thompson 1215480fae85SJeremy L Thompson @ref Backend 1216480fae85SJeremy L Thompson **/ 1217480fae85SJeremy L Thompson int CeedQFunctionAssemblyDataDestroy(CeedQFunctionAssemblyData *data) { 1218480fae85SJeremy L Thompson int ierr; 1219480fae85SJeremy L Thompson 1220480fae85SJeremy L Thompson if (!*data || --(*data)->ref_count > 0) return CEED_ERROR_SUCCESS; 1221480fae85SJeremy L Thompson 1222480fae85SJeremy L Thompson ierr = CeedDestroy(&(*data)->ceed); CeedChk(ierr); 1223480fae85SJeremy L Thompson ierr = CeedVectorDestroy(&(*data)->vec); CeedChk(ierr); 1224480fae85SJeremy L Thompson ierr = CeedElemRestrictionDestroy(&(*data)->rstr); CeedChk(ierr); 1225480fae85SJeremy L Thompson 1226480fae85SJeremy L Thompson ierr = CeedFree(data); CeedChk(ierr); 1227480fae85SJeremy L Thompson return CEED_ERROR_SUCCESS; 1228480fae85SJeremy L Thompson } 1229480fae85SJeremy L Thompson 1230480fae85SJeremy L Thompson /// @} 1231480fae85SJeremy L Thompson 1232480fae85SJeremy L Thompson /// ---------------------------------------------------------------------------- 1233eaf62fffSJeremy L Thompson /// CeedOperator Public API 1234eaf62fffSJeremy L Thompson /// ---------------------------------------------------------------------------- 1235eaf62fffSJeremy L Thompson /// @addtogroup CeedOperatorUser 1236eaf62fffSJeremy L Thompson /// @{ 1237eaf62fffSJeremy L Thompson 1238eaf62fffSJeremy L Thompson /** 1239eaf62fffSJeremy L Thompson @brief Assemble a linear CeedQFunction associated with a CeedOperator 1240eaf62fffSJeremy L Thompson 1241eaf62fffSJeremy L Thompson This returns a CeedVector containing a matrix at each quadrature point 1242eaf62fffSJeremy L Thompson providing the action of the CeedQFunction associated with the CeedOperator. 1243eaf62fffSJeremy L Thompson The vector 'assembled' is of shape 1244eaf62fffSJeremy L Thompson [num_elements, num_input_fields, num_output_fields, num_quad_points] 1245eaf62fffSJeremy L Thompson and contains column-major matrices representing the action of the 1246eaf62fffSJeremy L Thompson CeedQFunction for a corresponding quadrature point on an element. Inputs and 1247eaf62fffSJeremy L Thompson outputs are in the order provided by the user when adding CeedOperator fields. 1248eaf62fffSJeremy L Thompson For example, a CeedQFunction with inputs 'u' and 'gradu' and outputs 'gradv' and 1249eaf62fffSJeremy L Thompson 'v', provided in that order, would result in an assembled QFunction that 1250eaf62fffSJeremy L Thompson consists of (1 + dim) x (dim + 1) matrices at each quadrature point acting 1251eaf62fffSJeremy L Thompson on the input [u, du_0, du_1] and producing the output [dv_0, dv_1, v]. 1252eaf62fffSJeremy L Thompson 1253f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 1254f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 1255f04ea552SJeremy L Thompson 1256eaf62fffSJeremy L Thompson @param op CeedOperator to assemble CeedQFunction 1257eaf62fffSJeremy L Thompson @param[out] assembled CeedVector to store assembled CeedQFunction at 1258eaf62fffSJeremy L Thompson quadrature points 1259eaf62fffSJeremy L Thompson @param[out] rstr CeedElemRestriction for CeedVector containing assembled 1260eaf62fffSJeremy L Thompson CeedQFunction 1261eaf62fffSJeremy L Thompson @param request Address of CeedRequest for non-blocking completion, else 1262eaf62fffSJeremy L Thompson @ref CEED_REQUEST_IMMEDIATE 1263eaf62fffSJeremy L Thompson 1264eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1265eaf62fffSJeremy L Thompson 1266eaf62fffSJeremy L Thompson @ref User 1267eaf62fffSJeremy L Thompson **/ 1268eaf62fffSJeremy L Thompson int CeedOperatorLinearAssembleQFunction(CeedOperator op, CeedVector *assembled, 1269eaf62fffSJeremy L Thompson CeedElemRestriction *rstr, 1270eaf62fffSJeremy L Thompson CeedRequest *request) { 1271eaf62fffSJeremy L Thompson int ierr; 1272eaf62fffSJeremy L Thompson ierr = CeedOperatorCheckReady(op); CeedChk(ierr); 1273eaf62fffSJeremy L Thompson 1274eaf62fffSJeremy L Thompson // Backend version 1275eaf62fffSJeremy L Thompson if (op->LinearAssembleQFunction) { 127670a7ffb3SJeremy L Thompson ierr = op->LinearAssembleQFunction(op, assembled, rstr, request); 127770a7ffb3SJeremy L Thompson CeedChk(ierr); 1278eaf62fffSJeremy L Thompson } else { 1279eaf62fffSJeremy L Thompson // Fallback to reference Ceed 1280eaf62fffSJeremy L Thompson if (!op->op_fallback) { 1281eaf62fffSJeremy L Thompson ierr = CeedOperatorCreateFallback(op); CeedChk(ierr); 1282eaf62fffSJeremy L Thompson } 1283eaf62fffSJeremy L Thompson // Assemble 1284eaf62fffSJeremy L Thompson ierr = CeedOperatorLinearAssembleQFunction(op->op_fallback, assembled, 1285eaf62fffSJeremy L Thompson rstr, request); CeedChk(ierr); 128670a7ffb3SJeremy L Thompson } 1287eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1288eaf62fffSJeremy L Thompson } 128970a7ffb3SJeremy L Thompson 129070a7ffb3SJeremy L Thompson /** 129170a7ffb3SJeremy L Thompson @brief Assemble CeedQFunction and store result internall. Return copied 129270a7ffb3SJeremy L Thompson references of stored data to the caller. Caller is responsible for 129370a7ffb3SJeremy L Thompson ownership and destruction of the copied references. See also 129470a7ffb3SJeremy L Thompson @ref CeedOperatorLinearAssembleQFunction 129570a7ffb3SJeremy L Thompson 129670a7ffb3SJeremy L Thompson @param op CeedOperator to assemble CeedQFunction 129770a7ffb3SJeremy L Thompson @param assembled CeedVector to store assembled CeedQFunction at 129870a7ffb3SJeremy L Thompson quadrature points 129970a7ffb3SJeremy L Thompson @param rstr CeedElemRestriction for CeedVector containing assembled 130070a7ffb3SJeremy L Thompson CeedQFunction 130170a7ffb3SJeremy L Thompson @param request Address of CeedRequest for non-blocking completion, else 130270a7ffb3SJeremy L Thompson @ref CEED_REQUEST_IMMEDIATE 130370a7ffb3SJeremy L Thompson 130470a7ffb3SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 130570a7ffb3SJeremy L Thompson 130670a7ffb3SJeremy L Thompson @ref User 130770a7ffb3SJeremy L Thompson **/ 130870a7ffb3SJeremy L Thompson int CeedOperatorLinearAssembleQFunctionBuildOrUpdate(CeedOperator op, 130970a7ffb3SJeremy L Thompson CeedVector *assembled, CeedElemRestriction *rstr, CeedRequest *request) { 131070a7ffb3SJeremy L Thompson int ierr; 131170a7ffb3SJeremy L Thompson ierr = CeedOperatorCheckReady(op); CeedChk(ierr); 131270a7ffb3SJeremy L Thompson 131370a7ffb3SJeremy L Thompson // Backend version 131470a7ffb3SJeremy L Thompson if (op->LinearAssembleQFunctionUpdate) { 1315480fae85SJeremy L Thompson bool qf_assembled_is_setup; 13162efa2d85SJeremy L Thompson CeedVector assembled_vec = NULL; 13172efa2d85SJeremy L Thompson CeedElemRestriction assembled_rstr = NULL; 1318480fae85SJeremy L Thompson 1319480fae85SJeremy L Thompson ierr = CeedQFunctionAssemblyDataIsSetup(op->qf_assembled, 1320480fae85SJeremy L Thompson &qf_assembled_is_setup); CeedChk(ierr); 1321480fae85SJeremy L Thompson if (qf_assembled_is_setup) { 1322480fae85SJeremy L Thompson ierr = CeedQFunctionAssemblyDataGetObjects(op->qf_assembled, &assembled_vec, 1323480fae85SJeremy L Thompson &assembled_rstr); CeedChk(ierr); 13248b919e6bSJeremy L Thompson 13258b919e6bSJeremy L Thompson bool update_needed; 13268b919e6bSJeremy L Thompson ierr = CeedQFunctionAssemblyDataIsUpdateNeeded(op->qf_assembled, 13278b919e6bSJeremy L Thompson &update_needed); CeedChk(ierr); 13288b919e6bSJeremy L Thompson if (update_needed) { 1329480fae85SJeremy L Thompson ierr = op->LinearAssembleQFunctionUpdate(op, assembled_vec, assembled_rstr, 1330480fae85SJeremy L Thompson request); CeedChk(ierr); 13318b919e6bSJeremy L Thompson } 133270a7ffb3SJeremy L Thompson } else { 1333480fae85SJeremy L Thompson ierr = op->LinearAssembleQFunction(op, &assembled_vec, &assembled_rstr, 1334480fae85SJeremy L Thompson request); CeedChk(ierr); 1335480fae85SJeremy L Thompson ierr = CeedQFunctionAssemblyDataSetObjects(op->qf_assembled, assembled_vec, 1336480fae85SJeremy L Thompson assembled_rstr); CeedChk(ierr); 133770a7ffb3SJeremy L Thompson } 1338beecbf24SJeremy L Thompson ierr = CeedQFunctionAssemblyDataSetUpdateNeeded(op->qf_assembled, false); 13398b919e6bSJeremy L Thompson CeedChk(ierr); 13402efa2d85SJeremy L Thompson 134170a7ffb3SJeremy L Thompson // Copy reference to internally held copy 134270a7ffb3SJeremy L Thompson *assembled = NULL; 134370a7ffb3SJeremy L Thompson *rstr = NULL; 1344480fae85SJeremy L Thompson ierr = CeedVectorReferenceCopy(assembled_vec, assembled); CeedChk(ierr); 13452efa2d85SJeremy L Thompson ierr = CeedVectorDestroy(&assembled_vec); CeedChk(ierr); 1346480fae85SJeremy L Thompson ierr = CeedElemRestrictionReferenceCopy(assembled_rstr, rstr); CeedChk(ierr); 13472efa2d85SJeremy L Thompson ierr = CeedElemRestrictionDestroy(&assembled_rstr); CeedChk(ierr); 134870a7ffb3SJeremy L Thompson } else { 134970a7ffb3SJeremy L Thompson // Fallback to reference Ceed 135070a7ffb3SJeremy L Thompson if (!op->op_fallback) { 135170a7ffb3SJeremy L Thompson ierr = CeedOperatorCreateFallback(op); CeedChk(ierr); 135270a7ffb3SJeremy L Thompson } 135370a7ffb3SJeremy L Thompson // Assemble 135470a7ffb3SJeremy L Thompson ierr = CeedOperatorLinearAssembleQFunctionBuildOrUpdate(op->op_fallback, 135570a7ffb3SJeremy L Thompson assembled, rstr, request); CeedChk(ierr); 135670a7ffb3SJeremy L Thompson } 135770a7ffb3SJeremy L Thompson 135870a7ffb3SJeremy L Thompson return CEED_ERROR_SUCCESS; 1359eaf62fffSJeremy L Thompson } 1360eaf62fffSJeremy L Thompson 1361eaf62fffSJeremy L Thompson /** 1362eaf62fffSJeremy L Thompson @brief Assemble the diagonal of a square linear CeedOperator 1363eaf62fffSJeremy L Thompson 1364eaf62fffSJeremy L Thompson This overwrites a CeedVector with the diagonal of a linear CeedOperator. 1365eaf62fffSJeremy L Thompson 1366eaf62fffSJeremy L Thompson Note: Currently only non-composite CeedOperators with a single field and 1367eaf62fffSJeremy L Thompson composite CeedOperators with single field sub-operators are supported. 1368eaf62fffSJeremy L Thompson 1369f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 1370f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 1371f04ea552SJeremy L Thompson 1372eaf62fffSJeremy L Thompson @param op CeedOperator to assemble CeedQFunction 1373eaf62fffSJeremy L Thompson @param[out] assembled CeedVector to store assembled CeedOperator diagonal 1374eaf62fffSJeremy L Thompson @param request Address of CeedRequest for non-blocking completion, else 1375eaf62fffSJeremy L Thompson @ref CEED_REQUEST_IMMEDIATE 1376eaf62fffSJeremy L Thompson 1377eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1378eaf62fffSJeremy L Thompson 1379eaf62fffSJeremy L Thompson @ref User 1380eaf62fffSJeremy L Thompson **/ 1381eaf62fffSJeremy L Thompson int CeedOperatorLinearAssembleDiagonal(CeedOperator op, CeedVector assembled, 1382eaf62fffSJeremy L Thompson CeedRequest *request) { 1383eaf62fffSJeremy L Thompson int ierr; 1384eaf62fffSJeremy L Thompson ierr = CeedOperatorCheckReady(op); CeedChk(ierr); 1385eaf62fffSJeremy L Thompson 1386c9366a6bSJeremy L Thompson CeedSize input_size = 0, output_size = 0; 1387c9366a6bSJeremy L Thompson ierr = CeedOperatorGetActiveVectorLengths(op, &input_size, &output_size); 1388c9366a6bSJeremy L Thompson CeedChk(ierr); 1389c9366a6bSJeremy L Thompson if (input_size != output_size) 1390c9366a6bSJeremy L Thompson // LCOV_EXCL_START 1391c9366a6bSJeremy L Thompson return CeedError(op->ceed, CEED_ERROR_DIMENSION, "Operator must be square"); 1392c9366a6bSJeremy L Thompson // LCOV_EXCL_STOP 1393c9366a6bSJeremy L Thompson 1394eaf62fffSJeremy L Thompson // Use backend version, if available 1395eaf62fffSJeremy L Thompson if (op->LinearAssembleDiagonal) { 1396eaf62fffSJeremy L Thompson ierr = op->LinearAssembleDiagonal(op, assembled, request); CeedChk(ierr); 1397eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1398eaf62fffSJeremy L Thompson } else if (op->LinearAssembleAddDiagonal) { 1399eaf62fffSJeremy L Thompson ierr = CeedVectorSetValue(assembled, 0.0); CeedChk(ierr); 1400eaf62fffSJeremy L Thompson ierr = op->LinearAssembleAddDiagonal(op, assembled, request); CeedChk(ierr); 1401eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1402eaf62fffSJeremy L Thompson } else { 1403eaf62fffSJeremy L Thompson // Check for valid fallback resource 1404eaf62fffSJeremy L Thompson const char *resource, *fallback_resource; 1405eaf62fffSJeremy L Thompson ierr = CeedGetResource(op->ceed, &resource); CeedChk(ierr); 1406eaf62fffSJeremy L Thompson ierr = CeedGetOperatorFallbackResource(op->ceed, &fallback_resource); 1407eaf62fffSJeremy L Thompson CeedChk(ierr); 1408eaf62fffSJeremy L Thompson if (strcmp(fallback_resource, "") && strcmp(resource, fallback_resource)) { 1409eaf62fffSJeremy L Thompson // Fallback to reference Ceed 1410eaf62fffSJeremy L Thompson if (!op->op_fallback) { 1411eaf62fffSJeremy L Thompson ierr = CeedOperatorCreateFallback(op); CeedChk(ierr); 1412eaf62fffSJeremy L Thompson } 1413eaf62fffSJeremy L Thompson // Assemble 1414eaf62fffSJeremy L Thompson ierr = CeedOperatorLinearAssembleDiagonal(op->op_fallback, assembled, request); 1415eaf62fffSJeremy L Thompson CeedChk(ierr); 1416eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1417eaf62fffSJeremy L Thompson } 1418eaf62fffSJeremy L Thompson } 1419eaf62fffSJeremy L Thompson 1420eaf62fffSJeremy L Thompson // Default interface implementation 1421eaf62fffSJeremy L Thompson ierr = CeedVectorSetValue(assembled, 0.0); CeedChk(ierr); 1422eaf62fffSJeremy L Thompson ierr = CeedOperatorLinearAssembleAddDiagonal(op, assembled, request); 1423eaf62fffSJeremy L Thompson CeedChk(ierr); 1424eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1425eaf62fffSJeremy L Thompson } 1426eaf62fffSJeremy L Thompson 1427eaf62fffSJeremy L Thompson /** 1428eaf62fffSJeremy L Thompson @brief Assemble the diagonal of a square linear CeedOperator 1429eaf62fffSJeremy L Thompson 1430eaf62fffSJeremy L Thompson This sums into a CeedVector the diagonal of a linear CeedOperator. 1431eaf62fffSJeremy L Thompson 1432eaf62fffSJeremy L Thompson Note: Currently only non-composite CeedOperators with a single field and 1433eaf62fffSJeremy L Thompson composite CeedOperators with single field sub-operators are supported. 1434eaf62fffSJeremy L Thompson 1435f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 1436f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 1437f04ea552SJeremy L Thompson 1438eaf62fffSJeremy L Thompson @param op CeedOperator to assemble CeedQFunction 1439eaf62fffSJeremy L Thompson @param[out] assembled CeedVector to store assembled CeedOperator diagonal 1440eaf62fffSJeremy L Thompson @param request Address of CeedRequest for non-blocking completion, else 1441eaf62fffSJeremy L Thompson @ref CEED_REQUEST_IMMEDIATE 1442eaf62fffSJeremy L Thompson 1443eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1444eaf62fffSJeremy L Thompson 1445eaf62fffSJeremy L Thompson @ref User 1446eaf62fffSJeremy L Thompson **/ 1447eaf62fffSJeremy L Thompson int CeedOperatorLinearAssembleAddDiagonal(CeedOperator op, CeedVector assembled, 1448eaf62fffSJeremy L Thompson CeedRequest *request) { 1449eaf62fffSJeremy L Thompson int ierr; 1450eaf62fffSJeremy L Thompson ierr = CeedOperatorCheckReady(op); CeedChk(ierr); 1451eaf62fffSJeremy L Thompson 1452c9366a6bSJeremy L Thompson CeedSize input_size = 0, output_size = 0; 1453c9366a6bSJeremy L Thompson ierr = CeedOperatorGetActiveVectorLengths(op, &input_size, &output_size); 1454c9366a6bSJeremy L Thompson CeedChk(ierr); 1455c9366a6bSJeremy L Thompson if (input_size != output_size) 1456c9366a6bSJeremy L Thompson // LCOV_EXCL_START 1457c9366a6bSJeremy L Thompson return CeedError(op->ceed, CEED_ERROR_DIMENSION, "Operator must be square"); 1458c9366a6bSJeremy L Thompson // LCOV_EXCL_STOP 1459c9366a6bSJeremy L Thompson 1460eaf62fffSJeremy L Thompson // Use backend version, if available 1461eaf62fffSJeremy L Thompson if (op->LinearAssembleAddDiagonal) { 1462eaf62fffSJeremy L Thompson ierr = op->LinearAssembleAddDiagonal(op, assembled, request); CeedChk(ierr); 1463eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1464eaf62fffSJeremy L Thompson } else { 1465eaf62fffSJeremy L Thompson // Check for valid fallback resource 1466eaf62fffSJeremy L Thompson const char *resource, *fallback_resource; 1467eaf62fffSJeremy L Thompson ierr = CeedGetResource(op->ceed, &resource); CeedChk(ierr); 1468eaf62fffSJeremy L Thompson ierr = CeedGetOperatorFallbackResource(op->ceed, &fallback_resource); 1469eaf62fffSJeremy L Thompson CeedChk(ierr); 1470eaf62fffSJeremy L Thompson if (strcmp(fallback_resource, "") && strcmp(resource, fallback_resource)) { 1471eaf62fffSJeremy L Thompson // Fallback to reference Ceed 1472eaf62fffSJeremy L Thompson if (!op->op_fallback) { 1473eaf62fffSJeremy L Thompson ierr = CeedOperatorCreateFallback(op); CeedChk(ierr); 1474eaf62fffSJeremy L Thompson } 1475eaf62fffSJeremy L Thompson // Assemble 1476eaf62fffSJeremy L Thompson ierr = CeedOperatorLinearAssembleAddDiagonal(op->op_fallback, assembled, 1477eaf62fffSJeremy L Thompson request); CeedChk(ierr); 1478eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1479eaf62fffSJeremy L Thompson } 1480eaf62fffSJeremy L Thompson } 1481eaf62fffSJeremy L Thompson 1482eaf62fffSJeremy L Thompson // Default interface implementation 1483eaf62fffSJeremy L Thompson bool is_composite; 1484eaf62fffSJeremy L Thompson ierr = CeedOperatorIsComposite(op, &is_composite); CeedChk(ierr); 1485eaf62fffSJeremy L Thompson if (is_composite) { 1486eaf62fffSJeremy L Thompson ierr = CeedCompositeOperatorLinearAssembleAddDiagonal(op, request, 1487eaf62fffSJeremy L Thompson false, assembled); CeedChk(ierr); 1488eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1489eaf62fffSJeremy L Thompson } else { 1490eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssembleAddDiagonal(op, request, false, assembled); 1491eaf62fffSJeremy L Thompson CeedChk(ierr); 1492eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1493eaf62fffSJeremy L Thompson } 1494eaf62fffSJeremy L Thompson } 1495eaf62fffSJeremy L Thompson 1496eaf62fffSJeremy L Thompson /** 1497eaf62fffSJeremy L Thompson @brief Assemble the point block diagonal of a square linear CeedOperator 1498eaf62fffSJeremy L Thompson 1499eaf62fffSJeremy L Thompson This overwrites a CeedVector with the point block diagonal of a linear 1500eaf62fffSJeremy L Thompson CeedOperator. 1501eaf62fffSJeremy L Thompson 1502eaf62fffSJeremy L Thompson Note: Currently only non-composite CeedOperators with a single field and 1503eaf62fffSJeremy L Thompson composite CeedOperators with single field sub-operators are supported. 1504eaf62fffSJeremy L Thompson 1505f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 1506f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 1507f04ea552SJeremy L Thompson 1508eaf62fffSJeremy L Thompson @param op CeedOperator to assemble CeedQFunction 1509eaf62fffSJeremy L Thompson @param[out] assembled CeedVector to store assembled CeedOperator point block 1510eaf62fffSJeremy L Thompson diagonal, provided in row-major form with an 1511eaf62fffSJeremy L Thompson @a num_comp * @a num_comp block at each node. The dimensions 1512eaf62fffSJeremy L Thompson of this vector are derived from the active vector 1513eaf62fffSJeremy L Thompson for the CeedOperator. The array has shape 1514eaf62fffSJeremy L Thompson [nodes, component out, component in]. 1515eaf62fffSJeremy L Thompson @param request Address of CeedRequest for non-blocking completion, else 1516eaf62fffSJeremy L Thompson CEED_REQUEST_IMMEDIATE 1517eaf62fffSJeremy L Thompson 1518eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1519eaf62fffSJeremy L Thompson 1520eaf62fffSJeremy L Thompson @ref User 1521eaf62fffSJeremy L Thompson **/ 1522eaf62fffSJeremy L Thompson int CeedOperatorLinearAssemblePointBlockDiagonal(CeedOperator op, 1523eaf62fffSJeremy L Thompson CeedVector assembled, CeedRequest *request) { 1524eaf62fffSJeremy L Thompson int ierr; 1525eaf62fffSJeremy L Thompson ierr = CeedOperatorCheckReady(op); CeedChk(ierr); 1526eaf62fffSJeremy L Thompson 1527c9366a6bSJeremy L Thompson CeedSize input_size = 0, output_size = 0; 1528c9366a6bSJeremy L Thompson ierr = CeedOperatorGetActiveVectorLengths(op, &input_size, &output_size); 1529c9366a6bSJeremy L Thompson CeedChk(ierr); 1530c9366a6bSJeremy L Thompson if (input_size != output_size) 1531c9366a6bSJeremy L Thompson // LCOV_EXCL_START 1532c9366a6bSJeremy L Thompson return CeedError(op->ceed, CEED_ERROR_DIMENSION, "Operator must be square"); 1533c9366a6bSJeremy L Thompson // LCOV_EXCL_STOP 1534c9366a6bSJeremy L Thompson 1535eaf62fffSJeremy L Thompson // Use backend version, if available 1536eaf62fffSJeremy L Thompson if (op->LinearAssemblePointBlockDiagonal) { 1537eaf62fffSJeremy L Thompson ierr = op->LinearAssemblePointBlockDiagonal(op, assembled, request); 1538eaf62fffSJeremy L Thompson CeedChk(ierr); 1539eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1540eaf62fffSJeremy L Thompson } else if (op->LinearAssembleAddPointBlockDiagonal) { 1541eaf62fffSJeremy L Thompson ierr = CeedVectorSetValue(assembled, 0.0); CeedChk(ierr); 1542eaf62fffSJeremy L Thompson ierr = CeedOperatorLinearAssembleAddPointBlockDiagonal(op, assembled, 1543eaf62fffSJeremy L Thompson request); CeedChk(ierr); 1544eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1545eaf62fffSJeremy L Thompson } else { 1546eaf62fffSJeremy L Thompson // Check for valid fallback resource 1547eaf62fffSJeremy L Thompson const char *resource, *fallback_resource; 1548eaf62fffSJeremy L Thompson ierr = CeedGetResource(op->ceed, &resource); CeedChk(ierr); 1549eaf62fffSJeremy L Thompson ierr = CeedGetOperatorFallbackResource(op->ceed, &fallback_resource); 1550eaf62fffSJeremy L Thompson CeedChk(ierr); 1551eaf62fffSJeremy L Thompson if (strcmp(fallback_resource, "") && strcmp(resource, fallback_resource)) { 1552eaf62fffSJeremy L Thompson // Fallback to reference Ceed 1553eaf62fffSJeremy L Thompson if (!op->op_fallback) { 1554eaf62fffSJeremy L Thompson ierr = CeedOperatorCreateFallback(op); CeedChk(ierr); 1555eaf62fffSJeremy L Thompson } 1556eaf62fffSJeremy L Thompson // Assemble 1557eaf62fffSJeremy L Thompson ierr = CeedOperatorLinearAssemblePointBlockDiagonal(op->op_fallback, 1558eaf62fffSJeremy L Thompson assembled, request); CeedChk(ierr); 1559eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1560eaf62fffSJeremy L Thompson } 1561eaf62fffSJeremy L Thompson } 1562eaf62fffSJeremy L Thompson 1563eaf62fffSJeremy L Thompson // Default interface implementation 1564eaf62fffSJeremy L Thompson ierr = CeedVectorSetValue(assembled, 0.0); CeedChk(ierr); 1565eaf62fffSJeremy L Thompson ierr = CeedOperatorLinearAssembleAddPointBlockDiagonal(op, assembled, request); 1566eaf62fffSJeremy L Thompson CeedChk(ierr); 1567eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1568eaf62fffSJeremy L Thompson } 1569eaf62fffSJeremy L Thompson 1570eaf62fffSJeremy L Thompson /** 1571eaf62fffSJeremy L Thompson @brief Assemble the point block diagonal of a square linear CeedOperator 1572eaf62fffSJeremy L Thompson 1573eaf62fffSJeremy L Thompson This sums into a CeedVector with the point block diagonal of a linear 1574eaf62fffSJeremy L Thompson CeedOperator. 1575eaf62fffSJeremy L Thompson 1576eaf62fffSJeremy L Thompson Note: Currently only non-composite CeedOperators with a single field and 1577eaf62fffSJeremy L Thompson composite CeedOperators with single field sub-operators are supported. 1578eaf62fffSJeremy L Thompson 1579f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 1580f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 1581f04ea552SJeremy L Thompson 1582eaf62fffSJeremy L Thompson @param op CeedOperator to assemble CeedQFunction 1583eaf62fffSJeremy L Thompson @param[out] assembled CeedVector to store assembled CeedOperator point block 1584eaf62fffSJeremy L Thompson diagonal, provided in row-major form with an 1585eaf62fffSJeremy L Thompson @a num_comp * @a num_comp block at each node. The dimensions 1586eaf62fffSJeremy L Thompson of this vector are derived from the active vector 1587eaf62fffSJeremy L Thompson for the CeedOperator. The array has shape 1588eaf62fffSJeremy L Thompson [nodes, component out, component in]. 1589eaf62fffSJeremy L Thompson @param request Address of CeedRequest for non-blocking completion, else 1590eaf62fffSJeremy L Thompson CEED_REQUEST_IMMEDIATE 1591eaf62fffSJeremy L Thompson 1592eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1593eaf62fffSJeremy L Thompson 1594eaf62fffSJeremy L Thompson @ref User 1595eaf62fffSJeremy L Thompson **/ 1596eaf62fffSJeremy L Thompson int CeedOperatorLinearAssembleAddPointBlockDiagonal(CeedOperator op, 1597eaf62fffSJeremy L Thompson CeedVector assembled, CeedRequest *request) { 1598eaf62fffSJeremy L Thompson int ierr; 1599eaf62fffSJeremy L Thompson ierr = CeedOperatorCheckReady(op); CeedChk(ierr); 1600eaf62fffSJeremy L Thompson 1601c9366a6bSJeremy L Thompson CeedSize input_size = 0, output_size = 0; 1602c9366a6bSJeremy L Thompson ierr = CeedOperatorGetActiveVectorLengths(op, &input_size, &output_size); 1603c9366a6bSJeremy L Thompson CeedChk(ierr); 1604c9366a6bSJeremy L Thompson if (input_size != output_size) 1605c9366a6bSJeremy L Thompson // LCOV_EXCL_START 1606c9366a6bSJeremy L Thompson return CeedError(op->ceed, CEED_ERROR_DIMENSION, "Operator must be square"); 1607c9366a6bSJeremy L Thompson // LCOV_EXCL_STOP 1608c9366a6bSJeremy L Thompson 1609eaf62fffSJeremy L Thompson // Use backend version, if available 1610eaf62fffSJeremy L Thompson if (op->LinearAssembleAddPointBlockDiagonal) { 1611eaf62fffSJeremy L Thompson ierr = op->LinearAssembleAddPointBlockDiagonal(op, assembled, request); 1612eaf62fffSJeremy L Thompson CeedChk(ierr); 1613eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1614eaf62fffSJeremy L Thompson } else { 1615eaf62fffSJeremy L Thompson // Check for valid fallback resource 1616eaf62fffSJeremy L Thompson const char *resource, *fallback_resource; 1617eaf62fffSJeremy L Thompson ierr = CeedGetResource(op->ceed, &resource); CeedChk(ierr); 1618eaf62fffSJeremy L Thompson ierr = CeedGetOperatorFallbackResource(op->ceed, &fallback_resource); 1619eaf62fffSJeremy L Thompson CeedChk(ierr); 1620eaf62fffSJeremy L Thompson if (strcmp(fallback_resource, "") && strcmp(resource, fallback_resource)) { 1621eaf62fffSJeremy L Thompson // Fallback to reference Ceed 1622eaf62fffSJeremy L Thompson if (!op->op_fallback) { 1623eaf62fffSJeremy L Thompson ierr = CeedOperatorCreateFallback(op); CeedChk(ierr); 1624eaf62fffSJeremy L Thompson } 1625eaf62fffSJeremy L Thompson // Assemble 1626eaf62fffSJeremy L Thompson ierr = CeedOperatorLinearAssembleAddPointBlockDiagonal(op->op_fallback, 1627eaf62fffSJeremy L Thompson assembled, request); CeedChk(ierr); 1628eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1629eaf62fffSJeremy L Thompson } 1630eaf62fffSJeremy L Thompson } 1631eaf62fffSJeremy L Thompson 1632eaf62fffSJeremy L Thompson // Default interface implemenation 1633eaf62fffSJeremy L Thompson bool is_composite; 1634eaf62fffSJeremy L Thompson ierr = CeedOperatorIsComposite(op, &is_composite); CeedChk(ierr); 1635eaf62fffSJeremy L Thompson if (is_composite) { 1636eaf62fffSJeremy L Thompson ierr = CeedCompositeOperatorLinearAssembleAddDiagonal(op, request, 1637eaf62fffSJeremy L Thompson true, assembled); CeedChk(ierr); 1638eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1639eaf62fffSJeremy L Thompson } else { 1640eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssembleAddDiagonal(op, request, true, assembled); 1641eaf62fffSJeremy L Thompson CeedChk(ierr); 1642eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1643eaf62fffSJeremy L Thompson } 1644eaf62fffSJeremy L Thompson } 1645eaf62fffSJeremy L Thompson 1646eaf62fffSJeremy L Thompson /** 1647eaf62fffSJeremy L Thompson @brief Fully assemble the nonzero pattern of a linear operator. 1648eaf62fffSJeremy L Thompson 1649eaf62fffSJeremy L Thompson Expected to be used in conjunction with CeedOperatorLinearAssemble() 1650eaf62fffSJeremy L Thompson 1651eaf62fffSJeremy L Thompson The assembly routines use coordinate format, with num_entries tuples of the 1652eaf62fffSJeremy L Thompson form (i, j, value) which indicate that value should be added to the matrix 1653eaf62fffSJeremy L Thompson in entry (i, j). Note that the (i, j) pairs are not unique and may repeat. 1654eaf62fffSJeremy L Thompson This function returns the number of entries and their (i, j) locations, 1655eaf62fffSJeremy L Thompson while CeedOperatorLinearAssemble() provides the values in the same 1656eaf62fffSJeremy L Thompson ordering. 1657eaf62fffSJeremy L Thompson 1658eaf62fffSJeremy L Thompson This will generally be slow unless your operator is low-order. 1659eaf62fffSJeremy L Thompson 1660f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 1661f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 1662f04ea552SJeremy L Thompson 1663eaf62fffSJeremy L Thompson @param[in] op CeedOperator to assemble 1664eaf62fffSJeremy L Thompson @param[out] num_entries Number of entries in coordinate nonzero pattern 1665eaf62fffSJeremy L Thompson @param[out] rows Row number for each entry 1666eaf62fffSJeremy L Thompson @param[out] cols Column number for each entry 1667eaf62fffSJeremy L Thompson 1668eaf62fffSJeremy L Thompson @ref User 1669eaf62fffSJeremy L Thompson **/ 1670c30b7fbdSJeremy L Thompson int CeedOperatorLinearAssembleSymbolic(CeedOperator op, CeedSize *num_entries, 1671eaf62fffSJeremy L Thompson CeedInt **rows, CeedInt **cols) { 1672eaf62fffSJeremy L Thompson int ierr; 1673eaf62fffSJeremy L Thompson CeedInt num_suboperators, single_entries; 1674eaf62fffSJeremy L Thompson CeedOperator *sub_operators; 1675eaf62fffSJeremy L Thompson bool is_composite; 1676eaf62fffSJeremy L Thompson ierr = CeedOperatorCheckReady(op); CeedChk(ierr); 1677eaf62fffSJeremy L Thompson 1678eaf62fffSJeremy L Thompson // Use backend version, if available 1679eaf62fffSJeremy L Thompson if (op->LinearAssembleSymbolic) { 1680eaf62fffSJeremy L Thompson ierr = op->LinearAssembleSymbolic(op, num_entries, rows, cols); CeedChk(ierr); 1681eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1682eaf62fffSJeremy L Thompson } else { 1683eaf62fffSJeremy L Thompson // Check for valid fallback resource 1684eaf62fffSJeremy L Thompson const char *resource, *fallback_resource; 1685eaf62fffSJeremy L Thompson ierr = CeedGetResource(op->ceed, &resource); CeedChk(ierr); 1686eaf62fffSJeremy L Thompson ierr = CeedGetOperatorFallbackResource(op->ceed, &fallback_resource); 1687eaf62fffSJeremy L Thompson CeedChk(ierr); 1688eaf62fffSJeremy L Thompson if (strcmp(fallback_resource, "") && strcmp(resource, fallback_resource)) { 1689eaf62fffSJeremy L Thompson // Fallback to reference Ceed 1690eaf62fffSJeremy L Thompson if (!op->op_fallback) { 1691eaf62fffSJeremy L Thompson ierr = CeedOperatorCreateFallback(op); CeedChk(ierr); 1692eaf62fffSJeremy L Thompson } 1693eaf62fffSJeremy L Thompson // Assemble 1694eaf62fffSJeremy L Thompson ierr = CeedOperatorLinearAssembleSymbolic(op->op_fallback, num_entries, rows, 1695eaf62fffSJeremy L Thompson cols); CeedChk(ierr); 1696eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1697eaf62fffSJeremy L Thompson } 1698eaf62fffSJeremy L Thompson } 1699eaf62fffSJeremy L Thompson 1700eaf62fffSJeremy L Thompson // Default interface implementation 1701eaf62fffSJeremy L Thompson 1702eaf62fffSJeremy L Thompson // count entries and allocate rows, cols arrays 1703eaf62fffSJeremy L Thompson ierr = CeedOperatorIsComposite(op, &is_composite); CeedChk(ierr); 1704eaf62fffSJeremy L Thompson *num_entries = 0; 1705eaf62fffSJeremy L Thompson if (is_composite) { 1706eaf62fffSJeremy L Thompson ierr = CeedOperatorGetNumSub(op, &num_suboperators); CeedChk(ierr); 1707eaf62fffSJeremy L Thompson ierr = CeedOperatorGetSubList(op, &sub_operators); CeedChk(ierr); 170892ae7e47SJeremy L Thompson for (CeedInt k = 0; k < num_suboperators; ++k) { 1709eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssemblyCountEntries(sub_operators[k], 1710eaf62fffSJeremy L Thompson &single_entries); CeedChk(ierr); 1711eaf62fffSJeremy L Thompson *num_entries += single_entries; 1712eaf62fffSJeremy L Thompson } 1713eaf62fffSJeremy L Thompson } else { 1714eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssemblyCountEntries(op, 1715eaf62fffSJeremy L Thompson &single_entries); CeedChk(ierr); 1716eaf62fffSJeremy L Thompson *num_entries += single_entries; 1717eaf62fffSJeremy L Thompson } 1718eaf62fffSJeremy L Thompson ierr = CeedCalloc(*num_entries, rows); CeedChk(ierr); 1719eaf62fffSJeremy L Thompson ierr = CeedCalloc(*num_entries, cols); CeedChk(ierr); 1720eaf62fffSJeremy L Thompson 1721eaf62fffSJeremy L Thompson // assemble nonzero locations 1722eaf62fffSJeremy L Thompson CeedInt offset = 0; 1723eaf62fffSJeremy L Thompson if (is_composite) { 1724eaf62fffSJeremy L Thompson ierr = CeedOperatorGetNumSub(op, &num_suboperators); CeedChk(ierr); 1725eaf62fffSJeremy L Thompson ierr = CeedOperatorGetSubList(op, &sub_operators); CeedChk(ierr); 172692ae7e47SJeremy L Thompson for (CeedInt k = 0; k < num_suboperators; ++k) { 1727eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssembleSymbolic(sub_operators[k], offset, *rows, 1728eaf62fffSJeremy L Thompson *cols); CeedChk(ierr); 1729eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssemblyCountEntries(sub_operators[k], 1730eaf62fffSJeremy L Thompson &single_entries); 1731eaf62fffSJeremy L Thompson CeedChk(ierr); 1732eaf62fffSJeremy L Thompson offset += single_entries; 1733eaf62fffSJeremy L Thompson } 1734eaf62fffSJeremy L Thompson } else { 1735eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssembleSymbolic(op, offset, *rows, *cols); 1736eaf62fffSJeremy L Thompson CeedChk(ierr); 1737eaf62fffSJeremy L Thompson } 1738eaf62fffSJeremy L Thompson 1739eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1740eaf62fffSJeremy L Thompson } 1741eaf62fffSJeremy L Thompson 1742eaf62fffSJeremy L Thompson /** 1743eaf62fffSJeremy L Thompson @brief Fully assemble the nonzero entries of a linear operator. 1744eaf62fffSJeremy L Thompson 1745eaf62fffSJeremy L Thompson Expected to be used in conjunction with CeedOperatorLinearAssembleSymbolic() 1746eaf62fffSJeremy L Thompson 1747eaf62fffSJeremy L Thompson The assembly routines use coordinate format, with num_entries tuples of the 1748eaf62fffSJeremy L Thompson form (i, j, value) which indicate that value should be added to the matrix 1749eaf62fffSJeremy L Thompson in entry (i, j). Note that the (i, j) pairs are not unique and may repeat. 1750eaf62fffSJeremy L Thompson This function returns the values of the nonzero entries to be added, their 1751eaf62fffSJeremy L Thompson (i, j) locations are provided by CeedOperatorLinearAssembleSymbolic() 1752eaf62fffSJeremy L Thompson 1753eaf62fffSJeremy L Thompson This will generally be slow unless your operator is low-order. 1754eaf62fffSJeremy L Thompson 1755f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 1756f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 1757f04ea552SJeremy L Thompson 1758eaf62fffSJeremy L Thompson @param[in] op CeedOperator to assemble 1759eaf62fffSJeremy L Thompson @param[out] values Values to assemble into matrix 1760eaf62fffSJeremy L Thompson 1761eaf62fffSJeremy L Thompson @ref User 1762eaf62fffSJeremy L Thompson **/ 1763eaf62fffSJeremy L Thompson int CeedOperatorLinearAssemble(CeedOperator op, CeedVector values) { 1764eaf62fffSJeremy L Thompson int ierr; 1765eaf62fffSJeremy L Thompson CeedInt num_suboperators, single_entries = 0; 1766eaf62fffSJeremy L Thompson CeedOperator *sub_operators; 1767eaf62fffSJeremy L Thompson ierr = CeedOperatorCheckReady(op); CeedChk(ierr); 1768eaf62fffSJeremy L Thompson 1769eaf62fffSJeremy L Thompson // Use backend version, if available 1770eaf62fffSJeremy L Thompson if (op->LinearAssemble) { 1771eaf62fffSJeremy L Thompson ierr = op->LinearAssemble(op, values); CeedChk(ierr); 1772eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1773eaf62fffSJeremy L Thompson } else { 1774eaf62fffSJeremy L Thompson // Check for valid fallback resource 1775eaf62fffSJeremy L Thompson const char *resource, *fallback_resource; 1776eaf62fffSJeremy L Thompson ierr = CeedGetResource(op->ceed, &resource); CeedChk(ierr); 1777eaf62fffSJeremy L Thompson ierr = CeedGetOperatorFallbackResource(op->ceed, &fallback_resource); 1778eaf62fffSJeremy L Thompson CeedChk(ierr); 1779eaf62fffSJeremy L Thompson if (strcmp(fallback_resource, "") && strcmp(resource, fallback_resource)) { 1780eaf62fffSJeremy L Thompson // Fallback to reference Ceed 1781eaf62fffSJeremy L Thompson if (!op->op_fallback) { 1782eaf62fffSJeremy L Thompson ierr = CeedOperatorCreateFallback(op); CeedChk(ierr); 1783eaf62fffSJeremy L Thompson } 1784eaf62fffSJeremy L Thompson // Assemble 1785eaf62fffSJeremy L Thompson ierr = CeedOperatorLinearAssemble(op->op_fallback, values); CeedChk(ierr); 1786eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1787eaf62fffSJeremy L Thompson } 1788eaf62fffSJeremy L Thompson } 1789eaf62fffSJeremy L Thompson 1790eaf62fffSJeremy L Thompson // Default interface implementation 1791eaf62fffSJeremy L Thompson bool is_composite; 1792eaf62fffSJeremy L Thompson ierr = CeedOperatorIsComposite(op, &is_composite); CeedChk(ierr); 1793eaf62fffSJeremy L Thompson 1794eaf62fffSJeremy L Thompson CeedInt offset = 0; 1795eaf62fffSJeremy L Thompson if (is_composite) { 1796eaf62fffSJeremy L Thompson ierr = CeedOperatorGetNumSub(op, &num_suboperators); CeedChk(ierr); 1797eaf62fffSJeremy L Thompson ierr = CeedOperatorGetSubList(op, &sub_operators); CeedChk(ierr); 179892ae7e47SJeremy L Thompson for (CeedInt k = 0; k < num_suboperators; ++k) { 1799eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssemble(sub_operators[k], offset, values); 1800eaf62fffSJeremy L Thompson CeedChk(ierr); 1801eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssemblyCountEntries(sub_operators[k], 1802eaf62fffSJeremy L Thompson &single_entries); 1803eaf62fffSJeremy L Thompson CeedChk(ierr); 1804eaf62fffSJeremy L Thompson offset += single_entries; 1805eaf62fffSJeremy L Thompson } 1806eaf62fffSJeremy L Thompson } else { 1807eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorAssemble(op, offset, values); CeedChk(ierr); 1808eaf62fffSJeremy L Thompson } 1809eaf62fffSJeremy L Thompson 1810eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1811eaf62fffSJeremy L Thompson } 1812eaf62fffSJeremy L Thompson 1813eaf62fffSJeremy L Thompson /** 1814eaf62fffSJeremy L Thompson @brief Create a multigrid coarse operator and level transfer operators 1815eaf62fffSJeremy L Thompson for a CeedOperator, creating the prolongation basis from the 1816eaf62fffSJeremy L Thompson fine and coarse grid interpolation 1817eaf62fffSJeremy L Thompson 1818f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 1819f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 1820f04ea552SJeremy L Thompson 1821eaf62fffSJeremy L Thompson @param[in] op_fine Fine grid operator 1822eaf62fffSJeremy L Thompson @param[in] p_mult_fine L-vector multiplicity in parallel gather/scatter 1823eaf62fffSJeremy L Thompson @param[in] rstr_coarse Coarse grid restriction 1824eaf62fffSJeremy L Thompson @param[in] basis_coarse Coarse grid active vector basis 1825eaf62fffSJeremy L Thompson @param[out] op_coarse Coarse grid operator 1826eaf62fffSJeremy L Thompson @param[out] op_prolong Coarse to fine operator 1827eaf62fffSJeremy L Thompson @param[out] op_restrict Fine to coarse operator 1828eaf62fffSJeremy L Thompson 1829eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1830eaf62fffSJeremy L Thompson 1831eaf62fffSJeremy L Thompson @ref User 1832eaf62fffSJeremy L Thompson **/ 1833eaf62fffSJeremy L Thompson int CeedOperatorMultigridLevelCreate(CeedOperator op_fine, 1834eaf62fffSJeremy L Thompson CeedVector p_mult_fine, 1835eaf62fffSJeremy L Thompson CeedElemRestriction rstr_coarse, CeedBasis basis_coarse, 1836eaf62fffSJeremy L Thompson CeedOperator *op_coarse, CeedOperator *op_prolong, 1837eaf62fffSJeremy L Thompson CeedOperator *op_restrict) { 1838eaf62fffSJeremy L Thompson int ierr; 1839f04ea552SJeremy L Thompson ierr = CeedOperatorCheckReady(op_fine); CeedChk(ierr); 1840eaf62fffSJeremy L Thompson Ceed ceed; 1841eaf62fffSJeremy L Thompson ierr = CeedOperatorGetCeed(op_fine, &ceed); CeedChk(ierr); 1842eaf62fffSJeremy L Thompson 1843eaf62fffSJeremy L Thompson // Check for compatible quadrature spaces 1844eaf62fffSJeremy L Thompson CeedBasis basis_fine; 1845eaf62fffSJeremy L Thompson ierr = CeedOperatorGetActiveBasis(op_fine, &basis_fine); CeedChk(ierr); 1846eaf62fffSJeremy L Thompson CeedInt Q_f, Q_c; 1847eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints(basis_fine, &Q_f); CeedChk(ierr); 1848eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints(basis_coarse, &Q_c); CeedChk(ierr); 1849eaf62fffSJeremy L Thompson if (Q_f != Q_c) 1850eaf62fffSJeremy L Thompson // LCOV_EXCL_START 1851eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_DIMENSION, 1852eaf62fffSJeremy L Thompson "Bases must have compatible quadrature spaces"); 1853eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 1854eaf62fffSJeremy L Thompson 1855eaf62fffSJeremy L Thompson // Coarse to fine basis 1856eaf62fffSJeremy L Thompson CeedInt P_f, P_c, Q = Q_f; 1857eaf62fffSJeremy L Thompson bool is_tensor_f, is_tensor_c; 1858eaf62fffSJeremy L Thompson ierr = CeedBasisIsTensor(basis_fine, &is_tensor_f); CeedChk(ierr); 1859eaf62fffSJeremy L Thompson ierr = CeedBasisIsTensor(basis_coarse, &is_tensor_c); CeedChk(ierr); 1860eaf62fffSJeremy L Thompson CeedScalar *interp_c, *interp_f, *interp_c_to_f, *tau; 1861eaf62fffSJeremy L Thompson if (is_tensor_f && is_tensor_c) { 1862eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumNodes1D(basis_fine, &P_f); CeedChk(ierr); 1863eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumNodes1D(basis_coarse, &P_c); CeedChk(ierr); 1864eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints1D(basis_coarse, &Q); CeedChk(ierr); 1865eaf62fffSJeremy L Thompson } else if (!is_tensor_f && !is_tensor_c) { 1866eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumNodes(basis_fine, &P_f); CeedChk(ierr); 1867eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumNodes(basis_coarse, &P_c); CeedChk(ierr); 1868eaf62fffSJeremy L Thompson } else { 1869eaf62fffSJeremy L Thompson // LCOV_EXCL_START 1870eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_MINOR, 1871eaf62fffSJeremy L Thompson "Bases must both be tensor or non-tensor"); 1872eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 1873eaf62fffSJeremy L Thompson } 1874eaf62fffSJeremy L Thompson 1875eaf62fffSJeremy L Thompson ierr = CeedMalloc(Q*P_f, &interp_f); CeedChk(ierr); 1876eaf62fffSJeremy L Thompson ierr = CeedMalloc(Q*P_c, &interp_c); CeedChk(ierr); 1877eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_c*P_f, &interp_c_to_f); CeedChk(ierr); 1878eaf62fffSJeremy L Thompson ierr = CeedMalloc(Q, &tau); CeedChk(ierr); 1879eaf62fffSJeremy L Thompson if (is_tensor_f) { 1880eaf62fffSJeremy L Thompson memcpy(interp_f, basis_fine->interp_1d, Q*P_f*sizeof basis_fine->interp_1d[0]); 1881eaf62fffSJeremy L Thompson memcpy(interp_c, basis_coarse->interp_1d, 1882eaf62fffSJeremy L Thompson Q*P_c*sizeof basis_coarse->interp_1d[0]); 1883eaf62fffSJeremy L Thompson } else { 1884eaf62fffSJeremy L Thompson memcpy(interp_f, basis_fine->interp, Q*P_f*sizeof basis_fine->interp[0]); 1885eaf62fffSJeremy L Thompson memcpy(interp_c, basis_coarse->interp, Q*P_c*sizeof basis_coarse->interp[0]); 1886eaf62fffSJeremy L Thompson } 1887eaf62fffSJeremy L Thompson 1888eaf62fffSJeremy L Thompson // -- QR Factorization, interp_f = Q R 1889eaf62fffSJeremy L Thompson ierr = CeedQRFactorization(ceed, interp_f, tau, Q, P_f); CeedChk(ierr); 1890eaf62fffSJeremy L Thompson 1891eaf62fffSJeremy L Thompson // -- Apply Qtranspose, interp_c = Qtranspose interp_c 1892eaf62fffSJeremy L Thompson ierr = CeedHouseholderApplyQ(interp_c, interp_f, tau, CEED_TRANSPOSE, 1893eaf62fffSJeremy L Thompson Q, P_c, P_f, P_c, 1); CeedChk(ierr); 1894eaf62fffSJeremy L Thompson 1895eaf62fffSJeremy L Thompson // -- Apply Rinv, interp_c_to_f = Rinv interp_c 1896eaf62fffSJeremy L Thompson for (CeedInt j=0; j<P_c; j++) { // Column j 1897eaf62fffSJeremy L Thompson interp_c_to_f[j+P_c*(P_f-1)] = interp_c[j+P_c*(P_f-1)]/interp_f[P_f*P_f-1]; 1898eaf62fffSJeremy L Thompson for (CeedInt i=P_f-2; i>=0; i--) { // Row i 1899eaf62fffSJeremy L Thompson interp_c_to_f[j+P_c*i] = interp_c[j+P_c*i]; 1900eaf62fffSJeremy L Thompson for (CeedInt k=i+1; k<P_f; k++) 1901eaf62fffSJeremy L Thompson interp_c_to_f[j+P_c*i] -= interp_f[k+P_f*i]*interp_c_to_f[j+P_c*k]; 1902eaf62fffSJeremy L Thompson interp_c_to_f[j+P_c*i] /= interp_f[i+P_f*i]; 1903eaf62fffSJeremy L Thompson } 1904eaf62fffSJeremy L Thompson } 1905eaf62fffSJeremy L Thompson ierr = CeedFree(&tau); CeedChk(ierr); 1906eaf62fffSJeremy L Thompson ierr = CeedFree(&interp_c); CeedChk(ierr); 1907eaf62fffSJeremy L Thompson ierr = CeedFree(&interp_f); CeedChk(ierr); 1908eaf62fffSJeremy L Thompson 1909eaf62fffSJeremy L Thompson // Complete with interp_c_to_f versions of code 1910eaf62fffSJeremy L Thompson if (is_tensor_f) { 1911eaf62fffSJeremy L Thompson ierr = CeedOperatorMultigridLevelCreateTensorH1(op_fine, p_mult_fine, 1912eaf62fffSJeremy L Thompson rstr_coarse, basis_coarse, interp_c_to_f, op_coarse, op_prolong, op_restrict); 1913eaf62fffSJeremy L Thompson CeedChk(ierr); 1914eaf62fffSJeremy L Thompson } else { 1915eaf62fffSJeremy L Thompson ierr = CeedOperatorMultigridLevelCreateH1(op_fine, p_mult_fine, 1916eaf62fffSJeremy L Thompson rstr_coarse, basis_coarse, interp_c_to_f, op_coarse, op_prolong, op_restrict); 1917eaf62fffSJeremy L Thompson CeedChk(ierr); 1918eaf62fffSJeremy L Thompson } 1919eaf62fffSJeremy L Thompson 1920eaf62fffSJeremy L Thompson // Cleanup 1921eaf62fffSJeremy L Thompson ierr = CeedFree(&interp_c_to_f); CeedChk(ierr); 1922eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1923eaf62fffSJeremy L Thompson } 1924eaf62fffSJeremy L Thompson 1925eaf62fffSJeremy L Thompson /** 1926eaf62fffSJeremy L Thompson @brief Create a multigrid coarse operator and level transfer operators 1927eaf62fffSJeremy L Thompson for a CeedOperator with a tensor basis for the active basis 1928eaf62fffSJeremy L Thompson 1929f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 1930f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 1931f04ea552SJeremy L Thompson 1932eaf62fffSJeremy L Thompson @param[in] op_fine Fine grid operator 1933eaf62fffSJeremy L Thompson @param[in] p_mult_fine L-vector multiplicity in parallel gather/scatter 1934eaf62fffSJeremy L Thompson @param[in] rstr_coarse Coarse grid restriction 1935eaf62fffSJeremy L Thompson @param[in] basis_coarse Coarse grid active vector basis 1936eaf62fffSJeremy L Thompson @param[in] interp_c_to_f Matrix for coarse to fine interpolation 1937eaf62fffSJeremy L Thompson @param[out] op_coarse Coarse grid operator 1938eaf62fffSJeremy L Thompson @param[out] op_prolong Coarse to fine operator 1939eaf62fffSJeremy L Thompson @param[out] op_restrict Fine to coarse operator 1940eaf62fffSJeremy L Thompson 1941eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1942eaf62fffSJeremy L Thompson 1943eaf62fffSJeremy L Thompson @ref User 1944eaf62fffSJeremy L Thompson **/ 1945eaf62fffSJeremy L Thompson int CeedOperatorMultigridLevelCreateTensorH1(CeedOperator op_fine, 1946eaf62fffSJeremy L Thompson CeedVector p_mult_fine, CeedElemRestriction rstr_coarse, CeedBasis basis_coarse, 1947eaf62fffSJeremy L Thompson const CeedScalar *interp_c_to_f, CeedOperator *op_coarse, 1948eaf62fffSJeremy L Thompson CeedOperator *op_prolong, CeedOperator *op_restrict) { 1949eaf62fffSJeremy L Thompson int ierr; 1950f04ea552SJeremy L Thompson ierr = CeedOperatorCheckReady(op_fine); CeedChk(ierr); 1951eaf62fffSJeremy L Thompson Ceed ceed; 1952eaf62fffSJeremy L Thompson ierr = CeedOperatorGetCeed(op_fine, &ceed); CeedChk(ierr); 1953eaf62fffSJeremy L Thompson 1954eaf62fffSJeremy L Thompson // Check for compatible quadrature spaces 1955eaf62fffSJeremy L Thompson CeedBasis basis_fine; 1956eaf62fffSJeremy L Thompson ierr = CeedOperatorGetActiveBasis(op_fine, &basis_fine); CeedChk(ierr); 1957eaf62fffSJeremy L Thompson CeedInt Q_f, Q_c; 1958eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints(basis_fine, &Q_f); CeedChk(ierr); 1959eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints(basis_coarse, &Q_c); CeedChk(ierr); 1960eaf62fffSJeremy L Thompson if (Q_f != Q_c) 1961eaf62fffSJeremy L Thompson // LCOV_EXCL_START 1962eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_DIMENSION, 1963eaf62fffSJeremy L Thompson "Bases must have compatible quadrature spaces"); 1964eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 1965eaf62fffSJeremy L Thompson 1966eaf62fffSJeremy L Thompson // Coarse to fine basis 1967eaf62fffSJeremy L Thompson CeedInt dim, num_comp, num_nodes_c, P_1d_f, P_1d_c; 1968eaf62fffSJeremy L Thompson ierr = CeedBasisGetDimension(basis_fine, &dim); CeedChk(ierr); 1969eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumComponents(basis_fine, &num_comp); CeedChk(ierr); 1970eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumNodes1D(basis_fine, &P_1d_f); CeedChk(ierr); 1971eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetElementSize(rstr_coarse, &num_nodes_c); 1972eaf62fffSJeremy L Thompson CeedChk(ierr); 1973eaf62fffSJeremy L Thompson P_1d_c = dim == 1 ? num_nodes_c : 1974eaf62fffSJeremy L Thompson dim == 2 ? sqrt(num_nodes_c) : 1975eaf62fffSJeremy L Thompson cbrt(num_nodes_c); 1976eaf62fffSJeremy L Thompson CeedScalar *q_ref, *q_weight, *grad; 1977eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d_f, &q_ref); CeedChk(ierr); 1978eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d_f, &q_weight); CeedChk(ierr); 1979eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d_f*P_1d_c*dim, &grad); CeedChk(ierr); 1980eaf62fffSJeremy L Thompson CeedBasis basis_c_to_f; 1981eaf62fffSJeremy L Thompson ierr = CeedBasisCreateTensorH1(ceed, dim, num_comp, P_1d_c, P_1d_f, 1982eaf62fffSJeremy L Thompson interp_c_to_f, grad, q_ref, q_weight, &basis_c_to_f); 1983eaf62fffSJeremy L Thompson CeedChk(ierr); 1984eaf62fffSJeremy L Thompson ierr = CeedFree(&q_ref); CeedChk(ierr); 1985eaf62fffSJeremy L Thompson ierr = CeedFree(&q_weight); CeedChk(ierr); 1986eaf62fffSJeremy L Thompson ierr = CeedFree(&grad); CeedChk(ierr); 1987eaf62fffSJeremy L Thompson 1988eaf62fffSJeremy L Thompson // Core code 1989eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorMultigridLevel(op_fine, p_mult_fine, rstr_coarse, 1990eaf62fffSJeremy L Thompson basis_coarse, basis_c_to_f, op_coarse, 1991eaf62fffSJeremy L Thompson op_prolong, op_restrict); 1992eaf62fffSJeremy L Thompson CeedChk(ierr); 1993eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 1994eaf62fffSJeremy L Thompson } 1995eaf62fffSJeremy L Thompson 1996eaf62fffSJeremy L Thompson /** 1997eaf62fffSJeremy L Thompson @brief Create a multigrid coarse operator and level transfer operators 1998eaf62fffSJeremy L Thompson for a CeedOperator with a non-tensor basis for the active vector 1999eaf62fffSJeremy L Thompson 2000f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 2001f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 2002f04ea552SJeremy L Thompson 2003eaf62fffSJeremy L Thompson @param[in] op_fine Fine grid operator 2004eaf62fffSJeremy L Thompson @param[in] p_mult_fine L-vector multiplicity in parallel gather/scatter 2005eaf62fffSJeremy L Thompson @param[in] rstr_coarse Coarse grid restriction 2006eaf62fffSJeremy L Thompson @param[in] basis_coarse Coarse grid active vector basis 2007eaf62fffSJeremy L Thompson @param[in] interp_c_to_f Matrix for coarse to fine interpolation 2008eaf62fffSJeremy L Thompson @param[out] op_coarse Coarse grid operator 2009eaf62fffSJeremy L Thompson @param[out] op_prolong Coarse to fine operator 2010eaf62fffSJeremy L Thompson @param[out] op_restrict Fine to coarse operator 2011eaf62fffSJeremy L Thompson 2012eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 2013eaf62fffSJeremy L Thompson 2014eaf62fffSJeremy L Thompson @ref User 2015eaf62fffSJeremy L Thompson **/ 2016eaf62fffSJeremy L Thompson int CeedOperatorMultigridLevelCreateH1(CeedOperator op_fine, 2017eaf62fffSJeremy L Thompson CeedVector p_mult_fine, 2018eaf62fffSJeremy L Thompson CeedElemRestriction rstr_coarse, 2019eaf62fffSJeremy L Thompson CeedBasis basis_coarse, 2020eaf62fffSJeremy L Thompson const CeedScalar *interp_c_to_f, 2021eaf62fffSJeremy L Thompson CeedOperator *op_coarse, 2022eaf62fffSJeremy L Thompson CeedOperator *op_prolong, 2023eaf62fffSJeremy L Thompson CeedOperator *op_restrict) { 2024eaf62fffSJeremy L Thompson int ierr; 2025f04ea552SJeremy L Thompson ierr = CeedOperatorCheckReady(op_fine); CeedChk(ierr); 2026eaf62fffSJeremy L Thompson Ceed ceed; 2027eaf62fffSJeremy L Thompson ierr = CeedOperatorGetCeed(op_fine, &ceed); CeedChk(ierr); 2028eaf62fffSJeremy L Thompson 2029eaf62fffSJeremy L Thompson // Check for compatible quadrature spaces 2030eaf62fffSJeremy L Thompson CeedBasis basis_fine; 2031eaf62fffSJeremy L Thompson ierr = CeedOperatorGetActiveBasis(op_fine, &basis_fine); CeedChk(ierr); 2032eaf62fffSJeremy L Thompson CeedInt Q_f, Q_c; 2033eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints(basis_fine, &Q_f); CeedChk(ierr); 2034eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints(basis_coarse, &Q_c); CeedChk(ierr); 2035eaf62fffSJeremy L Thompson if (Q_f != Q_c) 2036eaf62fffSJeremy L Thompson // LCOV_EXCL_START 2037eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_DIMENSION, 2038eaf62fffSJeremy L Thompson "Bases must have compatible quadrature spaces"); 2039eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 2040eaf62fffSJeremy L Thompson 2041eaf62fffSJeremy L Thompson // Coarse to fine basis 2042eaf62fffSJeremy L Thompson CeedElemTopology topo; 2043eaf62fffSJeremy L Thompson ierr = CeedBasisGetTopology(basis_fine, &topo); CeedChk(ierr); 2044eaf62fffSJeremy L Thompson CeedInt dim, num_comp, num_nodes_c, num_nodes_f; 2045eaf62fffSJeremy L Thompson ierr = CeedBasisGetDimension(basis_fine, &dim); CeedChk(ierr); 2046eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumComponents(basis_fine, &num_comp); CeedChk(ierr); 2047eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumNodes(basis_fine, &num_nodes_f); CeedChk(ierr); 2048eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetElementSize(rstr_coarse, &num_nodes_c); 2049eaf62fffSJeremy L Thompson CeedChk(ierr); 2050eaf62fffSJeremy L Thompson CeedScalar *q_ref, *q_weight, *grad; 2051f9e0419eSJeremy L Thompson ierr = CeedCalloc(num_nodes_f*dim, &q_ref); CeedChk(ierr); 2052eaf62fffSJeremy L Thompson ierr = CeedCalloc(num_nodes_f, &q_weight); CeedChk(ierr); 2053eaf62fffSJeremy L Thompson ierr = CeedCalloc(num_nodes_f*num_nodes_c*dim, &grad); CeedChk(ierr); 2054eaf62fffSJeremy L Thompson CeedBasis basis_c_to_f; 2055eaf62fffSJeremy L Thompson ierr = CeedBasisCreateH1(ceed, topo, num_comp, num_nodes_c, num_nodes_f, 2056eaf62fffSJeremy L Thompson interp_c_to_f, grad, q_ref, q_weight, &basis_c_to_f); 2057eaf62fffSJeremy L Thompson CeedChk(ierr); 2058eaf62fffSJeremy L Thompson ierr = CeedFree(&q_ref); CeedChk(ierr); 2059eaf62fffSJeremy L Thompson ierr = CeedFree(&q_weight); CeedChk(ierr); 2060eaf62fffSJeremy L Thompson ierr = CeedFree(&grad); CeedChk(ierr); 2061eaf62fffSJeremy L Thompson 2062eaf62fffSJeremy L Thompson // Core code 2063eaf62fffSJeremy L Thompson ierr = CeedSingleOperatorMultigridLevel(op_fine, p_mult_fine, rstr_coarse, 2064eaf62fffSJeremy L Thompson basis_coarse, basis_c_to_f, op_coarse, 2065eaf62fffSJeremy L Thompson op_prolong, op_restrict); 2066eaf62fffSJeremy L Thompson CeedChk(ierr); 2067eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 2068eaf62fffSJeremy L Thompson } 2069eaf62fffSJeremy L Thompson 2070eaf62fffSJeremy L Thompson /** 2071eaf62fffSJeremy L Thompson @brief Build a FDM based approximate inverse for each element for a 2072eaf62fffSJeremy L Thompson CeedOperator 2073eaf62fffSJeremy L Thompson 2074eaf62fffSJeremy L Thompson This returns a CeedOperator and CeedVector to apply a Fast Diagonalization 2075eaf62fffSJeremy L Thompson Method based approximate inverse. This function obtains the simultaneous 2076eaf62fffSJeremy L Thompson diagonalization for the 1D mass and Laplacian operators, 2077eaf62fffSJeremy L Thompson M = V^T V, K = V^T S V. 2078eaf62fffSJeremy L Thompson The assembled QFunction is used to modify the eigenvalues from simultaneous 2079eaf62fffSJeremy L Thompson diagonalization and obtain an approximate inverse of the form 2080eaf62fffSJeremy L Thompson V^T S^hat V. The CeedOperator must be linear and non-composite. The 2081eaf62fffSJeremy L Thompson associated CeedQFunction must therefore also be linear. 2082eaf62fffSJeremy L Thompson 2083f04ea552SJeremy L Thompson Note: Calling this function asserts that setup is complete 2084f04ea552SJeremy L Thompson and sets the CeedOperator as immutable. 2085f04ea552SJeremy L Thompson 2086eaf62fffSJeremy L Thompson @param op CeedOperator to create element inverses 2087eaf62fffSJeremy L Thompson @param[out] fdm_inv CeedOperator to apply the action of a FDM based inverse 2088eaf62fffSJeremy L Thompson for each element 2089eaf62fffSJeremy L Thompson @param request Address of CeedRequest for non-blocking completion, else 2090eaf62fffSJeremy L Thompson @ref CEED_REQUEST_IMMEDIATE 2091eaf62fffSJeremy L Thompson 2092eaf62fffSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 2093eaf62fffSJeremy L Thompson 2094480fae85SJeremy L Thompson @ref User 2095eaf62fffSJeremy L Thompson **/ 2096eaf62fffSJeremy L Thompson int CeedOperatorCreateFDMElementInverse(CeedOperator op, CeedOperator *fdm_inv, 2097eaf62fffSJeremy L Thompson CeedRequest *request) { 2098eaf62fffSJeremy L Thompson int ierr; 2099eaf62fffSJeremy L Thompson ierr = CeedOperatorCheckReady(op); CeedChk(ierr); 2100eaf62fffSJeremy L Thompson 2101eaf62fffSJeremy L Thompson // Use backend version, if available 2102eaf62fffSJeremy L Thompson if (op->CreateFDMElementInverse) { 2103eaf62fffSJeremy L Thompson ierr = op->CreateFDMElementInverse(op, fdm_inv, request); CeedChk(ierr); 2104eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 2105eaf62fffSJeremy L Thompson } else { 2106eaf62fffSJeremy L Thompson // Check for valid fallback resource 2107eaf62fffSJeremy L Thompson const char *resource, *fallback_resource; 2108eaf62fffSJeremy L Thompson ierr = CeedGetResource(op->ceed, &resource); CeedChk(ierr); 2109eaf62fffSJeremy L Thompson ierr = CeedGetOperatorFallbackResource(op->ceed, &fallback_resource); 2110eaf62fffSJeremy L Thompson CeedChk(ierr); 2111eaf62fffSJeremy L Thompson if (strcmp(fallback_resource, "") && strcmp(resource, fallback_resource)) { 2112eaf62fffSJeremy L Thompson // Fallback to reference Ceed 2113eaf62fffSJeremy L Thompson if (!op->op_fallback) { 2114eaf62fffSJeremy L Thompson ierr = CeedOperatorCreateFallback(op); CeedChk(ierr); 2115eaf62fffSJeremy L Thompson } 2116eaf62fffSJeremy L Thompson // Assemble 2117eaf62fffSJeremy L Thompson ierr = CeedOperatorCreateFDMElementInverse(op->op_fallback, fdm_inv, request); 2118eaf62fffSJeremy L Thompson CeedChk(ierr); 2119eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 2120eaf62fffSJeremy L Thompson } 2121eaf62fffSJeremy L Thompson } 2122eaf62fffSJeremy L Thompson 2123eaf62fffSJeremy L Thompson // Interface implementation 2124eaf62fffSJeremy L Thompson Ceed ceed, ceed_parent; 2125eaf62fffSJeremy L Thompson ierr = CeedOperatorGetCeed(op, &ceed); CeedChk(ierr); 2126eaf62fffSJeremy L Thompson ierr = CeedGetOperatorFallbackParentCeed(ceed, &ceed_parent); CeedChk(ierr); 2127eaf62fffSJeremy L Thompson ceed_parent = ceed_parent ? ceed_parent : ceed; 2128eaf62fffSJeremy L Thompson CeedQFunction qf; 2129eaf62fffSJeremy L Thompson ierr = CeedOperatorGetQFunction(op, &qf); CeedChk(ierr); 2130eaf62fffSJeremy L Thompson 2131eaf62fffSJeremy L Thompson // Determine active input basis 2132eaf62fffSJeremy L Thompson bool interp = false, grad = false; 2133eaf62fffSJeremy L Thompson CeedBasis basis = NULL; 2134eaf62fffSJeremy L Thompson CeedElemRestriction rstr = NULL; 2135eaf62fffSJeremy L Thompson CeedOperatorField *op_fields; 2136eaf62fffSJeremy L Thompson CeedQFunctionField *qf_fields; 2137eaf62fffSJeremy L Thompson CeedInt num_input_fields; 21387e7773b5SJeremy L Thompson ierr = CeedOperatorGetFields(op, &num_input_fields, &op_fields, NULL, NULL); 21397e7773b5SJeremy L Thompson CeedChk(ierr); 21407e7773b5SJeremy L Thompson ierr = CeedQFunctionGetFields(qf, NULL, &qf_fields, NULL, NULL); CeedChk(ierr); 2141eaf62fffSJeremy L Thompson for (CeedInt i=0; i<num_input_fields; i++) { 2142eaf62fffSJeremy L Thompson CeedVector vec; 2143eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetVector(op_fields[i], &vec); CeedChk(ierr); 2144eaf62fffSJeremy L Thompson if (vec == CEED_VECTOR_ACTIVE) { 2145eaf62fffSJeremy L Thompson CeedEvalMode eval_mode; 2146eaf62fffSJeremy L Thompson ierr = CeedQFunctionFieldGetEvalMode(qf_fields[i], &eval_mode); CeedChk(ierr); 2147eaf62fffSJeremy L Thompson interp = interp || eval_mode == CEED_EVAL_INTERP; 2148eaf62fffSJeremy L Thompson grad = grad || eval_mode == CEED_EVAL_GRAD; 2149eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetBasis(op_fields[i], &basis); CeedChk(ierr); 2150eaf62fffSJeremy L Thompson ierr = CeedOperatorFieldGetElemRestriction(op_fields[i], &rstr); CeedChk(ierr); 2151eaf62fffSJeremy L Thompson } 2152eaf62fffSJeremy L Thompson } 2153eaf62fffSJeremy L Thompson if (!basis) 2154eaf62fffSJeremy L Thompson // LCOV_EXCL_START 2155eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_BACKEND, "No active field set"); 2156eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 2157e79b91d9SJeremy L Thompson CeedSize l_size = 1; 2158e79b91d9SJeremy L Thompson CeedInt P_1d, Q_1d, elem_size, num_qpts, dim, num_comp = 1, num_elem = 1; 2159eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumNodes1D(basis, &P_1d); CeedChk(ierr); 2160eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumNodes(basis, &elem_size); CeedChk(ierr); 2161eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints1D(basis, &Q_1d); CeedChk(ierr); 2162eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumQuadraturePoints(basis, &num_qpts); CeedChk(ierr); 2163eaf62fffSJeremy L Thompson ierr = CeedBasisGetDimension(basis, &dim); CeedChk(ierr); 2164eaf62fffSJeremy L Thompson ierr = CeedBasisGetNumComponents(basis, &num_comp); CeedChk(ierr); 2165eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetNumElements(rstr, &num_elem); CeedChk(ierr); 2166eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetLVectorSize(rstr, &l_size); CeedChk(ierr); 2167eaf62fffSJeremy L Thompson 2168eaf62fffSJeremy L Thompson // Build and diagonalize 1D Mass and Laplacian 2169eaf62fffSJeremy L Thompson bool tensor_basis; 2170eaf62fffSJeremy L Thompson ierr = CeedBasisIsTensor(basis, &tensor_basis); CeedChk(ierr); 2171eaf62fffSJeremy L Thompson if (!tensor_basis) 2172eaf62fffSJeremy L Thompson // LCOV_EXCL_START 2173eaf62fffSJeremy L Thompson return CeedError(ceed, CEED_ERROR_BACKEND, 2174eaf62fffSJeremy L Thompson "FDMElementInverse only supported for tensor " 2175eaf62fffSJeremy L Thompson "bases"); 2176eaf62fffSJeremy L Thompson // LCOV_EXCL_STOP 2177eaf62fffSJeremy L Thompson CeedScalar *mass, *laplace, *x, *fdm_interp, *lambda; 2178eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d*P_1d, &mass); CeedChk(ierr); 2179eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d*P_1d, &laplace); CeedChk(ierr); 2180eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d*P_1d, &x); CeedChk(ierr); 2181eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d*P_1d, &fdm_interp); CeedChk(ierr); 2182eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d, &lambda); CeedChk(ierr); 2183eaf62fffSJeremy L Thompson // -- Build matrices 2184eaf62fffSJeremy L Thompson const CeedScalar *interp_1d, *grad_1d, *q_weight_1d; 2185eaf62fffSJeremy L Thompson ierr = CeedBasisGetInterp1D(basis, &interp_1d); CeedChk(ierr); 2186eaf62fffSJeremy L Thompson ierr = CeedBasisGetGrad1D(basis, &grad_1d); CeedChk(ierr); 2187eaf62fffSJeremy L Thompson ierr = CeedBasisGetQWeights(basis, &q_weight_1d); CeedChk(ierr); 2188eaf62fffSJeremy L Thompson ierr = CeedBuildMassLaplace(interp_1d, grad_1d, q_weight_1d, P_1d, Q_1d, dim, 2189eaf62fffSJeremy L Thompson mass, laplace); CeedChk(ierr); 2190eaf62fffSJeremy L Thompson 2191eaf62fffSJeremy L Thompson // -- Diagonalize 2192eaf62fffSJeremy L Thompson ierr = CeedSimultaneousDiagonalization(ceed, laplace, mass, x, lambda, P_1d); 2193eaf62fffSJeremy L Thompson CeedChk(ierr); 2194eaf62fffSJeremy L Thompson ierr = CeedFree(&mass); CeedChk(ierr); 2195eaf62fffSJeremy L Thompson ierr = CeedFree(&laplace); CeedChk(ierr); 2196eaf62fffSJeremy L Thompson for (CeedInt i=0; i<P_1d; i++) 2197eaf62fffSJeremy L Thompson for (CeedInt j=0; j<P_1d; j++) 2198eaf62fffSJeremy L Thompson fdm_interp[i+j*P_1d] = x[j+i*P_1d]; 2199eaf62fffSJeremy L Thompson ierr = CeedFree(&x); CeedChk(ierr); 2200eaf62fffSJeremy L Thompson 2201eaf62fffSJeremy L Thompson // Assemble QFunction 2202eaf62fffSJeremy L Thompson CeedVector assembled; 2203eaf62fffSJeremy L Thompson CeedElemRestriction rstr_qf; 220470a7ffb3SJeremy L Thompson ierr = CeedOperatorLinearAssembleQFunctionBuildOrUpdate(op, &assembled, 220570a7ffb3SJeremy L Thompson &rstr_qf, request); CeedChk(ierr); 2206eaf62fffSJeremy L Thompson CeedInt layout[3]; 2207eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionGetELayout(rstr_qf, &layout); CeedChk(ierr); 2208eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionDestroy(&rstr_qf); CeedChk(ierr); 2209eaf62fffSJeremy L Thompson CeedScalar max_norm = 0; 2210eaf62fffSJeremy L Thompson ierr = CeedVectorNorm(assembled, CEED_NORM_MAX, &max_norm); CeedChk(ierr); 2211eaf62fffSJeremy L Thompson 2212eaf62fffSJeremy L Thompson // Calculate element averages 2213eaf62fffSJeremy L Thompson CeedInt num_modes = (interp?1:0) + (grad?dim:0); 2214eaf62fffSJeremy L Thompson CeedScalar *elem_avg; 2215eaf62fffSJeremy L Thompson const CeedScalar *assembled_array, *q_weight_array; 2216eaf62fffSJeremy L Thompson CeedVector q_weight; 2217eaf62fffSJeremy L Thompson ierr = CeedVectorCreate(ceed_parent, num_qpts, &q_weight); CeedChk(ierr); 2218eaf62fffSJeremy L Thompson ierr = CeedBasisApply(basis, 1, CEED_NOTRANSPOSE, CEED_EVAL_WEIGHT, 2219eaf62fffSJeremy L Thompson CEED_VECTOR_NONE, q_weight); CeedChk(ierr); 2220eaf62fffSJeremy L Thompson ierr = CeedVectorGetArrayRead(assembled, CEED_MEM_HOST, &assembled_array); 2221eaf62fffSJeremy L Thompson CeedChk(ierr); 2222eaf62fffSJeremy L Thompson ierr = CeedVectorGetArrayRead(q_weight, CEED_MEM_HOST, &q_weight_array); 2223eaf62fffSJeremy L Thompson CeedChk(ierr); 2224eaf62fffSJeremy L Thompson ierr = CeedCalloc(num_elem, &elem_avg); CeedChk(ierr); 2225eaf62fffSJeremy L Thompson const CeedScalar qf_value_bound = max_norm*100*CEED_EPSILON; 2226eaf62fffSJeremy L Thompson for (CeedInt e=0; e<num_elem; e++) { 2227eaf62fffSJeremy L Thompson CeedInt count = 0; 2228eaf62fffSJeremy L Thompson for (CeedInt q=0; q<num_qpts; q++) 2229eaf62fffSJeremy L Thompson for (CeedInt i=0; i<num_comp*num_comp*num_modes*num_modes; i++) 2230eaf62fffSJeremy L Thompson if (fabs(assembled_array[q*layout[0] + i*layout[1] + e*layout[2]]) > 2231eaf62fffSJeremy L Thompson qf_value_bound) { 2232eaf62fffSJeremy L Thompson elem_avg[e] += assembled_array[q*layout[0] + i*layout[1] + e*layout[2]] / 2233eaf62fffSJeremy L Thompson q_weight_array[q]; 2234eaf62fffSJeremy L Thompson count++; 2235eaf62fffSJeremy L Thompson } 2236eaf62fffSJeremy L Thompson if (count) { 2237eaf62fffSJeremy L Thompson elem_avg[e] /= count; 2238eaf62fffSJeremy L Thompson } else { 2239eaf62fffSJeremy L Thompson elem_avg[e] = 1.0; 2240eaf62fffSJeremy L Thompson } 2241eaf62fffSJeremy L Thompson } 2242eaf62fffSJeremy L Thompson ierr = CeedVectorRestoreArrayRead(assembled, &assembled_array); CeedChk(ierr); 2243eaf62fffSJeremy L Thompson ierr = CeedVectorDestroy(&assembled); CeedChk(ierr); 2244eaf62fffSJeremy L Thompson ierr = CeedVectorRestoreArrayRead(q_weight, &q_weight_array); CeedChk(ierr); 2245eaf62fffSJeremy L Thompson ierr = CeedVectorDestroy(&q_weight); CeedChk(ierr); 2246eaf62fffSJeremy L Thompson 2247eaf62fffSJeremy L Thompson // Build FDM diagonal 2248eaf62fffSJeremy L Thompson CeedVector q_data; 2249eaf62fffSJeremy L Thompson CeedScalar *q_data_array, *fdm_diagonal; 2250eaf62fffSJeremy L Thompson ierr = CeedCalloc(num_comp*elem_size, &fdm_diagonal); CeedChk(ierr); 2251eaf62fffSJeremy L Thompson const CeedScalar fdm_diagonal_bound = elem_size*CEED_EPSILON; 2252eaf62fffSJeremy L Thompson for (CeedInt c=0; c<num_comp; c++) 2253eaf62fffSJeremy L Thompson for (CeedInt n=0; n<elem_size; n++) { 2254eaf62fffSJeremy L Thompson if (interp) 2255eaf62fffSJeremy L Thompson fdm_diagonal[c*elem_size + n] = 1.0; 2256eaf62fffSJeremy L Thompson if (grad) 2257eaf62fffSJeremy L Thompson for (CeedInt d=0; d<dim; d++) { 2258eaf62fffSJeremy L Thompson CeedInt i = (n / CeedIntPow(P_1d, d)) % P_1d; 2259eaf62fffSJeremy L Thompson fdm_diagonal[c*elem_size + n] += lambda[i]; 2260eaf62fffSJeremy L Thompson } 2261eaf62fffSJeremy L Thompson if (fabs(fdm_diagonal[c*elem_size + n]) < fdm_diagonal_bound) 2262eaf62fffSJeremy L Thompson fdm_diagonal[c*elem_size + n] = fdm_diagonal_bound; 2263eaf62fffSJeremy L Thompson } 2264eaf62fffSJeremy L Thompson ierr = CeedVectorCreate(ceed_parent, num_elem*num_comp*elem_size, &q_data); 2265eaf62fffSJeremy L Thompson CeedChk(ierr); 2266eaf62fffSJeremy L Thompson ierr = CeedVectorSetValue(q_data, 0.0); CeedChk(ierr); 22679c774eddSJeremy L Thompson ierr = CeedVectorGetArrayWrite(q_data, CEED_MEM_HOST, &q_data_array); 22689c774eddSJeremy L Thompson CeedChk(ierr); 2269eaf62fffSJeremy L Thompson for (CeedInt e=0; e<num_elem; e++) 2270eaf62fffSJeremy L Thompson for (CeedInt c=0; c<num_comp; c++) 2271eaf62fffSJeremy L Thompson for (CeedInt n=0; n<elem_size; n++) 2272eaf62fffSJeremy L Thompson q_data_array[(e*num_comp+c)*elem_size+n] = 1. / (elem_avg[e] * 2273eaf62fffSJeremy L Thompson fdm_diagonal[c*elem_size + n]); 2274eaf62fffSJeremy L Thompson ierr = CeedFree(&elem_avg); CeedChk(ierr); 2275eaf62fffSJeremy L Thompson ierr = CeedFree(&fdm_diagonal); CeedChk(ierr); 2276eaf62fffSJeremy L Thompson ierr = CeedVectorRestoreArray(q_data, &q_data_array); CeedChk(ierr); 2277eaf62fffSJeremy L Thompson 2278eaf62fffSJeremy L Thompson // Setup FDM operator 2279eaf62fffSJeremy L Thompson // -- Basis 2280eaf62fffSJeremy L Thompson CeedBasis fdm_basis; 2281eaf62fffSJeremy L Thompson CeedScalar *grad_dummy, *q_ref_dummy, *q_weight_dummy; 2282eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d*P_1d, &grad_dummy); CeedChk(ierr); 2283eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d, &q_ref_dummy); CeedChk(ierr); 2284eaf62fffSJeremy L Thompson ierr = CeedCalloc(P_1d, &q_weight_dummy); CeedChk(ierr); 2285eaf62fffSJeremy L Thompson ierr = CeedBasisCreateTensorH1(ceed_parent, dim, num_comp, P_1d, P_1d, 2286eaf62fffSJeremy L Thompson fdm_interp, grad_dummy, q_ref_dummy, 2287eaf62fffSJeremy L Thompson q_weight_dummy, &fdm_basis); CeedChk(ierr); 2288eaf62fffSJeremy L Thompson ierr = CeedFree(&fdm_interp); CeedChk(ierr); 2289eaf62fffSJeremy L Thompson ierr = CeedFree(&grad_dummy); CeedChk(ierr); 2290eaf62fffSJeremy L Thompson ierr = CeedFree(&q_ref_dummy); CeedChk(ierr); 2291eaf62fffSJeremy L Thompson ierr = CeedFree(&q_weight_dummy); CeedChk(ierr); 2292eaf62fffSJeremy L Thompson ierr = CeedFree(&lambda); CeedChk(ierr); 2293eaf62fffSJeremy L Thompson 2294eaf62fffSJeremy L Thompson // -- Restriction 2295eaf62fffSJeremy L Thompson CeedElemRestriction rstr_qd_i; 2296eaf62fffSJeremy L Thompson CeedInt strides[3] = {1, elem_size, elem_size*num_comp}; 2297eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionCreateStrided(ceed_parent, num_elem, elem_size, 2298eaf62fffSJeremy L Thompson num_comp, num_elem*num_comp*elem_size, 2299eaf62fffSJeremy L Thompson strides, &rstr_qd_i); CeedChk(ierr); 2300eaf62fffSJeremy L Thompson // -- QFunction 2301eaf62fffSJeremy L Thompson CeedQFunction qf_fdm; 2302eaf62fffSJeremy L Thompson ierr = CeedQFunctionCreateInteriorByName(ceed_parent, "Scale", &qf_fdm); 2303eaf62fffSJeremy L Thompson CeedChk(ierr); 2304eaf62fffSJeremy L Thompson ierr = CeedQFunctionAddInput(qf_fdm, "input", num_comp, CEED_EVAL_INTERP); 2305eaf62fffSJeremy L Thompson CeedChk(ierr); 2306eaf62fffSJeremy L Thompson ierr = CeedQFunctionAddInput(qf_fdm, "scale", num_comp, CEED_EVAL_NONE); 2307eaf62fffSJeremy L Thompson CeedChk(ierr); 2308eaf62fffSJeremy L Thompson ierr = CeedQFunctionAddOutput(qf_fdm, "output", num_comp, CEED_EVAL_INTERP); 2309eaf62fffSJeremy L Thompson CeedChk(ierr); 23106e15d496SJeremy L Thompson ierr = CeedQFunctionSetUserFlopsEstimate(qf_fdm, num_comp); CeedChk(ierr); 2311eaf62fffSJeremy L Thompson // -- QFunction context 2312eaf62fffSJeremy L Thompson CeedInt *num_comp_data; 2313eaf62fffSJeremy L Thompson ierr = CeedCalloc(1, &num_comp_data); CeedChk(ierr); 2314eaf62fffSJeremy L Thompson num_comp_data[0] = num_comp; 2315eaf62fffSJeremy L Thompson CeedQFunctionContext ctx_fdm; 2316eaf62fffSJeremy L Thompson ierr = CeedQFunctionContextCreate(ceed, &ctx_fdm); CeedChk(ierr); 2317eaf62fffSJeremy L Thompson ierr = CeedQFunctionContextSetData(ctx_fdm, CEED_MEM_HOST, CEED_OWN_POINTER, 2318eaf62fffSJeremy L Thompson sizeof(*num_comp_data), num_comp_data); 2319eaf62fffSJeremy L Thompson CeedChk(ierr); 2320eaf62fffSJeremy L Thompson ierr = CeedQFunctionSetContext(qf_fdm, ctx_fdm); CeedChk(ierr); 2321eaf62fffSJeremy L Thompson ierr = CeedQFunctionContextDestroy(&ctx_fdm); CeedChk(ierr); 2322eaf62fffSJeremy L Thompson // -- Operator 2323eaf62fffSJeremy L Thompson ierr = CeedOperatorCreate(ceed_parent, qf_fdm, NULL, NULL, fdm_inv); 2324eaf62fffSJeremy L Thompson CeedChk(ierr); 2325eaf62fffSJeremy L Thompson CeedOperatorSetField(*fdm_inv, "input", rstr, fdm_basis, CEED_VECTOR_ACTIVE); 2326eaf62fffSJeremy L Thompson CeedChk(ierr); 2327eaf62fffSJeremy L Thompson CeedOperatorSetField(*fdm_inv, "scale", rstr_qd_i, CEED_BASIS_COLLOCATED, 2328eaf62fffSJeremy L Thompson q_data); CeedChk(ierr); 2329eaf62fffSJeremy L Thompson CeedOperatorSetField(*fdm_inv, "output", rstr, fdm_basis, CEED_VECTOR_ACTIVE); 2330eaf62fffSJeremy L Thompson CeedChk(ierr); 2331eaf62fffSJeremy L Thompson 2332eaf62fffSJeremy L Thompson // Cleanup 2333eaf62fffSJeremy L Thompson ierr = CeedVectorDestroy(&q_data); CeedChk(ierr); 2334eaf62fffSJeremy L Thompson ierr = CeedBasisDestroy(&fdm_basis); CeedChk(ierr); 2335eaf62fffSJeremy L Thompson ierr = CeedElemRestrictionDestroy(&rstr_qd_i); CeedChk(ierr); 2336eaf62fffSJeremy L Thompson ierr = CeedQFunctionDestroy(&qf_fdm); CeedChk(ierr); 2337eaf62fffSJeremy L Thompson 2338eaf62fffSJeremy L Thompson return CEED_ERROR_SUCCESS; 2339eaf62fffSJeremy L Thompson } 2340eaf62fffSJeremy L Thompson 2341eaf62fffSJeremy L Thompson /// @} 2342