int HDIV_WEDGE_I1_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (1)// (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HDIV_WEDGE_I1_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE and DIV operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; typedef Kokkos::DynRankView<ValueType,HostSpaceType> DynRankViewHost; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const ValueType tol = tolerence(); int errorFlag = 0; // for virtual function, value and point types are declared in the class typedef ValueType outputValueType; typedef ValueType pointValueType; Basis_HDIV_WEDGE_I1_FEM<DeviceSpaceType,outputValueType,pointValueType> wedgeBasis; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: constructors and exceptions |\n" << "===============================================================================\n"; try { ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG // Define array containing the 6 vertices of the reference WEDGE and 6 other points. DynRankView ConstructWithLabel(wedgeNodes, 12, 3); // Generic array for the output values; needs to be properly resized depending on the operator type const auto numFields = wedgeBasis.getCardinality(); const auto numPoints = wedgeNodes.dimension(0); const auto spaceDim = wedgeBasis.getBaseCellTopology().getDimension(); // exception #1: GRAD cannot be applied to HDIV functions DynRankView ConstructWithLabel(vals, numFields, numPoints, spaceDim ); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_GRAD)); // exception #2: CURL cannot be applied to HDIV functions INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_CURL)); // Exceptions 3-7: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception // exception #3 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofOrdinal(3,0,0)); // exception #4 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofOrdinal(1,1,1)); // exception #5 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofOrdinal(0,4,1)); // exception #6 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofTag(11)); // exception #7 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofTag(-1)); // Exceptions 8-15 test exception handling with incorrectly dimensioned input/output arrays // exception #8: input points array must be of rank-2 DynRankView ConstructWithLabel(badPoints1, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals, badPoints1, OPERATOR_VALUE)); // exception #9 dimension 1 in the input point array must equal space dimension of the cell DynRankView ConstructWithLabel(badPoints2, 4, 2); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals, badPoints2, OPERATOR_VALUE)); // exception #10 output values must be of rank-3 for OPERATOR_VALUE DynRankView ConstructWithLabel(badVals1, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals1, wedgeNodes, OPERATOR_VALUE)); // exception #11 output values must be of rank-2 for OPERATOR_DIV DynRankView ConstructWithLabel(badVals2, 4, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals2, wedgeNodes, OPERATOR_DIV)); // exception #12 incorrect 0th dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel(badVals3, wedgeBasis.getCardinality() + 1, wedgeNodes.dimension(0), 3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals3, wedgeNodes, OPERATOR_VALUE)); // exception #13 incorrect 0th dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel(badVals4, wedgeBasis.getCardinality() + 1, wedgeNodes.dimension(0)); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals4, wedgeNodes, OPERATOR_DIV)); // exception #14 incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals5, wedgeBasis.getCardinality(), wedgeNodes.dimension(0) + 1, 3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals5, wedgeNodes, OPERATOR_VALUE)); // exception #15 incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals6, wedgeBasis.getCardinality(), wedgeNodes.dimension(0) + 1); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals6, wedgeNodes, OPERATOR_DIV)); // exception #16: incorrect 2nd dimension of output array (must equal the space dimension) DynRankView ConstructWithLabel(badVals7, wedgeBasis.getCardinality(), wedgeNodes.dimension(0), 4); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals7, wedgeNodes, OPERATOR_VALUE)); #endif } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; } *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" << "===============================================================================\n"; try{ const auto numFields = wedgeBasis.getCardinality(); const auto allTags = wedgeBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const auto dofTagSize = allTags.dimension(0); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again for (size_type i = 0; i < dofTagSize; i++) { const auto bfOrd = wedgeBasis.getDofOrdinal(allTags(i, 0), allTags(i, 1), allTags(i, 2)); const auto myTag = wedgeBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i, 0)) && (myTag(1) == allTags(i, 1)) && (myTag(2) == allTags(i, 2)) && (myTag(3) == allTags(i, 3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i, 0) << ", " << allTags(i, 1) << ", " << allTags(i, 2) << ", " << allTags(i, 3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for( int bfOrd = 0; bfOrd <numFields; bfOrd++) { const auto myTag = wedgeBasis.getDofTag(bfOrd); const auto myBfOrd = wedgeBasis.getDofOrdinal(myTag(0), myTag(1), myTag(2)); if( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::logic_error err){ *outStream << err.what() << "\n\n"; errorFlag = -1000; }; *outStream \ << "\n" << "===============================================================================\n"\ << "| TEST 3: correctness of basis function values |\n"\ << "===============================================================================\n"; outStream -> precision(20); // VALUE: Each row pair gives the 5x3 correct basis set values at an evaluation point double basisValues[] = { 0, -0.500000, 0, 0, 0, 0, -0.500000, 0, 0, 0, 0, -2.00000, 0, 0, 0, \ 0.500000, -0.500000, 0, 0.500000, 0, 0, 0, 0, 0, 0, 0, -2.00000, 0, \ 0, 0, 0, 0, 0, 0, 0.500000, 0, -0.500000, 0.500000, 0, 0, 0, \ -2.00000, 0, 0, 0, 0, -0.500000, 0, 0, 0, 0, -0.500000, 0, 0, 0, 0, \ 0, 0, 0, 2.00000, 0.500000, -0.500000, 0, 0.500000, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 2.00000, 0, 0, 0, 0, 0.500000, 0, -0.500000, 0.500000, 0, \ 0, 0, 0, 0, 0, 2.00000, 0.125000, -0.250000, 0, 0.125000, 0.250000, \ 0, -0.375000, 0.250000, 0, 0, 0, -2.00000, 0, 0, 0, 0.250000, \ -0.375000, 0, 0.250000, 0.125000, 0, -0.250000, 0.125000, 0, 0, 0, \ -1.00000, 0, 0, 1.00000, 0.125000, -0.375000, 0, 0.125000, 0.125000, \ 0, -0.375000, 0.125000, 0, 0, 0, 0, 0, 0, 2.00000, 0.125000, \ -0.500000, 0, 0.125000, 0, 0, -0.375000, 0, 0, 0, 0, -0.250000, 0, 0, \ 1.75000, 0, -0.250000, 0, 0, 0.250000, 0, -0.500000, 0.250000, 0, 0, \ 0, -1.25000, 0, 0, 0.750000, 0.250000, -0.250000, 0, 0.250000, \ 0.250000, 0, -0.250000, 0.250000, 0, 0, 0, -1.00000, 0, 0, 1.00000}; // DIV: each row pair gives the 5 correct values of the divergence of the 5 basis functions double basisDivs[] = { // 6 vertices 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, // 6 other points 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0 }; try{ DynRankViewHost ConstructWithLabel(wedgeNodesHost, 12, 3); wedgeNodesHost(0,0) = 0.0; wedgeNodesHost(0,1) = 0.0; wedgeNodesHost(0,2) = -1.0; wedgeNodesHost(1,0) = 1.0; wedgeNodesHost(1,1) = 0.0; wedgeNodesHost(1,2) = -1.0; wedgeNodesHost(2,0) = 0.0; wedgeNodesHost(2,1) = 1.0; wedgeNodesHost(2,2) = -1.0; wedgeNodesHost(3,0) = 0.0; wedgeNodesHost(3,1) = 0.0; wedgeNodesHost(3,2) = 1.0; wedgeNodesHost(4,0) = 1.0; wedgeNodesHost(4,1) = 0.0; wedgeNodesHost(4,2) = 1.0; wedgeNodesHost(5,0) = 0.0; wedgeNodesHost(5,1) = 1.0; wedgeNodesHost(5,2) = 1.0; wedgeNodesHost(6,0) = 0.25; wedgeNodesHost(6,1) = 0.5; wedgeNodesHost(6,2) = -1.0; wedgeNodesHost(7,0) = 0.5; wedgeNodesHost(7,1) = 0.25; wedgeNodesHost(7,2) = 0.0; wedgeNodesHost(8,0) = 0.25; wedgeNodesHost(8,1) = 0.25; wedgeNodesHost(8,2) = 1.0; wedgeNodesHost(9,0) = 0.25; wedgeNodesHost(9,1) = 0.0; wedgeNodesHost(9,2) = 0.75; wedgeNodesHost(10,0)= 0.0; wedgeNodesHost(10,1)= 0.5; wedgeNodesHost(10,2)= -0.25; wedgeNodesHost(11,0)= 0.5; wedgeNodesHost(11,1)= 0.5; wedgeNodesHost(11,2)= 0.0; const auto wedgeNodes = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), wedgeNodesHost); Kokkos::deep_copy(wedgeNodes, wedgeNodesHost); // Dimensions for the output arrays: const auto numFields = wedgeBasis.getCardinality(); const auto numPoints = wedgeNodes.dimension(0); const auto spaceDim = wedgeBasis.getBaseCellTopology().getDimension(); // Check VALUE of basis functions: resize vals to rank-3 container: { DynRankView ConstructWithLabel(vals, numFields, numPoints, spaceDim); wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_VALUE); const auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (int i = 0; i < numFields; i++) { for (size_type j = 0; j < numPoints; j++) { for (size_type k = 0; k < spaceDim; k++) { int l = k + i * spaceDim + j * spaceDim * numFields; if (std::abs(vals_host(i,j,k) - basisValues[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed value: " << vals_host(i,j,k) << " but reference value: " << basisValues[l] << "\n"; } } } } } // Check DIV of basis function: resize vals to rank-2 container { DynRankView ConstructWithLabel(vals, numFields, numPoints); wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_DIV); const auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (int i = 0; i < numFields; i++) { for (size_type j = 0; j < numPoints; j++) { int l = i + j * numFields; if (std::abs(vals_host(i,j) - basisDivs[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " "; *outStream << "} computed divergence component: " << vals_host(i,j) << " but reference divergence component: " << basisDivs[l] << "\n"; } } } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; } *outStream << "\n" << "===============================================================================\n" << "| TEST 4: correctness of DoF locations |\n" << "===============================================================================\n"; try { const auto numFields = wedgeBasis.getCardinality(); const auto spaceDim = wedgeBasis.getBaseCellTopology().getDimension(); // Check exceptions. ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG { DynRankView ConstructWithLabel(badVals, 1,2,3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofCoords(badVals) ); } { DynRankView ConstructWithLabel(badVals, 4,3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofCoords(badVals) ); } { DynRankView ConstructWithLabel(badVals, 5,2); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofCoords(badVals) ); } #endif if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } DynRankView ConstructWithLabel(bvals, numFields, numFields, spaceDim); DynRankView ConstructWithLabel(cvals, numFields, spaceDim); // Check mathematical correctness. wedgeBasis.getDofCoords(cvals); wedgeBasis.getValues(bvals, cvals, OPERATOR_VALUE); // Check mathematical correctness DynRankViewHost ConstructWithLabel(normals, numFields,spaceDim); // normals at each point basis point normals(0,0) = 0.0; normals(0,1) = -2.0; normals(0,2) = 0.0; normals(1,0) = 2.0; normals(1,1) = 2.0; normals(1,2) = 0.0; normals(2,0) = -2.0; normals(2,1) = 0.0; normals(2,2) = 0.0; normals(3,0) = 0.0; normals(3,1) = 0.0; normals(3,2) = -0.5; normals(4,0) = 0.0; normals(4,1) = 0.0; normals(4,2) = 0.5; auto cvals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), cvals); Kokkos::deep_copy(cvals_host, cvals); auto bvals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), bvals); Kokkos::deep_copy(bvals_host, bvals); for (ordinal_type i=0;i<numFields;++i) { for (ordinal_type j=0;j<numFields;++j) { ValueType normal = 0.0; for(size_type d=0;d<spaceDim;++d) { normal += bvals_host(i,j,d)*normals(j,d); } const ValueType expected_normal = (i == j); if (std::abs(normal - expected_normal) > tol || isnan(normal)) { errorFlag++; std::stringstream ss; ss << "\nNormal component of basis function " << i << " at (" << cvals_host(j,0) << ", " << cvals_host(j,1)<< ", " << cvals_host(j,2) << ") is " << normal << " but should be " << expected_normal << "\n"; *outStream << ss.str(); } } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; } if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int HCURL_WEDGE_I1_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "\n" << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HCURL_WEDGE_I1_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE and CURL operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]). |\n" << "| Kyungjoo Kim ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; typedef Kokkos::DynRankView<ValueType,HostSpaceType> DynRankViewHost; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const ValueType tol = tolerence(); int errorFlag = 0; // for virtual function, value and point types are declared in the class typedef ValueType outputValueType; typedef ValueType pointValueType; Basis_HCURL_WEDGE_I1_FEM<DeviceSpaceType,outputValueType,pointValueType> wedgeBasis; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: Basis creation, exception testing |\n" << "===============================================================================\n"; try{ ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG // Define array containing the 4 vertices of the reference WEDGE and its center. DynRankView ConstructWithLabel(wedgeNodes, 12, 3); // Generic array for the output values; needs to be properly resized depending on the operator type const ordinal_type numFields = wedgeBasis.getCardinality(); const ordinal_type numPoints = wedgeNodes.dimension(0); const ordinal_type spaceDim = wedgeBasis.getBaseCellTopology().getDimension(); DynRankView vals ("vals", numFields, numPoints); DynRankView vals_vec ("vals", numFields, numPoints, spaceDim); { // exception #1: GRAD cannot be applied to HCURL functions // resize vals to rank-3 container with dimensions (num. basis functions, num. points, arbitrary) INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals_vec, wedgeNodes, OPERATOR_GRAD) ); // exception #2: DIV cannot be applied to HCURL functions // resize vals to rank-2 container with dimensions (num. basis functions, num. points) INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_DIV) ); } // Exceptions 3-7: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception { // exception #3 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofOrdinal(3,0,0) ); // exception #4 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofOrdinal(1,1,1) ); // exception #5 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofOrdinal(0,4,1) ); // exception #6 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofTag(numFields) ); // exception #7 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofTag(-1) ); } // Exceptions 8- test exception handling with incorrectly dimensioned input/output arrays { // exception #8: input points array must be of rank-2 DynRankView ConstructWithLabel(badPoints1, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals, badPoints1, OPERATOR_VALUE) ); } { // exception #9 dimension 1 in the input point array must equal space dimension of the cell DynRankView ConstructWithLabel(badPoints2, 4, 2); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals, badPoints2, OPERATOR_VALUE) ); } { // exception #10 output values must be of rank-3 for OPERATOR_VALUE DynRankView ConstructWithLabel(badVals1, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals1, wedgeNodes, OPERATOR_VALUE) ); // exception #11 output values must be of rank-3 for OPERATOR_CURL INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals1, wedgeNodes, OPERATOR_CURL) ); } { // exception #12 incorrect 0th dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel(badVals2, numFields + 1, numPoints, 3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals2, wedgeNodes, OPERATOR_VALUE) ); } { // exception #13 incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals3, numFields, numPoints + 1, 3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals3, wedgeNodes, OPERATOR_VALUE) ); } { // exception #14: incorrect 2nd dimension of output array (must equal the space dimension) DynRankView ConstructWithLabel(badVals4, numFields, numPoints, 4); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals4, wedgeNodes, OPERATOR_VALUE) ); // exception #15: incorrect 2nd dimension of output array (must equal the space dimension) INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals4, wedgeNodes, OPERATOR_CURL) ); } #endif // Check if number of thrown exceptions matches the one we expect if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << nthrow << ")\n"; } } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" << "===============================================================================\n"; try{ const ordinal_type numFields = wedgeBasis.getCardinality(); const auto allTags = wedgeBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const ordinal_type dofTagSize = allTags.dimension(0); for (ordinal_type i = 0; i < dofTagSize; ++i) { auto bfOrd = wedgeBasis.getDofOrdinal(allTags(i,0), allTags(i,1), allTags(i,2)); const auto myTag = wedgeBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i,0)) && (myTag(1) == allTags(i,1)) && (myTag(2) == allTags(i,2)) && (myTag(3) == allTags(i,3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i,0) << ", " << allTags(i,1) << ", " << allTags(i,2) << ", " << allTags(i,3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for( ordinal_type bfOrd = 0; bfOrd < numFields; ++bfOrd) { const auto myTag = wedgeBasis.getDofTag(bfOrd); const auto myBfOrd = wedgeBasis.getDofOrdinal(myTag(0), myTag(1), myTag(2)); if( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::logic_error err){ *outStream << err.what() << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 3: correctness of basis function values |\n" << "===============================================================================\n"; outStream -> precision(20); // VALUE: Each row pair gives the 9x3 correct basis set values at an evaluation point: (P,F,D) layout const ValueType basisValues[] = { 1.00000, 0, 0, 0, 0, 0, 0, -1.00000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0.500000, 0, 0, 0, 0, 0, 0, 1.00000, 1.00000, 0, 0, 1.00000, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.500000, 0, 0, 0, 0, \ 0, 0, -1.00000, 0, 0, -1.00000, -1.00000, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.500000, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 1.00000, 0, 0, 0, 0, 0, 0, -1.00000, 0, 0, 0, 0.500000, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00000, 1.00000, 0, 0, 1.00000, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0.500000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, -1.00000, 0, 0, -1.00000, -1.00000, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0.500000, 0.500000, 0.250000, 0, -0.500000, 0.250000, 0, \ -0.500000, -0.750000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.125000, \ 0, 0, 0.125000, 0, 0, 0.250000, 0.375000, 0.250000, 0, -0.125000, \ 0.250000, 0, -0.125000, -0.250000, 0, 0.375000, 0.250000, 0, \ -0.125000, 0.250000, 0, -0.125000, -0.250000, 0, 0, 0, 0.125000, 0, \ 0, 0.250000, 0, 0, 0.125000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.750000, \ 0.250000, 0, -0.250000, 0.250000, 0, -0.250000, -0.750000, 0, 0, 0, \ 0.250000, 0, 0, 0.125000, 0, 0, 0.125000, 0.125000, 0.0312500, 0, 0, \ 0.0312500, 0, 0, -0.0937500, 0, 0.875000, 0.218750, 0, 0, 0.218750, \ 0, 0, -0.656250, 0, 0, 0, 0.375000, 0, 0, 0.125000, 0, 0, 0, \ 0.312500, 0, 0, -0.312500, 0, 0, -0.312500, -0.625000, 0, 0.187500, \ 0, 0, -0.187500, 0, 0, -0.187500, -0.375000, 0, 0, 0, 0.250000, 0, 0, \ 0, 0, 0, 0.250000, 0.250000, 0.250000, 0, -0.250000, 0.250000, 0, \ -0.250000, -0.250000, 0, 0.250000, 0.250000, 0, -0.250000, 0.250000, \ 0, -0.250000, -0.250000, 0, 0, 0, 0, 0, 0, 0.250000, 0, 0, 0.250000 }; // CURL: each row pair gives the 9x3 correct values of the curls of the 9 basis functions: (P,F,D) layout const ValueType basisCurls[] = { 0, -0.500000, 2.00000, 0, 0, 2.00000, -0.500000, 0, 2.00000, 0, \ 0.500000, 0, 0, 0, 0, 0.500000, 0, 0, -0.500000, 0.500000, 0, 0, \ -0.500000, 0, 0.500000, 0, 0, 0.500000, -0.500000, 2.00000, 0.500000, \ 0, 2.00000, 0, 0, 2.00000, -0.500000, 0.500000, 0, -0.500000, 0, 0, \ 0, 0, 0, -0.500000, 0.500000, 0, 0, -0.500000, 0, 0.500000, 0, 0, 0, \ 0, 2.00000, 0, 0.500000, 2.00000, -0.500000, 0.500000, 2.00000, 0, 0, \ 0, 0, -0.500000, 0, 0.500000, -0.500000, 0, -0.500000, 0.500000, 0, \ 0, -0.500000, 0, 0.500000, 0, 0, 0, -0.500000, 0, 0, 0, 0, -0.500000, \ 0, 0, 0, 0.500000, 2.00000, 0, 0, 2.00000, 0.500000, 0, 2.00000, \ -0.500000, 0.500000, 0, 0, -0.500000, 0, 0.500000, 0, 0, 0.500000, \ -0.500000, 0, 0.500000, 0, 0, 0, 0, 0, -0.500000, 0.500000, 2.00000, \ -0.500000, 0, 2.00000, 0, 0, 2.00000, -0.500000, 0.500000, 0, 0, \ -0.500000, 0, 0.500000, 0, 0, 0, 0, 0, 0, 0.500000, 0, -0.500000, \ 0.500000, 0, 0, 0, 2.00000, 0, -0.500000, 2.00000, 0.500000, \ -0.500000, 2.00000, -0.500000, 0.500000, 0, 0, -0.500000, 0, \ 0.500000, 0, 0, 0.125000, -0.250000, 2.00000, 0.125000, 0.250000, \ 2.00000, -0.375000, 0.250000, 2.00000, -0.125000, 0.250000, 0, \ -0.125000, -0.250000, 0, 0.375000, -0.250000, 0, -0.500000, 0.500000, \ 0, 0, -0.500000, 0, 0.500000, 0, 0, 0.250000, -0.375000, 1.00000, \ 0.250000, 0.125000, 1.00000, -0.250000, 0.125000, 1.00000, -0.250000, \ 0.375000, 1.00000, -0.250000, -0.125000, 1.00000, 0.250000, \ -0.125000, 1.00000, -0.500000, 0.500000, 0, 0, -0.500000, 0, \ 0.500000, 0, 0, 0.125000, -0.375000, 0, 0.125000, 0.125000, 0, \ -0.375000, 0.125000, 0, -0.125000, 0.375000, 2.00000, -0.125000, \ -0.125000, 2.00000, 0.375000, -0.125000, 2.00000, -0.500000, \ 0.500000, 0, 0, -0.500000, 0, 0.500000, 0, 0, 0.125000, -0.500000, \ 0.250000, 0.125000, 0, 0.250000, -0.375000, 0, 0.250000, -0.125000, \ 0.500000, 1.75000, -0.125000, 0, 1.75000, 0.375000, 0, 1.75000, \ -0.500000, 0.500000, 0, 0, -0.500000, 0, 0.500000, 0, 0, 0, \ -0.250000, 1.25000, 0, 0.250000, 1.25000, -0.500000, 0.250000, \ 1.25000, 0, 0.250000, 0.750000, 0, -0.250000, 0.750000, 0.500000, \ -0.250000, 0.750000, -0.500000, 0.500000, 0, 0, -0.500000, 0, \ 0.500000, 0, 0, 0.250000, -0.250000, 1.00000, 0.250000, 0.250000, \ 1.00000, -0.250000, 0.250000, 1.00000, -0.250000, 0.250000, 1.00000, \ -0.250000, -0.250000, 1.00000, 0.250000, -0.250000, 1.00000, \ -0.500000, 0.500000, 0, 0, -0.500000, 0, 0.500000, 0, 0 }; try{ DynRankViewHost ConstructWithLabel(wedgeNodesHost, 12, 3); wedgeNodesHost(0,0) = 0.0; wedgeNodesHost(0,1) = 0.0; wedgeNodesHost(0,2) = -1.0; wedgeNodesHost(1,0) = 1.0; wedgeNodesHost(1,1) = 0.0; wedgeNodesHost(1,2) = -1.0; wedgeNodesHost(2,0) = 0.0; wedgeNodesHost(2,1) = 1.0; wedgeNodesHost(2,2) = -1.0; wedgeNodesHost(3,0) = 0.0; wedgeNodesHost(3,1) = 0.0; wedgeNodesHost(3,2) = 1.0; wedgeNodesHost(4,0) = 1.0; wedgeNodesHost(4,1) = 0.0; wedgeNodesHost(4,2) = 1.0; wedgeNodesHost(5,0) = 0.0; wedgeNodesHost(5,1) = 1.0; wedgeNodesHost(5,2) = 1.0; wedgeNodesHost(6,0) = 0.25; wedgeNodesHost(6,1) = 0.5; wedgeNodesHost(6,2) = -1.0; wedgeNodesHost(7,0) = 0.5; wedgeNodesHost(7,1) = 0.25; wedgeNodesHost(7,2) = 0.0; wedgeNodesHost(8,0) = 0.25; wedgeNodesHost(8,1) = 0.25; wedgeNodesHost(8,2) = 1.0; wedgeNodesHost(9,0) = 0.25; wedgeNodesHost(9,1) = 0.0; wedgeNodesHost(9,2) = 0.75; wedgeNodesHost(10,0)= 0.0; wedgeNodesHost(10,1)= 0.5; wedgeNodesHost(10,2)= -0.25; wedgeNodesHost(11,0)= 0.5; wedgeNodesHost(11,1)= 0.5; wedgeNodesHost(11,2)= 0.0; const auto wedgeNodes = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), wedgeNodesHost); Kokkos::deep_copy(wedgeNodes, wedgeNodesHost); // Dimensions for the output arrays: const ordinal_type numFields = wedgeBasis.getCardinality(); const ordinal_type numPoints = wedgeNodes.dimension(0); const ordinal_type spaceDim = wedgeBasis.getBaseCellTopology().getDimension(); { // Check VALUE of basis functions: resize vals to rank-3 container: DynRankView ConstructWithLabel(vals, numFields, numPoints, spaceDim); wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_VALUE); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < spaceDim; ++k) { // compute offset for (P,F,D) data layout: indices are P->j, F->i, D->k const ordinal_type l = k + i * spaceDim + j * spaceDim * numFields; if (std::abs(vals_host(i,j,k) - basisValues[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed value: " << vals_host(i,j,k) << " but reference value: " << basisValues[l] << "\n"; } } } } } { // Check CURL of basis function: resize vals to rank-3 container DynRankView ConstructWithLabel(vals, numFields, numPoints, spaceDim); wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_CURL); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < spaceDim; ++k) { // compute offset for (P,F,D) data layout: indices are P->j, F->i, D->k const ordinal_type l = k + i * spaceDim + j * spaceDim * numFields; if (std::abs(vals_host(i,j,k) - basisCurls[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed curl component: " << vals_host(i,j,k) << " but reference curl component: " << basisCurls[l] << "\n"; } } } } } } // Catch unexpected errors catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int HGRAD_HEX_Cn_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HGRAD_HEX_Cn_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE, GRAD, and Dk operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Robert Kirby ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]), |\n" << "| Kyungjoo Kim ([email protected]), |\n" << "| Mauro Perego ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<PointValueType,DeviceSpaceType> DynRankViewPointValueType; typedef Kokkos::DynRankView<OutValueType,DeviceSpaceType> DynRankViewOutValueType; typedef typename ScalarTraits<OutValueType>::scalar_type scalar_type; typedef Kokkos::DynRankView<scalar_type, DeviceSpaceType> DynRankViewScalarValueType; typedef Kokkos::DynRankView<scalar_type, HostSpaceType> DynRankViewHostScalarValueType; #define ConstructWithLabelScalar(obj, ...) obj(#obj, __VA_ARGS__) const scalar_type tol = tolerence(); int errorFlag = 0; typedef Basis_HGRAD_HEX_Cn_FEM<DeviceSpaceType,OutValueType,PointValueType> HexBasisType; constexpr ordinal_type maxOrder = Parameters::MaxOrder; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: Basis creation, exceptions tests |\n" << "===============================================================================\n"; try { #ifdef HAVE_INTREPID2_DEBUG ordinal_type nthrow = 0, ncatch = 0; constexpr ordinal_type order = 3; if(order < maxOrder) { HexBasisType hexBasis(order); // Define array containing array of nodes to evaluate DynRankViewPointValueType ConstructWithLabelPointView(hexNodes, 27, 3); // Generic array for the output values; needs to be properly resized depending on the operator type const ordinal_type numFields = hexBasis.getCardinality(); const ordinal_type numPoints = hexNodes.extent(0); //const ordinal_type spaceDim = hexBasis.getBaseCellTopology().getDimension(); // exception 1 - 2: CURL and DIV is not supported. { DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints, 3); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(vals, hexNodes, OPERATOR_CURL) ); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(vals, hexNodes, OPERATOR_DIV) ); } // Exceptions 3-7: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception { INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofOrdinal(3,10,0) ); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofOrdinal(1,2,3) ); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofOrdinal(0,4,1) ); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofTag(numFields) ); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofTag(-1) ); } // Exceptions 8-18 test exception handling with incorrectly dimensioned input/output arrays // exception #8: input points array must be of rank-2 { DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints); { // exception #8: input points array must be of rank-2 DynRankViewPointValueType ConstructWithLabelPointView(badPoints, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(vals, badPoints, OPERATOR_VALUE) ); } { // exception #9: dimension 1 in the input point array must equal space dimension of the cell DynRankViewPointValueType ConstructWithLabelPointView(badPoints, 4, 4); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(vals, badPoints, OPERATOR_VALUE) ); } { // exception #10: output values must be of rank-2 for OPERATOR_VALUE DynRankViewOutValueType ConstructWithLabelOutView(badVals, 4, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_VALUE) ); } { DynRankViewOutValueType ConstructWithLabelOutView(badVals, 4, 3); // exception #11: output values must be of rank-3 for OPERATOR_GRAD INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_GRAD) ); // exception #12: output values must be of rank-3 for OPERATOR_CURL INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_D1) ); // exception #13: output values must be of rank-3 for OPERATOR_D2 INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_D2) ); } } { // exception #14: incorrect 0th dimension of output array (must equal number of basis functions) DynRankViewOutValueType ConstructWithLabelOutView(badVals, hexBasis.getCardinality() + 1, hexNodes.extent(0)); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_VALUE) ); } { // exception #15: incorrect 1st dimension of output array (must equal number of points) DynRankViewOutValueType ConstructWithLabelOutView(badVals, hexBasis.getCardinality(), hexNodes.extent(0) + 1); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_VALUE) ); } { // exception #16: incorrect 2nd dimension of output array (must equal spatial dimension) DynRankViewOutValueType ConstructWithLabelOutView(badVals, hexBasis.getCardinality(), hexNodes.extent(0), 2); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_GRAD) ); } { DynRankViewOutValueType ConstructWithLabelOutView(badVals, hexBasis.getCardinality(), hexNodes.extent(0), 40); // exception #17: incorrect 2nd dimension of output array (must equal spatial dimension) INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_D2) ); // exception #18: incorrect 2nd dimension of output array (must equal spatial dimension) INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_D3) ); } } if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << nthrow << ")\n"; } #endif } catch (std::exception err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" << "===============================================================================\n"; try { const ordinal_type order = std::min(5, maxOrder); HexBasisType hexBasis(order); const ordinal_type numFields = hexBasis.getCardinality(); const auto allTags = hexBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const ordinal_type dofTagSize = allTags.extent(0); for (ordinal_type i=0;i<dofTagSize;++i) { const auto bfOrd = hexBasis.getDofOrdinal(allTags(i,0), allTags(i,1), allTags(i,2)); const auto myTag = hexBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i,0)) && (myTag(1) == allTags(i,1)) && (myTag(2) == allTags(i,2)) && (myTag(3) == allTags(i,3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i,0) << ", " << allTags(i,1) << ", " << allTags(i,2) << ", " << allTags(i,3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for(ordinal_type bfOrd=0;bfOrd<numFields;++bfOrd) { const auto myTag = hexBasis.getDofTag(bfOrd); const auto myBfOrd = hexBasis.getDofOrdinal(myTag(0), myTag(1), myTag(2)); if( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::exception err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; try { *outStream << "\n" << "===============================================================================\n" << "| TEST 3: Testing Kronecker property of basis functions |\n" << "===============================================================================\n"; const ordinal_type order = std::min(3,maxOrder); HexBasisType hexBasis(order, POINTTYPE_WARPBLEND); constexpr ordinal_type dim=3; const ordinal_type basisCardinality = hexBasis.getCardinality(); DynRankViewScalarValueType ConstructWithLabelScalar(lattice_scalar, basisCardinality , dim); DynRankViewPointValueType ConstructWithLabelPointView(lattice, basisCardinality , dim); hexBasis.getDofCoords(lattice_scalar); RealSpaceTools<DeviceSpaceType>::clone(lattice,lattice_scalar); auto lattice_host = Kokkos::create_mirror_view(lattice); DynRankViewOutValueType ConstructWithLabelOutView(basisAtLattice, basisCardinality, basisCardinality); hexBasis.getValues(basisAtLattice, lattice, OPERATOR_VALUE); auto h_basisAtLattice = Kokkos::create_mirror_view(basisAtLattice); Kokkos::deep_copy(h_basisAtLattice, basisAtLattice); for(ordinal_type iface =0; iface<6; iface++) { auto numFaceDofs = hexBasis.getDofCount(2,iface); for(ordinal_type i=0; i<numFaceDofs; i++) { auto idof = hexBasis.getDofOrdinal(2,iface,i); for(ordinal_type j=0; j<numFaceDofs; j++) { auto jdof = hexBasis.getDofOrdinal(2,iface,j); if ( idof==jdof && std::abs( h_basisAtLattice(idof,jdof) - 1.0 ) > tol ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " Basis function " << idof << " does not have unit value at its node (" << h_basisAtLattice(idof,jdof) <<")\n"; } if ( i!=j && std::abs( h_basisAtLattice(idof,jdof) ) > tol ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " Basis function " << idof << " does not vanish at node " << jdof << "\n"; *outStream << " Basis function value is " << h_basisAtLattice(idof,jdof) << "\n"; } } } } // test for Kronecker property for (int i=0;i<basisCardinality;i++) { for (int j=0;j<basisCardinality;j++) { if ( i==j && std::abs( h_basisAtLattice(i,j) - 1.0 ) > tol ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " Basis function " << i << " does not have unit value at its node (" << h_basisAtLattice(i,j) <<")\n"; } if ( i!=j && std::abs( h_basisAtLattice(i,j) ) > tol ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " Basis function " << i << " does not vanish at node " << j << "\n"; *outStream << " Basis function value is " << h_basisAtLattice(i,j) << "\n"; } } } } catch (std::exception err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 4: correctness of basis function values |\n" << "===============================================================================\n"; outStream -> precision(20); // VALUE: Each row gives the 27 correct basis set values at an evaluation point const scalar_type basisValues[] = { 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000 }; // GRAD, D1, D2, D3 and D4 test values are stored in files due to their large size std::string fileName; std::ifstream dataFile; // GRAD and D1 values are stored in (F,P,D) format in a data file. Read file and do the test std::vector<scalar_type> basisGrads; // Flat array for the gradient values. { fileName = "../testdata/HEX_C2_GradVals.dat"; dataFile.open(fileName.c_str()); INTREPID2_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_HEX_C2/test01): could not open GRAD values data file, test aborted."); while (!dataFile.eof() ){ double temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while(data_line >> temp){ // extract value from line basisGrads.push_back(temp); // push into vector } } dataFile.close(); dataFile.clear(); } //D2: flat array with the values of D2 applied to basis functions. Multi-index is (F,P,D2cardinality) std::vector<scalar_type> basisD2; { fileName = "../testdata/HEX_C2_D2Vals.dat"; dataFile.open(fileName.c_str()); INTREPID2_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_HEX_C2/test01): could not open D2 values data file, test aborted."); while (!dataFile.eof() ){ double temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while(data_line >> temp){ // extract value from line basisD2.push_back(temp); // push into vector } } dataFile.close(); dataFile.clear(); } //D3: flat array with the values of D3 applied to basis functions. Multi-index is (F,P,D3cardinality) std::vector<scalar_type> basisD3; { fileName = "../testdata/HEX_C2_D3Vals.dat"; dataFile.open(fileName.c_str()); TEUCHOS_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_HEX_C2/test01): could not open D3 values data file, test aborted."); while (!dataFile.eof() ){ double temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while(data_line >> temp){ // extract value from line basisD3.push_back(temp); // push into vector } } dataFile.close(); dataFile.clear(); } //D4: flat array with the values of D applied to basis functions. Multi-index is (F,P,D4cardinality) std::vector<scalar_type> basisD4; { fileName = "../testdata/HEX_C2_D4Vals.dat"; dataFile.open(fileName.c_str()); TEUCHOS_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_HEX_C2/test01): could not open D4 values data file, test aborted."); while (!dataFile.eof() ){ double temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while(data_line >> temp){ // extract value from line basisD4.push_back(temp); // push into vector } } dataFile.close(); dataFile.clear(); } try{ constexpr ordinal_type order = 2; if(order < maxOrder) { HexBasisType hexBasis(order); DynRankViewHostScalarValueType ConstructWithLabelScalar(hexNodesHost, 27, 3); DynRankViewPointValueType ConstructWithLabelPointView(hexNodes, 27, 3); // do it lexicographically as a lattice hexNodesHost(0, 0) = -1.0; hexNodesHost(0, 1) = -1.0; hexNodesHost(0, 2) = -1.0; hexNodesHost(1, 0) = 0.0; hexNodesHost(1, 1) = -1.0; hexNodesHost(1, 2) = -1.0; hexNodesHost(2, 0) = 1.0; hexNodesHost(2, 1) = -1.0; hexNodesHost(2, 2) = -1.0; hexNodesHost(3, 0) = -1.0; hexNodesHost(3, 1) = 0.0; hexNodesHost(3, 2) = -1.0; hexNodesHost(4, 0) = 0.0; hexNodesHost(4, 1) = 0.0; hexNodesHost(4, 2) = -1.0; hexNodesHost(5, 0) = 1.0; hexNodesHost(5, 1) = 0.0; hexNodesHost(5, 2) = -1.0; hexNodesHost(6, 0) = -1.0; hexNodesHost(6, 1) = 1.0; hexNodesHost(6, 2) = -1.0; hexNodesHost(7, 0) = 0.0; hexNodesHost(7, 1) = 1.0; hexNodesHost(7, 2) = -1.0; hexNodesHost(8, 0) = 1.0; hexNodesHost(8, 1) = 1.0; hexNodesHost(8, 2) = -1.0; hexNodesHost(9, 0) = -1.0; hexNodesHost(9, 1) = -1.0; hexNodesHost(9, 2) = 0.0; hexNodesHost(10, 0) = 0.0; hexNodesHost(10, 1) = -1.0; hexNodesHost(10, 2) = 0.0; hexNodesHost(11, 0) = 1.0; hexNodesHost(11, 1) = -1.0; hexNodesHost(11, 2) = 0.0; hexNodesHost(12, 0) = -1.0; hexNodesHost(12, 1) = 0.0; hexNodesHost(12, 2) = 0.0; hexNodesHost(13, 0) = 0.0; hexNodesHost(13, 1) = 0.0; hexNodesHost(13, 2) = 0.0; hexNodesHost(14, 0) = 1.0; hexNodesHost(14, 1) = 0.0; hexNodesHost(14, 2) = 0.0; hexNodesHost(15, 0) = -1.0; hexNodesHost(15, 1) = 1.0; hexNodesHost(15, 2) = 0.0; hexNodesHost(16, 0) = 0.0; hexNodesHost(16, 1) = 1.0; hexNodesHost(16, 2) = 0.0; hexNodesHost(17, 0) = 1.0; hexNodesHost(17, 1) = 1.0; hexNodesHost(17, 2) = 0.0; hexNodesHost(18, 0) = -1.0; hexNodesHost(18, 1) = -1.0; hexNodesHost(18, 2) = 1.0; hexNodesHost(19, 0) = 0.0; hexNodesHost(19, 1) = -1.0; hexNodesHost(19, 2) = 1.0; hexNodesHost(20, 0) = 1.0; hexNodesHost(20, 1) = -1.0; hexNodesHost(20, 2) = 1.0; hexNodesHost(21, 0) = -1.0; hexNodesHost(21, 1) = 0.0; hexNodesHost(21, 2) = 1.0; hexNodesHost(22, 0) = 0.0; hexNodesHost(22, 1) = 0.0; hexNodesHost(22, 2) = 1.0; hexNodesHost(23, 0) = 1.0; hexNodesHost(23, 1) = 0.0; hexNodesHost(23, 2) = 1.0; hexNodesHost(24, 0) = -1.0; hexNodesHost(24, 1) = 1.0; hexNodesHost(24, 2) = 1.0; hexNodesHost(25, 0) = 0.0; hexNodesHost(25, 1) = 1.0; hexNodesHost(25, 2) = 1.0; hexNodesHost(26, 0) = 1.0; hexNodesHost(26, 1) = 1.0; hexNodesHost(26, 2) = 1.0; auto hexNodes_scalar = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), hexNodesHost); Kokkos::deep_copy(hexNodes_scalar, hexNodesHost); RealSpaceTools<DeviceSpaceType>::clone(hexNodes, hexNodes_scalar); // Dimensions for the output arrays: const ordinal_type numFields = hexBasis.getCardinality(); const ordinal_type numPoints = hexNodes.extent(0); const ordinal_type spaceDim = hexBasis.getBaseCellTopology().getDimension(); const ordinal_type D2Cardin = getDkCardinality(OPERATOR_D2, spaceDim); const ordinal_type D3Cardin = getDkCardinality(OPERATOR_D3, spaceDim); const ordinal_type D4Cardin = getDkCardinality(OPERATOR_D4, spaceDim); *outStream << " -- Testing OPERATOR_VALUE \n"; { // Check VALUE of basis functions: resize vals to rank-2 container: DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints); hexBasis.getValues(vals, hexNodes, OPERATOR_VALUE); auto vals_host = Kokkos::create_mirror_view(vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { // Compute offset for (F,P) container const ordinal_type l = j + i * numPoints; if (std::abs(vals_host(i,j) - basisValues[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " "; *outStream << "} computed value: " << vals_host(i,j) << " but reference value: " << basisValues[l] << "\n"; } } } } *outStream << " -- Testing OPERATOR_GRAD \n"; { // Check GRAD of basis function: resize vals to rank-3 container DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints, spaceDim); hexBasis.getValues(vals, hexNodes, OPERATOR_GRAD); auto vals_host = Kokkos::create_mirror_view(vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < spaceDim; ++k) { // basisGrads is (F,P,D), compute offset: const ordinal_type l = k + j * spaceDim + i * spaceDim * numPoints; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: " << basisGrads[l] << "\n"; } } } } } *outStream << " -- Testing OPERATOR_D1 \n"; { // Check GRAD of basis function: resize vals to rank-3 container DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints, spaceDim); hexBasis.getValues(vals, hexNodes, OPERATOR_D1); auto vals_host = Kokkos::create_mirror_view(vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < spaceDim; ++k) { // basisGrads is (F,P,D), compute offset: const ordinal_type l = k + j * spaceDim + i * spaceDim * numPoints; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: " << basisGrads[l] << "\n"; } } } } } *outStream << " -- Testing OPERATOR_D2 \n"; { // Check GRAD of basis function: resize vals to rank-3 container DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints, D2Cardin); hexBasis.getValues(vals, hexNodes, OPERATOR_D2); auto vals_host = Kokkos::create_mirror_view(vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < D2Cardin; ++k) { // basisGrads is (F,P,D), compute offset: const ordinal_type l = k + j * D2Cardin + i * D2Cardin * numPoints; if (std::abs(vals_host(i,j,k) - basisD2[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: " << basisD2[l] << "\n"; } } } } } *outStream << " -- Testing OPERATOR_D3 \n"; { // Check GRAD of basis function: resize vals to rank-3 container DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints, D3Cardin); hexBasis.getValues(vals, hexNodes, OPERATOR_D3); auto vals_host = Kokkos::create_mirror_view(vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < D3Cardin; ++k) { // basisGrads is (F,P,D), compute offset: const ordinal_type l = k + j * D3Cardin + i * D3Cardin * numPoints; if (std::abs(vals_host(i,j,k) - basisD3[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: " << basisD3[l] << "\n"; } } } } } *outStream << " -- Testing OPERATOR_D4 \n"; { // Check GRAD of basis function: resize vals to rank-3 container DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints, D4Cardin); hexBasis.getValues(vals, hexNodes, OPERATOR_D4); auto vals_host = Kokkos::create_mirror_view(vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < D4Cardin; ++k) { // basisGrads is (F,P,D), compute offset: const ordinal_type l = k + j * D4Cardin + i * D4Cardin * numPoints; if (std::abs(vals_host(i,j,k) - basisD4[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: " << basisD4[l] << "\n"; } } } } } // // Check D7 to D10 - must be zero. This basis does not cover D5 and D6 const EOperator ops[4] = { OPERATOR_D7, OPERATOR_D8, OPERATOR_D9, OPERATOR_D10 }; for (ordinal_type oid=0;oid<4;++oid) { *outStream << " -- Testing OPERATOR_D" << (oid+7) << "\n"; const auto op = ops[oid]; const ordinal_type DkCardin = Intrepid2::getDkCardinality(op, spaceDim); DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints, DkCardin); hexBasis.getValues(vals, hexNodes, op); auto vals_host = Kokkos::create_mirror_view(vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < DkCardin; ++k) { // basisGrads is (F,P,D), compute offset: if (std::abs(vals_host(i,j,k)) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: 0.0\n"; } } } } } } } catch (std::exception err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int HGRAD_TET_C2_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "\n" << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HGRAD_TET_C2_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE, GRAD, and Dk operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]). |\n" << "| Kyungjoo Kim ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; typedef Kokkos::DynRankView<ValueType,HostSpaceType> DynRankViewHost; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const ValueType tol = tolerence(); int errorFlag = 0; // for virtual function, value and point types are declared in the class typedef ValueType outputValueType; typedef ValueType pointValueType; Basis_HGRAD_TET_C2_FEM<DeviceSpaceType,outputValueType,pointValueType> tetBasis; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: Basis creation, exception testing |\n" << "===============================================================================\n"; try{ ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG DynRankView ConstructWithLabel(tetNodes, 10, 3); const auto numFields = tetBasis.getCardinality(); const auto numPoints = tetNodes.dimension(0); const auto spaceDim = tetBasis.getBaseCellTopology().getDimension(); DynRankView ConstructWithLabel(vals, numFields, numPoints); DynRankView ConstructWithLabel(vals_vec, numFields, numPoints, 4); { // exception #1: CURL cannot be applied to scalar functions // resize vals to rank-3 container with dimensions (num. points, num. basis functions, arbitrary) INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(vals_vec, tetNodes, OPERATOR_CURL) ); } { // exception #2: DIV cannot be applied to scalar functions // resize vals to rank-2 container with dimensions (num. points, num. basis functions) INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(vals, tetNodes, OPERATOR_DIV) ); } // Exceptions 3-7: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception { // exception #3 INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getDofOrdinal(3,0,0) ); // exception #4 INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getDofOrdinal(1,1,1) ); // exception #5 INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getDofOrdinal(0,4,0) ); // exception #6 INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getDofTag(10) ); // exception #7 INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getDofTag(-1) ); } // Exceptions 8-18 test exception handling with incorrectly dimensioned input/output arrays { // exception #8: input points array must be of rank-2 DynRankView ConstructWithLabel(badPoints1, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(vals, badPoints1, OPERATOR_VALUE) ); } { // exception #9 dimension 1 in the input point array must equal space dimension of the cell DynRankView ConstructWithLabel(badPoints2, 4, spaceDim - 1); INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(vals, badPoints2, OPERATOR_VALUE) ); } { // exception #10 output values must be of rank-2 for OPERATOR_VALUE DynRankView ConstructWithLabel(badVals1, 4, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(badVals1, tetNodes, OPERATOR_VALUE) ); } { // exception #11 output values must be of rank-3 for OPERATOR_GRAD DynRankView ConstructWithLabel(badVals2, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(badVals2, tetNodes, OPERATOR_GRAD) ); // exception #12 output values must be of rank-3 for OPERATOR_D1 INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(badVals2, tetNodes, OPERATOR_D1) ); // exception #13 output values must be of rank-3 for OPERATOR_D2 INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(badVals2, tetNodes, OPERATOR_D2) ); } { // exception #14 incorrect 0th dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel(badVals3, numFields + 1, numPoints); INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(badVals3, tetNodes, OPERATOR_VALUE) ); } { // exception #15 incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals4, numFields, numPoints + 1); INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(badVals4, tetNodes, OPERATOR_VALUE) ); } { // exception #16: incorrect 2nd dimension of output array (must equal the space dimension) DynRankView ConstructWithLabel(badVals5, numFields, numPoints, spaceDim + 1); INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(badVals5, tetNodes, OPERATOR_GRAD) ); } { // exception #17: incorrect 2nd dimension of output array (must equal D2 cardinality in 2D) DynRankView ConstructWithLabel(badVals6, numFields, numPoints, 40); INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(badVals6, tetNodes, OPERATOR_D1) ); // exception #18: incorrect 2nd dimension of output array (must equal D3 cardinality in 2D) INTREPID2_TEST_ERROR_EXPECTED( tetBasis.getValues(badVals6, tetNodes, OPERATOR_D2) ); } #endif // Check if number of thrown exceptions matches the one we expect if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << nthrow << ")\n"; } } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" << "===============================================================================\n"; try{ const auto numFields = tetBasis.getCardinality(); const auto allTags = tetBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const auto dofTagSize = allTags.dimension(0); for (auto i = 0; i < dofTagSize; ++i) { const auto bfOrd = tetBasis.getDofOrdinal(allTags(i,0), allTags(i,1), allTags(i,2)); const auto myTag = tetBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i,0)) && (myTag(1) == allTags(i,1)) && (myTag(2) == allTags(i,2)) && (myTag(3) == allTags(i,3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i,0) << ", " << allTags(i,1) << ", " << allTags(i,2) << ", " << allTags(i,3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for( auto bfOrd = 0; bfOrd < numFields; bfOrd++) { const auto myTag = tetBasis.getDofTag(bfOrd); const auto myBfOrd = tetBasis.getDofOrdinal(myTag(0), myTag(1), myTag(2)); if( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::logic_error err){ *outStream << err.what() << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 3: correctness of basis function values |\n" << "===============================================================================\n"; outStream -> precision(20); // VALUE: in (F,P) format const ValueType basisValues[] = { 1.00000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00000, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 1.00000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00000, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 1.00000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00000, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 1.00000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00000, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 1.00000 }; // GRAD and D1: in (F,P,D) format const ValueType basisGrads[] = { -3.00000, -3.00000, -3.00000, 1.00000, 1.00000, 1.00000, 1.00000, \ 1.00000, 1.00000, 1.00000, 1.00000, 1.00000, -1.00000, -1.00000, \ -1.00000, 1.00000, 1.00000, 1.00000, -1.00000, -1.00000, -1.00000, \ -1.00000, -1.00000, -1.00000, 1.00000, 1.00000, 1.00000, 1.00000, \ 1.00000, 1.00000, -1.00000, 0, 0, 3.00000, 0, 0, -1.00000, 0, 0, \ -1.00000, 0, 0, 1.00000, 0, 0, 1.00000, 0, 0, -1.00000, 0, 0, \ -1.00000, 0, 0, 1.00000, 0, 0, -1.00000, 0, 0, 0, -1.00000, 0, 0, \ -1.00000, 0, 0, 3.00000, 0, 0, -1.00000, 0, 0, -1.00000, 0, 0, \ 1.00000, 0, 0, 1.00000, 0, 0, -1.00000, 0, 0, -1.00000, 0, 0, \ 1.00000, 0, 0, 0, -1.00000, 0, 0, -1.00000, 0, 0, -1.00000, 0, 0, \ 3.00000, 0, 0, -1.00000, 0, 0, -1.00000, 0, 0, -1.00000, 0, 0, \ 1.00000, 0, 0, 1.00000, 0, 0, 1.00000, 4.00000, 0, 0, -4.00000, \ -4.00000, -4.00000, 0, 0, 0, 0, 0, 0, 0, -2.00000, -2.00000, \ -2.00000, -2.00000, -2.00000, 2.00000, 0, 0, 2.00000, 0, 0, -2.00000, \ -2.00000, -2.00000, 0, 0, 0, 0, 0, 0, 0, 4.00000, 0, 4.00000, 0, 0, \ 0, 0, 0, 0, 2.00000, 0, 2.00000, 2.00000, 0, 2.00000, 0, 0, 0, 0, 0, \ 0, 2.00000, 0, 2.00000, 0, 0, 0, 4.00000, 0, 0, 0, 0, -4.00000, \ -4.00000, -4.00000, 0, 0, 0, 0, 2.00000, 0, -2.00000, -2.00000, \ -2.00000, -2.00000, 0, -2.00000, 0, 2.00000, 0, 0, 0, 0, -2.00000, \ -2.00000, -2.00000, 0, 0, 4.00000, 0, 0, 0, 0, 0, 0, -4.00000, \ -4.00000, -4.00000, 0, 0, 2.00000, 0, 0, 0, 0, 0, 2.00000, -2.00000, \ -2.00000, 0, -2.00000, -2.00000, -2.00000, -2.00000, -2.00000, \ -2.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 4.00000, 0, 0, 0, 0, \ 2.00000, 0, 0, 2.00000, 0, 0, 0, 2.00000, 0, 0, 2.00000, 0, 2.00000, \ 2.00000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4.00000, 0, 4.00000, 0, 0, 0, \ 0, 0, 0, 2.00000, 0, 0, 2.00000, 0, 2.00000, 0, 0, 2.00000, 0, 0, \ 2.00000, 2.00000}; // D2 values in (F,P, Dk) format const ValueType basisD2[]={ 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, \ 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, \ 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, \ 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, \ 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, \ 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, \ 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, \ 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, \ 4.00000, 4.00000, 4.00000, 4.00000, 4.00000, 0, 0, 0, 0, 0, 4.00000, \ 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, \ 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, \ 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, \ 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, \ 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, \ 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, \ 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 0, 0, 4.00000, \ 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, \ 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, \ 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, \ 0, 0, 4.00000, -8.00000, -4.00000, -4.00000, 0, 0, 0, -8.00000, \ -4.00000, -4.00000, 0, 0, 0, -8.00000, -4.00000, -4.00000, 0, 0, 0, \ -8.00000, -4.00000, -4.00000, 0, 0, 0, -8.00000, -4.00000, -4.00000, \ 0, 0, 0, -8.00000, -4.00000, -4.00000, 0, 0, 0, -8.00000, -4.00000, \ -4.00000, 0, 0, 0, -8.00000, -4.00000, -4.00000, 0, 0, 0, -8.00000, \ -4.00000, -4.00000, 0, 0, 0, -8.00000, -4.00000, -4.00000, 0, 0, 0, \ 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, \ 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, \ 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, \ 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, -4.00000, 0, -8.00000, -4.00000, \ 0, 0, -4.00000, 0, -8.00000, -4.00000, 0, 0, -4.00000, 0, -8.00000, \ -4.00000, 0, 0, -4.00000, 0, -8.00000, -4.00000, 0, 0, -4.00000, 0, \ -8.00000, -4.00000, 0, 0, -4.00000, 0, -8.00000, -4.00000, 0, 0, \ -4.00000, 0, -8.00000, -4.00000, 0, 0, -4.00000, 0, -8.00000, \ -4.00000, 0, 0, -4.00000, 0, -8.00000, -4.00000, 0, 0, -4.00000, 0, \ -8.00000, -4.00000, 0, 0, 0, -4.00000, 0, -4.00000, -8.00000, 0, 0, \ -4.00000, 0, -4.00000, -8.00000, 0, 0, -4.00000, 0, -4.00000, \ -8.00000, 0, 0, -4.00000, 0, -4.00000, -8.00000, 0, 0, -4.00000, 0, \ -4.00000, -8.00000, 0, 0, -4.00000, 0, -4.00000, -8.00000, 0, 0, \ -4.00000, 0, -4.00000, -8.00000, 0, 0, -4.00000, 0, -4.00000, \ -8.00000, 0, 0, -4.00000, 0, -4.00000, -8.00000, 0, 0, -4.00000, 0, \ -4.00000, -8.00000, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, \ 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, \ 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, \ 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 0, 0, \ 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, \ 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, \ 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, 0, 0, 0, 4.00000, 0, 0, \ 0, 0, 0, 4.00000, 0 }; try{ ordinal_type nthrow = 0, ncatch = 0; DynRankViewHost ConstructWithLabel(tetNodesHost, 10, 3); tetNodesHost(0,0) = 0.0; tetNodesHost(0,1) = 0.0; tetNodesHost(0,2) = 0.0; tetNodesHost(1,0) = 1.0; tetNodesHost(1,1) = 0.0; tetNodesHost(1,2) = 0.0; tetNodesHost(2,0) = 0.0; tetNodesHost(2,1) = 1.0; tetNodesHost(2,2) = 0.0; tetNodesHost(3,0) = 0.0; tetNodesHost(3,1) = 0.0; tetNodesHost(3,2) = 1.0; tetNodesHost(4,0) = 0.5; tetNodesHost(4,1) = 0.0; tetNodesHost(4,2) = 0.0; tetNodesHost(5,0) = 0.5; tetNodesHost(5,1) = 0.5; tetNodesHost(5,2) = 0.0; tetNodesHost(6,0) = 0.0; tetNodesHost(6,1) = 0.5; tetNodesHost(6,2) = 0.0; tetNodesHost(7,0) = 0.0; tetNodesHost(7,1) = 0.0; tetNodesHost(7,2) = 0.5; tetNodesHost(8,0) = 0.5; tetNodesHost(8,1) = 0.0; tetNodesHost(8,2) = 0.5; tetNodesHost(9,0) = 0.0; tetNodesHost(9,1) = 0.5; tetNodesHost(9,2) = 0.5; auto tetNodes = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), tetNodesHost); Kokkos::deep_copy(tetNodes, tetNodesHost); // Dimensions for the output arrays: const auto numFields = tetBasis.getCardinality(); const auto numPoints = tetNodes.dimension(0); const auto spaceDim = tetBasis.getBaseCellTopology().getDimension(); const auto D2cardinality = getDkCardinality(OPERATOR_D2, spaceDim); { // Check VALUE of basis functions: resize vals to rank-2 container: DynRankView ConstructWithLabel(vals, numFields, numPoints); tetBasis.getValues(vals, tetNodes, OPERATOR_VALUE); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i = 0; i < numFields; ++i) { for (auto j = 0; j < numPoints; ++j) { const auto l = i + j * numFields; if (std::abs(vals_host(i,j) - basisValues[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " "; *outStream << "} computed value: " << vals_host(i,j) << " but reference value: " << basisValues[l] << "\n"; } } } } { // Check GRAD of basis function: resize vals to rank-3 container DynRankView ConstructWithLabel(vals, numFields, numPoints, spaceDim); tetBasis.getValues(vals, tetNodes, OPERATOR_GRAD); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i = 0; i < numFields; ++i) { for (auto j = 0; j < numPoints; ++j) { for (auto k = 0; k < spaceDim; ++k) { // basisGrads is (F,P,D), compute offset: const auto l = k + j * spaceDim + i * spaceDim * numPoints; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: " << basisGrads[l] << "\n"; } } } } // Check D1 of basis function (do not resize vals because it has the correct size: D1 = GRAD) tetBasis.getValues(vals, tetNodes, OPERATOR_D1); Kokkos::deep_copy(vals_host, vals); for (auto i = 0; i < numFields; ++i) { for (auto j = 0; j < numPoints; ++j) { for (auto k = 0; k < spaceDim; ++k) { // basisGrads is (F,P,D), compute offset: const auto l = k + j * spaceDim + i * spaceDim * numPoints; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D1 component: " << vals_host(i,j,k) << " but reference D1 component: " << basisGrads[l] << "\n"; } } } } } { // Check D2 of basis function DynRankView ConstructWithLabel(vals, numFields, numPoints, D2cardinality); tetBasis.getValues(vals, tetNodes, OPERATOR_D2); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i = 0; i < numFields; ++i) { for (auto j = 0; j < numPoints; ++j) { for (auto k = 0; k < D2cardinality; ++k) { // basisD2 is (F,P,Dk), compute offset: const auto l = k + j * D2cardinality + i * D2cardinality * numPoints; if (std::abs(vals_host(i,j,k) - basisD2[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D2 component: " << vals_host(i,j,k) << " but reference D2 component: " << basisD2[l] << "\n"; } } } } } { // Check all higher derivatives - must be zero. const EOperator ops[] = { OPERATOR_D3, OPERATOR_D4, OPERATOR_D5, OPERATOR_D6, OPERATOR_D7, OPERATOR_D8, OPERATOR_D9, OPERATOR_D10, OPERATOR_MAX }; for (auto h=0;ops[h]!=OPERATOR_MAX;++h) { const auto op = ops[h]; // The last dimension is the number of kth derivatives and needs to be resized for every Dk const auto DkCardin = getDkCardinality(op, spaceDim); DynRankView vals("vals", numFields, numPoints, DkCardin); tetBasis.getValues(vals, tetNodes, op); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i1 = 0; i1 < numFields; ++i1) for (auto i2 = 0; i2 < numPoints; ++i2) for (auto i3 = 0; i3 < DkCardin; ++i3) { if (std::abs(vals_host(i1,i2,i3)) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Get the multi-index of the value where the error is and the operator order int ord = Intrepid2::getOperatorOrder(op); *outStream << " At multi-index { "<<i1<<" "<<i2 <<" "<<i3; *outStream << "} computed D"<< ord <<" component: " << vals_host(i1,i2,i3) << " but reference D" << ord << " component: 0 \n"; } } } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int HGRAD_HEX_C2_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "\n" << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HGRAD_HEX_C2_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE, GRAD, and Dk operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; typedef Kokkos::DynRankView<ValueType,HostSpaceType> DynRankViewHost; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const ValueType tol = tolerence(); int errorFlag = 0; // for virtual function, value and point types are declared in the class typedef ValueType outputValueType; typedef ValueType pointValueType; Basis_HGRAD_HEX_C2_FEM<DeviceSpaceType,outputValueType,pointValueType> hexBasis; //typedef typename decltype(hexBasis)::outputViewType outputViewType; //typedef typename decltype(hexBasis)::pointViewType pointViewType; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: Basis creation, exception testing |\n" << "===============================================================================\n"; try{ ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG // Define array containing the 8 vertices of the reference HEX, its center, 12 edge nodes and 6 face centers DynRankView ConstructWithLabel( hexNodes, 27, 3); // Generic array for the output values; needs to be properly resized depending on the operator type const auto numFields = hexBasis.getCardinality(); const auto numPoints = hexNodes.dimension(0); const auto spaceDim = hexBasis.getBaseCellTopology().getDimension(); const auto D2Cardin = getDkCardinality(OPERATOR_D2, spaceDim); const auto workSize = numFields*numPoints*D2Cardin; DynRankView ConstructWithLabel(work, workSize); DynRankView vals(work.data(), numFields, numPoints); { // exception #1: CURL cannot be applied to scalar functions in 3D // resize vals to rank-3 container with dimensions (num. basis functions, num. points, arbitrary) DynRankView tmpvals = DynRankView(work.data(), numFields, numPoints, 4); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(tmpvals, hexNodes, OPERATOR_CURL) ); } { // exception #2: DIV cannot be applied to scalar functions in 3D // resize vals to rank-2 container with dimensions (num. basis functions, num. points) DynRankView tmpvals = DynRankView(work.data(), numFields, numPoints); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(tmpvals, hexNodes, OPERATOR_DIV) ); } // Exceptions 3-7: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception { // exception #3 INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofOrdinal(3,10,0) ); // exception #4 INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofOrdinal(1,2,1) ); // exception #5 INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofOrdinal(0,4,1) ); // exception #6 INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofTag(28) ); // exception #7 INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofTag(-1) ); } // Exceptions 8-18 test exception handling with incorrectly dimensioned input/output arrays { // exception #8: input points array must be of rank-2 DynRankView ConstructWithLabel(badPoints1, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(vals, badPoints1, OPERATOR_VALUE) ); } { // exception #9 dimension 1 in the input point array must equal space dimension of the cell DynRankView ConstructWithLabel(badPoints2, 4, spaceDim - 1); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(vals, badPoints2, OPERATOR_VALUE) ); } { // exception #10 output values must be of rank-2 for OPERATOR_VALUE DynRankView ConstructWithLabel(badVals1, 4, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals1, hexNodes, OPERATOR_VALUE) ); } { // exception #11 output values must be of rank-3 for OPERATOR_GRAD DynRankView ConstructWithLabel(badVals2, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals2, hexNodes, OPERATOR_GRAD) ); // exception #12 output values must be of rank-3 for OPERATOR_D1 INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals2, hexNodes, OPERATOR_D1) ); // exception #13 output values must be of rank-3 for OPERATOR_D2 INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals2, hexNodes, OPERATOR_D2) ); } { // exception #14 incorrect 0th dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel(badVals3, numFields + 1, numPoints); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals3, hexNodes, OPERATOR_VALUE) ); } { // exception #15 incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals4, numFields, numPoints + 1); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals4, hexNodes, OPERATOR_VALUE) ); } { // exception #16: incorrect 2nd dimension of output array (must equal the space dimension) DynRankView ConstructWithLabel(badVals5, numFields, numPoints, spaceDim - 1); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals5, hexNodes, OPERATOR_GRAD) ); } { // exception #17: incorrect 2nd dimension of output array (must equal D2 cardinality in 3D) DynRankView ConstructWithLabel(badVals6, numFields, numPoints, 40); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals6, hexNodes, OPERATOR_D2) ); } { // exception #18: incorrect 2nd dimension of output array (must equal D3 cardinality in 3D) DynRankView ConstructWithLabel(badVals7, numFields, numPoints, 50); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals7, hexNodes, OPERATOR_D3) ); } #endif // Check if number of thrown exceptions matches the one we expect if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << nthrow << ")\n"; } } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" << "===============================================================================\n"; try{ const auto numFields = hexBasis.getCardinality(); const auto allTags = hexBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const auto dofTagSize = allTags.dimension(0); for (auto i = 0; i < dofTagSize; ++i) { const auto bfOrd = hexBasis.getDofOrdinal(allTags(i,0), allTags(i,1), allTags(i,2)); const auto myTag = hexBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i,0)) && (myTag(1) == allTags(i,1)) && (myTag(2) == allTags(i,2)) && (myTag(3) == allTags(i,3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i,0) << ", " << allTags(i,1) << ", " << allTags(i,2) << ", " << allTags(i,3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for( auto bfOrd = 0; bfOrd < numFields; ++bfOrd) { const auto myTag = hexBasis.getDofTag(bfOrd); const auto myBfOrd = hexBasis.getDofOrdinal(myTag(0), myTag(1), myTag(2)); if( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::logic_error err){ *outStream << err.what() << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 3: correctness of basis function values |\n" << "===============================================================================\n"; outStream -> precision(20); try{ // VALUE: Each row gives the 8 correct basis set values at an evaluation point const ValueType basisValues[] = { 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.000 }; // GRAD, D1, D2, D3 and D4 test values are stored in files due to their large size std::string fileName; std::ifstream dataFile; // GRAD and D1 values are stored in (F,P,D) format in a data file. Read file and do the test std::vector<double> basisGrads; // Flat array for the gradient values. fileName = "../testdata/HEX_C2_GradVals.dat"; dataFile.open(fileName.c_str()); INTREPID2_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_HEX_C2/test01): could not open GRAD values data file, test aborted."); while (!dataFile.eof() ){ double temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while(data_line >> temp){ // extract value from line basisGrads.push_back(temp); // push into vector } } // It turns out that just closing and then opening the ifstream variable does not reset it // and subsequent open() command fails. One fix is to explicitely clear the ifstream, or // scope the variables. dataFile.close(); dataFile.clear(); //D2: flat array with the values of D2 applied to basis functions. Multi-index is (F,P,D2cardinality) std::vector<double> basisD2; fileName = "../testdata/HEX_C2_D2Vals.dat"; dataFile.open(fileName.c_str()); INTREPID2_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_HEX_C2/test01): could not open D2 values data file, test aborted."); while (!dataFile.eof() ){ double temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while(data_line >> temp){ // extract value from line basisD2.push_back(temp); // push into vector } } dataFile.close(); dataFile.clear(); //D3: flat array with the values of D3 applied to basis functions. Multi-index is (F,P,D3cardinality) std::vector<double> basisD3; fileName = "../testdata/HEX_C2_D3Vals.dat"; dataFile.open(fileName.c_str()); INTREPID2_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_HEX_C2/test01): could not open D3 values data file, test aborted."); while (!dataFile.eof() ){ double temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while(data_line >> temp){ // extract value from line basisD3.push_back(temp); // push into vector } } dataFile.close(); dataFile.clear(); //D4: flat array with the values of D3 applied to basis functions. Multi-index is (F,P,D4cardinality) std::vector<double> basisD4; fileName = "../testdata/HEX_C2_D4Vals.dat"; dataFile.open(fileName.c_str()); INTREPID2_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_HEX_C2/test01): could not open D4 values data file, test aborted."); while (!dataFile.eof() ){ double temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while(data_line >> temp){ // extract value from line basisD4.push_back(temp); // push into vector } } dataFile.close(); dataFile.clear(); DynRankViewHost ConstructWithLabel(hexNodesHost, 27, 3); // vertices hexNodesHost(0, 0) = -1.0; hexNodesHost(0, 1) = -1.0; hexNodesHost(0, 2) = -1.0; hexNodesHost(1, 0) = 1.0; hexNodesHost(1, 1) = -1.0; hexNodesHost(1, 2) = -1.0; hexNodesHost(2, 0) = 1.0; hexNodesHost(2, 1) = 1.0; hexNodesHost(2, 2) = -1.0; hexNodesHost(3, 0) = -1.0; hexNodesHost(3, 1) = 1.0; hexNodesHost(3, 2) = -1.0; hexNodesHost(4, 0) = -1.0; hexNodesHost(4, 1) = -1.0; hexNodesHost(4, 2) = 1.0; hexNodesHost(5, 0) = 1.0; hexNodesHost(5, 1) = -1.0; hexNodesHost(5, 2) = 1.0; hexNodesHost(6, 0) = 1.0; hexNodesHost(6, 1) = 1.0; hexNodesHost(6, 2) = 1.0; hexNodesHost(7, 0) = -1.0; hexNodesHost(7, 1) = 1.0; hexNodesHost(7, 2) = 1.0; // nodes on edges hexNodesHost(8, 0) = 0.0; hexNodesHost(8, 1) = -1.0; hexNodesHost(8, 2) = -1.0; hexNodesHost(9, 0) = 1.0; hexNodesHost(9, 1) = 0.0; hexNodesHost(9, 2) = -1.0; hexNodesHost(10,0) = 0.0; hexNodesHost(10,1) = 1.0; hexNodesHost(10,2) = -1.0; hexNodesHost(11,0) = -1.0; hexNodesHost(11,1) = 0.0; hexNodesHost(11,2) = -1.0; hexNodesHost(12,0) = -1.0; hexNodesHost(12,1) = -1.0; hexNodesHost(12,2) = 0.0; hexNodesHost(13,0) = 1.0; hexNodesHost(13,1) = -1.0; hexNodesHost(13,2) = 0.0; hexNodesHost(14,0) = 1.0; hexNodesHost(14,1) = 1.0; hexNodesHost(14,2) = 0.0; hexNodesHost(15,0) = -1.0; hexNodesHost(15,1) = 1.0; hexNodesHost(15,2) = 0.0; hexNodesHost(16,0) = 0.0; hexNodesHost(16,1) = -1.0; hexNodesHost(16,2) = 1.0; hexNodesHost(17,0) = 1.0; hexNodesHost(17,1) = 0.0; hexNodesHost(17,2) = 1.0; hexNodesHost(18,0) = 0.0; hexNodesHost(18,1) = 1.0; hexNodesHost(18,2) = 1.0; hexNodesHost(19,0) = -1.0; hexNodesHost(19,1) = 0.0; hexNodesHost(19,2) = 1.0; // center hexNodesHost(20,0) = 0.0; hexNodesHost(20,1) = 0.0; hexNodesHost(20,2) = 0.0; // Face nodes hexNodesHost(21,0) = 0.0; hexNodesHost(21,1) = 0.0; hexNodesHost(21,2) = -1.0; hexNodesHost(22,0) = 0.0; hexNodesHost(22,1) = 0.0; hexNodesHost(22,2) = 1.0; hexNodesHost(23,0) = -1.0; hexNodesHost(23,1) = 0.0; hexNodesHost(23,2) = 0.0; hexNodesHost(24,0) = 1.0; hexNodesHost(24,1) = 0.0; hexNodesHost(24,2) = 0.0; hexNodesHost(25,0) = 0.0; hexNodesHost(25,1) = -1.0; hexNodesHost(25,2) = 0.0; hexNodesHost(26,0) = 0.0; hexNodesHost(26,1) = 1.0; hexNodesHost(26,2) = 0.0; auto hexNodes = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), hexNodesHost); Kokkos::deep_copy(hexNodes, hexNodesHost); // Dimensions for the output arrays: const auto numFields = hexBasis.getCardinality(); const auto numPoints = hexNodes.dimension(0); const auto spaceDim = hexBasis.getBaseCellTopology().getDimension(); const auto D2Cardin = getDkCardinality(OPERATOR_D2, spaceDim); const auto D3Cardin = getDkCardinality(OPERATOR_D3, spaceDim); const auto D4Cardin = getDkCardinality(OPERATOR_D4, spaceDim); { // Generic array for values, grads, curls, etc. that will be properly sized before each call DynRankView ConstructWithLabel(vals, numFields, numPoints); // Check VALUE of basis functions: resize vals to rank-2 container: hexBasis.getValues(vals, hexNodes, OPERATOR_VALUE); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i = 0; i < numFields; ++i) { for (auto j = 0; j < numPoints; ++j) { const auto l = i + j * numFields; if (std::abs(vals_host(i,j) - basisValues[l]) > tol ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " "; *outStream << "} computed value: " << vals_host(i,j) << " but reference value: " << basisValues[l] << "\n"; } } } } { DynRankView ConstructWithLabel(vals, numFields, numPoints, spaceDim); // Check GRAD of basis function: resize vals to rank-3 container hexBasis.getValues(vals, hexNodes, OPERATOR_GRAD); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i = 0; i < numFields; ++i) { for (auto j = 0; j < numPoints; ++j) { for (auto k = 0; k < spaceDim; ++k) { // basisGrads is (F,P,D), compute offset: const auto l = k + j * spaceDim + i * spaceDim * numPoints; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: " << basisGrads[l] << "\n"; } } } } // Check D1 of basis function (do not resize vals because it has the correct size: D1 = GRAD) hexBasis.getValues(vals, hexNodes, OPERATOR_D1); Kokkos::deep_copy(vals_host, vals); for (auto i = 0; i < numFields; ++i) { for (auto j = 0; j < numPoints; ++j) { for (auto k = 0; k < spaceDim; ++k) { // basisGrads is (F,P,D), compute offset: const auto l = k + j * spaceDim + i * spaceDim * numPoints; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D1 component: " << vals_host(i,j,k) << " but reference D1 component: " << basisGrads[l] << "\n"; } } } } } { // Check D2 of basis function DynRankView ConstructWithLabel(vals, numFields, numPoints, D2Cardin); hexBasis.getValues(vals, hexNodes, OPERATOR_D2); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i = 0; i < numFields; ++i) { for (auto j = 0; j < numPoints; ++j) { for (auto k = 0; k < D2Cardin; ++k) { // basisD2 is (F,P,Dk), compute offset: const auto l = k + j * D2Cardin + i * D2Cardin * numPoints; if (std::abs(vals_host(i,j,k) - basisD2[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D2 component: " << vals_host(i,j,k) << " but reference D2 component: " << basisD2[l] << "\n"; } } } } } { // Check D3 of basis function DynRankView ConstructWithLabel(vals, numFields, numPoints, D3Cardin); hexBasis.getValues(vals, hexNodes, OPERATOR_D3); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i = 0; i < numFields; ++i) { for (auto j = 0; j < numPoints; ++j) { for (auto k = 0; k < D3Cardin; ++k) { // basisD3 is (F,P,Dk), compute offset: const auto l = k + j * D3Cardin + i * D3Cardin * numPoints; if (std::abs(vals_host(i,j,k) - basisD3[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D3 component: " << vals_host(i,j,k) << " but reference D3 component: " << basisD3[l] << "\n"; } } } } } { // Check D4 of basis function DynRankView ConstructWithLabel(vals, numFields, numPoints, D4Cardin); hexBasis.getValues(vals, hexNodes, OPERATOR_D4); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i = 0; i < numFields; i++) { for (auto j = 0; j < numPoints; j++) { for (auto k = 0; k < D4Cardin; k++) { // basisD4 is (F,P,Dk), compute offset: int l = k + j * D4Cardin + i * D4Cardin * numPoints; if (std::abs(vals_host(i,j,k) - basisD4[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D4 component: " << vals_host(i,j,k) << " but reference D4 component: " << basisD2[l] << "\n"; //D2 same as D4? } } } } } { // Check D7 to D10 - must be zero. This basis does not support D5 and D6 const EOperator ops[] = { OPERATOR_D7, OPERATOR_D8, OPERATOR_D9, OPERATOR_D10, OPERATOR_MAX }; for (auto h=0;ops[h]!=OPERATOR_MAX;++h) { const auto op = ops[h]; // The last dimension is the number of kth derivatives and needs to be resized for every Dk const auto DkCardin = getDkCardinality(op, spaceDim); DynRankView ConstructWithLabel(vals, numFields, numPoints, DkCardin); hexBasis.getValues(vals, hexNodes, op); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i1 = 0; i1 < numFields; ++i1) for (auto i2 = 0; i2 < numPoints; ++i2) for (auto i3 = 0; i3 < DkCardin; ++i3) { if (std::abs(vals_host(i1,i2,i3)) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Get the multi-index of the value where the error is and the operator order const auto ord = Intrepid2::getOperatorOrder(op); *outStream << " At multi-index { "<<i1<<" "<<i2 <<" "<<i3; *outStream << "} computed D"<< ord <<" component: " << vals_host(i1,i2,i3) << " but reference D" << ord << " component: 0 \n"; } } } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 4: correctness of DoF locations |\n" << "===============================================================================\n"; try{ const auto numFields = hexBasis.getCardinality(); const auto spaceDim = hexBasis.getBaseCellTopology().getDimension(); // Check exceptions. ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG { DynRankView ConstructWithLabel(badVals, 1, 2, 3); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofCoords(badVals) ); } { DynRankView ConstructWithLabel(badVals, 3, 2); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofCoords(badVals) ); } { DynRankView ConstructWithLabel(badVals, 27, 2); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofCoords(badVals) ); } #endif // Check if number of thrown exceptions matches the one we expect if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } DynRankView ConstructWithLabel(bvals, numFields, numFields); DynRankView ConstructWithLabel(cvals, numFields, spaceDim); // Check mathematical correctness. hexBasis.getDofCoords(cvals); hexBasis.getValues(bvals, cvals, OPERATOR_VALUE); auto cvals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), cvals); Kokkos::deep_copy(cvals_host, cvals); auto bvals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), bvals); Kokkos::deep_copy(bvals_host, bvals); char buffer[120]; for (auto i=0; i<bvals.dimension(0); ++i) { for (auto j=0; j<bvals.dimension(1); ++j) { if ((i != j) && (std::abs(bvals_host(i,j) - 0.0) > tol)) { errorFlag++; sprintf(buffer, "\nValue of basis function %d at (%6.4e, %6.4e, %6.4e) is %6.4e but should be %6.4e!\n", i, cvals_host(i,0), cvals_host(i,1), cvals_host(i,2), bvals_host(i,j), 0.0); *outStream << buffer; } else if ((i == j) && (std::abs(bvals_host(i,j) - 1.0) > tol)) { errorFlag++; sprintf(buffer, "\nValue of basis function %d at (%6.4e, %6.4e, %6.4e) is %6.4e but should be %6.4e!\n", i, cvals_host(i,0), cvals_host(i,1), cvals_host(i,2), bvals_host(i,j), 1.0); *outStream << buffer; } } } } catch (std::logic_error err){ *outStream << err.what() << "\n\n"; errorFlag = -1000; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int HGRAD_PYR_C1_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HGRAD_PYR_C1_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE, GRAD, CURL, and Dk operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]). |\n" << "| Kyungjoo Kim ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; typedef Kokkos::DynRankView<ValueType,HostSpaceType> DynRankViewHost; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const ValueType tol = tolerence(); int errorFlag = 0; // for virtual function, value and point types are declared in the class typedef ValueType outputValueType; typedef ValueType pointValueType; Basis_HGRAD_PYR_C1_FEM<DeviceSpaceType,outputValueType,pointValueType> pyrBasis; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: constructors and exceptions |\n" << "===============================================================================\n"; try { ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG // Define array containing the 4 vertices of the reference PYR and its center. DynRankView ConstructWithLabel(pyrNodes, 10, 3); // Generic array for the output values; needs to be properly resized depending on the operator type const auto numFields = pyrBasis.getCardinality(); const auto numPoints = pyrNodes.dimension(0); const auto spaceDim = pyrBasis.getBaseCellTopology().getDimension(); DynRankView vals("vals", numFields, numPoints); DynRankView vals_vec("vals", numFields, numPoints, spaceDim); { // exception #1: CURL cannot be applied to scalar functions INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(vals_vec, pyrNodes, OPERATOR_CURL) ); // exception #2: DIV cannot be applied to scalar functions INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(vals_vec, pyrNodes, OPERATOR_DIV) ); } // Exceptions 3-7: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception { // exception #3 INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getDofOrdinal(3,0,0) ); // exception #4 INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getDofOrdinal(1,1,1) ); // exception #5 INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getDofOrdinal(0,6,0) ); // exception #6 INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getDofTag(7) ); // exception #7 INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getDofTag(-1) ); } // Exceptions 8-18 test exception handling with incorrectly dimensioned input/output arrays { // exception #8: input points array must be of rank-2 DynRankView ConstructWithLabel(badPoints1, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(vals, badPoints1, OPERATOR_VALUE) ); } { // exception #9 dimension 1 in the input point array must equal space dimension of the cell DynRankView ConstructWithLabel(badPoints2, 4, 2); INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(vals, badPoints2, OPERATOR_VALUE) ); } { // exception #10 output values must be of rank-2 for OPERATOR_VALUE DynRankView ConstructWithLabel(badVals1, 4, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(badVals1, pyrNodes, OPERATOR_VALUE) ); } { // exception #11 output values must be of rank-3 for OPERATOR_GRAD DynRankView ConstructWithLabel(badVals2, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(badVals2, pyrNodes, OPERATOR_GRAD) ); // exception #12 output values must be of rank-3 for OPERATOR_D1 INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(badVals2, pyrNodes, OPERATOR_D1) ); // exception #13 output values must be of rank-3 for OPERATOR_D2 INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(badVals2, pyrNodes, OPERATOR_D2) ); } { // exception #14 incorrect 0th dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel(badVals3, numFields + 1, numPoints); INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(badVals3, pyrNodes, OPERATOR_VALUE) ); } { // exception #15 incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals4, numFields, numPoints + 1); INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(badVals4, pyrNodes, OPERATOR_VALUE) ); } { // exception #16: incorrect 2nd dimension of output array (must equal the space dimension) DynRankView ConstructWithLabel(badVals5, numFields, numPoints, 4); INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(badVals5, pyrNodes, OPERATOR_GRAD) ); } { // exception #17: incorrect 2nd dimension of output array (must equal D2 cardinality in 3D) DynRankView ConstructWithLabel(badVals6, numFields, numPoints, 40); INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(badVals6, pyrNodes, OPERATOR_D2) ); //exception #18: incorrect 2nd dimension of output array (must equal D3 cardinality in 3D) INTREPID2_TEST_ERROR_EXPECTED( pyrBasis.getValues(badVals6, pyrNodes, OPERATOR_D3) ); } #endif if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << nthrow << ")\n"; } } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; } *outStream \ << "\n" << "===============================================================================\n" \ << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" \ << "===============================================================================\n"; try { const auto numFields = pyrBasis.getCardinality(); const auto allTags = pyrBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const auto dofTagSize = allTags.dimension(0); for (auto i=0;i<dofTagSize;++i) { const auto bfOrd = pyrBasis.getDofOrdinal(allTags(i,0), allTags(i,1), allTags(i,2)); const auto myTag = pyrBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i,0)) && (myTag(1) == allTags(i,1)) && (myTag(2) == allTags(i,2)) && (myTag(3) == allTags(i,3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i,0) << ", " << allTags(i,1) << ", " << allTags(i,2) << ", " << allTags(i,3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for (auto bfOrd=0;bfOrd<numFields;++bfOrd) { const auto myTag = pyrBasis.getDofTag(bfOrd); const auto myBfOrd = pyrBasis.getDofOrdinal(myTag(0), myTag(1), myTag(2)); if( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; } *outStream \ << "\n" << "===============================================================================\n" \ << "| TEST 3: correctness of basis function values |\n" \ << "===============================================================================\n"; outStream -> precision(20); // VALUE: Each row gives the 4 correct basis set values at an evaluation point const ValueType basisValues[] = { 1.0, 0.0, 0.0, 0.0, 0.0, 0.0, 1.0, 0.0, 0.0, 0.0, 0.0, 0.0, 1.0, 0.0, 0.0, 0.0, 0.0, 0.0, 1.0, 0.0, 0.0, 0.0, 0.0, 0.0, 1.0, // 0.0515625, 0.0984375, 0.4265625, 0.2234375, 0.2, 0.2, 0, 0., 0.5, 0.3, 0.025, 0.025, 0., 0, 0.95, 0.18, 0.045, 0.005, 0.02, 0.75, 0.035, 0.015, 0.285, 0.665, 0., }; // GRAD and D1: each row gives the 3 x 5 correct values of the gradients of the 5 basis functions const ValueType basisGrads[] = { -0.5, -0.5, 0.0, 0.5, 0.0, -0.5, 0.0, 0.0, 0.0, 0.0, 0.5, -0.5, 0.0, 0.0, 1.0, \ -0.5, 0.0, -0.5, 0.5, -0.5, 0.0, 0.0, 0.5, -0.5, 0.0, 0.0, 0.0, 0.0, 0.0, 1.0, \ 0.0, 0.0, 0.0, 0.0, -0.5, -0.5, 0.5, 0.5, 0.0, -0.5, 0.0, -0.5, 0.0, 0.0, 1.0, \ 0.0, -0.5, -0.5, 0.0, 0.0, 0.0, 0.5, 0.0, -0.5, -0.5, 0.5, 0.0, 0.0, 0.0, 1.0, \ -0.25,-0.25,-0.25, 0.25,-0.25,-0.25, 0.25, 0.25,-0.25,-0.25, 0.25,-0.25, 0.0, 0.0, 1.0, \ -0.09375, -0.171875, -0.201171875, 0.09375, -0.328125, -0.298828125, 0.40625, 0.328125, -0.201171875, -0.40625, 0.171875, -0.298828125, 0.0, 0.0, 1.0, \ -0.1428571428571429, -0.5, -0.3571428571428571, 0.1428571428571429, 0.0, -0.1428571428571429, 0.3571428571428571, 0.0, -0.3571428571428571, -0.3571428571428571, 0.5, -0.1428571428571429, 0.0, 0.0, 1.0, \ -0.5, -0.25, -0.25, 0.5, -0.25, -0.25, 0.0, 0.25, -0.25, 0., 0.25, -0.25, 0.0, 0.0, 1.0, \ -0.45, -0.4, -0.13, 0.45, -0.1, -0.37, 0.05, 0.1, -0.13, -0.05, 0.4, -0.37, 0.0, 0.0, 1.0, \ -0.025, -0.35, -0.34, 0.025, -0.15, -0.16, 0.475, 0.15, -0.34, -0.475, 0.35, -0.16, 0.0, 0.0, 1.0 }; //D2: flat array with the values of D2 applied to basis functions. Multi-index is (P,F,K) const auto eps = epsilon(); const ValueType basisD2[] = { 0, 0.25,-0.25, 0,-0.25, 0.5, 0,-0.25, 0.25, 0, 0.25,-0.5, 0, 0.25,-0.25, 0,-0.25, 0.5, 0,-0.25, 0.25, 0, 0.25,-0.5, 0, 0, 0, 0, 0, 0, \ 0, 0.25,-0.25, 0, 0.25,-0.5, 0,-0.25, 0.25, 0,-0.25, 0.5, 0, 0.25,-0.25, 0, 0.25,-0.5, 0,-0.25, 0.25, 0,-0.25, 0.5, 0, 0, 0, 0, 0, 0, \ 0, 0.25, 0.25, 0, 0.25, 0.5, 0,-0.25,-0.25, 0,-0.25,-0.5, 0, 0.25, 0.25, 0, 0.25, 0.5, 0,-0.25,-0.25, 0,-0.25,-0.5, 0, 0, 0, 0, 0, 0, \ 0, 0.25, 0.25, 0,-0.25,-0.5, 0,-0.25,-0.25, 0, 0.25, 0.5, 0, 0.25, 0.25, 0,-0.25,-0.5, 0,-0.25,-0.25, 0, 0.25, 0.5, 0, 0, 0, 0, 0, 0, \ 0, 0.25/eps, 0, 0, 0, 0, 0,-0.25/eps, 0, 0, 0, 0, 0, 0.25/eps, 0, 0, 0, 0, 0,-0.25/eps, 0, 0, 0, 0, 0, 0, 0, 0, 0,0, \ 0, 0.3125, 0.1953125, 0, 0.09765625, 0.1220703125, 0,-0.3125,-0.1953125, 0,-0.09765625,-0.1220703125, 0, 0.3125, 0.1953125, 0, 0.09765625, 0.1220703125, 0,-0.3125,-0.1953125, 0,-0.09765625,-0.1220703125, 0, 0, 0, 0, 0, 0, \ 0, 0.3571428571428571, 0.1530612244897959, 0,-0.3571428571428571,-0.306122448979592, 0,-0.3571428571428572,-0.1530612244897959, 0, 0.3571428571428571, 0.306122448979592, 0, 0.3571428571428571, 0.1530612244897959, 0,-0.3571428571428571,-0.306122448979592, 0,-0.3571428571428571,-0.1530612244897959, 0, 0.3571428571428571, 0.306122448979592, 0, 0, 0, 0, 0, 0, \ 0, 5,-5, 0, 0, 0, 0,-5, 5, 0, 0, 0, 0, 5,-5, 0, 0, 0, 0, -5, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 1,-0.8, 0,-0.6, 0.96, 0, -1, 0.8, 0, 0.6,-0.96, 0,1,-0.8, 0, -0.6, 0.96, 0, -1, 0.8, 0, 0.6, -0.96, 0, 0, 0, 0, 0, 0, \ 0, 0.25, 0.225, 0,-0.1,-0.18, 0,-0.25,-0.225, 0, 0.1, 0.18, 0, 0.25, 0.225, 0,-0.1,-0.18, 0,-0.25,-0.225,0,0.1,0.18, 0, 0, 0, 0, 0, 0 }; try { DynRankViewHost ConstructWithLabel(pyrNodesHost, 10, 3); pyrNodesHost(0,0) = -1.0; pyrNodesHost(0,1) = -1.0; pyrNodesHost(0,2) = 0; pyrNodesHost(1,0) = 1.0; pyrNodesHost(1,1) = -1.0; pyrNodesHost(1,2) = 0; pyrNodesHost(2,0) = 1.0; pyrNodesHost(2,1) = 1.0; pyrNodesHost(2,2) = 0; pyrNodesHost(3,0) = -1.0; pyrNodesHost(3,1) = 1.0; pyrNodesHost(3,2) = 0; pyrNodesHost(4,0) = 0.0; pyrNodesHost(4,1) = 0.0; pyrNodesHost(4,2) = 1.0; pyrNodesHost(5,0) = 0.25; pyrNodesHost(5,1) = 0.5; pyrNodesHost(5,2) = 0.2; pyrNodesHost(6,0) = -0.7 ; pyrNodesHost(6,1) = 0.3; pyrNodesHost(6,2) = 0.3; pyrNodesHost(7,0) = 0.; pyrNodesHost(7,1) = -0.05; pyrNodesHost(7,2) = 0.95; pyrNodesHost(8,0) = -0.15; pyrNodesHost(8,1) = -0.2; pyrNodesHost(8,2) = 0.75; pyrNodesHost(9,0) = -0.4; pyrNodesHost(9,1) = 0.9; pyrNodesHost(9,2) = 0.0; auto pyrNodes = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), pyrNodesHost); Kokkos::deep_copy(pyrNodes, pyrNodesHost); // Dimensions for the output arrays: const auto numFields = pyrBasis.getCardinality(); const auto numPoints = pyrNodes.dimension(0); const auto spaceDim = pyrBasis.getBaseCellTopology().getDimension(); const auto D2Cardin = getDkCardinality(OPERATOR_D2, spaceDim); // Check VALUE of basis functions: resize vals to rank-2 container: { DynRankView vals = DynRankView("vals", numFields, numPoints); pyrBasis.getValues(vals, pyrNodes, OPERATOR_VALUE); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i=0;i<numFields;++i) { for (auto j=0;j<numPoints;++j) { const auto l = i + j * numFields; if (std::abs(vals_host(i,j) - basisValues[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " "; *outStream << "} computed value: " << vals_host(i,j) << " but reference value: " << basisValues[l] << "\n"; } } } } // Check GRAD of basis function: resize vals to rank-3 container { DynRankView vals = DynRankView("vals", numFields, numPoints, spaceDim); pyrBasis.getValues(vals, pyrNodes, OPERATOR_GRAD); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i=0;i<numFields;++i) { for (auto j=0;j<numPoints;++j) { for (auto k=0;k<spaceDim;++k) { const auto l = k + i * spaceDim + j * spaceDim * numFields; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: " << basisGrads[l] << "\n"; } } } } } // Check D1 of basis function { DynRankView vals = DynRankView("vals", numFields, numPoints, spaceDim); pyrBasis.getValues(vals, pyrNodes, OPERATOR_D1); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i=0;i<numFields;++i) { for (auto j=0;j<numPoints;++j) { for (auto k=0;k<spaceDim;++k) { const auto l = k + i * spaceDim + j * spaceDim * numFields; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D1 component: " << vals_host(i,j,k) << " but reference D1 component: " << basisGrads[l] << "\n"; } } } } } // Check D2 of basis function { DynRankView vals = DynRankView("vals", numFields, numPoints, D2Cardin); pyrBasis.getValues(vals, pyrNodes, OPERATOR_D2); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i=0;i<numFields;++i) { for (auto j=0;j<numPoints;++j) { // derivatives are singular when z = 1; using the same eps, it can be comparable //if (j == 4) continue; for (auto k=0;k<D2Cardin;++k) { const auto l = k + i * D2Cardin + j * D2Cardin * numFields; if (std::abs(vals_host(i,j,k) - basisD2[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D2 component: " << vals_host(i,j,k) << " but reference D2 component: " << basisD2[l] << "\n"; } } } } } // Check all higher derivatives - must be zero. { const EOperator ops[] = { OPERATOR_D3, OPERATOR_D4, OPERATOR_D5, OPERATOR_D6, OPERATOR_D7, OPERATOR_D8, OPERATOR_D9, OPERATOR_D10, OPERATOR_MAX }; for (auto h=0;ops[h]!=OPERATOR_MAX;++h) { const auto op = ops[h]; const auto DkCardin = getDkCardinality(op, spaceDim); DynRankView vals("vals", numFields, numPoints, DkCardin); pyrBasis.getValues(vals, pyrNodes, op); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i1=0;i1<numFields; i1++) for (auto i2=0;i2<numPoints; i2++) for (auto i3=0;i3<DkCardin; i3++) { if (std::abs(vals_host(i1,i2,i3)) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Get the multi-index of the value where the error is and the operator order const auto ord = Intrepid2::getOperatorOrder(op); *outStream << " At multi-index { "<<i1<<" "<<i2 <<" "<<i3; *outStream << "} computed D"<< ord <<" component: " << vals(i1,i2,i3) << " but reference D" << ord << " component: 0 \n"; } } } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; } if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int HCURL_HEX_In_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test HCURL_HEX_In_FEM |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Robert Kirby ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]), |\n" << "| Kyungjoo Kim ([email protected]), |\n" << "| Mauro Perego ([email protected]). |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<PointValueType,DeviceSpaceType> DynRankViewPointValueType; typedef Kokkos::DynRankView<OutValueType,DeviceSpaceType> DynRankViewOutValueType; typedef typename ScalarTraits<OutValueType>::scalar_type scalar_type; typedef Kokkos::DynRankView<scalar_type, DeviceSpaceType> DynRankViewScalarValueType; typedef Kokkos::DynRankView<scalar_type, HostSpaceType> DynRankViewHostScalarValueType; #define ConstructWithLabelScalar(obj, ...) obj(#obj, __VA_ARGS__) const scalar_type tol = tolerence(); int errorFlag = 0; typedef Basis_HCURL_HEX_In_FEM<DeviceSpaceType,OutValueType,PointValueType> HexBasisType; constexpr ordinal_type maxOrder = Parameters::MaxOrder ; constexpr ordinal_type dim = 3; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: Exception testing |\n" << "===============================================================================\n"; try { #ifdef HAVE_INTREPID2_DEBUG ordinal_type nthrow = 0, ncatch = 0; const ordinal_type order = 1; HexBasisType hexBasis(order); // Array of reference hex nodes - used for evaluation of basis DynRankViewHostScalarValueType ConstructWithLabelScalar(hexNodesHost, 8, 3); hexNodesHost(0,0) = -1.0; hexNodesHost(0,1) = -1.0; hexNodesHost(0,2) = -1.0; hexNodesHost(1,0) = 1.0; hexNodesHost(1,1) = -1.0; hexNodesHost(1,2) = -1.0; hexNodesHost(2,0) = -1.0; hexNodesHost(2,1) = 1.0; hexNodesHost(2,2) = -1.0; hexNodesHost(3,0) = 1.0; hexNodesHost(3,1) = 1.0; hexNodesHost(3,2) = -1.0; hexNodesHost(4,0) = -1.0; hexNodesHost(4,1) = -1.0; hexNodesHost(4,2) = 1.0; hexNodesHost(5,0) = 1.0; hexNodesHost(5,1) = -1.0; hexNodesHost(5,2) = 1.0; hexNodesHost(6,0) = -1.0; hexNodesHost(6,1) = 1.0; hexNodesHost(6,2) = 1.0; hexNodesHost(7,0) = 1.0; hexNodesHost(7,1) = 1.0; hexNodesHost(7,2) = 1.0; auto hexNodes_scalar = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), hexNodesHost); Kokkos::deep_copy(hexNodes_scalar, hexNodesHost); DynRankViewPointValueType ConstructWithLabelPointView(hexNodes, 8, 3); RealSpaceTools<DeviceSpaceType>::clone(hexNodes, hexNodes_scalar); // Array dimensions const ordinal_type numFields = hexBasis.getCardinality(); const ordinal_type numPoints = hexNodes.extent(0); const ordinal_type spaceDim = hexBasis.getBaseCellTopology().getDimension(); { DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints, spaceDim); // exception #1: GRAD cannot be applied to HCURL functions INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(vals, hexNodes, OPERATOR_GRAD) ); // exception #2: DIV cannot be applied to HCURL functions INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(vals, hexNodes, OPERATOR_DIV) ); } { // Exceptions 3-7: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception // INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofOrdinal(3,0,0) ); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofOrdinal(1,1,1) ); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofOrdinal(0,4,1) ); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofTag(12) ); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getDofTag(-1) ); } { // Exceptions 8-15 test exception handling with incorrectly dimensioned input/output arrays DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints, spaceDim); { // Exception #8: input points array must be of rank-2 DynRankViewPointValueType ConstructWithLabelPointView(badPoints,4,5,3); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(vals, badPoints, OPERATOR_VALUE)); } { // Exception #9: dimension 1 in the input point array must equal space dimension of the cell DynRankViewPointValueType ConstructWithLabelPointView(badPoints,4,2); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(vals, badPoints, OPERATOR_VALUE)); } { // Exception #10: output values must be of rank-3 for OPERATOR_VALUE DynRankViewOutValueType ConstructWithLabelOutView(badVals,4,3); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_VALUE)); } { // Exception #11: output values must be of rank-3 for OPERATOR_CURL DynRankViewOutValueType ConstructWithLabelOutView(badVals,4,3); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_CURL)); } { // Exception #12: incorrect 0th dimension of output array (must equal number of basis functions) DynRankViewOutValueType ConstructWithLabelOutView(badVals,numFields+1,numPoints,3); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_VALUE)); } { // Exception #13: incorrect 1st dimension of output array (must equal number of points) DynRankViewOutValueType ConstructWithLabelOutView(badVals,numFields,numPoints+1,3); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_VALUE)); } { // Exception #14: incorrect 2nd dimension of output array (must equal the space dimension) DynRankViewOutValueType ConstructWithLabelOutView(badVals,numFields,numPoints,4); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_VALUE)); } { // Exception #15: incorrect 2nd dimension of output array (must equal the space dimension) DynRankViewOutValueType ConstructWithLabelOutView(badVals,numFields,numPoints,4); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_CURL)); } } { // Exception #16: D2 cannot be applied to HCURL functions DynRankViewOutValueType ConstructWithLabelOutView(badVals,numFields,numPoints,4); INTREPID2_TEST_ERROR_EXPECTED( hexBasis.getValues(badVals, hexNodes, OPERATOR_D2)); } if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << nthrow << ")\n"; } #endif } catch (std::exception err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 2: Testing OPERATOR_VALUE (Kronecker property using dof coefficients) |\n" << "===============================================================================\n"; try { const ordinal_type order = std::min(3, maxOrder); HexBasisType hexBasis(order); const ordinal_type numFields = hexBasis.getCardinality(); DynRankViewScalarValueType ConstructWithLabelScalar(dofCoords_scalar, numFields, dim); hexBasis.getDofCoords(dofCoords_scalar); DynRankViewScalarValueType ConstructWithLabelScalar(dofCoeffs, numFields, dim); hexBasis.getDofCoeffs(dofCoeffs); DynRankViewPointValueType ConstructWithLabelPointView(dofCoords, numFields , dim); RealSpaceTools<DeviceSpaceType>::clone(dofCoords,dofCoords_scalar); DynRankViewOutValueType ConstructWithLabelOutView(basisAtDofCoords, numFields, numFields, dim); hexBasis.getValues(basisAtDofCoords, dofCoords, OPERATOR_VALUE); auto h_dofCoords = Kokkos::create_mirror_view(dofCoords); Kokkos::deep_copy(h_dofCoords, dofCoords); auto h_dofCoeffs = Kokkos::create_mirror_view(dofCoeffs); Kokkos::deep_copy(h_dofCoeffs, dofCoeffs); auto h_basisAtDofCoords = Kokkos::create_mirror_view(basisAtDofCoords); Kokkos::deep_copy(h_basisAtDofCoords, basisAtDofCoords); for (int i=0;i<numFields;i++) { for (int j=0;j<numFields;j++) { OutValueType dofValue = 0.0; for(ordinal_type d=0;d<dim;++d) dofValue += h_basisAtDofCoords(i,j,d)*h_dofCoeffs(j,d); // check values const scalar_type expected_dofValue = (i == j); if (std::abs(dofValue - expected_dofValue) > tol) { errorFlag++; std::stringstream ss; ss << "\nValue of basis function " << i << " at (" << h_dofCoords(i,0) << ", " << h_dofCoords(i,1) << ", "<< h_dofCoords(i,2) << ") is " << dofValue << " but should be " << expected_dofValue << "\n"; *outStream << ss.str(); } } } } catch (std::exception err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 3: Testing OPERATOR_VALUE (Kronecker property) |\n" << "===============================================================================\n"; try { const ordinal_type order = std::min(3, maxOrder); HexBasisType hexBasis(order); shards::CellTopology hex_8(shards::getCellTopologyData<shards::Hexahedron<8> >()); const ordinal_type numFields = hexBasis.getCardinality(); DynRankViewScalarValueType ConstructWithLabelScalar(dofCoords_scalar, numFields, dim); hexBasis.getDofCoords(dofCoords_scalar); DynRankViewPointValueType ConstructWithLabelPointView(dofCoords, numFields , dim); RealSpaceTools<DeviceSpaceType>::clone(dofCoords,dofCoords_scalar); DynRankViewOutValueType ConstructWithLabelOutView(basisAtDofCoords, numFields, numFields, dim); hexBasis.getValues(basisAtDofCoords, dofCoords, OPERATOR_VALUE); auto h_basisAtDofCoords = Kokkos::create_mirror_view(basisAtDofCoords); Kokkos::deep_copy(h_basisAtDofCoords, basisAtDofCoords); // These are tensor product basis functions where the local edge/basis orientation // is assumed to be in the positive x, y, or z direction. // For simplicity we do not need to compute tangents, but can just access values // from the correct indices assuming that tangents are (1,0,0), (0,1,0), or (0,0,1) // test for Kronecker property for (int i=0;i<numFields;i++) { for (int j=0;j<numFields;j++) { // initialize OutValueType dofValue = 0; // get index given that dofs are arranged by dimension, all x dofs, all y dofs, all z dofs auto dofsPerDim = numFields/dim; auto k_ind = j/dofsPerDim; dofValue = h_basisAtDofCoords(i,j,k_ind); // check values if ( i==j && std::abs( dofValue - 1.0 ) > tol ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " Basis function " << i << " does not have unit value at its node (" << dofValue <<")\n"; } if ( i!=j && std::abs( dofValue ) > tol ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " Basis function " << i << " does not vanish at node " << j << "(" << dofValue <<")\n"; } } } } catch (std::exception err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 4: Test correctness of basis function values and curls |\n" << "===============================================================================\n"; // VALUE: Each row pair gives the 12x3 correct basis set values at an evaluation point: (P,F,D) layout const scalar_type basisValues[] = { 1,0,0, 1,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 1,0,0, 1,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 1,0,0, 1,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 1,0,0, 1,0,0, 0,1,0, 0,0,0, 0,1,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,1,0, 0,0,0, 0,1,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,1,0, 0,0,0, 0,1,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,1,0, 0,0,0, 0,1,0, 0,0,1, 0,0,0, 0,0,0, 0,0,0, 0,0,1, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,1, 0,0,0, 0,0,0, 0,0,0, 0,0,1, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,1, 0,0,0, 0,0,0, 0,0,0, 0,0,1, 0,0,0, 0,0,0, 0,0,0, 0,0,0, 0,0,1, 0,0,0, 0,0,0, 0,0,0, 0,0,1 }; // CURL const scalar_type basisCurls[] = { 0,-0.5,0.5, 0,-0.5,0.5, 0,0,0.5, 0,0,0.5, 0,-0.5,0, 0,-0.5,0, 0,0,0, 0,0,0, 0,0,-0.5, 0,0,-0.5, 0,-0.5,-0.5, 0,-0.5,-0.5, 0,0,0, 0,0,0, 0,-0.5,0, 0,-0.5,0, 0,0.5,0, 0,0.5,0, 0,0,0, 0,0,0, 0,0.5,0.5, 0,0.5,0.5, 0,0,0.5, 0,0,0.5, 0,0,0, 0,0,0, 0,0.5,0, 0,0.5,0, 0,0,-0.5, 0,0,-0.5, 0,0.5,-0.5, 0,0.5,-0.5, // y-component basis functions // first y-component bf is (0,1/4(1-x)(1-z),0) // curl is (1/4(1-x),0,-1/4(1-z)) 0.5,0,-0.5, 0,0,-0.5, 0.5,0,-0.5, 0,0,-0.5, 0.5,0,0, 0,0,0, 0.5,0,0, 0,0,0, // second y-component bf is (0,1/4(1+x)(1-z),0) // curl is (1/4(1+x),0,1/4(1-z)) 0,0,0.5, 0.5,0,0.5, 0,0,0.5, 0.5,0,0.5, 0,0,0, 0.5,0,0, 0,0,0, 0.5,0,0, // third y-component bf is (0,1/4(1-x)(1+z),0) // curl is (-1/4(1-x),0,-1/4(1+z)) -0.5,0,0, 0,0,0, -0.5,0,0, 0,0,0, -0.5,0,-0.5, 0,0,-0.5, -0.5,0,-0.5, 0,0,-0.5, // fourth y-component bf is (0,1/4(1+x)(1+z),0) // curl is (-1/4(1+x),0,1/4(1+z)) 0.0,0,0, -0.5,0,0, 0.0,0,0, -0.5,0,0, 0.0,0,0.5, -0.5,0,0.5, 0.0,0,0.5, -0.5,0,0.5, // first z-component bf is (0,0,1/4(1-x)(1-y)) // curl is (-1/4(1-x),1/4(1-y),0) -0.5,0.5,0, 0,0.5,0, -0.5,0,0, 0,0,0, -0.5,0.5,0, 0,0.5,0, -0.5,0,0, 0,0,0, // second z-component bf is (0,0,1/4(1+x)(1-y)) // curl is (-1/4(1+x),1/4(1-y),0) 0.0,-0.5,0, -0.5,-0.5,0, 0,0,0, -0.5,0,0, 0,-0.5,0, -0.5,-0.5,0, 0,0,0, -0.5,0,0, // third z-component bf is (0,0,1/4(1-x)(1+y)) // curl is (1/4(1-x),1/4(1+y),0) 0.5,0,0, 0,0,0, 0.5,0.5,0, 0,0.5,0, 0.5,0,0, 0,0,0, 0.5,0.5,0, 0,0.5,0, // fourth z-component bf is (0,0,1/4(1+x)(1+y)) // curl is (1/4(1+x),-1/4(1+y),0) 0,0,0, 0.5,0,0, 0,-0.5,0, 0.5,-0.5,0, 0,0,0, 0.5,0,0, 0,-0.5,0, 0.5,-0.5,0 }; try { const ordinal_type order = 1; HexBasisType hexBasis(order); // Array of reference hex nodes - used for evaluation of basis DynRankViewHostScalarValueType ConstructWithLabelScalar(hexNodesHost, 8, 3); DynRankViewPointValueType ConstructWithLabelPointView(hexNodes, 8, 3); hexNodesHost(0,0) = -1.0; hexNodesHost(0,1) = -1.0; hexNodesHost(0,2) = -1.0; hexNodesHost(1,0) = 1.0; hexNodesHost(1,1) = -1.0; hexNodesHost(1,2) = -1.0; hexNodesHost(2,0) = -1.0; hexNodesHost(2,1) = 1.0; hexNodesHost(2,2) = -1.0; hexNodesHost(3,0) = 1.0; hexNodesHost(3,1) = 1.0; hexNodesHost(3,2) = -1.0; hexNodesHost(4,0) = -1.0; hexNodesHost(4,1) = -1.0; hexNodesHost(4,2) = 1.0; hexNodesHost(5,0) = 1.0; hexNodesHost(5,1) = -1.0; hexNodesHost(5,2) = 1.0; hexNodesHost(6,0) = -1.0; hexNodesHost(6,1) = 1.0; hexNodesHost(6,2) = 1.0; hexNodesHost(7,0) = 1.0; hexNodesHost(7,1) = 1.0; hexNodesHost(7,2) = 1.0; auto hexNodes_scalar = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), hexNodesHost); Kokkos::deep_copy(hexNodes_scalar, hexNodesHost); RealSpaceTools<DeviceSpaceType>::clone(hexNodes, hexNodes_scalar); // Array dimensions const ordinal_type numFields = hexBasis.getCardinality(); const ordinal_type numPoints = hexNodes.extent(0); const ordinal_type spaceDim = hexBasis.getBaseCellTopology().getDimension(); *outStream << " -- Testing OPERATOR_VALUE \n"; { // Check VALUE of basis functions DynRankViewOutValueType ConstructWithLabelOutView(vals, numFields, numPoints, spaceDim); hexBasis.getValues(vals, hexNodes, OPERATOR_VALUE); auto vals_host = Kokkos::create_mirror_view(vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; i++) { for (ordinal_type j = 0; j < numPoints; j++) { for (ordinal_type k = 0; k < spaceDim; k++) { // compute offset for (P,F,D) data layout: indices are P->j, F->i, D->k const ordinal_type l = k + i * spaceDim * numPoints + j * spaceDim; if (std::abs(vals_host(i,j,k) - basisValues[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed value: " << vals(i,j,k) << " but reference value: " << basisValues[l] << "\n"; } } } } } *outStream << " -- Testing OPERATOR_CURL \n"; { // Check CURL of basis function: DynRankViewOutValueType ConstructWithLabelOutView(curls, numFields, numPoints, spaceDim); hexBasis.getValues(curls, hexNodes, OPERATOR_CURL); auto curls_host = Kokkos::create_mirror_view(curls); Kokkos::deep_copy(curls_host, curls); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < spaceDim; k++) { const ordinal_type l = k + i * spaceDim * numPoints + j * spaceDim; if (std::abs(curls_host(i,j,k) - basisCurls[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the curl where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed curl component: " << curls(i,j,k) << " but reference curl component: " << basisCurls[l] << "\n"; } } } } } } catch (std::exception err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int Integration_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test (CubatureDirect,CubatureTensor) |\n" << "| |\n" << "| 1) Computing volumes of reference cells |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]) or |\n" << "| Denis Ridzal ([email protected]) or |\n" << "| Kyungjoo Kim ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) typedef ValueType pointValueType; typedef ValueType weightValueType; typedef CubatureDirectLineGauss <DeviceSpaceType,pointValueType,weightValueType> CubatureLineType; typedef CubatureDirectLineGaussJacobi20<DeviceSpaceType,pointValueType,weightValueType> CubatureLineJacobiType; typedef CubatureDirectTriDefault <DeviceSpaceType,pointValueType,weightValueType> CubatureTriType; typedef CubatureDirectTetDefault <DeviceSpaceType,pointValueType,weightValueType> CubatureTetType; typedef CubatureTensor <DeviceSpaceType,pointValueType,weightValueType> CubatureTensorType; typedef CubatureTensorPyr <DeviceSpaceType,pointValueType,weightValueType> CubatureTensorPyrType; const auto tol = 100.0 * tolerence(); int errorFlag = 0; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: exception |\n" << "===============================================================================\n"; try { ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG *outStream << "-> Line testing\n\n"; { INTREPID2_TEST_ERROR_EXPECTED( CubatureLineType(-1) ); INTREPID2_TEST_ERROR_EXPECTED( CubatureLineType(Parameters::MaxCubatureDegreeEdge+1) ); } *outStream << "-> Triangle testing\n\n"; { INTREPID2_TEST_ERROR_EXPECTED( CubatureTriType triCub(-1) ); INTREPID2_TEST_ERROR_EXPECTED( CubatureTriType triCub(Parameters::MaxCubatureDegreeTri+1) ); } *outStream << "-> Tetrahedron testing\n\n"; { INTREPID2_TEST_ERROR_EXPECTED( CubatureTetType tetCub(-1) ); INTREPID2_TEST_ERROR_EXPECTED( CubatureTetType tetCub(Parameters::MaxCubatureDegreeTet+1) ); } #endif if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } } catch (std::logic_error err) { *outStream << err.what() << "\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 2: basic functionalities |\n" << "===============================================================================\n"; try { *outStream << "-> Line testing\n\n"; { CubatureLineType lineCub(4); INTREPID2_TEST_FOR_EXCEPTION( lineCub.getDimension() != 1, std::logic_error, ">>> ERROR (Integration::Test01): line cubature must have 1 dimension."); INTREPID2_TEST_FOR_EXCEPTION( lineCub.getAccuracy() != 4, std::logic_error, ">>> ERROR (Integration::Test01): line cubature reports wrong accuracy."); } *outStream << "-> Triangle testing\n\n"; { CubatureTriType triCub(17); INTREPID2_TEST_FOR_EXCEPTION( triCub.getNumPoints() != 61, std::logic_error, ">>> ERROR (Integration::Test01): triangle cubature reports a wrong number of points."); INTREPID2_TEST_FOR_EXCEPTION( triCub.getDimension() != 2, std::logic_error, ">>> ERROR (Integration::Test01): triangle cubature reports a wrong dimension."); } *outStream << "-> Tetrahedron testing\n\n"; { CubatureTetType tetCub(17); INTREPID2_TEST_FOR_EXCEPTION( tetCub.getNumPoints() != 495, std::logic_error, ">>> ERROR (Integration::Test01): tetrahedron cubature reports a wrong number of points."); INTREPID2_TEST_FOR_EXCEPTION( tetCub.getDimension() != 3, std::logic_error, ">>> ERROR (Integration::Test01): tetrahedron cubature reports a wrong dimension."); } *outStream << "-> Quad testing\n\n"; { CubatureTensorType quadCub( CubatureLineType(3), CubatureLineType(7) ); INTREPID2_TEST_FOR_EXCEPTION( quadCub.getDimension() != 2, std::logic_error, ">>> ERROR (Integration::Test01): quad cubature must have 2 dimension."); ordinal_type accuracy[Parameters::MaxDimension]; quadCub.getAccuracy( accuracy ); INTREPID2_TEST_FOR_EXCEPTION( accuracy[0] != 3 || accuracy[1] != 7, std::logic_error, ">>> ERROR (Integration::Test01): quad cubature reports wrong accuracy."); } *outStream << "-> Hex testing\n\n"; { CubatureTensorType hexCub( CubatureLineType(1), CubatureLineType(4), CubatureLineType(2) ); INTREPID2_TEST_FOR_EXCEPTION( hexCub.getDimension() != 3, std::logic_error, ">>> ERROR (Integration::Test01): hex cubature must have 3 dimension."); ordinal_type accuracy[Parameters::MaxDimension]; hexCub.getAccuracy( accuracy ); INTREPID2_TEST_FOR_EXCEPTION( accuracy[0] != 1 || accuracy[1] != 4 || accuracy[2] != 2, std::logic_error, ">>> ERROR (Integration::Test01): hex cubature reports wrong accuracy."); } *outStream << "-> Prism testing\n\n"; { CubatureTensorType prismCub( CubatureTriType(4), CubatureLineType(3) ); INTREPID2_TEST_FOR_EXCEPTION( prismCub.getDimension() != 3, std::logic_error, ">>> ERROR (Integration::Test01): prism cubature must have 3 dimension."); ordinal_type accuracy[Parameters::MaxDimension]; prismCub.getAccuracy( accuracy ); INTREPID2_TEST_FOR_EXCEPTION( accuracy[0] != 4 || accuracy[1] != 3, std::logic_error, ">>> ERROR (Integration::Test01): prism cubature reports wrong accuracy."); } } catch (std::logic_error err) { *outStream << err.what() << "\n"; errorFlag = -1000; }; *outStream << "===============================================================================\n" << "| TEST 3: volume computations |\n" << "===============================================================================\n"; try { DynRankView ConstructWithLabel(cubPoints, Parameters::MaxIntegrationPoints, Parameters::MaxDimension); DynRankView ConstructWithLabel(cubWeights, Parameters::MaxIntegrationPoints); *outStream << "-> Line testing\n\n"; { for (ordinal_type deg=0;deg<=Parameters::MaxCubatureDegreeEdge;++deg) { CubatureLineType cub(deg); cub.getCubature(cubPoints, cubWeights); const auto npts = cub.getNumPoints(); const auto testVol = computeRefVolume(npts, cubWeights); const auto refVol = 2.0; if (std::abs(testVol - refVol) > tol) { *outStream << std::setw(30) << "Line volume --> " << std::setw(10) << std::scientific << testVol << std::setw(10) << "diff = " << std::setw(10) << std::scientific << std::abs(testVol - refVol) << "\n"; ++errorFlag; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; } } } *outStream << "-> Triangle testing\n\n"; { for (auto deg=0;deg<=Parameters::MaxCubatureDegreeTri;++deg) { CubatureTriType cub(deg); cub.getCubature(cubPoints, cubWeights); const auto npts = cub.getNumPoints(); const auto testVol = computeRefVolume(npts, cubWeights); const auto refVol = 0.5; if (std::abs(testVol - refVol) > tol) { *outStream << std::setw(30) << "Triangle volume --> " << std::setw(10) << std::scientific << testVol << std::setw(10) << "diff = " << std::setw(10) << std::scientific << std::abs(testVol - refVol) << "\n"; ++errorFlag; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; } } } *outStream << "-> Quad testing\n\n"; { for (ordinal_type y_deg=0;y_deg<=Parameters::MaxCubatureDegreeEdge;++y_deg) for (ordinal_type x_deg=0;x_deg<=Parameters::MaxCubatureDegreeEdge;++x_deg) { const auto x_line = CubatureLineType(x_deg); const auto y_line = CubatureLineType(y_deg); CubatureTensorType cub( x_line, y_line ); cub.getCubature(cubPoints, cubWeights); const auto npts = cub.getNumPoints(); const auto testVol = computeRefVolume(npts, cubWeights); const auto refVol = 4.0; if (std::abs(testVol - refVol) > tol) { *outStream << std::setw(30) << "Quadrilateral volume --> " << std::setw(10) << std::scientific << testVol << std::setw(10) << "diff = " << std::setw(10) << std::scientific << std::abs(testVol - refVol) << "\n"; ++errorFlag; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; } } } *outStream << "-> Tetrahedron testing\n\n"; { for (auto deg=0;deg<=Parameters::MaxCubatureDegreeTet;++deg) { CubatureTetType cub(deg); cub.getCubature(cubPoints, cubWeights); const auto npts = cub.getNumPoints(); const auto testVol = computeRefVolume(npts, cubWeights); const auto refVol = 1.0/6.0; if (std::abs(testVol - refVol) > tol) { *outStream << std::setw(30) << "Tetrahedron volume --> " << std::setw(10) << std::scientific << testVol << std::setw(10) << "diff = " << std::setw(10) << std::scientific << std::abs(testVol - refVol) << "\n"; ++errorFlag; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; } } } *outStream << "-> Hexahedron testing\n\n"; { // when hex is tested with max cubature degree edge, it exceeds max integration points 1001 for (ordinal_type z_deg=0;z_deg<Parameters::MaxCubatureDegreeEdge;++z_deg) for (ordinal_type y_deg=0;y_deg<Parameters::MaxCubatureDegreeEdge;++y_deg) for (ordinal_type x_deg=0;x_deg<Parameters::MaxCubatureDegreeEdge;++x_deg) { const auto x_line = CubatureLineType(x_deg); const auto y_line = CubatureLineType(y_deg); const auto z_line = CubatureLineType(z_deg); CubatureTensorType cub( x_line, y_line, z_line ); cub.getCubature(cubPoints, cubWeights); const auto npts = cub.getNumPoints(); const auto testVol = computeRefVolume(npts, cubWeights); const auto refVol = 8.0; if (std::abs(testVol - refVol) > tol) { *outStream << std::setw(30) << "Hexahedron volume --> " << std::setw(10) << std::scientific << testVol << std::setw(10) << "diff = " << std::setw(10) << std::scientific << std::abs(testVol - refVol) << "\n"; ++errorFlag; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; } } } *outStream << "-> Prism testing\n\n"; { for (auto z_deg=0;z_deg<Parameters::MaxCubatureDegreeEdge;++z_deg) for (auto xy_deg=0;xy_deg<Parameters::MaxCubatureDegreeTri;++xy_deg) { const auto xy_tri = CubatureTriType(xy_deg); const auto z_line = CubatureLineType(z_deg); CubatureTensorType cub( xy_tri, z_line ); cub.getCubature(cubPoints, cubWeights); const auto npts = cub.getNumPoints(); const auto testVol = computeRefVolume(npts, cubWeights); const auto refVol = 1.0; if (std::abs(testVol - refVol) > tol) { *outStream << std::setw(30) << "Wedge volume --> " << std::setw(10) << std::scientific << testVol << std::setw(10) << "diff = " << std::setw(10) << std::scientific << std::abs(testVol - refVol) << "\n"; ++errorFlag; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; } } } *outStream << "-> Pyramid testing: over-integration by 2 (due to duffy transformation) \n\n"; { for (auto deg=0;deg<=Parameters::MaxCubatureDegreePyr;++deg) { const auto xy_line = CubatureLineType(deg); const auto z_line = CubatureLineJacobiType(deg); CubatureTensorPyrType cub( xy_line, xy_line, z_line ); cub.getCubature(cubPoints, cubWeights); const auto npts = cub.getNumPoints(); const auto testVol = computeRefVolume(npts, cubWeights); const auto refVol = 4.0/3.0; if (std::abs(testVol - refVol) > tol) { *outStream << std::setw(30) << "Pyramid volume --> " << std::setw(10) << std::scientific << testVol << std::setw(10) << "diff = " << std::setw(10) << std::scientific << std::abs(testVol - refVol) << "\n"; ++errorFlag; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; } } } *outStream << "-> Hypercube testing\n\n"; // later.... refVol = 32 // for (int deg=0; deg<=20; deg++) { // Teuchos::RCP<CubatureLineType > lineCub = Teuchos::rcp(new CubatureLineType(deg)); // CubatureTensorType hypercubeCub(lineCub, 5); // int numCubPoints = hypercubeCub.getNumPoints(); // FieldContainer<DeviceSpaceType> cubPoints( numCubPoints, hypercubeCub.getDimension() ); // FieldContainer<DeviceSpaceType> cubWeights( numCubPoints ); // hypercubeCub.getCubature(cubPoints, cubWeights); // testVol = 0; // for (int i=0; i<numCubPoints; i++) // testVol += cubWeights(i); // *outStream << std::setw(30) << "5-D Hypercube volume --> " << std::setw(10) << std::scientific << testVol << // std::setw(10) << "diff = " << std::setw(10) << std::scientific << std::abs(testVol - volumeList[8]) << "\n"; // if (std::abs(testVol - volumeList[8])/std::abs(testVol) > tol) { // errorFlag = 1; // *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // } // } } catch (std::logic_error err) { *outStream << err.what() << "\n"; errorFlag = -1; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); Kokkos::finalize(); return errorFlag; }
int HGRAD_TRI_C1_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HGRAD_TRI_C1_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE, GRAD, CURL, and Dk operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]), |\n" << "| Kyungjoo Kim ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const ValueType tol = Parameters::Tolerence; int errorFlag = 0; // for virtual function, value and point types are declared in the class typedef ValueType outputValueType; typedef ValueType pointValueType; Basis_HGRAD_TRI_C1_FEM<DeviceSpaceType,outputValueType,pointValueType> triBasis; //typedef typename decltype(triBasis)::outputViewType outputViewType; //typedef typename decltype(triBasis)::pointViewType pointViewType; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: Basis creation, exceptions tests |\n" << "===============================================================================\n"; try { ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG // Define array containing the 3 vertices of the reference Triangle, its center and another point DynRankView ConstructWithLabel(triNodes, 5, 2); // Generic array for the output values; needs to be properly resized depending on the operator type const auto numFields = triBasis.getCardinality(); const auto numPoints = triNodes.dimension(0); const auto spaceDim = triBasis.getBaseCellTopology().getDimension(); DynRankView vals; vals = DynRankView("vals", numFields, numPoints); { // exception #1: DIV cannot be applied to scalar functions INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, triNodes, OPERATOR_DIV) ); } // Exceptions 2-6: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception { // exception #2 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofOrdinal(2,0,0) ); // exception #3 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofOrdinal(1,1,1) ); // exception #4 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofOrdinal(0,4,0) ); // exception #5 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofTag(5) ); // exception #6 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofTag(-1) ); } // Exceptions 7-17 test exception handling with incorrectly dimensioned input/output arrays // exception #7: input points array must be of rank-2 { DynRankView ConstructWithLabel( badPoints1, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, badPoints1, OPERATOR_VALUE) ); } { // exception #8 dimension 1 in the input point array must equal space dimension of the cell DynRankView ConstructWithLabel( badPoints2, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, badPoints2, OPERATOR_VALUE) ); } { // exception #9 output values must be of rank-2 for OPERATOR_VALUE DynRankView ConstructWithLabel( badVals1, 4, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals1, triNodes, OPERATOR_VALUE) ); } { // exception #10 output values must be of rank-3 for OPERATOR_GRAD DynRankView ConstructWithLabel( badVals2, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals2, triNodes, OPERATOR_GRAD) ); // exception #11 output values must be of rank-3 for OPERATOR_CURL INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals2, triNodes, OPERATOR_CURL) ); // exception #12 output values must be of rank-3 for OPERATOR_D2 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals2, triNodes, OPERATOR_D2) ); } { // exception #13 incorrect 1st dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel( badVals3, numFields + 1, numPoints); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals3, triNodes, OPERATOR_VALUE) ); } { // exception #14 incorrect 0th dimension of output array (must equal number of points) DynRankView ConstructWithLabel( badVals4, numFields, numPoints + 1); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals4, triNodes, OPERATOR_VALUE) ); } { // exception #15: incorrect 2nd dimension of output array (must equal the space dimension) DynRankView ConstructWithLabel( badVals5, numFields, numPoints, spaceDim + 1); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals5, triNodes, OPERATOR_GRAD) ); } { // exception #16: incorrect 2nd dimension of output array (must equal D2 cardinality in 2D) DynRankView ConstructWithLabel( badVals6, numFields, numPoints, 40); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals6, triNodes, OPERATOR_D2) ); } #endif if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; } *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" << "===============================================================================\n"; // all tags are on host space try { const auto numFields = triBasis.getCardinality(); const auto allTags = triBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const auto dofTagSize = allTags.dimension(0); for (auto i=0;i<dofTagSize;++i) { const auto bfOrd = triBasis.getDofOrdinal(allTags(i,0), allTags(i,1), allTags(i,2)); const auto myTag = triBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i,0)) && (myTag(1) == allTags(i,1)) && (myTag(2) == allTags(i,2)) && (myTag(3) == allTags(i,3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i,0) << ", " << allTags(i,1) << ", " << allTags(i,2) << ", " << allTags(i,3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for (auto bfOrd=0;bfOrd<numFields;++bfOrd) { const auto myTag = triBasis.getDofTag(bfOrd); const auto myBfOrd = triBasis.getDofOrdinal(myTag(0), myTag(1), myTag(2)); if ( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; } *outStream \ << "\n" << "===============================================================================\n"\ << "| TEST 3: correctness of basis function values |\n"\ << "===============================================================================\n"; outStream -> precision(20); // VALUE: Each row gives the 3 correct basis set values at an evaluation point const ValueType basisValues[] = { 1.0, 0.0, 0.0, 0.0, 1.0, 0.0, 0.0, 0.0, 1.0, 0.0, 0.5, 0.5, 0.25,0.0, 0.75 }; // GRAD and D1: each row gives the 6 correct values of the gradients of the 3 basis functions const ValueType basisGrads[] = { -1.0, -1.0, 1.0, 0.0, 0.0, 1.0, -1.0, -1.0, 1.0, 0.0, 0.0, 1.0, -1.0, -1.0, 1.0, 0.0, 0.0, 1.0, -1.0, -1.0, 1.0, 0.0, 0.0, 1.0, -1.0, -1.0, 1.0, 0.0, 0.0, 1.0, }; // CURL: each row gives the 6 correct values of the curls of the 3 basis functions const ValueType basisCurls[] = { -1.0, 1.0, 0.0, -1.0, 1.0, 0.0, -1.0, 1.0, 0.0, -1.0, 1.0, 0.0, -1.0, 1.0, 0.0, -1.0, 1.0, 0.0, -1.0, 1.0, 0.0, -1.0, 1.0, 0.0, -1.0, 1.0, 0.0, -1.0, 1.0, 0.0 }; try{ DynRankView ConstructWithLabel(triNodesHost, 5, 2); triNodesHost(0,0) = 0.0; triNodesHost(0,1) = 0.0; triNodesHost(1,0) = 1.0; triNodesHost(1,1) = 0.0; triNodesHost(2,0) = 0.0; triNodesHost(2,1) = 1.0; triNodesHost(3,0) = 0.5; triNodesHost(3,1) = 0.5; triNodesHost(4,0) = 0.0; triNodesHost(4,1) = 0.75; auto triNodes = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), triNodesHost); Kokkos::deep_copy(triNodes, triNodesHost); // Dimensions for the output arrays: const auto numFields = triBasis.getCardinality(); const auto numPoints = triNodes.dimension(0); const auto spaceDim = triBasis.getBaseCellTopology().getDimension(); // Check VALUE of basis functions: resize vals to rank-2 container: { DynRankView vals = DynRankView("vals", numFields, numPoints); triBasis.getValues(vals, triNodes, OPERATOR_VALUE); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i=0;i<numFields;++i) { for (auto j=0;j<numPoints;++j) { const auto l = i + j * numFields; if (std::abs(vals_host(i,j) - basisValues[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " "; *outStream << "} computed value: " << vals_host(i,j) << " but reference value: " << basisValues[l] << "\n"; } } } } // Check GRAD of basis { DynRankView vals = DynRankView("vals", numFields, numPoints, spaceDim); triBasis.getValues(vals, triNodes, OPERATOR_GRAD); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i=0;i<numFields;++i) { for (auto j=0;j<numPoints;++j) { for (auto k=0;k<spaceDim;++k) { auto l = k + i * spaceDim + j * spaceDim * numFields; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: " << basisGrads[l] << "\n"; } } } } } // Check D1 of basis { DynRankView vals = DynRankView("vals", numFields, numPoints, spaceDim); triBasis.getValues(vals, triNodes, OPERATOR_D1); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i=0;i<numFields;++i) { for (auto j=0;j<numPoints;++j) { for (auto k=0;k<spaceDim;++k) { auto l = k + i * spaceDim + j * spaceDim * numFields; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D1 component: " << vals_host(i,j,k) << " but reference D1 component: " << basisGrads[l] << "\n"; } } } } } // Check CURL of basis function { DynRankView vals = DynRankView("vals", numFields, numPoints, spaceDim); triBasis.getValues(vals, triNodes, OPERATOR_CURL); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i=0;i<numFields;++i) { for (auto j=0;j<numPoints;++j) { for (auto k=0;k<spaceDim;++k) { auto l = k + i * spaceDim + j * spaceDim * numFields; if (std::abs(vals_host(i,j,k) - basisCurls[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed curl component: " << vals_host(i,j,k) << " but reference curl component: " << basisCurls[l] << "\n"; } } } } } // Check all higher derivatives - must be zero. { const EOperator ops[] = { OPERATOR_D2, OPERATOR_D3, OPERATOR_D4, OPERATOR_D5, OPERATOR_D6, OPERATOR_D7, OPERATOR_D8, OPERATOR_D9, OPERATOR_D10, OPERATOR_MAX }; for (auto h=0;ops[h]!=OPERATOR_MAX;++h) { const auto op = ops[h]; const auto DkCardin = getDkCardinality(op, spaceDim); DynRankView vals("vals", numFields, numPoints, DkCardin); triBasis.getValues(vals, triNodes, op); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (auto i1=0;i1<numFields; i1++) for (auto i2=0;i2<numPoints; i2++) for (auto i3=0;i3<DkCardin; i3++) { if (std::abs(vals_host(i1,i2,i3)) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Get the multi-index of the value where the error is and the operator order const auto ord = Intrepid2::getOperatorOrder(op); *outStream << " At multi-index { "<<i1<<" "<<i2 <<" "<<i3; *outStream << "} computed D"<< ord <<" component: " << vals_host(i1,i2,i3) << " but reference D" << ord << " component: 0 \n"; } } } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; } *outStream << "\n" << "===============================================================================\n" << "| TEST 4: correctness of DoF locations |\n" << "===============================================================================\n"; try { const auto numFields = triBasis.getCardinality(); const auto spaceDim = triBasis.getBaseCellTopology().getDimension(); // Check exceptions. ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG { DynRankView ConstructWithLabel(badVals, 1,2,3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofCoords(badVals) ); } { DynRankView ConstructWithLabel(badVals, 4,2); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofCoords(badVals) ); } { DynRankView ConstructWithLabel(badVals, 4,3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofCoords(badVals) ); } #endif if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } DynRankView ConstructWithLabel(bvals, numFields, numFields); DynRankView ConstructWithLabel(cvals, numFields, spaceDim); // Check mathematical correctness. triBasis.getDofCoords(cvals); triBasis.getValues(bvals, cvals, OPERATOR_VALUE); auto cvals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), cvals); Kokkos::deep_copy(cvals_host, cvals); auto bvals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), bvals); Kokkos::deep_copy(bvals_host, bvals); for (auto i=0;i<numFields;++i) { for (auto j=0;j<numFields;++j) { const ValueType expected_value = (i == j); const ValueType value = bvals_host(i,j); if (std::abs(value - expected_value) > tol) { errorFlag++; std::stringstream ss; ss << "\nValue of basis function " << i << " at (" << cvals_host(i,0) << ", " << cvals_host(i,1)<< ") is " << value << " but should be " << expected_value << "\n"; *outStream << ss.str(); } } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int HDIV_TRI_I1_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HDIV_TRI_I1_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE and DIV operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; typedef Kokkos::DynRankView<ValueType,HostSpaceType> DynRankViewHost; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const ValueType tol = tolerence(); int errorFlag = 0; // for virtual function, value and point types are declared in the class typedef ValueType outputValueType; typedef ValueType pointValueType; Basis_HDIV_TRI_I1_FEM<DeviceSpaceType,outputValueType,pointValueType> triBasis; //typedef typename decltype(triBasis)::outputViewType outputViewType; //typedef typename decltype(triBasis)::pointViewType pointViewType; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: Basis creation, exceptions tests |\n" << "===============================================================================\n"; try { ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG // Define array containing the 3 vertices of the reference TRI and its 3 edge midpoints. DynRankView ConstructWithLabel(triNodes, 6, 2); // Generic array for the output values; needs to be properly resized depending on the operator type const ordinal_type numFields = triBasis.getCardinality(); const ordinal_type numPoints = triNodes.dimension(0); DynRankView vals; vals = DynRankView("vals", numFields, numPoints); // exception #1: GRAD cannot be applied to HDIV functions // resize vals to rank-3 container with dimensions (num. basis functions, num. points, arbitrary) INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, triNodes, OPERATOR_GRAD) ); // exception #2: CURL cannot be applied to HDIV functions INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, triNodes, OPERATOR_CURL) ); // Exceptions 3-7: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception // exception #3 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofOrdinal(3,0,0) ); // exception #4 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofOrdinal(1,1,1) ); // exception #5 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofOrdinal(0,2,1) ); // exception #6 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofTag(numFields) ); // exception #7 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofTag(-1) ); // exception #8 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofOrdinal(2,0,0) ); // Exceptions 9-16 test exception handling with incorrectly dimensioned input/output arrays // exception #9: input points array must be of rank-2 DynRankView ConstructWithLabel(badPoints1, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, badPoints1, OPERATOR_VALUE) ); // exception #10 dimension 1 in the input point array must equal space dimension of the cell DynRankView ConstructWithLabel(badPoints2, 4, triBasis.getBaseCellTopology().getDimension() + 1); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, badPoints2, OPERATOR_VALUE) ); // exception #11 output values must be of rank-3 for OPERATOR_VALUE DynRankView ConstructWithLabel(badVals1, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals1, triNodes, OPERATOR_VALUE) ); // exception #12 output values must be of rank-2 for OPERATOR_DIV DynRankView ConstructWithLabel(badVals2, 4, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals2, triNodes, OPERATOR_VALUE) ); // exception #13 incorrect 0th dimension of output array for OPERATOR_VALUE (must equal number of basis functions) DynRankView ConstructWithLabel(badVals3, triBasis.getCardinality() + 1, triNodes.dimension(0), triBasis.getBaseCellTopology().getDimension()); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals3, triNodes, OPERATOR_VALUE) ); // exception #14 incorrect 0th dimension of output array for OPERATOR_DIV (must equal number of basis functions) DynRankView ConstructWithLabel(badVals4, triBasis.getCardinality() + 1, triNodes.dimension(0)); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals4, triNodes, OPERATOR_DIV) ); // exception #15 incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals5, triBasis.getCardinality(), triNodes.dimension(0) + 1, triBasis.getBaseCellTopology().getDimension()); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals5, triNodes, OPERATOR_VALUE) ); // exception #16 incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals6, triBasis.getCardinality(), triNodes.dimension(0) + 1); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals6, triNodes, OPERATOR_DIV) ); // exception #17: incorrect 2nd dimension of output array (must equal the space dimension) DynRankView ConstructWithLabel(badVals7, triBasis.getCardinality(), triNodes.dimension(0), triBasis.getBaseCellTopology().getDimension() + 1); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals7, triNodes, OPERATOR_VALUE) ); #endif if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << nthrow << ")\n"; } } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; } *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" << "===============================================================================\n"; // all tags are on host space try { const ordinal_type numFields = triBasis.getCardinality(); const auto allTags = triBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const ordinal_type dofTagSize = allTags.dimension(0); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again for (ordinal_type i = 0; i < dofTagSize; i++) { const auto bfOrd = triBasis.getDofOrdinal(allTags(i,0), allTags(i,1), allTags(i,2)); const auto myTag = triBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i, 0)) && (myTag(1) == allTags(i, 1)) && (myTag(2) == allTags(i, 2)) && (myTag(3) == allTags(i, 3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i, 0) << ", " << allTags(i, 1) << ", " << allTags(i, 2) << ", " << allTags(i, 3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for( ordinal_type bfOrd = 0; bfOrd < numFields; bfOrd++) { auto myTag = triBasis.getDofTag(bfOrd); auto myBfOrd = triBasis.getDofOrdinal(myTag[0], myTag[1], myTag[2]); if( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; } *outStream \ << "\n" << "===============================================================================\n"\ << "| TEST 3: correctness of basis function values |\n"\ << "===============================================================================\n"; outStream -> precision(20); // VALUE: Correct basis values in (F,P,D) format: each group of two rows gives basis function // values at vertices followed by midpoints. This is the same array format as the output from getValues. double basisValues[] = { // basis function 0 at 3 vertices followed by 3 midpoints 0.0,-1.0, 1.0,-1.0, 0.0, 0.0, 0.5,-1.0, 0.5,-0.5, 0.0,-0.5, // basis function 1 at 3 vertices followed by 3 midpoints 0.0, 0.0, 1.0, 0.0, 0.0, 1.0, 0.5, 0.0, 0.5, 0.5, 0.0, 0.5, // basis function 2 at 3 vertices followed by 3 midpoints -1.0, 0.0, 0.0, 0.0, -1.0, 1.0, -0.5, 0.0, -0.5, 0.5, -1.0, 0.5 }; // DIV: each row gives the 3 correct values of the divergence of the 3 basis functions double basisDivs[] = { // 3 vertices 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, // 3 edge centers 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, }; try{ DynRankViewHost ConstructWithLabel(triNodesHost, 6, 2); triNodesHost(0,0) = 0.0; triNodesHost(0,1) = 0.0; triNodesHost(1,0) = 1.0; triNodesHost(1,1) = 0.0; triNodesHost(2,0) = 0.0; triNodesHost(2,1) = 1.0; // edge midpoints triNodesHost(3,0) = 0.5; triNodesHost(3,1) = 0.0; triNodesHost(4,0) = 0.5; triNodesHost(4,1) = 0.5; triNodesHost(5,0) = 0.0; triNodesHost(5,1) = 0.5; auto triNodes = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), triNodesHost); Kokkos::deep_copy(triNodes, triNodesHost); // Dimensions for the output arrays: const ordinal_type numFields = triBasis.getCardinality(); const ordinal_type numPoints = triNodes.dimension(0); const ordinal_type spaceDim = triBasis.getBaseCellTopology().getDimension(); { // Check VALUE of basis functions: resize vals to rank-3 container: DynRankView vals = DynRankView("vals", numFields, numPoints, spaceDim); triBasis.getValues(vals, triNodes, OPERATOR_VALUE); const auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; i++) { for (ordinal_type j = 0; j < numPoints; j++) { for (ordinal_type k = 0; k < spaceDim; k++) { // basisValues are in (F,P,D) format and the multiindex is (i,j,k), here's the offset: ordinal_type l = k + j * spaceDim + i * spaceDim * numPoints; if (std::abs(vals_host(i,j,k) - basisValues[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " address = "<< l <<"\n"; *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed value: " << vals_host(i,j,k) << " but reference value: " << basisValues[l] << "\n"; } } } } } { // Check DIV of basis function: resize vals to rank-2 container DynRankView vals = DynRankView("vals", numFields, numPoints); triBasis.getValues(vals, triNodes, OPERATOR_DIV); const auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; i++) { for (ordinal_type j = 0; j < numPoints; j++) { ordinal_type l = i + j * numFields; if (std::abs(vals_host(i,j) - basisDivs[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At (Field,Point,Dim) multi-index { "; *outStream << i << " ";*outStream << j << " "; *outStream << "} computed divergence component: " << vals_host(i,j) << " but reference divergence component: " << basisDivs[l] << "\n"; } } } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; } *outStream << "\n" << "===============================================================================\n" << "| TEST 4: DOF correctness (Kronecker property) |\n" << "===============================================================================\n"; try { const ordinal_type numFields = triBasis.getCardinality(); const ordinal_type spaceDim = triBasis.getBaseCellTopology().getDimension(); // Check exceptions. ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG { DynRankView ConstructWithLabel(badVals, 1,2,3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofCoords(badVals)); } { DynRankView ConstructWithLabel(badVals, 4,2); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofCoords(badVals)); } { DynRankView ConstructWithLabel(badVals, 3,3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofCoords(badVals)); } #endif if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } DynRankView ConstructWithLabel(bvals, numFields, numFields, spaceDim); DynRankView ConstructWithLabel(cvals, numFields, spaceDim); DynRankView ConstructWithLabel(dofCoeffs, numFields, spaceDim); // Check mathematical correctness. triBasis.getDofCoords(cvals); triBasis.getValues(bvals, cvals, OPERATOR_VALUE); triBasis.getDofCoeffs(dofCoeffs); auto cvals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), cvals); Kokkos::deep_copy(cvals_host, cvals); auto bvals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), bvals); Kokkos::deep_copy(bvals_host, bvals); auto dofCoeffs_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), dofCoeffs); Kokkos::deep_copy(dofCoeffs_host, dofCoeffs); for (ordinal_type i=0;i<numFields;++i) { for (ordinal_type j=0;j<numFields;++j) { ValueType dofValue = 0.0; for(ordinal_type d=0;d<spaceDim;++d) { dofValue += bvals_host(i,j,d)*dofCoeffs_host(j,d); } const ValueType expected_dofValue = (i == j); if (std::abs(dofValue - expected_dofValue) > tol || std::isnan(dofValue)) { errorFlag++; std::stringstream ss; ss << "\nDegree of freedom " << j << " of basis function " << i << " at (" << cvals_host(j,0) << ", " << cvals_host(j,1)<< ", " << cvals_host(j,2) << ") is " << dofValue << " but should be " << expected_dofValue << "\n"; *outStream << ss.str(); } } } } catch (std::logic_error err){ *outStream << err.what() << "\n\n"; errorFlag = -1000; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int HGRAD_LINE_Cn_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HGRAD_LINE_Cn_FEM_JACOBI) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE, GRAD, CURL, and Dk operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]), |\n" << "| Kyungjoo Kim ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; //typedef Kokkos::DynRankView<ValueType,HostSpaceType> DynRankViewHost; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const ValueType tol = tolerence(); int errorFlag = 0; // for virtual function, value and point types are declared in the class typedef ValueType outputValueType; typedef ValueType pointValueType; //typedef ValueType weightValueType; typedef Basis_HGRAD_LINE_Cn_FEM<DeviceSpaceType,outputValueType,pointValueType> LineBasisType; //typedef CubatureDirectLineGauss<DeviceSpaceType,pointValueType,weightValueType> CubatureLineType; //typedef FunctionSpaceTools<DeviceSpaceType> fst; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: Basis creation, exceptions tests |\n" << "===============================================================================\n"; try{ ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG const ordinal_type order = 5; LineBasisType lineBasis(order); // Define array containing array of nodes to evaluate DynRankView ConstructWithLabel(lineNodes, 10, 1); // Generic array for the output values; needs to be properly resized depending on the operator type const auto numFields = lineBasis.getCardinality(); const auto numPoints = lineNodes.dimension(0); //const auto spaceDim = lineBasis.getBaseCellTopology().getDimension(); // Exceptions 1-5: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception { INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getDofOrdinal(2,0,0) ); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getDofOrdinal(1,1,1) ); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getDofOrdinal(1,0,7) ); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getDofTag(numFields) ); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getDofTag(-1) ); // no exception; if happens, it is unexpected; lineBasis.getDofOrdinal(1,0,3); lineBasis.getDofTag(5); } // Exceptions 6-16 test exception handling with incorrectly dimensioned input/output arrays { DynRankView ConstructWithLabel(vals, numFields, numPoints); { // exception #6: input points array must be of rank-2 DynRankView ConstructWithLabel(badPoints, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(vals, badPoints, OPERATOR_VALUE) ); } { // exception #7: dimension 1 in the input point array must equal space dimension of the cell DynRankView ConstructWithLabel(badPoints, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(vals, badPoints, OPERATOR_VALUE) ); } { // exception #8: output values must be of rank-2 for OPERATOR_VALUE DynRankView ConstructWithLabel(badVals, 4, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_VALUE) ); } lineBasis.getValues(vals, lineNodes, OPERATOR_VALUE); } { // exception #9: output values must be of rank-3 for OPERATOR_GRAD DynRankView ConstructWithLabel(badVals, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_GRAD) ); // exception #10: output values must be of rank-3 for OPERATOR_CURL INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_CURL) ); // exception #11: output values must be of rank-2 for OPERATOR_DIV INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_DIV) ); // exception #12: output values must be of rank-2 for OPERATOR_D1 INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_D1) ); } { // exception #13: incorrect 0th dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel(badVals, lineBasis.getCardinality() + 1, lineNodes.dimension(0)); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_VALUE) ); } { // exception #14: incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals, lineBasis.getCardinality(), lineNodes.dimension(0) + 1); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_VALUE) ); } { // exception #15: incorrect 2nd dimension of output array (must equal spatial dimension) DynRankView ConstructWithLabel(badVals, lineBasis.getCardinality(), lineNodes.dimension(0), 2); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_GRAD) ); } #endif if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << nthrow << ")\n"; } } catch (std::exception err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of basis function values |\n" << "===============================================================================\n"; outStream->precision(20); // check Kronecker property for Lagrange polynomials. try { const auto maxp = Parameters::MaxOrder; const EPointType pts[3] = { POINTTYPE_EQUISPACED, POINTTYPE_WARPBLEND, POINTTYPE_GAUSS }; for (auto idx=0;idx<3;++idx) { *outStream << " -- Testing " << EPointTypeToString(pts[idx]) << " -- \n"; for (auto ip=1;ip<maxp;++ip) { LineBasisType lineBasis(ip, pts[idx]); const auto numDofs = lineBasis.getCardinality(); const auto numPoints = lineBasis.getCardinality(); const auto spaceDim = lineBasis.getBaseCellTopology().getDimension(); DynRankView ConstructWithLabel(dofCoords, numPoints, spaceDim); lineBasis.getDofCoords(dofCoords); DynRankView ConstructWithLabel(vals, numDofs, numPoints); lineBasis.getValues(vals, dofCoords, OPERATOR_VALUE); // host mirror for comparison auto valsHost = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(valsHost, vals); for (auto i=0;i<numDofs;++i) for (int j=0;j<numPoints;++j) { const ValueType exactVal = (i == j); const auto val = valsHost(i,j); if (std::isnan(val) || std::abs(val-exactVal) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " Basis function at i= " << i << ", j=" << j << ": " << val << " != " << exactVal << "\n\n"; } } } } } catch (std::exception err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; std::cout.copyfmt(oldFormatState); return errorFlag; }
int HCURL_TRI_I1_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HCURL_TRI_I1_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE and CURL operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]). |\n" << "| Kyungjoo Kim ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; typedef Kokkos::DynRankView<ValueType,HostSpaceType> DynRankViewHost; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const ValueType tol = tolerence(); int errorFlag = 0; // for virtual function, value and point types are declared in the class typedef ValueType outputValueType; typedef ValueType pointValueType; Basis_HCURL_TRI_I1_FEM<DeviceSpaceType,outputValueType,pointValueType> triBasis; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: Basis creation, exception testing |\n" << "===============================================================================\n"; try{ ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG // Define array containing the 3 vertices of the reference TRI and its 3 edge midpoints. DynRankView ConstructWithLabel(triNodes, 7, 2); // Generic array for the output values; needs to be properly resized depending on the operator type const ordinal_type cardinality = triBasis.getCardinality(); const ordinal_type numPoints = triNodes.extent(0); DynRankView vals; vals = DynRankView("vals", cardinality, numPoints); { // exception #1: GRAD cannot be applied to HCURL functions INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, triNodes, OPERATOR_GRAD) ); } { // exception #2: DIV cannot be applied to HCURL functions INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, triNodes, OPERATOR_DIV) ); } // Exceptions 3-7: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception { // exception #3 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofOrdinal(3,0,0) ); // exception #4 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofOrdinal(1,1,1) ); // exception #5 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofOrdinal(0,4,1) ); // exception #6 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofTag(cardinality) ); // exception #7 INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofTag(-1) ); } // Exceptions 8-15 test exception handling with incorrectly dimensioned input/output arrays { // exception #8: input points array must be of rank-2 DynRankView ConstructWithLabel(badPoints1, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, badPoints1, OPERATOR_VALUE) ); } // exception #9 dimension 1 in the input point array must equal space dimension of the cell { DynRankView ConstructWithLabel(badPoints2, 4, triBasis.getBaseCellTopology().getDimension() + 1); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, badPoints2, OPERATOR_VALUE) ); } { // exception #10 output values must be of rank-3 for OPERATOR_VALUE in 2D DynRankView ConstructWithLabel(badVals1, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals1, triNodes, OPERATOR_VALUE) ); } { // exception #11 output values must be of rank-2 for OPERATOR_CURL DynRankView ConstructWithLabel(badCurls1,4,3,2); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badCurls1, triNodes, OPERATOR_CURL) ); } { // exception #12 incorrect 0th dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel(badVals2, triBasis.getCardinality() + 1, triNodes.extent(0), triBasis.getBaseCellTopology().getDimension()); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals2, triNodes, OPERATOR_VALUE) ) ; } { // exception #13 incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals3, triBasis.getCardinality(), triNodes.extent(0) + 1, triBasis.getBaseCellTopology().getDimension() ); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals3, triNodes, OPERATOR_VALUE) ) ; } { // exception #14: incorrect 2nd dimension of output array for VALUE (must equal the space dimension) DynRankView ConstructWithLabel(badVals4, triBasis.getCardinality(), triNodes.extent(0), triBasis.getBaseCellTopology().getDimension() - 1); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(badVals4, triNodes, OPERATOR_VALUE) ) ; } // exception #15: D2 cannot be applied to HCURL functions // resize vals to rank-3 container with dimensions (num. basis functions, num. points, arbitrary) // vals.resize(triBasis.getCardinality(), // triNodes.extent(0), // Intrepid2::getDkCardinality(OPERATOR_D2, triBasis.getBaseCellTopology().getDimension())); // INTREPID2_TEST_ERROR_EXPECTED( triBasis.getValues(vals, triNodes, OPERATOR_D2) ); #endif // Check if number of thrown exceptions matches the one we expect if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << nthrow << ")\n"; } } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; } *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" << "===============================================================================\n"; // all tags are on host space try{ const auto allTags = triBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const ordinal_type dofTagSize = allTags.extent(0); for (ordinal_type i = 0; i < dofTagSize; ++i) { const auto bfOrd = triBasis.getDofOrdinal(allTags(i,0), allTags(i,1), allTags(i,2)); const auto myTag = triBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i,0)) && (myTag(1) == allTags(i,1)) && (myTag(2) == allTags(i,2)) && (myTag(3) == allTags(i,3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i,0) << ", " << allTags(i,1) << ", " << allTags(i,2) << ", " << allTags(i,3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for( ordinal_type bfOrd = 0; bfOrd < triBasis.getCardinality(); bfOrd++) { const auto myTag = triBasis.getDofTag(bfOrd); const auto myBfOrd = triBasis.getDofOrdinal(myTag(0), myTag(1), myTag(2)); if( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::logic_error err){ *outStream << err.what() << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 3: correctness of basis function values |\n" << "===============================================================================\n"; outStream -> precision(20); // VALUE: correct values in (P,F,D) layout const ValueType basisValues[] = { 1.000, 0, 0, 0, 0, -1.000, 1.000, 1.000, 0, 1.000, 0, 0, 0, 0, \ -1.000, 0, -1.000, -1.000, 1.000, 0.5000, 0, 0.5000, 0, -0.5000, \ 0.5000, 0.5000, -0.5000, 0.5000, -0.5000, -0.5000, 0.5000, 0, \ -0.5000, 0, -0.5000, -1.000, 0.7500, 0.2500, -0.2500, 0.2500, \ -0.2500, -0.7500}; // CURL: correct values in (P,F) layout const ValueType basisCurls[] = { 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0, 2.0 }; try{ DynRankViewHost ConstructWithLabel(triNodesHost, 7, 2); triNodesHost(0,0) = 0.0; triNodesHost(0,1) = 0.0; triNodesHost(1,0) = 1.0; triNodesHost(1,1) = 0.0; triNodesHost(2,0) = 0.0; triNodesHost(2,1) = 1.0; // edge midpoints triNodesHost(3,0) = 0.5; triNodesHost(3,1) = 0.0; triNodesHost(4,0) = 0.5; triNodesHost(4,1) = 0.5; triNodesHost(5,0) = 0.0; triNodesHost(5,1) = 0.5; // Inside Triangle triNodesHost(6,0) = 0.25; triNodesHost(6,1) = 0.25; auto triNodes = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), triNodesHost); Kokkos::deep_copy(triNodes, triNodesHost); // Dimensions for the output arrays: const ordinal_type cardinality = triBasis.getCardinality(); const ordinal_type numPoints = triNodes.extent(0); const ordinal_type spaceDim = triBasis.getBaseCellTopology().getDimension(); { // Check VALUE of basis functions: resize vals to rank-3 container: DynRankView ConstructWithLabel(vals, cardinality, numPoints, spaceDim); triBasis.getValues(vals, triNodes, OPERATOR_VALUE); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < cardinality; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < spaceDim; ++k) { // compute offset for (P,F,D) data layout: indices are P->j, F->i, D->k ordinal_type l = k + i * spaceDim + j * spaceDim * cardinality; if (std::abs(vals_host(i,j,k) - basisValues[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed value: " << vals_host(i,j,k) << " but reference value: " << basisValues[l] << "\n"; } } } } } { // Check CURL of basis function: resize vals to rank-2 container DynRankView ConstructWithLabel(vals, cardinality, numPoints); triBasis.getValues(vals, triNodes, OPERATOR_CURL); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < cardinality; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { ordinal_type l = i + j * cardinality; if (std::abs(vals_host(i,j) - basisCurls[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " "; *outStream << "} computed curl component: " << vals_host(i,j) << " but reference curl component: " << basisCurls[l] << "\n"; } } } } } //end try // Catch unexpected errors catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 4: correctness of DoF locations |\n" << "===============================================================================\n"; try{ const ordinal_type cardinality = triBasis.getCardinality(); const ordinal_type spaceDim = triBasis.getBaseCellTopology().getDimension(); // Check exceptions. ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG { DynRankView ConstructWithLabel(badVals, 1, 2, 3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofCoords(badVals) ); } { DynRankView ConstructWithLabel(badVals, 4, 2); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofCoords(badVals) ); } { DynRankView ConstructWithLabel(badVals, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( triBasis.getDofCoords(badVals) ); } #endif // Check if number of thrown exceptions matches the one we expect if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } // Check mathematical correctness DynRankView ConstructWithLabel(bvals, cardinality, cardinality, spaceDim); DynRankView ConstructWithLabel(cvals, cardinality, spaceDim); DynRankView ConstructWithLabel(dofCoeffs, cardinality, spaceDim); triBasis.getDofCoeffs(dofCoeffs); triBasis.getDofCoords(cvals); triBasis.getValues(bvals, cvals, OPERATOR_VALUE); auto cvals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), cvals); Kokkos::deep_copy(cvals_host, cvals); auto dofCoeffs_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), dofCoeffs); Kokkos::deep_copy(dofCoeffs_host, dofCoeffs); auto bvals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), bvals); Kokkos::deep_copy(bvals_host, bvals); char buffer[120]; for (ordinal_type i=0; i<cardinality; ++i) { for (ordinal_type j=0; j<cardinality; ++j) { double dofValue = 0.0; for(ordinal_type d=0;d<spaceDim;++d) dofValue += bvals_host(i,j,d)*dofCoeffs_host(j,d); if ((i != j) && (std::abs(dofValue - 0.0) > tol )) { errorFlag++; sprintf(buffer, "\nValue of basis function %d at (%6.4e, %6.4e) is %6.4e but should be %6.4e!\n", i, cvals_host(i,0), cvals_host(i,1), dofValue, 0.0); *outStream << buffer; } else if ((i == j) && (std::abs(dofValue - 1.0) > tol )) { errorFlag++; sprintf(buffer, "\nValue of basis function %d at (%6.4e, %6.4e) is %6.4e but should be %6.4e!\n", i, cvals_host(i,0), cvals_host(i,1), dofValue, 1.0); *outStream << buffer; } } } } catch (std::logic_error err){ *outStream << err.what() << "\n\n"; errorFlag = -1000; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int HGRAD_WEDGE_C2_FEM_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test (Basis_HGRAD_WEDGE_C2_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE, GRAD, and Dk operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]), |\n" << "| Kyungjoo Kim ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; typedef Kokkos::DynRankView<ValueType,HostSpaceType> DynRankViewHost; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const ValueType tol = tolerence(); int errorFlag = 0; // for virtual function, value and point types are declared in the class typedef ValueType outputValueType; typedef ValueType pointValueType; Basis_HGRAD_WEDGE_C2_FEM<DeviceSpaceType,outputValueType,pointValueType> wedgeBasis; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: constructors and exceptions |\n" << "===============================================================================\n"; try { ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG // Define array containing the 4 vertices of the reference WEDGE and its center. DynRankView ConstructWithLabel(wedgeNodes, 18, 3); // Generic array for the output values; needs to be properly resized depending on the operator type const ordinal_type numFields = wedgeBasis.getCardinality(); const ordinal_type numPoints = wedgeNodes.extent(0); const ordinal_type spaceDim = wedgeBasis.getBaseCellTopology().getDimension(); DynRankView vals("vals", numFields, numPoints); DynRankView vals_vec("vals", numFields, numPoints, spaceDim); { // exception #1: CURL cannot be applied to scalar functions INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals_vec, wedgeNodes, OPERATOR_DIV) ); // exception #2: DIV cannot be applied to scalar functions INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals_vec, wedgeNodes, OPERATOR_DIV) ); } // Exceptions 3-7: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception { // exception #3 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofOrdinal(3,0,0) ); // exception #4 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofOrdinal(1,1,1) ); // exception #5 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofOrdinal(0,9,0) ); // exception #6 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofTag(numFields) ); // exception #7 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getDofTag(-1) ); } // Exceptions 8-18 test exception handling with incorrectly dimensioned input/output arrays { // exception #8: input points array must be of rank-2 DynRankView ConstructWithLabel( badPoints1, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals, badPoints1, OPERATOR_VALUE) ); } { // exception #9 dimension 1 in the input point array must equal space dimension of the cell DynRankView ConstructWithLabel( badPoints2, 4, spaceDim + 1); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(vals, badPoints2, OPERATOR_VALUE) ); } { // exception #10 output values must be of rank-2 for OPERATOR_VALUE DynRankView ConstructWithLabel( badVals1, 4, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals1, wedgeNodes, OPERATOR_VALUE) ); } { // exception #11 output values must be of rank-3 for OPERATOR_GRAD DynRankView ConstructWithLabel( badVals2, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals2, wedgeNodes, OPERATOR_GRAD) ); // exception #12 output values must be of rank-3 for OPERATOR_D1 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals2, wedgeNodes, OPERATOR_D1) ); // exception #13 output values must be of rank-3 for OPERATOR_D2 INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals2, wedgeNodes, OPERATOR_D2) ); } { // exception #14 incorrect 0th dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel( badVals3, numFields + 1, numPoints); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals3, wedgeNodes, OPERATOR_VALUE) ); } { // exception #15 incorrect 1st dimension of output array (must equal number of points) DynRankView ConstructWithLabel( badVals4, numFields, numPoints + 1); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals4, wedgeNodes, OPERATOR_VALUE) ); } { // exception #16: incorrect 2nd dimension of output array (must equal the space dimension) DynRankView ConstructWithLabel( badVals5, numFields, numPoints, spaceDim - 1); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals5, wedgeNodes, OPERATOR_GRAD) ); } { // exception #17: incorrect 2nd dimension of output array (must equal D2 cardinality in 3D) DynRankView ConstructWithLabel( badVals6, numFields, numPoints, 40); INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals6, wedgeNodes, OPERATOR_D2) ); // exception #18: incorrect 2nd dimension of output array (must equal D3 cardinality in 3D) INTREPID2_TEST_ERROR_EXPECTED( wedgeBasis.getValues(badVals6, wedgeNodes, OPERATOR_D3) ); } #endif if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } } catch (std::exception err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; } *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" << "===============================================================================\n"; try { const ordinal_type numFields = wedgeBasis.getCardinality(); const auto allTags = wedgeBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const ordinal_type dofTagSize = allTags.extent(0); for (ordinal_type i=0;i<dofTagSize;++i) { const auto bfOrd = wedgeBasis.getDofOrdinal(allTags(i,0), allTags(i,1), allTags(i,2)); const auto myTag = wedgeBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i,0)) && (myTag(1) == allTags(i,1)) && (myTag(2) == allTags(i,2)) && (myTag(3) == allTags(i,3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i,0) << ", " << allTags(i,1) << ", " << allTags(i,2) << ", " << allTags(i,3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for (ordinal_type bfOrd=0;bfOrd<numFields;++bfOrd) { const auto myTag = wedgeBasis.getDofTag(bfOrd); const auto myBfOrd = wedgeBasis.getDofOrdinal(myTag(0), myTag(1), myTag(2)); if( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::logic_error err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; } *outStream << "\n" << "===============================================================================\n" << "| TEST 3: correctness of basis function values |\n" << "===============================================================================\n"; outStream -> precision(20); // VALUE: correct basis function values in (F,P) format const ValueType basisValues[] = { 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 0, 0, 0, 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 0, 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \ 1.00, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1.00 }; // GRAD and D1 values are stored in (F,P,D) format in a data file. Read file and do the test std::vector<ValueType> basisGrads; // Flat array for the gradient values. { std::ifstream dataFile("../testdata/WEDGE_C2_GradVals.dat"); INTREPID2_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_WEDGE_C2/test01): could not open GRAD values data file, test aborted."); while (!dataFile.eof() ){ ValueType temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while (data_line >> temp) // extract value from line basisGrads.push_back(temp); // push into vector } } //D2: flat array with the values of D2 applied to basis functions. Multi-index is (F,P,D2cardinality) std::vector<ValueType> basisD2; { std::ifstream dataFile("../testdata/WEDGE_C2_D2Vals.dat"); INTREPID2_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_WEDGE_C2/test01): could not open D2 values data file, test aborted."); while (!dataFile.eof() ){ ValueType temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while (data_line >> temp) // extract value from line basisD2.push_back(temp); // push into vector } } //D3: flat array with the values of D3 applied to basis functions. Multi-index is (F,P,D3cardinality) std::vector<ValueType> basisD3; { std::ifstream dataFile("../testdata/WEDGE_C2_D3Vals.dat"); INTREPID2_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_WEDGE_C2/test01): could not open D3 values data file, test aborted."); while (!dataFile.eof() ){ ValueType temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while (data_line >> temp) // extract value from line basisD3.push_back(temp); // push into vector } } //D4: flat array with the values of D3 applied to basis functions. Multi-index is (F,P,D4cardinality) std::vector<ValueType> basisD4; { std::ifstream dataFile("../testdata/WEDGE_C2_D4Vals.dat"); INTREPID2_TEST_FOR_EXCEPTION( !dataFile.good(), std::logic_error, ">>> ERROR (HGRAD_WEDGE_C2/test01): could not open D4 values data file, test aborted."); while (!dataFile.eof() ){ ValueType temp; std::string line; // string for one line of input file std::getline(dataFile, line); // get next line from file std::stringstream data_line(line); // convert to stringstream while (data_line >> temp) // extract value from line basisD4.push_back(temp); // push into vector } } try { DynRankViewHost ConstructWithLabel(wedgeNodesHost, 18, 3); wedgeNodesHost(0,0) = 0.0; wedgeNodesHost(0,1) = 0.0; wedgeNodesHost(0,2) = -1.0; wedgeNodesHost(1,0) = 1.0; wedgeNodesHost(1,1) = 0.0; wedgeNodesHost(1,2) = -1.0; wedgeNodesHost(2,0) = 0.0; wedgeNodesHost(2,1) = 1.0; wedgeNodesHost(2,2) = -1.0; wedgeNodesHost(3,0) = 0.0; wedgeNodesHost(3,1) = 0.0; wedgeNodesHost(3,2) = 1.0; wedgeNodesHost(4,0) = 1.0; wedgeNodesHost(4,1) = 0.0; wedgeNodesHost(4,2) = 1.0; wedgeNodesHost(5,0) = 0.0; wedgeNodesHost(5,1) = 1.0; wedgeNodesHost(5,2) = 1.0; wedgeNodesHost(6,0) = 0.5; wedgeNodesHost(6,1) = 0.0; wedgeNodesHost(6,2) = -1.0; wedgeNodesHost(7,0) = 0.5; wedgeNodesHost(7,1) = 0.5; wedgeNodesHost(7,2) = -1.0; wedgeNodesHost(8,0) = 0.0; wedgeNodesHost(8,1) = 0.5; wedgeNodesHost(8,2) = -1.0; wedgeNodesHost(9,0) = 0.0; wedgeNodesHost(9,1) = 0.0; wedgeNodesHost(9,2) = 0.0; wedgeNodesHost(10,0)= 1.0; wedgeNodesHost(10,1)= 0.0; wedgeNodesHost(10,2)= 0.0; wedgeNodesHost(11,0)= 0.0; wedgeNodesHost(11,1)= 1.0; wedgeNodesHost(11,2)= 0.0; wedgeNodesHost(12,0)= 0.5; wedgeNodesHost(12,1)= 0.0; wedgeNodesHost(12,2)= 1.0; wedgeNodesHost(13,0)= 0.5; wedgeNodesHost(13,1)= 0.5; wedgeNodesHost(13,2)= 1.0; wedgeNodesHost(14,0)= 0.0; wedgeNodesHost(14,1)= 0.5; wedgeNodesHost(14,2)= 1.0; wedgeNodesHost(15,0)= 0.5; wedgeNodesHost(15,1)= 0.0; wedgeNodesHost(15,2)= 0.0; wedgeNodesHost(16,0)= 0.5; wedgeNodesHost(16,1)= 0.5; wedgeNodesHost(16,2)= 0.0; wedgeNodesHost(17,0)= 0.0; wedgeNodesHost(17,1)= 0.5; wedgeNodesHost(17,2)= 0.0; auto wedgeNodes = Kokkos::create_mirror_view(typename DeviceSpaceType::memory_space(), wedgeNodesHost); Kokkos::deep_copy(wedgeNodes, wedgeNodesHost); // Dimensions for the output arrays: const ordinal_type numFields = wedgeBasis.getCardinality(); const ordinal_type numPoints = wedgeNodes.extent(0); const ordinal_type spaceDim = wedgeBasis.getBaseCellTopology().getDimension(); const ordinal_type D2Cardin = getDkCardinality(OPERATOR_D2, spaceDim); const ordinal_type D3Cardin = getDkCardinality(OPERATOR_D3, spaceDim); const ordinal_type D4Cardin = getDkCardinality(OPERATOR_D4, spaceDim); // Check VALUE of basis functions: resize vals to rank-2 container: { DynRankView vals = DynRankView("vals", numFields, numPoints); wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_VALUE); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { const ordinal_type l = i + j * numFields; if (std::abs(vals_host(i,j) - basisValues[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " "; *outStream << "} computed value: " << vals_host(i,j) << " but reference value: " << basisValues[l] << "\n"; } } } } // Check GRAD of basis function: resize vals to rank-3 container { DynRankView vals = DynRankView("vals", numFields, numPoints, spaceDim); wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_GRAD); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < spaceDim; ++k) { // basisGrads is (F,P,D), compute offset: const ordinal_type l = k + j * spaceDim + i * spaceDim * numPoints; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals_host(i,j,k) << " but reference grad component: " << basisGrads[l] << "\n"; } } } } } // Check D1 of basis function (do not resize vals because it has the correct size: D1 = GRAD) { DynRankView vals = DynRankView("vals", numFields, numPoints, spaceDim); wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_D1); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < spaceDim; ++k) { // basisGrads is (F,P,D), compute offset: const ordinal_type l = k + j * spaceDim + i * spaceDim * numPoints; if (std::abs(vals_host(i,j,k) - basisGrads[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D1 component: " << vals_host(i,j,k) << " but reference D1 component: " << basisGrads[l] << "\n"; } } } } } // Check D2 of basis function { DynRankView vals = DynRankView("vals", numFields, numPoints, D2Cardin); wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_D2); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < D2Cardin; ++k) { // basisGrads is (F,P,D), compute offset: const ordinal_type l = k + j * D2Cardin + i * D2Cardin * numPoints; if (std::abs(vals_host(i,j,k) - basisD2[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D2 component: " << vals_host(i,j,k) << " but reference D2 component: " << basisGrads[l] << "\n"; } } } } } // Check D3 of basis function { DynRankView vals = DynRankView("vals", numFields, numPoints, D3Cardin); wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_D3); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < D3Cardin; ++k) { // basisGrads is (F,P,D), compute offset: const ordinal_type l = k + j * D3Cardin + i * D3Cardin * numPoints; if (std::abs(vals_host(i,j,k) - basisD3[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D3 component: " << vals_host(i,j,k) << " but reference D3 component: " << basisD3[l] << "\n"; } } } } } // Check D4 of basis function { DynRankView vals = DynRankView("vals", numFields, numPoints, D4Cardin); wedgeBasis.getValues(vals, wedgeNodes, OPERATOR_D4); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i = 0; i < numFields; ++i) { for (ordinal_type j = 0; j < numPoints; ++j) { for (ordinal_type k = 0; k < D4Cardin; ++k) { // basisGrads is (F,P,D), compute offset: const ordinal_type l = k + j * D4Cardin + i * D4Cardin * numPoints; if (std::abs(vals_host(i,j,k) - basisD4[l]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed D4 component: " << vals_host(i,j,k) << " but reference D4 component: " << basisD4[l] << "\n"; } } } } } // Check all higher derivatives - must be zero. { const EOperator ops[] = { OPERATOR_D5, OPERATOR_D6, OPERATOR_D7, OPERATOR_D8, OPERATOR_D9, OPERATOR_D10, OPERATOR_MAX }; for (auto h=0;ops[h]!=OPERATOR_MAX;++h) { const auto op = ops[h]; const ordinal_type DkCardin = getDkCardinality(op, spaceDim); DynRankView vals("vals", numFields, numPoints, DkCardin); wedgeBasis.getValues(vals, wedgeNodes, op); auto vals_host = Kokkos::create_mirror_view(typename HostSpaceType::memory_space(), vals); Kokkos::deep_copy(vals_host, vals); for (ordinal_type i1=0;i1<numFields; i1++) for (ordinal_type i2=0;i2<numPoints; i2++) for (ordinal_type i3=0;i3<DkCardin; i3++) { if (std::abs(vals_host(i1,i2,i3)) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Get the multi-index of the value where the error is and the operator order const auto ord = Intrepid2::getOperatorOrder(op); *outStream << " At multi-index { "<<i1<<" "<<i2 <<" "<<i3; *outStream << "} computed D"<< ord <<" component: " << vals_host(i1,i2,i3) << " but reference D" << ord << " component: 0 \n"; } } } } } catch (std::exception err) { *outStream << err.what() << "\n\n"; errorFlag = -1000; } if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }
int PointTools_Test01(const bool verbose) { Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================\n" << "| |\n" << "| Unit Test (PointTools) |\n" << "| |\n" << "| 1) Construction of equispaced and warped lattices on simplices |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]) or |\n" << "| Denis Ridzal ([email protected]) or |\n" << "| Robert Kirby ([email protected]) or |\n" << "| Kyungjoo Kim ([email protected]) |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef PointTools pts; typedef Kokkos::DynRankView<ValueType,DeviceSpaceType> DynRankView; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) int errorFlag = 0; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: size of lattices |\n" << "===============================================================================\n"; try { const shards::CellTopology line( shards::getCellTopologyData< shards::Line<2> >() ); const ordinal_type order[2] = { 4, 3 }, offset[2] = { 0, 1 }, val[2] = { 5, 2}; for (auto i=0;i<2;++i) { const auto lsize = pts::getLatticeSize( line, order[i], offset[i] ); if (lsize != val[i]) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " lattice size of line (order,offset,exact): " << order[i] << ", " << offset[i] << ", " << val[i] << ":: computed val = " << lsize << "\n"; } } } catch (std::exception &err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; *outStream << "\n" << "===============================================================================\n" << "| TEST 2: check for unsupported cell types \n" << "===============================================================================\n"; #ifdef HAVE_INTREPID2_DEBUG try { ordinal_type nthrow = 0, ncatch = 0; INTREPID2_TEST_ERROR_EXPECTED( pts::getLatticeSize(shards::getCellTopologyData<shards::Quadrilateral<4> >(), 3, 0) ); INTREPID2_TEST_ERROR_EXPECTED( pts::getLatticeSize(shards::getCellTopologyData<shards::Hexahedron<8> >(), 3, 0 ) ); if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } } catch (std::exception &err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; #endif *outStream << "\n" << "===============================================================================\n" << "| TEST 2: malformed point arrays \n" << "===============================================================================\n"; #ifdef HAVE_INTREPID2_DEBUG try { const shards::CellTopology line( shards::getCellTopologyData< shards::Line<2> >() ); ordinal_type nthrow = 0, ncatch = 0; { DynRankView ConstructWithLabel(points, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( PointTools::getLattice( points, line , 5 , 0 ) ); } { DynRankView ConstructWithLabel(points, 6, 2); INTREPID2_TEST_ERROR_EXPECTED( PointTools::getLattice( points, line , 5 , 0 ) ); } if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } } catch (std::exception &err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; #endif if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; return errorFlag; }
int HGRAD_LINE_C1_FEM_Test01(const bool verbose) { typedef ValueType value_type; Teuchos::RCP<std::ostream> outStream; Teuchos::oblackholestream bhs; // outputs nothing if (verbose) outStream = Teuchos::rcp(&std::cout, false); else outStream = Teuchos::rcp(&bhs, false); Teuchos::oblackholestream oldFormatState; oldFormatState.copyfmt(std::cout); typedef typename Kokkos::Impl::is_space<DeviceSpaceType>::host_mirror_space::execution_space HostSpaceType ; *outStream << "DeviceSpace:: "; DeviceSpaceType::print_configuration(*outStream, false); *outStream << "HostSpace:: "; HostSpaceType::print_configuration(*outStream, false); *outStream << "===============================================================================n" << "| |\n" << "| Unit Test (Basis_HGRAD_LINE_C1_FEM) |\n" << "| |\n" << "| 1) Conversion of Dof tags into Dof ordinals and back |\n" << "| 2) Basis values for VALUE, GRAD, CURL, DIV, and Dk operators |\n" << "| |\n" << "| Questions? Contact Pavel Bochev ([email protected]), |\n" << "| Denis Ridzal ([email protected]), |\n" << "| Kara Peterson ([email protected]). |\n" << "| |\n" << "| Intrepid's website: http://trilinos.sandia.gov/packages/intrepid |\n" << "| Trilinos website: http://trilinos.sandia.gov |\n" << "| |\n" << "===============================================================================\n"; typedef Kokkos::DynRankView<value_type,DeviceSpaceType> DynRankView; #define ConstructWithLabel(obj, ...) obj(#obj, __VA_ARGS__) const value_type tol = Parameters::Tolerence; int errorFlag = 0; *outStream << "\n" << "===============================================================================\n" << "| TEST 1: Basis creation, exceptions tests |\n" << "===============================================================================\n"; try{ ordinal_type nthrow = 0, ncatch = 0; #ifdef HAVE_INTREPID2_DEBUG Basis_HGRAD_LINE_C1_FEM<DeviceSpaceType> lineBasis; // Define array containing the 2 vertices of the reference Line, its center and another point DynRankView ConstructWithLabel(lineNodes, 4, 1); // Generic array for the output values; needs to be properly resized depending on the operator type const auto numFields = lineBasis.getCardinality(); const auto numPoints = lineNodes.dimension(0); const auto spaceDim = lineBasis.getBaseCellTopology().getDimension(); const auto workSize = numFields*numPoints*spaceDim; DynRankView ConstructWithLabel(work, workSize); // resize vals to rank-2 container with dimensions DynRankView vals = DynRankView(work.data(), numFields, numPoints); // Exceptions 1-5: all bf tags/bf Ids below are wrong and should cause getDofOrdinal() and // getDofTag() to access invalid array elements thereby causing bounds check exception { INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getDofOrdinal(2,0,0), nthrow, ncatch ); // #1 INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getDofOrdinal(1,1,1), nthrow, ncatch ); // #2 INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getDofOrdinal(0,4,0), nthrow, ncatch ); // #3 INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getDofTag(5), nthrow, ncatch ); // #4 INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getDofTag(-1), nthrow, ncatch ); // #5 } // Exceptions 6-17 test exception handling with incorrectly dimensioned input/output arrays { // exception #6: input points array must be of rank-2 DynRankView ConstructWithLabel(badPoints, 4, 5, 3); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(vals, badPoints, OPERATOR_VALUE), nthrow, ncatch ); } { // exception #7 dimension 1 in the input point array must equal space dimension of the cell DynRankView ConstructWithLabel(badPoints, 4, 2); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(vals, badPoints, OPERATOR_VALUE), nthrow, ncatch ); } { // exception #8 output values must be of rank-2 for OPERATOR_VALUE DynRankView ConstructWithLabel(badVals, 4, 3, 1); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_VALUE), nthrow, ncatch ); } { // exception #9 output values must be of rank-3 for OPERATOR_GRAD DynRankView ConstructWithLabel(badVals, 4, 3); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_GRAD), nthrow, ncatch ); // exception #10 output values must be of rank-3 for OPERATOR_DIV INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_DIV), nthrow, ncatch ); // exception #11 output values must be of rank-3 for OPERATOR_CURL INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_CURL), nthrow, ncatch ); // exception #12 output values must be of rank-3 for OPERATOR_D2 INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_D2), nthrow, ncatch ); } { // exception #13 incorrect 1st dimension of output array (must equal number of basis functions) DynRankView ConstructWithLabel(badVals, numFields + 1, numPoints); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_VALUE), nthrow, ncatch ); } { // exception #14 incorrect 0th dimension of output array (must equal number of points) DynRankView ConstructWithLabel(badVals, numFields, numPoints + 1); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_VALUE), nthrow, ncatch ); } { // exception #15: incorrect 2nd dimension of output array (must equal the space dimension) DynRankView ConstructWithLabel(badVals, numFields, numPoints, 2); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_GRAD), nthrow, ncatch ); } { // exception #16: incorrect 2nd dimension of output array (must equal D2 cardinality in 1D) DynRankView ConstructWithLabel(badVals, numFields, numPoints, 40); INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_D2), nthrow, ncatch ); // exception #17: incorrect 2nd dimension of output array (must equal D3 cardinality in 1D) INTREPID2_TEST_ERROR_EXPECTED( lineBasis.getValues(badVals, lineNodes, OPERATOR_D3), nthrow, ncatch ); } #endif // Check if number of thrown exceptions matches the one we expect if (nthrow != ncatch) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << "# of catch ("<< ncatch << ") is different from # of throw (" << ncatch << ")\n"; } } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; } *outStream << "\n" << "===============================================================================\n" << "| TEST 2: correctness of tag to enum and enum to tag lookups |\n" << "===============================================================================\n"; try{ Basis_HGRAD_LINE_C1_FEM<DeviceSpaceType> lineBasis; const auto numFields = lineBasis.getCardinality(); const auto allTags = lineBasis.getAllDofTags(); // Loop over all tags, lookup the associated dof enumeration and then lookup the tag again const auto dofTagSize = allTags.dimension(0); for (auto i=0;i<dofTagSize;++i) { const auto bfOrd = lineBasis.getDofOrdinal(allTags(i,0), allTags(i,1), allTags(i,2)); const auto myTag = lineBasis.getDofTag(bfOrd); if( !( (myTag(0) == allTags(i,0)) && (myTag(1) == allTags(i,1)) && (myTag(2) == allTags(i,2)) && (myTag(3) == allTags(i,3)) ) ) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofOrdinal( {" << allTags(i,0) << ", " << allTags(i,1) << ", " << allTags(i,2) << ", " << allTags(i,3) << "}) = " << bfOrd <<" but \n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "}\n"; } } // Now do the same but loop over basis functions for(auto bfOrd=0;bfOrd<numFields;++bfOrd) { const auto myTag = lineBasis.getDofTag(bfOrd); const auto myBfOrd = lineBasis.getDofOrdinal(myTag(0), myTag(1), myTag(2)); if( bfOrd != myBfOrd) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; *outStream << " getDofTag(" << bfOrd << ") = { " << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} but getDofOrdinal({" << myTag(0) << ", " << myTag(1) << ", " << myTag(2) << ", " << myTag(3) << "} ) = " << myBfOrd << "\n"; } } } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; } *outStream \ << "\n" << "===============================================================================\n" \ << "| TEST 3: correctness of basis function values |\n" \ << "===============================================================================\n"; outStream->precision(20); try{ // VALUE: Each row gives the 2 correct basis set values at an evaluation point const value_type basisValues[][2] = { { 1.0, 0.0 }, { 0.0, 1.0 }, { 0.5, 0.5 }, { 0.25, 0.75 } }; // GRAD, DIV, CURL and D1: each row gives the 2 correct values of the gradients of the 2 basis functions const value_type basisDerivs[][2][1] = { { {-0.5}, {0.5} }, { {-0.5}, {0.5} }, { {-0.5}, {0.5} }, { {-0.5}, {0.5} } }; Basis_HGRAD_LINE_C1_FEM<DeviceSpaceType> lineBasis; // Define array containing the 2 vertices of the reference Line, its center and another point DynRankView ConstructWithLabel(lineNodes, 4, 1); lineNodes(0,0) = -1.0; lineNodes(1,0) = 1.0; lineNodes(2,0) = 0.0; lineNodes(3,0) = 0.5; // Generic array for the output values; needs to be properly resized depending on the operator type const auto numFields = lineBasis.getCardinality(); const auto numPoints = lineNodes.dimension(0); const auto spaceDim = lineBasis.getBaseCellTopology().getDimension(); const auto workSize = numFields*numPoints*spaceDim; DynRankView ConstructWithLabel(work, workSize); // Check VALUE of basis functions: resize vals to rank-2 container: { DynRankView vals = DynRankView(work.data(), numFields, numPoints); lineBasis.getValues(vals, lineNodes, OPERATOR_VALUE); for (auto i=0;i<numFields;++i) for (auto j=0;j<numPoints;++j) if (std::abs(vals(i,j) - basisValues[j][i]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " "; *outStream << "} computed value: " << vals(i,j) << " but reference value: " << basisValues[j][i] << "\n"; } } // Check derivatives of basis function: resize vals to rank-3 container { DynRankView vals = DynRankView(work.data(), numFields, numPoints, spaceDim); const EOperator ops[] = { OPERATOR_GRAD, OPERATOR_DIV, OPERATOR_CURL, OPERATOR_D1, OPERATOR_MAX }; for (auto h=0;ops[h]!=OPERATOR_MAX;++h) { const auto op = ops[h]; lineBasis.getValues(vals, lineNodes, op); for (auto i=0;i<numFields;++i) for (auto j=0;j<numPoints;++j) for (auto k=0;k<spaceDim;++k) if (std::abs(vals(i,j,k) - basisDerivs[j][i][k]) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Output the multi-index of the value where the error is: *outStream << " At multi-index { "; *outStream << i << " ";*outStream << j << " ";*outStream << k << " "; *outStream << "} computed grad component: " << vals(i,j,k) << " but reference grad component: " << basisDerivs[j][i][k] << "\n"; } } } // Check all higher derivatives - must be zero. { const EOperator ops[] = { OPERATOR_D2, OPERATOR_D3, OPERATOR_D4, OPERATOR_D5, OPERATOR_D6, OPERATOR_D7, OPERATOR_D8, OPERATOR_D9, OPERATOR_D10, OPERATOR_MAX }; for (auto h=0;ops[h]!=OPERATOR_MAX;++h) { const auto op = ops[h]; const auto DkCardin = getDkCardinality(op, spaceDim); DynRankView vals = DynRankView(work.data(), numFields, numPoints, DkCardin); lineBasis.getValues(vals, lineNodes, op); for (auto i1=0;i1<numFields;++i1) for (auto i2=0;i2<numPoints;++i2) for (auto i3=0;i3<DkCardin;++i3) if (std::abs(vals(i1,i2,i3)) > tol) { errorFlag++; *outStream << std::setw(70) << "^^^^----FAILURE!" << "\n"; // Get the multi-index of the value where the error is and the operator order const auto ord = Intrepid2::getOperatorOrder(op); *outStream << " At multi-index { "<<i1<<" "<<i2 <<" "<<i3; *outStream << "} computed D"<< ord <<" component: " << vals(i1,i2,i3) << " but reference D" << ord << " component: 0 \n"; } } } } catch (std::logic_error err) { *outStream << "UNEXPECTED ERROR !!! ----------------------------------------------------------\n"; *outStream << err.what() << '\n'; *outStream << "-------------------------------------------------------------------------------" << "\n\n"; errorFlag = -1000; }; if (errorFlag != 0) std::cout << "End Result: TEST FAILED\n"; else std::cout << "End Result: TEST PASSED\n"; // reset format state of std::cout std::cout.copyfmt(oldFormatState); return errorFlag; }