1d7b241e6Sjeremylt // Copyright (c) 2017, Lawrence Livermore National Security, LLC. Produced at 2d7b241e6Sjeremylt // the Lawrence Livermore National Laboratory. LLNL-CODE-734707. All Rights 3d7b241e6Sjeremylt // reserved. See files LICENSE and NOTICE for details. 4d7b241e6Sjeremylt // 5d7b241e6Sjeremylt // This file is part of CEED, a collection of benchmarks, miniapps, software 6d7b241e6Sjeremylt // libraries and APIs for efficient high-order finite element and spectral 7d7b241e6Sjeremylt // element discretizations for exascale applications. For more information and 8d7b241e6Sjeremylt // source code availability see http://github.com/ceed. 9d7b241e6Sjeremylt // 10d7b241e6Sjeremylt // The CEED research is supported by the Exascale Computing Project 17-SC-20-SC, 11d7b241e6Sjeremylt // a collaborative effort of two U.S. Department of Energy organizations (Office 12d7b241e6Sjeremylt // of Science and the National Nuclear Security Administration) responsible for 13d7b241e6Sjeremylt // the planning and preparation of a capable exascale ecosystem, including 14d7b241e6Sjeremylt // software, applications, hardware, advanced system engineering and early 15d7b241e6Sjeremylt // testbed platforms, in support of the nation's exascale computing imperative. 16d7b241e6Sjeremylt 17d7b241e6Sjeremylt #include <ceed-impl.h> 18d863ab9bSjeremylt #include <ceed-backend.h> 19d7b241e6Sjeremylt #include <math.h> 20d7b241e6Sjeremylt #include <stdio.h> 21d7b241e6Sjeremylt #include <stdlib.h> 22d7b241e6Sjeremylt #include <string.h> 23d7b241e6Sjeremylt 24d7b241e6Sjeremylt /// @cond DOXYGEN_SKIP 25783c99b3SValeria Barra static struct CeedBasis_private ceed_basis_collocated; 26d7b241e6Sjeremylt /// @endcond 27d7b241e6Sjeremylt 28d7b241e6Sjeremylt /// @file 29d7b241e6Sjeremylt /// Implementation of public CeedBasis interfaces 30d7b241e6Sjeremylt /// 31dfdf5a53Sjeremylt /// @addtogroup CeedBasis 32d7b241e6Sjeremylt /// @{ 33d7b241e6Sjeremylt 34b11c1e72Sjeremylt /** 35b11c1e72Sjeremylt @brief Create a tensor product basis for H^1 discretizations 36b11c1e72Sjeremylt 37b11c1e72Sjeremylt @param ceed A Ceed object where the CeedBasis will be created 38b11c1e72Sjeremylt @param dim Topological dimension 39b11c1e72Sjeremylt @param ncomp Number of field components (1 for scalar fields) 40b11c1e72Sjeremylt @param P1d Number of nodes in one dimension 41b11c1e72Sjeremylt @param Q1d Number of quadrature points in one dimension 42b11c1e72Sjeremylt @param interp1d Row-major Q1d × P1d matrix expressing the values of nodal 43b11c1e72Sjeremylt basis functions at quadrature points 44b11c1e72Sjeremylt @param grad1d Row-major Q1d × P1d matrix expressing derivatives of nodal 45b11c1e72Sjeremylt basis functions at quadrature points 46b11c1e72Sjeremylt @param qref1d Array of length Q1d holding the locations of quadrature points 47b11c1e72Sjeremylt on the 1D reference element [-1, 1] 48b11c1e72Sjeremylt @param qweight1d Array of length Q1d holding the quadrature weights on the 49b11c1e72Sjeremylt reference element 50b11c1e72Sjeremylt @param[out] basis Address of the variable where the newly created 51b11c1e72Sjeremylt CeedBasis will be stored. 52b11c1e72Sjeremylt 53b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 54dfdf5a53Sjeremylt 55dfdf5a53Sjeremylt @ref Basic 56b11c1e72Sjeremylt **/ 57d7b241e6Sjeremylt int CeedBasisCreateTensorH1(Ceed ceed, CeedInt dim, CeedInt ncomp, CeedInt P1d, 58d7b241e6Sjeremylt CeedInt Q1d, const CeedScalar *interp1d, 59d7b241e6Sjeremylt const CeedScalar *grad1d, const CeedScalar *qref1d, 60d7b241e6Sjeremylt const CeedScalar *qweight1d, CeedBasis *basis) { 61d7b241e6Sjeremylt int ierr; 62d7b241e6Sjeremylt 634d537eeaSYohann if (dim<1) 64c042f62fSJeremy L Thompson // LCOV_EXCL_START 654d537eeaSYohann return CeedError(ceed, 1, "Basis dimension must be a positive value"); 66c042f62fSJeremy L Thompson // LCOV_EXCL_STOP 674d537eeaSYohann 685fe0d4faSjeremylt if (!ceed->BasisCreateTensorH1) { 695fe0d4faSjeremylt Ceed delegate; 70aefd8378Sjeremylt ierr = CeedGetObjectDelegate(ceed, &delegate, "Basis"); CeedChk(ierr); 715fe0d4faSjeremylt 725fe0d4faSjeremylt if (!delegate) 73c042f62fSJeremy L Thompson // LCOV_EXCL_START 74d7b241e6Sjeremylt return CeedError(ceed, 1, "Backend does not support BasisCreateTensorH1"); 75c042f62fSJeremy L Thompson // LCOV_EXCL_STOP 765fe0d4faSjeremylt 775fe0d4faSjeremylt ierr = CeedBasisCreateTensorH1(delegate, dim, ncomp, P1d, 785fe0d4faSjeremylt Q1d, interp1d, grad1d, qref1d, 795fe0d4faSjeremylt qweight1d, basis); CeedChk(ierr); 805fe0d4faSjeremylt return 0; 815fe0d4faSjeremylt } 82d7b241e6Sjeremylt ierr = CeedCalloc(1,basis); CeedChk(ierr); 83d7b241e6Sjeremylt (*basis)->ceed = ceed; 84d7b241e6Sjeremylt ceed->refcount++; 85d7b241e6Sjeremylt (*basis)->refcount = 1; 86a8de75f0Sjeremylt (*basis)->tensorbasis = 1; 87d7b241e6Sjeremylt (*basis)->dim = dim; 88d7b241e6Sjeremylt (*basis)->ncomp = ncomp; 89d7b241e6Sjeremylt (*basis)->P1d = P1d; 90d7b241e6Sjeremylt (*basis)->Q1d = Q1d; 91a8de75f0Sjeremylt (*basis)->P = CeedIntPow(P1d, dim); 92a8de75f0Sjeremylt (*basis)->Q = CeedIntPow(Q1d, dim); 93d7b241e6Sjeremylt ierr = CeedMalloc(Q1d,&(*basis)->qref1d); CeedChk(ierr); 94d7b241e6Sjeremylt ierr = CeedMalloc(Q1d,&(*basis)->qweight1d); CeedChk(ierr); 95d7b241e6Sjeremylt memcpy((*basis)->qref1d, qref1d, Q1d*sizeof(qref1d[0])); 96d7b241e6Sjeremylt memcpy((*basis)->qweight1d, qweight1d, Q1d*sizeof(qweight1d[0])); 97d7b241e6Sjeremylt ierr = CeedMalloc(Q1d*P1d,&(*basis)->interp1d); CeedChk(ierr); 98d7b241e6Sjeremylt ierr = CeedMalloc(Q1d*P1d,&(*basis)->grad1d); CeedChk(ierr); 99d7b241e6Sjeremylt memcpy((*basis)->interp1d, interp1d, Q1d*P1d*sizeof(interp1d[0])); 10009486605Sjeremylt memcpy((*basis)->grad1d, grad1d, Q1d*P1d*sizeof(grad1d[0])); 101667bc5fcSjeremylt ierr = ceed->BasisCreateTensorH1(dim, P1d, Q1d, interp1d, grad1d, qref1d, 102d7b241e6Sjeremylt qweight1d, *basis); CeedChk(ierr); 103d7b241e6Sjeremylt return 0; 104d7b241e6Sjeremylt } 105d7b241e6Sjeremylt 106b11c1e72Sjeremylt /** 107b11c1e72Sjeremylt @brief Create a tensor product Lagrange basis 108b11c1e72Sjeremylt 109b11c1e72Sjeremylt @param ceed A Ceed object where the CeedBasis will be created 110b11c1e72Sjeremylt @param dim Topological dimension of element 111b11c1e72Sjeremylt @param ncomp Number of field components 112b11c1e72Sjeremylt @param P Number of Gauss-Lobatto nodes in one dimension. The 113b11c1e72Sjeremylt polynomial degree of the resulting Q_k element is k=P-1. 114b11c1e72Sjeremylt @param Q Number of quadrature points in one dimension. 115b11c1e72Sjeremylt @param qmode Distribution of the Q quadrature points (affects order of 116b11c1e72Sjeremylt accuracy for the quadrature) 117b11c1e72Sjeremylt @param[out] basis Address of the variable where the newly created 118b11c1e72Sjeremylt CeedBasis will be stored. 119b11c1e72Sjeremylt 120b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 121dfdf5a53Sjeremylt 122dfdf5a53Sjeremylt @ref Basic 123b11c1e72Sjeremylt **/ 124d7b241e6Sjeremylt int CeedBasisCreateTensorH1Lagrange(Ceed ceed, CeedInt dim, CeedInt ncomp, 125692c2638Sjeremylt CeedInt P, CeedInt Q, CeedQuadMode qmode, 126692c2638Sjeremylt CeedBasis *basis) { 127d7b241e6Sjeremylt // Allocate 128d7b241e6Sjeremylt int ierr, i, j, k; 129d7b241e6Sjeremylt CeedScalar c1, c2, c3, c4, dx, *nodes, *interp1d, *grad1d, *qref1d, *qweight1d; 1304d537eeaSYohann 1314d537eeaSYohann if (dim<1) 132c042f62fSJeremy L Thompson // LCOV_EXCL_START 1334d537eeaSYohann return CeedError(ceed, 1, "Basis dimension must be a positive value"); 134c042f62fSJeremy L Thompson // LCOV_EXCL_STOP 1354d537eeaSYohann 136d7b241e6Sjeremylt ierr = CeedCalloc(P*Q, &interp1d); CeedChk(ierr); 137d7b241e6Sjeremylt ierr = CeedCalloc(P*Q, &grad1d); CeedChk(ierr); 138d7b241e6Sjeremylt ierr = CeedCalloc(P, &nodes); CeedChk(ierr); 139d7b241e6Sjeremylt ierr = CeedCalloc(Q, &qref1d); CeedChk(ierr); 140d7b241e6Sjeremylt ierr = CeedCalloc(Q, &qweight1d); CeedChk(ierr); 141d7b241e6Sjeremylt // Get Nodes and Weights 142d7b241e6Sjeremylt ierr = CeedLobattoQuadrature(P, nodes, NULL); CeedChk(ierr); 143d7b241e6Sjeremylt switch (qmode) { 144d7b241e6Sjeremylt case CEED_GAUSS: 145d7b241e6Sjeremylt ierr = CeedGaussQuadrature(Q, qref1d, qweight1d); CeedChk(ierr); 146d7b241e6Sjeremylt break; 147d7b241e6Sjeremylt case CEED_GAUSS_LOBATTO: 148d7b241e6Sjeremylt ierr = CeedLobattoQuadrature(Q, qref1d, qweight1d); CeedChk(ierr); 149d7b241e6Sjeremylt break; 150d7b241e6Sjeremylt } 151d7b241e6Sjeremylt // Build B, D matrix 152d7b241e6Sjeremylt // Fornberg, 1998 153d7b241e6Sjeremylt for (i = 0; i < Q; i++) { 154d7b241e6Sjeremylt c1 = 1.0; 155d7b241e6Sjeremylt c3 = nodes[0] - qref1d[i]; 156d7b241e6Sjeremylt interp1d[i*P+0] = 1.0; 157d7b241e6Sjeremylt for (j = 1; j < P; j++) { 158d7b241e6Sjeremylt c2 = 1.0; 159d7b241e6Sjeremylt c4 = c3; 160d7b241e6Sjeremylt c3 = nodes[j] - qref1d[i]; 161d7b241e6Sjeremylt for (k = 0; k < j; k++) { 162d7b241e6Sjeremylt dx = nodes[j] - nodes[k]; 163d7b241e6Sjeremylt c2 *= dx; 164d7b241e6Sjeremylt if (k == j - 1) { 165d7b241e6Sjeremylt grad1d[i*P + j] = c1*(interp1d[i*P + k] - c4*grad1d[i*P + k]) / c2; 166d7b241e6Sjeremylt interp1d[i*P + j] = - c1*c4*interp1d[i*P + k] / c2; 167d7b241e6Sjeremylt } 168d7b241e6Sjeremylt grad1d[i*P + k] = (c3*grad1d[i*P + k] - interp1d[i*P + k]) / dx; 169d7b241e6Sjeremylt interp1d[i*P + k] = c3*interp1d[i*P + k] / dx; 170d7b241e6Sjeremylt } 171d7b241e6Sjeremylt c1 = c2; 172d7b241e6Sjeremylt } 173d7b241e6Sjeremylt } 174d7b241e6Sjeremylt // // Pass to CeedBasisCreateTensorH1 175d7b241e6Sjeremylt ierr = CeedBasisCreateTensorH1(ceed, dim, ncomp, P, Q, interp1d, grad1d, qref1d, 176d7b241e6Sjeremylt qweight1d, basis); CeedChk(ierr); 177d7b241e6Sjeremylt ierr = CeedFree(&interp1d); CeedChk(ierr); 178d7b241e6Sjeremylt ierr = CeedFree(&grad1d); CeedChk(ierr); 179d7b241e6Sjeremylt ierr = CeedFree(&nodes); CeedChk(ierr); 180d7b241e6Sjeremylt ierr = CeedFree(&qref1d); CeedChk(ierr); 181d7b241e6Sjeremylt ierr = CeedFree(&qweight1d); CeedChk(ierr); 182d7b241e6Sjeremylt return 0; 183d7b241e6Sjeremylt } 184d7b241e6Sjeremylt 185b11c1e72Sjeremylt /** 186a8de75f0Sjeremylt @brief Create a non tensor product basis for H^1 discretizations 187a8de75f0Sjeremylt 188a8de75f0Sjeremylt @param ceed A Ceed object where the CeedBasis will be created 189a8de75f0Sjeremylt @param topo Topology of element, e.g. hypercube, simplex, ect 190a8de75f0Sjeremylt @param ncomp Number of field components (1 for scalar fields) 1918795c945Sjeremylt @param nnodes Total number of nodes 192a8de75f0Sjeremylt @param nqpts Total number of quadrature points 1938795c945Sjeremylt @param interp Row-major nqpts × nnodes matrix expressing the values of 1948795c945Sjeremylt nodal basis functions at quadrature points 1958795c945Sjeremylt @param grad Row-major (nqpts x dim) × nnodes matrix expressing 1968795c945Sjeremylt derivatives of nodal basis functions at quadrature points 1978795c945Sjeremylt @param qref Array of length nqpts holding the locations of quadrature 1988795c945Sjeremylt points on the reference element [-1, 1] 199a8de75f0Sjeremylt @param qweight Array of length nqpts holding the quadrature weights on the 200a8de75f0Sjeremylt reference element 201a8de75f0Sjeremylt @param[out] basis Address of the variable where the newly created 202a8de75f0Sjeremylt CeedBasis will be stored. 203a8de75f0Sjeremylt 204a8de75f0Sjeremylt @return An error code: 0 - success, otherwise - failure 205a8de75f0Sjeremylt 206a8de75f0Sjeremylt @ref Basic 207a8de75f0Sjeremylt **/ 208a8de75f0Sjeremylt int CeedBasisCreateH1(Ceed ceed, CeedElemTopology topo, CeedInt ncomp, 209692c2638Sjeremylt CeedInt nnodes, CeedInt nqpts, const CeedScalar *interp, 210a8de75f0Sjeremylt const CeedScalar *grad, const CeedScalar *qref, 211a8de75f0Sjeremylt const CeedScalar *qweight, CeedBasis *basis) { 212a8de75f0Sjeremylt int ierr; 2138795c945Sjeremylt CeedInt P = nnodes, Q = nqpts, dim = 0; 214a8de75f0Sjeremylt 2155fe0d4faSjeremylt if (!ceed->BasisCreateH1) { 2165fe0d4faSjeremylt Ceed delegate; 217aefd8378Sjeremylt ierr = CeedGetObjectDelegate(ceed, &delegate, "Basis"); CeedChk(ierr); 2185fe0d4faSjeremylt 2195fe0d4faSjeremylt if (!delegate) 220c042f62fSJeremy L Thompson // LCOV_EXCL_START 221a8de75f0Sjeremylt return CeedError(ceed, 1, "Backend does not support BasisCreateH1"); 222c042f62fSJeremy L Thompson // LCOV_EXCL_STOP 2235fe0d4faSjeremylt 2248795c945Sjeremylt ierr = CeedBasisCreateH1(delegate, topo, ncomp, nnodes, 2255fe0d4faSjeremylt nqpts, interp, grad, qref, 2265fe0d4faSjeremylt qweight, basis); CeedChk(ierr); 2275fe0d4faSjeremylt return 0; 2285fe0d4faSjeremylt } 2295fe0d4faSjeremylt 230a8de75f0Sjeremylt ierr = CeedCalloc(1,basis); CeedChk(ierr); 231a8de75f0Sjeremylt 232a8de75f0Sjeremylt ierr = CeedBasisGetTopologyDimension(topo, &dim); CeedChk(ierr); 233a8de75f0Sjeremylt 234a8de75f0Sjeremylt (*basis)->ceed = ceed; 235a8de75f0Sjeremylt ceed->refcount++; 236a8de75f0Sjeremylt (*basis)->refcount = 1; 237a8de75f0Sjeremylt (*basis)->tensorbasis = 0; 238a8de75f0Sjeremylt (*basis)->dim = dim; 239a8de75f0Sjeremylt (*basis)->ncomp = ncomp; 240a8de75f0Sjeremylt (*basis)->P = P; 241a8de75f0Sjeremylt (*basis)->Q = Q; 242a8de75f0Sjeremylt ierr = CeedMalloc(Q*dim,&(*basis)->qref1d); CeedChk(ierr); 243a8de75f0Sjeremylt ierr = CeedMalloc(Q,&(*basis)->qweight1d); CeedChk(ierr); 244a8de75f0Sjeremylt memcpy((*basis)->qref1d, qref, Q*dim*sizeof(qref[0])); 245a8de75f0Sjeremylt memcpy((*basis)->qweight1d, qweight, Q*sizeof(qweight[0])); 246a8de75f0Sjeremylt ierr = CeedMalloc(Q*P,&(*basis)->interp1d); CeedChk(ierr); 247a8de75f0Sjeremylt ierr = CeedMalloc(dim*Q*P,&(*basis)->grad1d); CeedChk(ierr); 248a8de75f0Sjeremylt memcpy((*basis)->interp1d, interp, Q*P*sizeof(interp[0])); 249a8de75f0Sjeremylt memcpy((*basis)->grad1d, grad, dim*Q*P*sizeof(grad[0])); 250667bc5fcSjeremylt ierr = ceed->BasisCreateH1(topo, dim, P, Q, interp, grad, qref, 251a8de75f0Sjeremylt qweight, *basis); CeedChk(ierr); 252a8de75f0Sjeremylt return 0; 253a8de75f0Sjeremylt } 254a8de75f0Sjeremylt 255a8de75f0Sjeremylt /** 256b11c1e72Sjeremylt @brief Construct a Gauss-Legendre quadrature 257b11c1e72Sjeremylt 258b11c1e72Sjeremylt @param Q Number of quadrature points (integrates polynomials of 259b11c1e72Sjeremylt degree 2*Q-1 exactly) 260b11c1e72Sjeremylt @param[out] qref1d Array of length Q to hold the abscissa on [-1, 1] 261b11c1e72Sjeremylt @param[out] qweight1d Array of length Q to hold the weights 262b11c1e72Sjeremylt 263b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 264dfdf5a53Sjeremylt 265dfdf5a53Sjeremylt @ref Utility 266b11c1e72Sjeremylt **/ 267d7b241e6Sjeremylt int CeedGaussQuadrature(CeedInt Q, CeedScalar *qref1d, CeedScalar *qweight1d) { 268d7b241e6Sjeremylt // Allocate 269d7b241e6Sjeremylt CeedScalar P0, P1, P2, dP2, xi, wi, PI = 4.0*atan(1.0); 270d7b241e6Sjeremylt // Build qref1d, qweight1d 271d7b241e6Sjeremylt for (int i = 0; i <= Q/2; i++) { 272d7b241e6Sjeremylt // Guess 273d7b241e6Sjeremylt xi = cos(PI*(CeedScalar)(2*i+1)/((CeedScalar)(2*Q))); 274d7b241e6Sjeremylt // Pn(xi) 275d7b241e6Sjeremylt P0 = 1.0; 276d7b241e6Sjeremylt P1 = xi; 277d7b241e6Sjeremylt P2 = 0.0; 278d7b241e6Sjeremylt for (int j = 2; j <= Q; j++) { 279d7b241e6Sjeremylt P2 = (((CeedScalar)(2*j-1))*xi*P1-((CeedScalar)(j-1))*P0)/((CeedScalar)(j)); 280d7b241e6Sjeremylt P0 = P1; 281d7b241e6Sjeremylt P1 = P2; 282d7b241e6Sjeremylt } 283d7b241e6Sjeremylt // First Newton Step 284d7b241e6Sjeremylt dP2 = (xi*P2 - P0)*(CeedScalar)Q/(xi*xi-1.0); 285d7b241e6Sjeremylt xi = xi-P2/dP2; 286d7b241e6Sjeremylt // Newton to convergence 287d7b241e6Sjeremylt for (int k=0; k<100 && fabs(P2)>1e-15; k++) { 288d7b241e6Sjeremylt P0 = 1.0; 289d7b241e6Sjeremylt P1 = xi; 290d7b241e6Sjeremylt for (int j = 2; j <= Q; j++) { 291d7b241e6Sjeremylt P2 = (((CeedScalar)(2*j-1))*xi*P1-((CeedScalar)(j-1))*P0)/((CeedScalar)(j)); 292d7b241e6Sjeremylt P0 = P1; 293d7b241e6Sjeremylt P1 = P2; 294d7b241e6Sjeremylt } 295d7b241e6Sjeremylt dP2 = (xi*P2 - P0)*(CeedScalar)Q/(xi*xi-1.0); 296d7b241e6Sjeremylt xi = xi-P2/dP2; 297d7b241e6Sjeremylt } 298d7b241e6Sjeremylt // Save xi, wi 299d7b241e6Sjeremylt wi = 2.0/((1.0-xi*xi)*dP2*dP2); 300d7b241e6Sjeremylt qweight1d[i] = wi; 301d7b241e6Sjeremylt qweight1d[Q-1-i] = wi; 302d7b241e6Sjeremylt qref1d[i] = -xi; 303d7b241e6Sjeremylt qref1d[Q-1-i]= xi; 304d7b241e6Sjeremylt } 305d7b241e6Sjeremylt return 0; 306d7b241e6Sjeremylt } 307d7b241e6Sjeremylt 308b11c1e72Sjeremylt /** 309b11c1e72Sjeremylt @brief Construct a Gauss-Legendre-Lobatto quadrature 310b11c1e72Sjeremylt 311b11c1e72Sjeremylt @param Q Number of quadrature points (integrates polynomials of 312b11c1e72Sjeremylt degree 2*Q-3 exactly) 313b11c1e72Sjeremylt @param[out] qref1d Array of length Q to hold the abscissa on [-1, 1] 314b11c1e72Sjeremylt @param[out] qweight1d Array of length Q to hold the weights 315b11c1e72Sjeremylt 316b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 317dfdf5a53Sjeremylt 318dfdf5a53Sjeremylt @ref Utility 319b11c1e72Sjeremylt **/ 320d7b241e6Sjeremylt int CeedLobattoQuadrature(CeedInt Q, CeedScalar *qref1d, 321d7b241e6Sjeremylt CeedScalar *qweight1d) { 322d7b241e6Sjeremylt // Allocate 323d7b241e6Sjeremylt CeedScalar P0, P1, P2, dP2, d2P2, xi, wi, PI = 4.0*atan(1.0); 324d7b241e6Sjeremylt // Build qref1d, qweight1d 325d7b241e6Sjeremylt // Set endpoints 326d7b241e6Sjeremylt wi = 2.0/((CeedScalar)(Q*(Q-1))); 327d7b241e6Sjeremylt if (qweight1d) { 328d7b241e6Sjeremylt qweight1d[0] = wi; 329d7b241e6Sjeremylt qweight1d[Q-1] = wi; 330d7b241e6Sjeremylt } 331d7b241e6Sjeremylt qref1d[0] = -1.0; 332d7b241e6Sjeremylt qref1d[Q-1] = 1.0; 333d7b241e6Sjeremylt // Interior 334d7b241e6Sjeremylt for (int i = 1; i <= (Q-1)/2; i++) { 335d7b241e6Sjeremylt // Guess 336d7b241e6Sjeremylt xi = cos(PI*(CeedScalar)(i)/(CeedScalar)(Q-1)); 337d7b241e6Sjeremylt // Pn(xi) 338d7b241e6Sjeremylt P0 = 1.0; 339d7b241e6Sjeremylt P1 = xi; 340d7b241e6Sjeremylt P2 = 0.0; 341d7b241e6Sjeremylt for (int j = 2; j < Q; j++) { 342d7b241e6Sjeremylt P2 = (((CeedScalar)(2*j-1))*xi*P1-((CeedScalar)(j-1))*P0)/((CeedScalar)(j)); 343d7b241e6Sjeremylt P0 = P1; 344d7b241e6Sjeremylt P1 = P2; 345d7b241e6Sjeremylt } 346d7b241e6Sjeremylt // First Newton step 347d7b241e6Sjeremylt dP2 = (xi*P2 - P0)*(CeedScalar)Q/(xi*xi-1.0); 348d7b241e6Sjeremylt d2P2 = (2*xi*dP2 - (CeedScalar)(Q*(Q-1))*P2)/(1.0-xi*xi); 349d7b241e6Sjeremylt xi = xi-dP2/d2P2; 350d7b241e6Sjeremylt // Newton to convergence 351d7b241e6Sjeremylt for (int k=0; k<100 && fabs(dP2)>1e-15; k++) { 352d7b241e6Sjeremylt P0 = 1.0; 353d7b241e6Sjeremylt P1 = xi; 354d7b241e6Sjeremylt for (int j = 2; j < Q; j++) { 355d7b241e6Sjeremylt P2 = (((CeedScalar)(2*j-1))*xi*P1-((CeedScalar)(j-1))*P0)/((CeedScalar)(j)); 356d7b241e6Sjeremylt P0 = P1; 357d7b241e6Sjeremylt P1 = P2; 358d7b241e6Sjeremylt } 359d7b241e6Sjeremylt dP2 = (xi*P2 - P0)*(CeedScalar)Q/(xi*xi-1.0); 360d7b241e6Sjeremylt d2P2 = (2*xi*dP2 - (CeedScalar)(Q*(Q-1))*P2)/(1.0-xi*xi); 361d7b241e6Sjeremylt xi = xi-dP2/d2P2; 362d7b241e6Sjeremylt } 363d7b241e6Sjeremylt // Save xi, wi 364d7b241e6Sjeremylt wi = 2.0/(((CeedScalar)(Q*(Q-1)))*P2*P2); 365d7b241e6Sjeremylt if (qweight1d) { 366d7b241e6Sjeremylt qweight1d[i] = wi; 367d7b241e6Sjeremylt qweight1d[Q-1-i] = wi; 368d7b241e6Sjeremylt } 369d7b241e6Sjeremylt qref1d[i] = -xi; 370d7b241e6Sjeremylt qref1d[Q-1-i]= xi; 371d7b241e6Sjeremylt } 372d7b241e6Sjeremylt return 0; 373d7b241e6Sjeremylt } 374d7b241e6Sjeremylt 375dfdf5a53Sjeremylt /** 376dfdf5a53Sjeremylt @brief View an array stored in a CeedBasis 377dfdf5a53Sjeremylt 378dfdf5a53Sjeremylt @param name Name of array 379dfdf5a53Sjeremylt @param fpformat Printing format 380dfdf5a53Sjeremylt @param m Number of rows in array 381dfdf5a53Sjeremylt @param n Number of columns in array 382dfdf5a53Sjeremylt @param a Array to be viewed 383dfdf5a53Sjeremylt @param stream Stream to view to, e.g., stdout 384dfdf5a53Sjeremylt 385dfdf5a53Sjeremylt @return An error code: 0 - success, otherwise - failure 386dfdf5a53Sjeremylt 387dfdf5a53Sjeremylt @ref Utility 388dfdf5a53Sjeremylt **/ 389d7b241e6Sjeremylt static int CeedScalarView(const char *name, const char *fpformat, CeedInt m, 390d7b241e6Sjeremylt CeedInt n, const CeedScalar *a, FILE *stream) { 391d7b241e6Sjeremylt for (int i=0; i<m; i++) { 3921d102b48SJeremy L Thompson if (m > 1) 3931d102b48SJeremy L Thompson fprintf(stream, "%12s[%d]:", name, i); 3941d102b48SJeremy L Thompson else 3951d102b48SJeremy L Thompson fprintf(stream, "%12s:", name); 3961d102b48SJeremy L Thompson for (int j=0; j<n; j++) 397d7b241e6Sjeremylt fprintf(stream, fpformat, fabs(a[i*n+j]) > 1E-14 ? a[i*n+j] : 0); 398d7b241e6Sjeremylt fputs("\n", stream); 399d7b241e6Sjeremylt } 400d7b241e6Sjeremylt return 0; 401d7b241e6Sjeremylt } 402d7b241e6Sjeremylt 403b11c1e72Sjeremylt /** 404b11c1e72Sjeremylt @brief View a CeedBasis 405b11c1e72Sjeremylt 406b11c1e72Sjeremylt @param basis CeedBasis to view 407b11c1e72Sjeremylt @param stream Stream to view to, e.g., stdout 408b11c1e72Sjeremylt 409b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 410dfdf5a53Sjeremylt 411dfdf5a53Sjeremylt @ref Utility 412b11c1e72Sjeremylt **/ 413d7b241e6Sjeremylt int CeedBasisView(CeedBasis basis, FILE *stream) { 414d7b241e6Sjeremylt int ierr; 415d7b241e6Sjeremylt 416a8de75f0Sjeremylt if (basis->tensorbasis) { 417d7b241e6Sjeremylt fprintf(stream, "CeedBasis: dim=%d P=%d Q=%d\n", basis->dim, basis->P1d, 418d7b241e6Sjeremylt basis->Q1d); 419d7b241e6Sjeremylt ierr = CeedScalarView("qref1d", "\t% 12.8f", 1, basis->Q1d, basis->qref1d, 420d7b241e6Sjeremylt stream); CeedChk(ierr); 4218795c945Sjeremylt ierr = CeedScalarView("qweight1d", "\t% 12.8f", 1, basis->Q1d, 4228795c945Sjeremylt basis->qweight1d, stream); CeedChk(ierr); 423d7b241e6Sjeremylt ierr = CeedScalarView("interp1d", "\t% 12.8f", basis->Q1d, basis->P1d, 424d7b241e6Sjeremylt basis->interp1d, stream); CeedChk(ierr); 425d7b241e6Sjeremylt ierr = CeedScalarView("grad1d", "\t% 12.8f", basis->Q1d, basis->P1d, 426d7b241e6Sjeremylt basis->grad1d, stream); CeedChk(ierr); 427a8de75f0Sjeremylt } else { 428a8de75f0Sjeremylt fprintf(stream, "CeedBasis: dim=%d P=%d Q=%d\n", basis->dim, basis->P, 429a8de75f0Sjeremylt basis->Q); 430a8de75f0Sjeremylt ierr = CeedScalarView("qref", "\t% 12.8f", 1, basis->Q*basis->dim, 431a8de75f0Sjeremylt basis->qref1d, 432a8de75f0Sjeremylt stream); CeedChk(ierr); 433a8de75f0Sjeremylt ierr = CeedScalarView("qweight", "\t% 12.8f", 1, basis->Q, basis->qweight1d, 434a8de75f0Sjeremylt stream); CeedChk(ierr); 435a8de75f0Sjeremylt ierr = CeedScalarView("interp", "\t% 12.8f", basis->Q, basis->P, 436a8de75f0Sjeremylt basis->interp1d, stream); CeedChk(ierr); 437a8de75f0Sjeremylt ierr = CeedScalarView("grad", "\t% 12.8f", basis->dim*basis->Q, basis->P, 438a8de75f0Sjeremylt basis->grad1d, stream); CeedChk(ierr); 439a8de75f0Sjeremylt } 440d7b241e6Sjeremylt return 0; 441d7b241e6Sjeremylt } 442d7b241e6Sjeremylt 443dfdf5a53Sjeremylt /** 44452bfb9bbSJeremy L Thompson @brief Compute Householder reflection 445dfdf5a53Sjeremylt 446dfdf5a53Sjeremylt Computes A = (I - b v v^T) A 447dfdf5a53Sjeremylt where A is an mxn matrix indexed as A[i*row + j*col] 448dfdf5a53Sjeremylt 44952bfb9bbSJeremy L Thompson @param[in,out] A Matrix to apply Householder reflection to, in place 450dfdf5a53Sjeremylt @param v Householder vector 451dfdf5a53Sjeremylt @param b Scaling factor 452dfdf5a53Sjeremylt @param m Number of rows in A 453dfdf5a53Sjeremylt @param n Number of columns in A 45452bfb9bbSJeremy L Thompson @param row Row stride 45552bfb9bbSJeremy L Thompson @param col Col stride 456dfdf5a53Sjeremylt 457dfdf5a53Sjeremylt @return An error code: 0 - success, otherwise - failure 458dfdf5a53Sjeremylt 459dfdf5a53Sjeremylt @ref Developer 460dfdf5a53Sjeremylt **/ 461d7b241e6Sjeremylt static int CeedHouseholderReflect(CeedScalar *A, const CeedScalar *v, 462d7b241e6Sjeremylt CeedScalar b, CeedInt m, CeedInt n, 463d7b241e6Sjeremylt CeedInt row, CeedInt col) { 464d7b241e6Sjeremylt for (CeedInt j=0; j<n; j++) { 465d7b241e6Sjeremylt CeedScalar w = A[0*row + j*col]; 4661d102b48SJeremy L Thompson for (CeedInt i=1; i<m; i++) 4671d102b48SJeremy L Thompson w += v[i] * A[i*row + j*col]; 468d7b241e6Sjeremylt A[0*row + j*col] -= b * w; 4691d102b48SJeremy L Thompson for (CeedInt i=1; i<m; i++) 4701d102b48SJeremy L Thompson A[i*row + j*col] -= b * w * v[i]; 471d7b241e6Sjeremylt } 472d7b241e6Sjeremylt return 0; 473d7b241e6Sjeremylt } 474d7b241e6Sjeremylt 475dfdf5a53Sjeremylt /** 476dfdf5a53Sjeremylt @brief Apply Householder Q matrix 477dfdf5a53Sjeremylt 47852bfb9bbSJeremy L Thompson Compute A = Q A where Q is mxm and A is mxn. 479dfdf5a53Sjeremylt 48052bfb9bbSJeremy L Thompson @param[in,out] A Matrix to apply Householder Q to, in place 481dfdf5a53Sjeremylt @param Q Householder Q matrix 482dfdf5a53Sjeremylt @param tau Householder scaling factors 483dfdf5a53Sjeremylt @param tmode Transpose mode for application 484dfdf5a53Sjeremylt @param m Number of rows in A 485dfdf5a53Sjeremylt @param n Number of columns in A 48652bfb9bbSJeremy L Thompson @param k Number of elementary reflectors in Q, k<m 48752bfb9bbSJeremy L Thompson @param row Row stride in A 48852bfb9bbSJeremy L Thompson @param col Col stride in A 489dfdf5a53Sjeremylt 490dfdf5a53Sjeremylt @return An error code: 0 - success, otherwise - failure 491dfdf5a53Sjeremylt 492dfdf5a53Sjeremylt @ref Developer 493dfdf5a53Sjeremylt **/ 494d7b241e6Sjeremylt static int CeedHouseholderApplyQ(CeedScalar *A, const CeedScalar *Q, 495d7b241e6Sjeremylt const CeedScalar *tau, CeedTransposeMode tmode, 496d7b241e6Sjeremylt CeedInt m, CeedInt n, CeedInt k, 497d7b241e6Sjeremylt CeedInt row, CeedInt col) { 498d7b241e6Sjeremylt CeedScalar v[m]; 499d7b241e6Sjeremylt for (CeedInt ii=0; ii<k; ii++) { 500d7b241e6Sjeremylt CeedInt i = tmode == CEED_TRANSPOSE ? ii : k-1-ii; 50152bfb9bbSJeremy L Thompson for (CeedInt j=i+1; j<m; j++) 502d7b241e6Sjeremylt v[j] = Q[j*k+i]; 503d7b241e6Sjeremylt // Apply Householder reflector (I - tau v v^T) colograd1d^T 504d7b241e6Sjeremylt CeedHouseholderReflect(&A[i*row], &v[i], tau[i], m-i, n, row, col); 505d7b241e6Sjeremylt } 506d7b241e6Sjeremylt return 0; 507d7b241e6Sjeremylt } 508d7b241e6Sjeremylt 509b11c1e72Sjeremylt /** 51052bfb9bbSJeremy L Thompson @brief Compute Givens rotation 51152bfb9bbSJeremy L Thompson 51252bfb9bbSJeremy L Thompson Computes A = G A (or G^T A in transpose mode) 51352bfb9bbSJeremy L Thompson where A is an mxn matrix indexed as A[i*n + j*m] 51452bfb9bbSJeremy L Thompson 51552bfb9bbSJeremy L Thompson @param[in,out] A Row major matrix to apply Givens rotation to, in place 51652bfb9bbSJeremy L Thompson @param c Cosine factor 51752bfb9bbSJeremy L Thompson @param s Sine factor 51852bfb9bbSJeremy L Thompson @param i First row/column to apply rotation 51952bfb9bbSJeremy L Thompson @param k Second row/column to apply rotation 52052bfb9bbSJeremy L Thompson @param m Number of rows in A 52152bfb9bbSJeremy L Thompson @param n Number of columns in A 52252bfb9bbSJeremy L Thompson 52352bfb9bbSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 52452bfb9bbSJeremy L Thompson 52552bfb9bbSJeremy L Thompson @ref Developer 52652bfb9bbSJeremy L Thompson **/ 52752bfb9bbSJeremy L Thompson static int CeedGivensRotation(CeedScalar *A, CeedScalar c, CeedScalar s, 52852bfb9bbSJeremy L Thompson CeedTransposeMode tmode, CeedInt i, CeedInt k, 52952bfb9bbSJeremy L Thompson CeedInt m, CeedInt n) { 53052bfb9bbSJeremy L Thompson CeedInt stridej = 1, strideik = m, numits = n; 53152bfb9bbSJeremy L Thompson if (tmode == CEED_NOTRANSPOSE) { 53252bfb9bbSJeremy L Thompson stridej = n; strideik = 1; numits = m; 53352bfb9bbSJeremy L Thompson } 53452bfb9bbSJeremy L Thompson 53552bfb9bbSJeremy L Thompson // Apply rotation 53652bfb9bbSJeremy L Thompson for (CeedInt j=0; j<numits; j++) { 53752bfb9bbSJeremy L Thompson CeedScalar tau1 = A[i*strideik+j*stridej], tau2 = A[k*strideik+j*stridej]; 53852bfb9bbSJeremy L Thompson A[i*strideik+j*stridej] = c*tau1 - s*tau2; 53952bfb9bbSJeremy L Thompson A[k*strideik+j*stridej] = s*tau1 + c*tau2; 54052bfb9bbSJeremy L Thompson } 54152bfb9bbSJeremy L Thompson 54252bfb9bbSJeremy L Thompson return 0; 54352bfb9bbSJeremy L Thompson } 54452bfb9bbSJeremy L Thompson 54552bfb9bbSJeremy L Thompson /** 546b11c1e72Sjeremylt @brief Return QR Factorization of matrix 547b11c1e72Sjeremylt 548288c0443SJeremy L Thompson @param ceed A Ceed object currently in use 54952bfb9bbSJeremy L Thompson @param[in,out] mat Row-major matrix to be factorized in place 55052bfb9bbSJeremy L Thompson @param[in,out] tau Vector of length m of scaling factors 551b11c1e72Sjeremylt @param m Number of rows 552b11c1e72Sjeremylt @param n Number of columns 553b11c1e72Sjeremylt 554b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 555dfdf5a53Sjeremylt 556dfdf5a53Sjeremylt @ref Utility 557b11c1e72Sjeremylt **/ 558a7bd39daSjeremylt int CeedQRFactorization(Ceed ceed, CeedScalar *mat, CeedScalar *tau, 559d7b241e6Sjeremylt CeedInt m, CeedInt n) { 560d7b241e6Sjeremylt CeedScalar v[m]; 561d7b241e6Sjeremylt 562a7bd39daSjeremylt // Check m >= n 563a7bd39daSjeremylt if (n > m) 564c042f62fSJeremy L Thompson // LCOV_EXCL_START 565a7bd39daSjeremylt return CeedError(ceed, 1, "Cannot compute QR factorization with n > m"); 566c042f62fSJeremy L Thompson // LCOV_EXCL_STOP 567a7bd39daSjeremylt 56852bfb9bbSJeremy L Thompson for (CeedInt i=0; i<n; i++) { 569d7b241e6Sjeremylt // Calculate Householder vector, magnitude 570d7b241e6Sjeremylt CeedScalar sigma = 0.0; 571d7b241e6Sjeremylt v[i] = mat[i+n*i]; 57252bfb9bbSJeremy L Thompson for (CeedInt j=i+1; j<m; j++) { 573d7b241e6Sjeremylt v[j] = mat[i+n*j]; 574d7b241e6Sjeremylt sigma += v[j] * v[j]; 575d7b241e6Sjeremylt } 576d7b241e6Sjeremylt CeedScalar norm = sqrt(v[i]*v[i] + sigma); // norm of v[i:m] 577d7b241e6Sjeremylt CeedScalar Rii = -copysign(norm, v[i]); 578d7b241e6Sjeremylt v[i] -= Rii; 579d7b241e6Sjeremylt // norm of v[i:m] after modification above and scaling below 580d7b241e6Sjeremylt // norm = sqrt(v[i]*v[i] + sigma) / v[i]; 581d7b241e6Sjeremylt // tau = 2 / (norm*norm) 582d7b241e6Sjeremylt tau[i] = 2 * v[i]*v[i] / (v[i]*v[i] + sigma); 5831d102b48SJeremy L Thompson for (CeedInt j=i+1; j<m; j++) 5841d102b48SJeremy L Thompson v[j] /= v[i]; 585d7b241e6Sjeremylt 586d7b241e6Sjeremylt // Apply Householder reflector to lower right panel 587d7b241e6Sjeremylt CeedHouseholderReflect(&mat[i*n+i+1], &v[i], tau[i], m-i, n-i-1, n, 1); 588d7b241e6Sjeremylt // Save v 589d7b241e6Sjeremylt mat[i+n*i] = Rii; 5901d102b48SJeremy L Thompson for (CeedInt j=i+1; j<m; j++) 591d7b241e6Sjeremylt mat[i+n*j] = v[j]; 592d7b241e6Sjeremylt } 593d7b241e6Sjeremylt 594d7b241e6Sjeremylt return 0; 595d7b241e6Sjeremylt } 596d7b241e6Sjeremylt 597b11c1e72Sjeremylt /** 59852bfb9bbSJeremy L Thompson @brief Return symmetric Schur decomposition of the symmetric matrix mat via 59952bfb9bbSJeremy L Thompson symmetric QR factorization 60052bfb9bbSJeremy L Thompson 601*23e2c5dcSjeremylt @param ceed A Ceed object for error handling 60252bfb9bbSJeremy L Thompson @param[in,out] mat Row-major matrix to be factorized in place 60352bfb9bbSJeremy L Thompson @param[out] lambda Vector of length m of eigenvalues 60452bfb9bbSJeremy L Thompson @param n Number of rows/columns 60552bfb9bbSJeremy L Thompson 60652bfb9bbSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 60752bfb9bbSJeremy L Thompson 60852bfb9bbSJeremy L Thompson @ref Utility 60952bfb9bbSJeremy L Thompson **/ 61052bfb9bbSJeremy L Thompson int CeedSymmetricSchurDecomposition(Ceed ceed, CeedScalar *mat, 61152bfb9bbSJeremy L Thompson CeedScalar *lambda, CeedInt n) { 61252bfb9bbSJeremy L Thompson // Check bounds for clang-tidy 61352bfb9bbSJeremy L Thompson if (n<2) 614c042f62fSJeremy L Thompson // LCOV_EXCL_START 615c042f62fSJeremy L Thompson return CeedError(ceed, 1, 616c042f62fSJeremy L Thompson "Cannot compute symmetric Schur decomposition of scalars"); 617c042f62fSJeremy L Thompson // LCOV_EXCL_STOP 61852bfb9bbSJeremy L Thompson 61952bfb9bbSJeremy L Thompson CeedScalar v[n-1], tau[n-1], matT[n*n]; 62052bfb9bbSJeremy L Thompson 62152bfb9bbSJeremy L Thompson // Copy mat to matT and set mat to I 62252bfb9bbSJeremy L Thompson memcpy(matT, mat, n*n*sizeof(mat[0])); 62352bfb9bbSJeremy L Thompson for (CeedInt i=0; i<n; i++) 62452bfb9bbSJeremy L Thompson for (CeedInt j=0; j<n; j++) 62552bfb9bbSJeremy L Thompson mat[j+n*i] = (i==j) ? 1 : 0; 62652bfb9bbSJeremy L Thompson 62752bfb9bbSJeremy L Thompson // Reduce to tridiagonal 62852bfb9bbSJeremy L Thompson for (CeedInt i=0; i<n-1; i++) { 62952bfb9bbSJeremy L Thompson // Calculate Householder vector, magnitude 63052bfb9bbSJeremy L Thompson CeedScalar sigma = 0.0; 63152bfb9bbSJeremy L Thompson v[i] = matT[i+n*(i+1)]; 63252bfb9bbSJeremy L Thompson for (CeedInt j=i+1; j<n-1; j++) { 63352bfb9bbSJeremy L Thompson v[j] = matT[i+n*(j+1)]; 63452bfb9bbSJeremy L Thompson sigma += v[j] * v[j]; 63552bfb9bbSJeremy L Thompson } 63652bfb9bbSJeremy L Thompson CeedScalar norm = sqrt(v[i]*v[i] + sigma); // norm of v[i:n-1] 63752bfb9bbSJeremy L Thompson CeedScalar Rii = -copysign(norm, v[i]); 63852bfb9bbSJeremy L Thompson v[i] -= Rii; 63952bfb9bbSJeremy L Thompson // norm of v[i:m] after modification above and scaling below 64052bfb9bbSJeremy L Thompson // norm = sqrt(v[i]*v[i] + sigma) / v[i]; 64152bfb9bbSJeremy L Thompson // tau = 2 / (norm*norm) 64252bfb9bbSJeremy L Thompson tau[i] = 2 * v[i]*v[i] / (v[i]*v[i] + sigma); 64352bfb9bbSJeremy L Thompson for (CeedInt j=i+1; j<n-1; j++) v[j] /= v[i]; 64452bfb9bbSJeremy L Thompson 64552bfb9bbSJeremy L Thompson // Update sub and super diagonal 64652bfb9bbSJeremy L Thompson matT[i+n*(i+1)] = Rii; 64752bfb9bbSJeremy L Thompson matT[(i+1)+n*i] = Rii; 64852bfb9bbSJeremy L Thompson for (CeedInt j=i+2; j<n; j++) { 64952bfb9bbSJeremy L Thompson matT[i+n*j] = 0; matT[j+n*i] = 0; 65052bfb9bbSJeremy L Thompson } 65152bfb9bbSJeremy L Thompson // Apply symmetric Householder reflector to lower right panel 65252bfb9bbSJeremy L Thompson CeedHouseholderReflect(&matT[(i+1)+n*(i+1)], &v[i], tau[i], 65352bfb9bbSJeremy L Thompson n-(i+1), n-(i+1), n, 1); 65452bfb9bbSJeremy L Thompson CeedHouseholderReflect(&matT[(i+1)+n*(i+1)], &v[i], tau[i], 65552bfb9bbSJeremy L Thompson n-(i+1), n-(i+1), 1, n); 65652bfb9bbSJeremy L Thompson // Save v 65752bfb9bbSJeremy L Thompson for (CeedInt j=i+1; j<n-1; j++) { 65852bfb9bbSJeremy L Thompson matT[i+n*(j+1)] = v[j]; 65952bfb9bbSJeremy L Thompson } 66052bfb9bbSJeremy L Thompson } 66152bfb9bbSJeremy L Thompson // Backwards accumulation of Q 66252bfb9bbSJeremy L Thompson for (CeedInt i=n-2; i>=0; i--) { 66352bfb9bbSJeremy L Thompson v[i] = 1; 66452bfb9bbSJeremy L Thompson for (CeedInt j=i+1; j<n-1; j++) { 66552bfb9bbSJeremy L Thompson v[j] = matT[i+n*(j+1)]; 66652bfb9bbSJeremy L Thompson matT[i+n*(j+1)] = 0; 66752bfb9bbSJeremy L Thompson } 66852bfb9bbSJeremy L Thompson CeedHouseholderReflect(&mat[(i+1)+n*(i+1)], &v[i], tau[i], 66952bfb9bbSJeremy L Thompson n-(i+1), n-(i+1), n, 1); 67052bfb9bbSJeremy L Thompson } 67152bfb9bbSJeremy L Thompson 67252bfb9bbSJeremy L Thompson // Reduce sub and super diagonal 67352bfb9bbSJeremy L Thompson CeedInt p = 0, q = 0, itr = 0, maxitr = n*n*n; 67452bfb9bbSJeremy L Thompson CeedScalar tol = 1e-15; 67552bfb9bbSJeremy L Thompson 67652bfb9bbSJeremy L Thompson while (q < n && itr < maxitr) { 67752bfb9bbSJeremy L Thompson // Update p, q, size of reduced portions of diagonal 67852bfb9bbSJeremy L Thompson p = 0; q = 0; 67952bfb9bbSJeremy L Thompson for (CeedInt i=n-2; i>=0; i--) { 68052bfb9bbSJeremy L Thompson if (fabs(matT[i+n*(i+1)]) < tol) 68152bfb9bbSJeremy L Thompson q += 1; 68252bfb9bbSJeremy L Thompson else 68352bfb9bbSJeremy L Thompson break; 68452bfb9bbSJeremy L Thompson } 68552bfb9bbSJeremy L Thompson for (CeedInt i=0; i<n-1-q; i++) { 68652bfb9bbSJeremy L Thompson if (fabs(matT[i+n*(i+1)]) < tol) 68752bfb9bbSJeremy L Thompson p += 1; 68852bfb9bbSJeremy L Thompson else 68952bfb9bbSJeremy L Thompson break; 69052bfb9bbSJeremy L Thompson } 69152bfb9bbSJeremy L Thompson if (q == n-1) break; // Finished reducing 69252bfb9bbSJeremy L Thompson 69352bfb9bbSJeremy L Thompson // Reduce tridiagonal portion 69452bfb9bbSJeremy L Thompson CeedScalar tnn = matT[(n-1-q)+n*(n-1-q)], 69552bfb9bbSJeremy L Thompson tnnm1 = matT[(n-2-q)+n*(n-1-q)]; 69652bfb9bbSJeremy L Thompson CeedScalar d = (matT[(n-2-q)+n*(n-2-q)] - tnn)/2; 69752bfb9bbSJeremy L Thompson CeedScalar mu = tnn - tnnm1*tnnm1 / 69852bfb9bbSJeremy L Thompson (d + copysign(sqrt(d*d + tnnm1*tnnm1), d)); 69952bfb9bbSJeremy L Thompson CeedScalar x = matT[p+n*p] - mu; 70052bfb9bbSJeremy L Thompson CeedScalar z = matT[p+n*(p+1)]; 70152bfb9bbSJeremy L Thompson for (CeedInt k=p; k<n-1-q; k++) { 70252bfb9bbSJeremy L Thompson // Compute Givens rotation 70352bfb9bbSJeremy L Thompson CeedScalar c = 1, s = 0; 70452bfb9bbSJeremy L Thompson if (fabs(z) > tol) { 70552bfb9bbSJeremy L Thompson if (fabs(z) > fabs(x)) { 70652bfb9bbSJeremy L Thompson CeedScalar tau = -x/z; 70752bfb9bbSJeremy L Thompson s = 1/sqrt(1+tau*tau), c = s*tau; 70852bfb9bbSJeremy L Thompson } else { 70952bfb9bbSJeremy L Thompson CeedScalar tau = -z/x; 71052bfb9bbSJeremy L Thompson c = 1/sqrt(1+tau*tau), s = c*tau; 71152bfb9bbSJeremy L Thompson } 71252bfb9bbSJeremy L Thompson } 71352bfb9bbSJeremy L Thompson 71452bfb9bbSJeremy L Thompson // Apply Givens rotation to T 71552bfb9bbSJeremy L Thompson CeedGivensRotation(matT, c, s, CEED_NOTRANSPOSE, k, k+1, n, n); 71652bfb9bbSJeremy L Thompson CeedGivensRotation(matT, c, s, CEED_TRANSPOSE, k, k+1, n, n); 71752bfb9bbSJeremy L Thompson 71852bfb9bbSJeremy L Thompson // Apply Givens rotation to Q 71952bfb9bbSJeremy L Thompson CeedGivensRotation(mat, c, s, CEED_NOTRANSPOSE, k, k+1, n, n); 72052bfb9bbSJeremy L Thompson 72152bfb9bbSJeremy L Thompson // Update x, z 72252bfb9bbSJeremy L Thompson if (k < n-q-2) { 72352bfb9bbSJeremy L Thompson x = matT[k+n*(k+1)]; 72452bfb9bbSJeremy L Thompson z = matT[k+n*(k+2)]; 72552bfb9bbSJeremy L Thompson } 72652bfb9bbSJeremy L Thompson } 72752bfb9bbSJeremy L Thompson itr++; 72852bfb9bbSJeremy L Thompson } 72952bfb9bbSJeremy L Thompson // Save eigenvalues 73052bfb9bbSJeremy L Thompson for (CeedInt i=0; i<n; i++) 73152bfb9bbSJeremy L Thompson lambda[i] = matT[i+n*i]; 73252bfb9bbSJeremy L Thompson 73352bfb9bbSJeremy L Thompson // Check convergence 73452bfb9bbSJeremy L Thompson if (itr == maxitr && q < n-1) 735c042f62fSJeremy L Thompson // LCOV_EXCL_START 73652bfb9bbSJeremy L Thompson return CeedError(ceed, 1, "Symmetric QR failed to converge"); 737c042f62fSJeremy L Thompson // LCOV_EXCL_STOP 73852bfb9bbSJeremy L Thompson 73952bfb9bbSJeremy L Thompson return 0; 74052bfb9bbSJeremy L Thompson } 74152bfb9bbSJeremy L Thompson 74252bfb9bbSJeremy L Thompson /** 74352bfb9bbSJeremy L Thompson @brief Return C = A B 74452bfb9bbSJeremy L Thompson 74552bfb9bbSJeremy L Thompson @param[in] matA Row-major matrix A 74652bfb9bbSJeremy L Thompson @param[in] matB Row-major matrix B 74752bfb9bbSJeremy L Thompson @param[out] matC Row-major output matrix C 74852bfb9bbSJeremy L Thompson @param m Number of rows of C 74952bfb9bbSJeremy L Thompson @param n Number of columns of C 75052bfb9bbSJeremy L Thompson @param kk Number of columns of A/rows of B 75152bfb9bbSJeremy L Thompson 75252bfb9bbSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 75352bfb9bbSJeremy L Thompson 75452bfb9bbSJeremy L Thompson @ref Utility 75552bfb9bbSJeremy L Thompson **/ 75652bfb9bbSJeremy L Thompson static int CeedMatrixMultiply(Ceed ceed, CeedScalar *matA, CeedScalar *matB, 75752bfb9bbSJeremy L Thompson CeedScalar *matC, CeedInt m, CeedInt n, 75852bfb9bbSJeremy L Thompson CeedInt kk) { 75952bfb9bbSJeremy L Thompson for (CeedInt i=0; i<m; i++) 76052bfb9bbSJeremy L Thompson for (CeedInt j=0; j<n; j++) { 76152bfb9bbSJeremy L Thompson CeedScalar sum = 0; 76252bfb9bbSJeremy L Thompson for (CeedInt k=0; k<kk; k++) 76352bfb9bbSJeremy L Thompson sum += matA[k+i*kk]*matB[j+k*n]; 76452bfb9bbSJeremy L Thompson matC[j+i*n] = sum; 76552bfb9bbSJeremy L Thompson } 76652bfb9bbSJeremy L Thompson return 0; 76752bfb9bbSJeremy L Thompson } 76852bfb9bbSJeremy L Thompson 76952bfb9bbSJeremy L Thompson /** 77052bfb9bbSJeremy L Thompson @brief Return Simultaneous Diagonalization of two matrices. This solves the 77152bfb9bbSJeremy L Thompson generalized eigenvalue problem A x = lambda B x, where A and B 77252bfb9bbSJeremy L Thompson are symmetric and B is positive definite. We generate the matrix X 77352bfb9bbSJeremy L Thompson and vector Lambda such that X^T A X = Lambda and X^T B X = I. This 77452bfb9bbSJeremy L Thompson is equivalent to the LAPACK routine 'sygv' with TYPE = 1. 77552bfb9bbSJeremy L Thompson 776*23e2c5dcSjeremylt @param ceed A Ceed object for error handling 77752bfb9bbSJeremy L Thompson @param[in] matA Row-major matrix to be factorized with eigenvalues 77852bfb9bbSJeremy L Thompson @param[in] matB Row-major matrix to be factorized to identity 77952bfb9bbSJeremy L Thompson @param[out] x Row-major orthogonal matrix 78052bfb9bbSJeremy L Thompson @param[out] lambda Vector of length m of generalized eigenvalues 78152bfb9bbSJeremy L Thompson @param n Number of rows/columns 78252bfb9bbSJeremy L Thompson 78352bfb9bbSJeremy L Thompson @return An error code: 0 - success, otherwise - failure 78452bfb9bbSJeremy L Thompson 78552bfb9bbSJeremy L Thompson @ref Utility 78652bfb9bbSJeremy L Thompson **/ 78752bfb9bbSJeremy L Thompson int CeedSimultaneousDiagonalization(Ceed ceed, CeedScalar *matA, 78852bfb9bbSJeremy L Thompson CeedScalar *matB, CeedScalar *x, 78952bfb9bbSJeremy L Thompson CeedScalar *lambda, CeedInt n) { 79052bfb9bbSJeremy L Thompson int ierr; 79152bfb9bbSJeremy L Thompson CeedScalar matC[n*n], matG[n*n], vecD[n]; 79252bfb9bbSJeremy L Thompson 79352bfb9bbSJeremy L Thompson // Compute B = G D G^T 79452bfb9bbSJeremy L Thompson memcpy(matG, matB, n*n*sizeof(matB[0])); 79552bfb9bbSJeremy L Thompson ierr = CeedSymmetricSchurDecomposition(ceed, matG, vecD, n); CeedChk(ierr); 79652bfb9bbSJeremy L Thompson for (CeedInt i=0; i<n; i++) vecD[i] = sqrt(vecD[i]); 79752bfb9bbSJeremy L Thompson 79852bfb9bbSJeremy L Thompson // Compute C = (G D^-1/2)^-1 A (G D^-1/2)^-T 79952bfb9bbSJeremy L Thompson // = D^1/2 G^T A D^1/2 G 80052bfb9bbSJeremy L Thompson for (CeedInt i=0; i<n; i++) 80152bfb9bbSJeremy L Thompson for (CeedInt j=0; j<n; j++) 80252bfb9bbSJeremy L Thompson matC[j+i*n] = vecD[i] * matG[i+j*n]; 80352bfb9bbSJeremy L Thompson CeedMatrixMultiply(ceed, matC, matA, x, n, n, n); 80452bfb9bbSJeremy L Thompson for (CeedInt i=0; i<n; i++) 80552bfb9bbSJeremy L Thompson for (CeedInt j=0; j<n; j++) 80652bfb9bbSJeremy L Thompson matG[j+i*n] = vecD[i] * matG[j+i*n]; 80752bfb9bbSJeremy L Thompson CeedMatrixMultiply(ceed, x, matG, matC, n, n, n); 80852bfb9bbSJeremy L Thompson 80952bfb9bbSJeremy L Thompson // Compute Q^T C Q = lambda 81052bfb9bbSJeremy L Thompson ierr = CeedSymmetricSchurDecomposition(ceed, matC, lambda, n); CeedChk(ierr); 81152bfb9bbSJeremy L Thompson 81252bfb9bbSJeremy L Thompson // Set x = (G D^-1/2)^-T Q 81352bfb9bbSJeremy L Thompson // = D^1/2 G Q 81452bfb9bbSJeremy L Thompson CeedMatrixMultiply(ceed, matG, matC, x, n, n, n); 81552bfb9bbSJeremy L Thompson 81652bfb9bbSJeremy L Thompson return 0; 81752bfb9bbSJeremy L Thompson } 81852bfb9bbSJeremy L Thompson 81952bfb9bbSJeremy L Thompson /** 820783c99b3SValeria Barra @brief Return collocated grad matrix 821b11c1e72Sjeremylt 822b11c1e72Sjeremylt @param basis CeedBasis 823b11c1e72Sjeremylt @param[out] colograd1d Row-major Q1d × Q1d matrix expressing derivatives of 824b11c1e72Sjeremylt basis functions at quadrature points 825b11c1e72Sjeremylt 826b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 827dfdf5a53Sjeremylt 828dfdf5a53Sjeremylt @ref Advanced 829b11c1e72Sjeremylt **/ 830783c99b3SValeria Barra int CeedBasisGetCollocatedGrad(CeedBasis basis, CeedScalar *colograd1d) { 831d7b241e6Sjeremylt int i, j, k; 832a7bd39daSjeremylt Ceed ceed; 833d7b241e6Sjeremylt CeedInt ierr, P1d=(basis)->P1d, Q1d=(basis)->Q1d; 834d7b241e6Sjeremylt CeedScalar *interp1d, *grad1d, tau[Q1d]; 835d7b241e6Sjeremylt 836d7b241e6Sjeremylt ierr = CeedMalloc(Q1d*P1d, &interp1d); CeedChk(ierr); 837d7b241e6Sjeremylt ierr = CeedMalloc(Q1d*P1d, &grad1d); CeedChk(ierr); 838d7b241e6Sjeremylt memcpy(interp1d, (basis)->interp1d, Q1d*P1d*sizeof(basis)->interp1d[0]); 839d7b241e6Sjeremylt memcpy(grad1d, (basis)->grad1d, Q1d*P1d*sizeof(basis)->interp1d[0]); 840d7b241e6Sjeremylt 841d7b241e6Sjeremylt // QR Factorization, interp1d = Q R 842a7bd39daSjeremylt ierr = CeedBasisGetCeed(basis, &ceed); CeedChk(ierr); 843a7bd39daSjeremylt ierr = CeedQRFactorization(ceed, interp1d, tau, Q1d, P1d); CeedChk(ierr); 844d7b241e6Sjeremylt 845d7b241e6Sjeremylt // Apply Rinv, colograd1d = grad1d Rinv 846d7b241e6Sjeremylt for (i=0; i<Q1d; i++) { // Row i 847d7b241e6Sjeremylt colograd1d[Q1d*i] = grad1d[P1d*i]/interp1d[0]; 848d7b241e6Sjeremylt for (j=1; j<P1d; j++) { // Column j 849d7b241e6Sjeremylt colograd1d[j+Q1d*i] = grad1d[j+P1d*i]; 8501d102b48SJeremy L Thompson for (k=0; k<j; k++) 851d7b241e6Sjeremylt colograd1d[j+Q1d*i] -= interp1d[j+P1d*k]*colograd1d[k+Q1d*i]; 852d7b241e6Sjeremylt colograd1d[j+Q1d*i] /= interp1d[j+P1d*j]; 853d7b241e6Sjeremylt } 8541d102b48SJeremy L Thompson for (j=P1d; j<Q1d; j++) 855d7b241e6Sjeremylt colograd1d[j+Q1d*i] = 0; 856d7b241e6Sjeremylt } 857d7b241e6Sjeremylt 858d7b241e6Sjeremylt // Apply Qtranspose, colograd = colograd Qtranspose 859d7b241e6Sjeremylt CeedHouseholderApplyQ(colograd1d, interp1d, tau, CEED_NOTRANSPOSE, 860d7b241e6Sjeremylt Q1d, Q1d, P1d, 1, Q1d); 861d7b241e6Sjeremylt 862d7b241e6Sjeremylt ierr = CeedFree(&interp1d); CeedChk(ierr); 863d7b241e6Sjeremylt ierr = CeedFree(&grad1d); CeedChk(ierr); 864d7b241e6Sjeremylt 865d7b241e6Sjeremylt return 0; 866d7b241e6Sjeremylt } 867d7b241e6Sjeremylt 868b11c1e72Sjeremylt /** 869b11c1e72Sjeremylt @brief Apply basis evaluation from nodes to quadrature points or vice-versa 870b11c1e72Sjeremylt 871b11c1e72Sjeremylt @param basis CeedBasis to evaluate 872b11c1e72Sjeremylt @param nelem The number of elements to apply the basis evaluation to; 873b11c1e72Sjeremylt the backend will specify the ordering in 874b11c1e72Sjeremylt ElemRestrictionCreateBlocked 875b11c1e72Sjeremylt @param tmode \ref CEED_NOTRANSPOSE to evaluate from nodes to quadrature 876b11c1e72Sjeremylt points, \ref CEED_TRANSPOSE to apply the transpose, mapping 877b11c1e72Sjeremylt from quadrature points to nodes 878b11c1e72Sjeremylt @param emode \ref CEED_EVAL_INTERP to obtain interpolated values, 879b11c1e72Sjeremylt \ref CEED_EVAL_GRAD to obtain gradients. 880b11c1e72Sjeremylt @param[in] u Input array 881b11c1e72Sjeremylt @param[out] v Output array 882b11c1e72Sjeremylt 883b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 884dfdf5a53Sjeremylt 885dfdf5a53Sjeremylt @ref Advanced 886b11c1e72Sjeremylt **/ 887d7b241e6Sjeremylt int CeedBasisApply(CeedBasis basis, CeedInt nelem, CeedTransposeMode tmode, 888aedaa0e5Sjeremylt CeedEvalMode emode, CeedVector u, CeedVector v) { 889d7b241e6Sjeremylt int ierr; 8908795c945Sjeremylt CeedInt ulength = 0, vlength, nnodes, nqpt; 891c042f62fSJeremy L Thompson if (!basis->Apply) 892c042f62fSJeremy L Thompson // LCOV_EXCL_START 893c042f62fSJeremy L Thompson return CeedError(basis->ceed, 1, "Backend does not support BasisApply"); 894c042f62fSJeremy L Thompson // LCOV_EXCL_STOP 895c042f62fSJeremy L Thompson 896c042f62fSJeremy L Thompson // Check compatibility of topological and geometrical dimensions 8978795c945Sjeremylt ierr = CeedBasisGetNumNodes(basis, &nnodes); CeedChk(ierr); 898b502e64cSValeria Barra ierr = CeedBasisGetNumQuadraturePoints(basis, &nqpt); CeedChk(ierr); 899b502e64cSValeria Barra ierr = CeedVectorGetLength(v, &vlength); CeedChk(ierr); 900b502e64cSValeria Barra 901b502e64cSValeria Barra if (u) { 902b502e64cSValeria Barra ierr = CeedVectorGetLength(u, &ulength); CeedChk(ierr); 903b502e64cSValeria Barra } 904b502e64cSValeria Barra 9051d102b48SJeremy L Thompson if ((tmode == CEED_TRANSPOSE && (vlength%nnodes != 0 || ulength%nqpt != 0)) || 9068795c945Sjeremylt (tmode == CEED_NOTRANSPOSE && (ulength%nnodes != 0 || vlength%nqpt != 0))) 9071d102b48SJeremy L Thompson return CeedError(basis->ceed, 1, "Length of input/output vectors " 9081d102b48SJeremy L Thompson "incompatible with basis dimensions"); 909b502e64cSValeria Barra 910d7b241e6Sjeremylt ierr = basis->Apply(basis, nelem, tmode, emode, u, v); CeedChk(ierr); 911d7b241e6Sjeremylt return 0; 912d7b241e6Sjeremylt } 913d7b241e6Sjeremylt 914b11c1e72Sjeremylt /** 9154ce2993fSjeremylt @brief Get Ceed associated with a CeedBasis 916b11c1e72Sjeremylt 917b11c1e72Sjeremylt @param basis CeedBasis 9184ce2993fSjeremylt @param[out] ceed Variable to store Ceed 9194ce2993fSjeremylt 9204ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 9214ce2993fSjeremylt 92223617272Sjeremylt @ref Advanced 9234ce2993fSjeremylt **/ 9244ce2993fSjeremylt int CeedBasisGetCeed(CeedBasis basis, Ceed *ceed) { 9254ce2993fSjeremylt *ceed = basis->ceed; 9264ce2993fSjeremylt return 0; 9274ce2993fSjeremylt }; 9284ce2993fSjeremylt 9294ce2993fSjeremylt /** 9304ce2993fSjeremylt @brief Get dimension for given CeedBasis 9314ce2993fSjeremylt 9324ce2993fSjeremylt @param basis CeedBasis 9334ce2993fSjeremylt @param[out] dim Variable to store dimension of basis 9344ce2993fSjeremylt 9354ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 9364ce2993fSjeremylt 93723617272Sjeremylt @ref Advanced 9384ce2993fSjeremylt **/ 9394ce2993fSjeremylt int CeedBasisGetDimension(CeedBasis basis, CeedInt *dim) { 9404ce2993fSjeremylt *dim = basis->dim; 9414ce2993fSjeremylt return 0; 9424ce2993fSjeremylt }; 9434ce2993fSjeremylt 9444ce2993fSjeremylt /** 9454ce2993fSjeremylt @brief Get tensor status for given CeedBasis 9464ce2993fSjeremylt 9474ce2993fSjeremylt @param basis CeedBasis 9484ce2993fSjeremylt @param[out] tensor Variable to store tensor status 9494ce2993fSjeremylt 9504ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 9514ce2993fSjeremylt 95223617272Sjeremylt @ref Advanced 9534ce2993fSjeremylt **/ 9544ce2993fSjeremylt int CeedBasisGetTensorStatus(CeedBasis basis, bool *tensor) { 9554ce2993fSjeremylt *tensor = basis->tensorbasis; 9564ce2993fSjeremylt return 0; 9574ce2993fSjeremylt }; 9584ce2993fSjeremylt 9594ce2993fSjeremylt /** 9604ce2993fSjeremylt @brief Get number of components for given CeedBasis 9614ce2993fSjeremylt 9624ce2993fSjeremylt @param basis CeedBasis 963288c0443SJeremy L Thompson @param[out] numcomp Variable to store number of components of basis 9644ce2993fSjeremylt 9654ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 9664ce2993fSjeremylt 96723617272Sjeremylt @ref Advanced 9684ce2993fSjeremylt **/ 9694ce2993fSjeremylt int CeedBasisGetNumComponents(CeedBasis basis, CeedInt *numcomp) { 9704ce2993fSjeremylt *numcomp = basis->ncomp; 9714ce2993fSjeremylt return 0; 9724ce2993fSjeremylt }; 9734ce2993fSjeremylt 9744ce2993fSjeremylt /** 9754ce2993fSjeremylt @brief Get total number of nodes (in 1 dimension) of a CeedBasis 9764ce2993fSjeremylt 9774ce2993fSjeremylt @param basis CeedBasis 9784ce2993fSjeremylt @param[out] P1d Variable to store number of nodes 9794ce2993fSjeremylt 9804ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 9814ce2993fSjeremylt 98223617272Sjeremylt @ref Advanced 9834ce2993fSjeremylt **/ 9844ce2993fSjeremylt int CeedBasisGetNumNodes1D(CeedBasis basis, CeedInt *P1d) { 985c042f62fSJeremy L Thompson if (!basis->tensorbasis) 986c042f62fSJeremy L Thompson // LCOV_EXCL_START 987c042f62fSJeremy L Thompson return CeedError(basis->ceed, 1, "Cannot supply P1d for non-tensor basis"); 988c042f62fSJeremy L Thompson // LCOV_EXCL_STOP 989c042f62fSJeremy L Thompson 9904ce2993fSjeremylt *P1d = basis->P1d; 9914ce2993fSjeremylt return 0; 9924ce2993fSjeremylt } 9934ce2993fSjeremylt 9944ce2993fSjeremylt /** 9954ce2993fSjeremylt @brief Get total number of quadrature points (in 1 dimension) of a CeedBasis 9964ce2993fSjeremylt 9974ce2993fSjeremylt @param basis CeedBasis 9984ce2993fSjeremylt @param[out] Q1d Variable to store number of quadrature points 9994ce2993fSjeremylt 10004ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 10014ce2993fSjeremylt 100223617272Sjeremylt @ref Advanced 10034ce2993fSjeremylt **/ 10044ce2993fSjeremylt int CeedBasisGetNumQuadraturePoints1D(CeedBasis basis, CeedInt *Q1d) { 1005c042f62fSJeremy L Thompson if (!basis->tensorbasis) 1006c042f62fSJeremy L Thompson // LCOV_EXCL_START 1007c042f62fSJeremy L Thompson return CeedError(basis->ceed, 1, "Cannot supply Q1d for non-tensor basis"); 1008c042f62fSJeremy L Thompson // LCOV_EXCL_STOP 1009c042f62fSJeremy L Thompson 10104ce2993fSjeremylt *Q1d = basis->Q1d; 10114ce2993fSjeremylt return 0; 10124ce2993fSjeremylt } 10134ce2993fSjeremylt 10144ce2993fSjeremylt /** 10154ce2993fSjeremylt @brief Get total number of nodes (in dim dimensions) of a CeedBasis 10164ce2993fSjeremylt 10174ce2993fSjeremylt @param basis CeedBasis 10184ce2993fSjeremylt @param[out] P Variable to store number of nodes 1019b11c1e72Sjeremylt 1020b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 1021dfdf5a53Sjeremylt 1022dfdf5a53Sjeremylt @ref Utility 1023b11c1e72Sjeremylt **/ 1024d7b241e6Sjeremylt int CeedBasisGetNumNodes(CeedBasis basis, CeedInt *P) { 1025a8de75f0Sjeremylt *P = basis->P; 1026d7b241e6Sjeremylt return 0; 1027d7b241e6Sjeremylt } 1028d7b241e6Sjeremylt 1029b11c1e72Sjeremylt /** 10304ce2993fSjeremylt @brief Get total number of quadrature points (in dim dimensions) of a CeedBasis 1031b11c1e72Sjeremylt 1032b11c1e72Sjeremylt @param basis CeedBasis 10334ce2993fSjeremylt @param[out] Q Variable to store number of quadrature points 1034b11c1e72Sjeremylt 1035b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 1036dfdf5a53Sjeremylt 1037dfdf5a53Sjeremylt @ref Utility 1038b11c1e72Sjeremylt **/ 1039d7b241e6Sjeremylt int CeedBasisGetNumQuadraturePoints(CeedBasis basis, CeedInt *Q) { 1040a8de75f0Sjeremylt *Q = basis->Q; 1041d7b241e6Sjeremylt return 0; 1042d7b241e6Sjeremylt } 1043d7b241e6Sjeremylt 1044b11c1e72Sjeremylt /** 10458c91a0c9SJeremy L Thompson @brief Get reference coordinates of quadrature points (in dim dimensions) 10464ce2993fSjeremylt of a CeedBasis 10474ce2993fSjeremylt 10484ce2993fSjeremylt @param basis CeedBasis 10498c91a0c9SJeremy L Thompson @param[out] qref Variable to store reference coordinates of quadrature points 10504ce2993fSjeremylt 10514ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 10524ce2993fSjeremylt 105323617272Sjeremylt @ref Advanced 10544ce2993fSjeremylt **/ 10554ce2993fSjeremylt int CeedBasisGetQRef(CeedBasis basis, CeedScalar **qref) { 10564ce2993fSjeremylt *qref = basis->qref1d; 10574ce2993fSjeremylt return 0; 10584ce2993fSjeremylt } 10594ce2993fSjeremylt 10604ce2993fSjeremylt /** 10614ce2993fSjeremylt @brief Get quadrature weights of quadrature points (in dim dimensions) 10624ce2993fSjeremylt of a CeedBasis 10634ce2993fSjeremylt 10644ce2993fSjeremylt @param basis CeedBasis 10654ce2993fSjeremylt @param[out] qweight Variable to store quadrature weights 10664ce2993fSjeremylt 10674ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 10684ce2993fSjeremylt 106923617272Sjeremylt @ref Advanced 10704ce2993fSjeremylt **/ 10714ce2993fSjeremylt int CeedBasisGetQWeights(CeedBasis basis, CeedScalar **qweight) { 10724ce2993fSjeremylt *qweight = basis->qweight1d; 10734ce2993fSjeremylt return 0; 10744ce2993fSjeremylt } 10754ce2993fSjeremylt 10764ce2993fSjeremylt /** 10774ce2993fSjeremylt @brief Get interpolation matrix of a CeedBasis 10784ce2993fSjeremylt 10794ce2993fSjeremylt @param basis CeedBasis 1080288c0443SJeremy L Thompson @param[out] interp Variable to store interpolation matrix 10814ce2993fSjeremylt 10824ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 10834ce2993fSjeremylt 108423617272Sjeremylt @ref Advanced 10854ce2993fSjeremylt **/ 10864ce2993fSjeremylt int CeedBasisGetInterp(CeedBasis basis, CeedScalar **interp) { 10874ce2993fSjeremylt *interp = basis->interp1d; 10884ce2993fSjeremylt return 0; 10894ce2993fSjeremylt } 10904ce2993fSjeremylt 10914ce2993fSjeremylt /** 10924ce2993fSjeremylt @brief Get gradient matrix of a CeedBasis 10934ce2993fSjeremylt 10944ce2993fSjeremylt @param basis CeedBasis 1095288c0443SJeremy L Thompson @param[out] grad Variable to store gradient matrix 10964ce2993fSjeremylt 10974ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 10984ce2993fSjeremylt 109923617272Sjeremylt @ref Advanced 11004ce2993fSjeremylt **/ 11014ce2993fSjeremylt int CeedBasisGetGrad(CeedBasis basis, CeedScalar **grad) { 11024ce2993fSjeremylt *grad = basis->grad1d; 11034ce2993fSjeremylt return 0; 11044ce2993fSjeremylt } 11054ce2993fSjeremylt 11064ce2993fSjeremylt /** 1107b7ec98d8SJeremy L Thompson @brief Get value in CeedEvalMode matrix of a CeedBasis 1108b7ec98d8SJeremy L Thompson 1109692c2638Sjeremylt @param basis CeedBasis @param[in] emode CeedEvalMode to retrieve value 1110b7ec98d8SJeremy L Thompson @param[in] node Node (column) to retrieve value 1111b7ec98d8SJeremy L Thompson @param[in] qpt Quadrature point (row) to retrieve value 1112b7ec98d8SJeremy L Thompson @param[in] dim Dimension to retrieve value for, for CEED_EVAL_GRAD 1113b7ec98d8SJeremy L Thompson @param[out] value Variable to store value 1114b7ec98d8SJeremy L Thompson 1115b7ec98d8SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 1116b7ec98d8SJeremy L Thompson 1117b7ec98d8SJeremy L Thompson @ref Advanced 1118b7ec98d8SJeremy L Thompson **/ 1119b7ec98d8SJeremy L Thompson int CeedBasisGetValue(CeedBasis basis, CeedEvalMode emode, CeedInt qpt, 1120b7ec98d8SJeremy L Thompson CeedInt node, CeedInt dim, CeedScalar *value) { 1121b7ec98d8SJeremy L Thompson bool tensor = basis->tensorbasis; 1122b7ec98d8SJeremy L Thompson 1123b7ec98d8SJeremy L Thompson switch (emode) { 1124b7ec98d8SJeremy L Thompson case CEED_EVAL_NONE: 1125b7ec98d8SJeremy L Thompson if (node == qpt) 1126b7ec98d8SJeremy L Thompson *value = 0.0; 1127b7ec98d8SJeremy L Thompson else 1128b7ec98d8SJeremy L Thompson *value = 1.0; 1129b7ec98d8SJeremy L Thompson break; 1130b7ec98d8SJeremy L Thompson case CEED_EVAL_INTERP: { 1131b7ec98d8SJeremy L Thompson CeedScalar *interp = basis->interp1d; 1132b7ec98d8SJeremy L Thompson 1133b7ec98d8SJeremy L Thompson if (tensor) { 1134b7ec98d8SJeremy L Thompson CeedInt n, q; 1135b7ec98d8SJeremy L Thompson 1136b7ec98d8SJeremy L Thompson *value = 1.0; 1137b7ec98d8SJeremy L Thompson for (CeedInt d=0; d<basis->dim; d++) { 1138b7ec98d8SJeremy L Thompson n = (node / CeedIntPow(basis->P1d, d)) % basis->P1d; 1139b7ec98d8SJeremy L Thompson q = (qpt / CeedIntPow(basis->Q1d, d)) % basis->Q1d; 1140b7ec98d8SJeremy L Thompson *value *= interp[q*(basis->P1d)+n]; 1141b7ec98d8SJeremy L Thompson } 1142b7ec98d8SJeremy L Thompson } else { 1143b7ec98d8SJeremy L Thompson *value = interp[qpt*(basis->P)+node]; 1144b7ec98d8SJeremy L Thompson } 1145b7ec98d8SJeremy L Thompson } break; 1146b7ec98d8SJeremy L Thompson case CEED_EVAL_GRAD: { 1147b7ec98d8SJeremy L Thompson CeedScalar *grad = basis->grad1d; 1148b7ec98d8SJeremy L Thompson 1149b7ec98d8SJeremy L Thompson if (tensor) { 1150b7ec98d8SJeremy L Thompson CeedInt n, q; 1151b7ec98d8SJeremy L Thompson CeedScalar *interp = basis->interp1d; 1152b7ec98d8SJeremy L Thompson 1153b7ec98d8SJeremy L Thompson *value = 1.0; 1154b7ec98d8SJeremy L Thompson for (CeedInt d=0; d<basis->dim; d++) { 1155b7ec98d8SJeremy L Thompson n = (node / CeedIntPow(basis->P1d, d)) % basis->P1d; 1156b7ec98d8SJeremy L Thompson q = (qpt / CeedIntPow(basis->Q1d, d)) % basis->Q1d; 1157b7ec98d8SJeremy L Thompson if (d == dim) 1158b7ec98d8SJeremy L Thompson *value *= grad[q*(basis->P1d)+n]; 1159b7ec98d8SJeremy L Thompson else 1160b7ec98d8SJeremy L Thompson *value *= interp[q*(basis->P1d)+n]; 1161b7ec98d8SJeremy L Thompson } 1162b7ec98d8SJeremy L Thompson } else { 1163b7ec98d8SJeremy L Thompson *value = grad[(dim*(basis->Q)+qpt)*(basis->P)+node]; 1164b7ec98d8SJeremy L Thompson } 1165b7ec98d8SJeremy L Thompson } break; 1166b7ec98d8SJeremy L Thompson case CEED_EVAL_WEIGHT: 1167b7ec98d8SJeremy L Thompson // LCOV_EXCL_START 1168b7ec98d8SJeremy L Thompson return CeedError(basis->ceed, 1, "CEED_EVAL_WEIGHT does not make sense in " 1169b7ec98d8SJeremy L Thompson "this context"); 1170b7ec98d8SJeremy L Thompson // LCOV_EXCL_STOP 1171b7ec98d8SJeremy L Thompson case CEED_EVAL_DIV: 1172b7ec98d8SJeremy L Thompson // LCOV_EXCL_START 1173b7ec98d8SJeremy L Thompson return CeedError(basis->ceed, 1, "CEED_EVAL_DIV not supported"); 1174b7ec98d8SJeremy L Thompson // LCOV_EXCL_STOP 1175b7ec98d8SJeremy L Thompson case CEED_EVAL_CURL: 1176b7ec98d8SJeremy L Thompson // LCOV_EXCL_START 1177b7ec98d8SJeremy L Thompson return CeedError(basis->ceed, 1, "CEED_EVAL_CURL not supported"); 1178b7ec98d8SJeremy L Thompson // LCOV_EXCL_STOP 1179b7ec98d8SJeremy L Thompson } 1180b7ec98d8SJeremy L Thompson return 0; 1181b7ec98d8SJeremy L Thompson } 1182b7ec98d8SJeremy L Thompson 1183b7ec98d8SJeremy L Thompson /** 11844ce2993fSjeremylt @brief Get backend data of a CeedBasis 11854ce2993fSjeremylt 11864ce2993fSjeremylt @param basis CeedBasis 11874ce2993fSjeremylt @param[out] data Variable to store data 11884ce2993fSjeremylt 11894ce2993fSjeremylt @return An error code: 0 - success, otherwise - failure 11904ce2993fSjeremylt 119123617272Sjeremylt @ref Advanced 11924ce2993fSjeremylt **/ 11934ce2993fSjeremylt int CeedBasisGetData(CeedBasis basis, void **data) { 11944ce2993fSjeremylt *data = basis->data; 11954ce2993fSjeremylt return 0; 11964ce2993fSjeremylt } 11974ce2993fSjeremylt 11984ce2993fSjeremylt /** 1199fe2413ffSjeremylt @brief Set backend data of a CeedBasis 1200fe2413ffSjeremylt 1201fe2413ffSjeremylt @param[out] basis CeedBasis 1202fe2413ffSjeremylt @param data Data to set 1203fe2413ffSjeremylt 1204fe2413ffSjeremylt @return An error code: 0 - success, otherwise - failure 1205fe2413ffSjeremylt 1206fe2413ffSjeremylt @ref Advanced 1207fe2413ffSjeremylt **/ 1208fe2413ffSjeremylt int CeedBasisSetData(CeedBasis basis, void **data) { 1209fe2413ffSjeremylt basis->data = *data; 1210fe2413ffSjeremylt return 0; 1211fe2413ffSjeremylt } 1212fe2413ffSjeremylt 1213fe2413ffSjeremylt /** 12142f86a920SJeremy L Thompson @brief Get CeedTensorContract of a CeedBasis 12152f86a920SJeremy L Thompson 12162f86a920SJeremy L Thompson @param basis CeedBasis 12172f86a920SJeremy L Thompson @param[out] contract Variable to store CeedTensorContract 12182f86a920SJeremy L Thompson 12192f86a920SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 12202f86a920SJeremy L Thompson 12212f86a920SJeremy L Thompson @ref Advanced 12222f86a920SJeremy L Thompson **/ 12231d102b48SJeremy L Thompson int CeedBasisGetTensorContract(CeedBasis basis, CeedTensorContract *contract) { 12242f86a920SJeremy L Thompson *contract = basis->contract; 12252f86a920SJeremy L Thompson return 0; 12262f86a920SJeremy L Thompson } 12272f86a920SJeremy L Thompson 12282f86a920SJeremy L Thompson /** 12292f86a920SJeremy L Thompson @brief Set CeedTensorContract of a CeedBasis 12302f86a920SJeremy L Thompson 12312f86a920SJeremy L Thompson @param[out] basis CeedBasis 12322f86a920SJeremy L Thompson @param contract CeedTensorContract to set 12332f86a920SJeremy L Thompson 12342f86a920SJeremy L Thompson @return An error code: 0 - success, otherwise - failure 12352f86a920SJeremy L Thompson 12362f86a920SJeremy L Thompson @ref Advanced 12372f86a920SJeremy L Thompson **/ 12381d102b48SJeremy L Thompson int CeedBasisSetTensorContract(CeedBasis basis, CeedTensorContract *contract) { 12392f86a920SJeremy L Thompson basis->contract = *contract; 12402f86a920SJeremy L Thompson return 0; 12412f86a920SJeremy L Thompson } 12422f86a920SJeremy L Thompson 12432f86a920SJeremy L Thompson /** 1244a8de75f0Sjeremylt @brief Get dimension for given CeedElemTopology 1245a8de75f0Sjeremylt 1246a8de75f0Sjeremylt @param topo CeedElemTopology 12474ce2993fSjeremylt @param[out] dim Variable to store dimension of topology 1248a8de75f0Sjeremylt 1249a8de75f0Sjeremylt @return An error code: 0 - success, otherwise - failure 1250a8de75f0Sjeremylt 125123617272Sjeremylt @ref Advanced 1252a8de75f0Sjeremylt **/ 1253a8de75f0Sjeremylt int CeedBasisGetTopologyDimension(CeedElemTopology topo, CeedInt *dim) { 1254a8de75f0Sjeremylt *dim = (CeedInt) topo >> 16; 1255a8de75f0Sjeremylt return 0; 1256a8de75f0Sjeremylt }; 1257a8de75f0Sjeremylt 1258a8de75f0Sjeremylt /** 1259b11c1e72Sjeremylt @brief Destroy a CeedBasis 1260b11c1e72Sjeremylt 1261b11c1e72Sjeremylt @param basis CeedBasis to destroy 1262b11c1e72Sjeremylt 1263b11c1e72Sjeremylt @return An error code: 0 - success, otherwise - failure 1264dfdf5a53Sjeremylt 1265dfdf5a53Sjeremylt @ref Basic 1266b11c1e72Sjeremylt **/ 1267d7b241e6Sjeremylt int CeedBasisDestroy(CeedBasis *basis) { 1268d7b241e6Sjeremylt int ierr; 1269d7b241e6Sjeremylt 12701d102b48SJeremy L Thompson if (!*basis || --(*basis)->refcount > 0) 12711d102b48SJeremy L Thompson return 0; 1272d7b241e6Sjeremylt if ((*basis)->Destroy) { 1273d7b241e6Sjeremylt ierr = (*basis)->Destroy(*basis); CeedChk(ierr); 1274d7b241e6Sjeremylt } 1275d7b241e6Sjeremylt ierr = CeedFree(&(*basis)->interp1d); CeedChk(ierr); 1276d7b241e6Sjeremylt ierr = CeedFree(&(*basis)->grad1d); CeedChk(ierr); 1277d7b241e6Sjeremylt ierr = CeedFree(&(*basis)->qref1d); CeedChk(ierr); 1278d7b241e6Sjeremylt ierr = CeedFree(&(*basis)->qweight1d); CeedChk(ierr); 1279d7b241e6Sjeremylt ierr = CeedDestroy(&(*basis)->ceed); CeedChk(ierr); 1280d7b241e6Sjeremylt ierr = CeedFree(basis); CeedChk(ierr); 1281d7b241e6Sjeremylt return 0; 1282d7b241e6Sjeremylt } 1283d7b241e6Sjeremylt 128433e6becaSjeremylt /// @cond DOXYGEN_SKIP 12858795c945Sjeremylt // Indicate that the quadrature points are collocated with the nodes 1286783c99b3SValeria Barra CeedBasis CEED_BASIS_COLLOCATED = &ceed_basis_collocated; 128733e6becaSjeremylt /// @endcond 1288d7b241e6Sjeremylt /// @} 1289