38 static void VerifyProjectedBasis(CeedBasis basis_project, CeedInt dim, CeedInt p_to_dim, CeedInt p_…  in VerifyProjectedBasis()  argument
73     for (CeedInt i = 0; i < p_to_dim; i++) {  in VerifyProjectedBasis()
75       for (CeedInt d = 0; d < dim; d++) coord[d] = x_array[d * p_to_dim + i];  in VerifyProjectedBasis()
92     for (CeedInt i = 0; i < p_to_dim; i++) {  in VerifyProjectedBasis()
95       for (CeedInt d = 0; d < dim; d++) coord[d] = x_array[p_to_dim * d + i];  in VerifyProjectedBasis()
99         if (fabs(du - du_array[p_to_dim * d + i]) > tol) {  in VerifyProjectedBasis()
101 …", %" CeedInt_FMT ", %" CeedInt_FMT "] %f != %f\n", dim, i, d, du_array[p_to_dim * (dim - 1 - d) +…  in VerifyProjectedBasis()
119 … = 6, x_dim = CeedIntPow(2, dim), p_from_dim = CeedIntPow(p_from, dim), p_to_dim = CeedIntPow(p_to…  in main()  local
131     CeedVectorCreate(ceed, p_to_dim * dim, &x_to);  in main()
134     CeedVectorCreate(ceed, p_to_dim, &u_to);  in main()
136     CeedVectorCreate(ceed, p_to_dim * dim, &du_to);  in main()
152 … VerifyProjectedBasis(basis_project, dim, p_to_dim, p_from_dim, x_to, x_from, u_to, u_from, du_to);  in main()
181 … VerifyProjectedBasis(basis_project, dim, p_to_dim, p_from_dim, x_to, x_from, u_to, u_from, du_to);  in main()
186 … VerifyProjectedBasis(basis_project, dim, p_to_dim, p_from_dim, x_to, x_from, u_to, u_from, du_to);  in main()
191 … VerifyProjectedBasis(basis_project, dim, p_to_dim, p_from_dim, x_to, x_from, u_to, u_from, du_to);  in main()