15#ifndef dealii_fe_point_evaluation_h
16#define dealii_fe_point_evaluation_h
47 <<
"You are requesting information from an FEPointEvaluationBase "
48 <<
"object for which this kind of information has not been computed. "
49 <<
"What information these objects compute is determined by the update_* "
50 <<
"flags you pass to MappingInfo() in the Constructor. Here, "
51 <<
"the operation you are attempting requires the <" << arg1
52 <<
"> flag to be set, but it was apparently not specified "
53 <<
"upon initialization.");
63 typename Enable =
void>
69 typename ::internal::VectorizedArrayTrait<
78 n_components == spacedim,
90 const unsigned int component,
94 result[component] = vector_entry;
108 for (
unsigned int c = 0; c < n_components; ++c)
109 result_scalar[c] = result[c].sum();
111 return result_scalar;
119 return result[component].
sum();
124 const unsigned int vector_lane,
127 for (
unsigned int i = 0; i < n_components; ++i)
128 for (
unsigned int d = 0; d < dim; ++d)
131 value[d][i], vector_lane);
136 const unsigned int vector_lane,
139 for (
unsigned int i = 0; i < n_components; ++i)
140 for (
unsigned int d = 0; d < dim; ++d)
142 value[d][i], vector_lane) = result[i][d];
147 const unsigned int vector_lane,
150 for (
unsigned int i = 0; i < n_components; ++i)
151 for (
unsigned int d = 0; d < dim; ++d)
153 value[d][i], vector_lane) = result[i][d];
158 const unsigned int vector_lane)
160 for (
unsigned int i = 0; i < n_components; ++i)
161 for (
unsigned int d = 0; d < spacedim; ++d)
168 const unsigned int vector_lane,
171 for (
unsigned int i = 0; i < n_components; ++i)
172 result[i] =
value[i][vector_lane];
185 const unsigned int vector_lane,
188 for (
unsigned int i = 0; i < n_components; ++i)
189 value[i][vector_lane] = result[i];
203 for (
unsigned int i = 0; i < n_components; ++i)
210 const unsigned int vector_lane,
211 const unsigned int component,
215 vector_lane) += shape_value;
220 const unsigned int vector_lane,
221 const unsigned int component)
229 const unsigned int vector_lane,
230 const unsigned int component,
233 for (
unsigned int d = 0; d < spacedim; ++d)
241 const unsigned int vector_lane,
242 const unsigned int component)
245 for (
unsigned int d = 0; d < spacedim; ++d)
253 template <
int dim,
int spacedim,
typename Number>
259 typename ::internal::VectorizedArrayTrait<
276 result = vector_entry;
299 const unsigned int vector_lane,
302 for (
unsigned int d = 0; d < dim; ++d)
303 result[d] =
value[d][vector_lane];
316 const unsigned int vector_lane,
319 for (
unsigned int d = 0; d < dim; ++d)
320 value[d][vector_lane] = result[d];
333 const unsigned int vector_lane)
335 for (
unsigned int d = 0; d < spacedim; ++d)
342 const unsigned int vector_lane,
345 result =
value[vector_lane];
358 const unsigned int vector_lane,
361 value[vector_lane] = result;
380 const unsigned int vector_lane,
390 const unsigned int vector_lane,
398 const unsigned int vector_lane,
402 for (
unsigned int d = 0; d < spacedim; ++d)
409 const unsigned int vector_lane,
413 for (
unsigned int d = 0; d < spacedim; ++d)
420 template <
int dim,
typename Number>
425 std::enable_if_t<dim != 1>>
430 typename ::internal::VectorizedArrayTrait<
444 const unsigned int component,
448 result[component] = vector_entry;
462 for (
unsigned int c = 0; c < dim; ++c)
463 result_scalar[c] = result[c].sum();
465 return result_scalar;
473 return result[component].
sum();
478 const unsigned int vector_lane,
481 for (
unsigned int i = 0; i < dim; ++i)
482 for (
unsigned int d = 0; d < dim; ++d)
485 value[d][i], vector_lane);
490 const unsigned int vector_lane,
493 for (
unsigned int i = 0; i < dim; ++i)
494 for (
unsigned int d = 0; d < dim; ++d)
496 value[d][i], vector_lane) = result[i][d];
501 const unsigned int vector_lane)
503 for (
unsigned int i = 0; i < dim; ++i)
504 for (
unsigned int d = 0; d < dim; ++d)
511 const unsigned int vector_lane,
514 for (
unsigned int i = 0; i < dim; ++i)
515 result[i] =
value[i][vector_lane];
528 const unsigned int vector_lane,
531 for (
unsigned int i = 0; i < dim; ++i)
532 value[i][vector_lane] = result[i];
546 for (
unsigned int i = 0; i < dim; ++i)
553 const unsigned int vector_lane,
554 const unsigned int component,
558 vector_lane) += shape_value;
563 const unsigned int vector_lane,
564 const unsigned int component)
572 const unsigned int vector_lane,
573 const unsigned int component,
576 for (
unsigned int d = 0; d < dim; ++d)
584 const unsigned int vector_lane,
585 const unsigned int component)
588 for (
unsigned int d = 0; d < dim; ++d)
596 template <
int dim,
int spacedim>
599 const unsigned int base_element_number);
601 template <
int dim,
int spacedim>
605 template <
int dim,
int spacedim>
606 std::vector<Polynomials::Polynomial<double>>
619template <
int n_components_,
622 typename Number =
double>
635 using ETT =
typename internal::FEPointEvaluation::
636 EvaluatorTypeTraits<dim, spacedim, n_components, Number>;
642 typename ETT::interface_vectorized_unit_gradient_type;
666 const unsigned int first_selected_component = 0);
690 const unsigned int first_selected_component = 0,
771 JxW(
const unsigned int point_index)
const;
837 setup(
const unsigned int first_selected_component);
844 template <
bool is_face,
bool is_linear>
877 std::vector<Polynomials::Polynomial<double>>
poly;
1013 std::unique_ptr<NonMatching::MappingInfo<dim, spacedim, Number>>
1092template <
int n_components_,
1095 typename Number =
double>
1109 using ETT =
typename internal::FEPointEvaluation::
1110 EvaluatorTypeTraits<dim, spacedim, n_components, Number>;
1117 typename ETT::interface_vectorized_unit_gradient_type;
1140 const unsigned int first_selected_component = 0);
1161 const unsigned int first_selected_component = 0);
1204 template <std::
size_t str
ide_view>
1247 template <std::
size_t str
ide_view>
1251 const bool sum_into_values =
false);
1278 const bool sum_into_values =
false);
1306 template <std::
size_t str
ide_view>
1311 const bool sum_into_values =
false);
1342 const bool sum_into_values =
false);
1364 template <
bool is_linear, std::
size_t str
ide_view>
1373 template <
bool is_linear, std::
size_t str
ide_view>
1378 const unsigned int n_shapes,
1379 const unsigned int qb,
1386 template <
bool is_linear, std::
size_t str
ide_view>
1395 template <std::
size_t str
ide_view>
1406 template <
bool is_linear>
1410 const unsigned int n_shapes,
1411 const unsigned int qb,
1421 template <
bool is_linear, std::
size_t str
ide_view>
1426 const bool sum_into_values);
1431 template <
bool do_JxW,
bool is_linear, std::
size_t str
ide_view>
1436 const bool sum_into_values);
1441 template <
bool do_JxW, std::
size_t str
ide_view>
1446 const bool sum_into_values);
1451 template <
bool do_JxW, std::
size_t str
ide_view>
1456 const bool sum_into_values);
1478template <
int n_components_,
1481 typename Number =
double>
1495 using ETT =
typename internal::FEPointEvaluation::
1496 EvaluatorTypeTraits<dim, spacedim, n_components, Number>;
1503 typename ETT::interface_vectorized_unit_gradient_type;
1512 const unsigned int first_selected_component = 0);
1526 reinit(
const unsigned int face_index);
1539 template <std::
size_t str
ide_view>
1582 template <std::
size_t str
ide_view>
1586 const bool sum_into_values =
false);
1613 const bool sum_into_values =
false);
1637 template <std::
size_t str
ide_view>
1642 const bool sum_into_values =
false);
1669 const bool sum_into_values =
false);
1677 template <
int str
ide_face_dof = VectorizedArrayType::size()>
1688 template <
int str
ide_face_dof = VectorizedArrayType::size()>
1692 const bool sum_into_values =
false);
1710 template <
bool is_linear, std::
size_t str
ide_view>
1716 template <
bool do_JxW,
bool is_linear, std::
size_t str
ide_view>
1721 const bool sum_into_values);
1727 template <
bool is_linear,
int str
ide_face_dof>
1736 template <
bool do_JxW,
bool is_linear,
int str
ide_face_dof>
1741 const bool sum_into_values);
1749template <
int n_components_,
int dim,
int spacedim,
typename Number>
1754 const unsigned int first_selected_component)
1755 : n_q_batches(
numbers::invalid_unsigned_int)
1756 , n_q_points(
numbers::invalid_unsigned_int)
1757 , n_q_points_scalar(
numbers::invalid_unsigned_int)
1761 , update_flags(update_flags)
1762 , mapping_info_on_the_fly(
1763 std::make_unique<
NonMatching::MappingInfo<dim, spacedim, Number>>(
1766 , mapping_info(mapping_info_on_the_fly.get())
1767 , current_cell_index(
numbers::invalid_unsigned_int)
1768 , current_face_number(
numbers::invalid_unsigned_int)
1769 , must_reinitialize_pointers(false)
1772 setup(first_selected_component);
1777template <
int n_components_,
int dim,
int spacedim,
typename Number>
1782 const unsigned int first_selected_component,
1783 const bool is_interior)
1784 : n_q_batches(
numbers::invalid_unsigned_int)
1785 , n_q_points(
numbers::invalid_unsigned_int)
1786 , n_q_points_scalar(
numbers::invalid_unsigned_int)
1787 , mapping(&mapping_info.get_mapping())
1790 , update_flags(mapping_info.get_update_flags())
1791 , mapping_info(&mapping_info)
1792 , current_cell_index(
numbers::invalid_unsigned_int)
1793 , current_face_number(
numbers::invalid_unsigned_int)
1794 , must_reinitialize_pointers(true)
1795 , is_interior(is_interior)
1797 setup(first_selected_component);
1802template <
int n_components_,
int dim,
int spacedim,
typename Number>
1806 : n_q_batches(other.n_q_batches)
1807 , n_q_points(other.n_q_points)
1808 , n_q_points_scalar(other.n_q_points_scalar)
1809 , mapping(other.mapping)
1812 , use_linear_path(other.use_linear_path)
1813 , renumber(other.renumber)
1814 , solution_renumbered(other.solution_renumbered)
1815 , solution_renumbered_vectorized(other.solution_renumbered_vectorized)
1816 , values(other.values)
1817 , gradients(other.gradients)
1818 , dofs_per_component(other.dofs_per_component)
1819 , dofs_per_component_face(other.dofs_per_component_face)
1820 , component_in_base_element(other.component_in_base_element)
1821 , nonzero_shape_function_component(other.nonzero_shape_function_component)
1822 , update_flags(other.update_flags)
1823 , fe_values(other.fe_values)
1824 , mapping_info_on_the_fly(
1825 other.mapping_info_on_the_fly ?
1830 , mapping_info(other.mapping_info)
1831 , current_cell_index(other.current_cell_index)
1832 , current_face_number(other.current_face_number)
1833 , fast_path(other.fast_path)
1834 , must_reinitialize_pointers(true)
1835 , is_interior(other.is_interior)
1840template <
int n_components_,
int dim,
int spacedim,
typename Number>
1843 : n_q_batches(other.n_q_batches)
1844 , n_q_points(other.n_q_points)
1845 , n_q_points_scalar(other.n_q_points_scalar)
1846 , mapping(other.mapping)
1849 , use_linear_path(other.use_linear_path)
1850 , renumber(other.renumber)
1851 , solution_renumbered(other.solution_renumbered)
1852 , solution_renumbered_vectorized(other.solution_renumbered_vectorized)
1853 , values(other.values)
1854 , gradients(other.gradients)
1855 , dofs_per_component(other.dofs_per_component)
1856 , dofs_per_component_face(other.dofs_per_component_face)
1857 , component_in_base_element(other.component_in_base_element)
1858 , nonzero_shape_function_component(other.nonzero_shape_function_component)
1859 , update_flags(other.update_flags)
1860 , fe_values(other.fe_values)
1861 , mapping_info_on_the_fly(std::move(other.mapping_info_on_the_fly))
1862 , mapping_info(other.mapping_info)
1863 , current_cell_index(other.current_cell_index)
1864 , current_face_number(other.current_face_number)
1865 , fast_path(other.fast_path)
1866 , must_reinitialize_pointers(other.must_reinitialize_pointers)
1867 , is_interior(other.is_interior)
1872template <
int n_components_,
int dim,
int spacedim,
typename Number>
1875 const unsigned int first_selected_component)
1878 fe->n_components() + 1);
1880 shapes.reserve(100);
1882 bool same_base_element =
true;
1883 unsigned int base_element_number = 0;
1884 component_in_base_element = 0;
1885 unsigned int component = 0;
1886 for (; base_element_number < fe->n_base_elements(); ++base_element_number)
1887 if (component + fe->element_multiplicity(base_element_number) >
1888 first_selected_component)
1890 if (first_selected_component + n_components >
1891 component + fe->element_multiplicity(base_element_number))
1892 same_base_element =
false;
1893 component_in_base_element = first_selected_component - component;
1897 component += fe->element_multiplicity(base_element_number);
1901 *fe, base_element_number) &&
1904 shape_info.reinit(
QMidpoint<1>(), *fe, base_element_number);
1905 renumber = shape_info.lexicographic_numbering;
1906 dofs_per_component = shape_info.dofs_per_component_on_cell;
1907 dofs_per_component_face = shape_info.dofs_per_component_on_face;
1909 fe->base_element(base_element_number));
1911 bool is_lexicographic =
true;
1912 for (
unsigned int i = 0; i < renumber.size(); ++i)
1913 if (i != renumber[i])
1914 is_lexicographic =
false;
1916 if (is_lexicographic)
1919 use_linear_path = (poly.size() == 2 && poly[0].value(0.) == 1. &&
1920 poly[0].value(1.) == 0. && poly[1].value(0.) == 0. &&
1921 poly[1].value(1.) == 1.) &&
1922 (fe->n_components() == n_components);
1924 const unsigned int size_face = 3 * dofs_per_component_face * n_components;
1925 const unsigned int size_cell = dofs_per_component * n_components;
1926 scratch_data_scalar.resize(size_face + size_cell);
1928 solution_renumbered.resize(dofs_per_component);
1929 solution_renumbered_vectorized.resize(dofs_per_component);
1935 nonzero_shape_function_component.resize(fe->n_dofs_per_cell());
1936 for (
unsigned int d = 0; d < n_components; ++d)
1938 const unsigned int component = first_selected_component + d;
1939 for (
unsigned int i = 0; i < fe->n_dofs_per_cell(); ++i)
1941 const bool is_primitive =
1942 fe->is_primitive() || fe->is_primitive(i);
1944 nonzero_shape_function_component[i][d] =
1945 (component == fe->system_to_component_index(i).first);
1947 nonzero_shape_function_component[i][d] =
1948 (fe->get_nonzero_components(i)[component] ==
true);
1958template <
int n_components_,
int dim,
int spacedim,
typename Number>
1959template <
bool is_face,
bool is_linear>
1963 const unsigned int geometry_index =
1964 mapping_info->template compute_geometry_index_offset<is_face>(
1965 current_cell_index, current_face_number);
1967 cell_type = mapping_info->get_cell_type(geometry_index);
1969 const_cast<unsigned int &
>(n_q_points_scalar) =
1970 mapping_info->get_n_q_points_unvectorized(geometry_index);
1973 const_cast<unsigned int &
>(n_q_batches) =
1974 (n_q_points_scalar + n_lanes_internal - 1) / n_lanes_internal;
1976 const unsigned int n_q_points_before = n_q_points;
1978 const_cast<unsigned int &
>(n_q_points) =
1979 (stride == 1) ? n_q_batches : n_q_points_scalar;
1981 if (n_q_points != n_q_points_before)
1984 values.resize(n_q_points);
1986 gradients.resize(n_q_points);
1989 if (n_q_points == 0)
1993 const unsigned int unit_point_offset =
1994 mapping_info->compute_unit_point_index_offset(geometry_index);
1997 unit_point_faces_ptr =
1998 mapping_info->get_unit_point_faces(unit_point_offset);
2000 unit_point_ptr = mapping_info->get_unit_point(unit_point_offset);
2003 const unsigned int data_offset =
2004 mapping_info->compute_data_index_offset(geometry_index);
2005 const unsigned int compressed_data_offset =
2006 mapping_info->compute_compressed_data_index_offset(geometry_index);
2009 mapping_info->get_update_flags_mapping();
2011 real_point_ptr = mapping_info->get_real_point(data_offset);
2014 mapping_info->get_jacobian(compressed_data_offset, is_interior);
2016 inverse_jacobian_ptr =
2017 mapping_info->get_inverse_jacobian(compressed_data_offset, is_interior);
2019 normal_ptr = mapping_info->get_normal_vector(data_offset);
2021 JxW_ptr = mapping_info->get_JxW(data_offset);
2023 real_point_ptr = mapping_info->get_real_point(data_offset);
2025 mapping_info->get_jacobian(compressed_data_offset, is_interior);
2026 inverse_jacobian_ptr =
2027 mapping_info->get_inverse_jacobian(compressed_data_offset, is_interior);
2028 normal_ptr = mapping_info->get_normal_vector(data_offset);
2029 JxW_ptr = mapping_info->get_JxW(data_offset);
2032 if (!is_linear && fast_path)
2034 const std::size_t n_shapes = poly.size();
2036 shapes_faces.resize_fast(n_q_batches * n_shapes);
2038 shapes.resize_fast(n_q_batches * n_shapes);
2040 for (
unsigned int qb = 0; qb < n_q_batches; ++qb)
2046 shapes_faces.data() + qb * n_shapes,
2048 unit_point_faces_ptr[qb],
2061 else if (qb + 1 < n_q_batches)
2066 shapes.data() + qb * n_shapes,
2069 unit_point_ptr[qb + 1]);
2085template <
int n_components_,
int dim,
int spacedim,
typename Number>
2089 Number>::value_type &
2091 const unsigned int point_index)
const
2094 return values[point_index];
2099template <
int n_components_,
int dim,
int spacedim,
typename Number>
2103 Number>::gradient_type &
2105 const unsigned int point_index)
const
2108 return gradients[point_index];
2113template <
int n_components_,
int dim,
int spacedim,
typename Number>
2117 const unsigned int point_index)
2120 values[point_index] = value;
2125template <
int n_components_,
int dim,
int spacedim,
typename Number>
2129 const unsigned int point_index)
2132 gradients[point_index] = gradient;
2137template <
int n_components_,
int dim,
int spacedim,
typename Number>
2140 const unsigned int point_index)
const
2143 Assert(jacobian_ptr !=
nullptr,
2145 ExcFEPointEvaluationAccessToUninitializedMappingField(
2146 "update_jacobians"));
2147 return jacobian_ptr[cell_type <= ::internal::MatrixFreeFunctions::
2148 GeometryType::affine ?
2155template <
int n_components_,
int dim,
int spacedim,
typename Number>
2158 const unsigned int point_index)
const
2161 Assert(inverse_jacobian_ptr !=
nullptr,
2163 ExcFEPointEvaluationAccessToUninitializedMappingField(
2164 "update_inverse_jacobians"));
2165 return inverse_jacobian_ptr
2174template <
int n_components_,
int dim,
int spacedim,
typename Number>
2177 const unsigned int point_index)
const
2180 Assert(JxW_ptr !=
nullptr,
2182 ExcFEPointEvaluationAccessToUninitializedMappingField(
2183 "update_JxW_values"));
2184 return JxW_ptr[point_index];
2189template <
int n_components_,
int dim,
int spacedim,
typename Number>
2192 const unsigned int point_index)
const
2194 return quadrature_point(point_index);
2200template <
int n_components_,
int dim,
int spacedim,
typename Number>
2203 const unsigned int point_index)
const
2206 Assert(real_point_ptr !=
nullptr,
2208 ExcFEPointEvaluationAccessToUninitializedMappingField(
2209 "update_quadrature_points"));
2210 return real_point_ptr[point_index];
2215template <
int n_components_,
int dim,
int spacedim,
typename Number>
2218 const unsigned int point_index)
const
2221 Assert(unit_point_ptr !=
nullptr,
ExcMessage(
"unit_point_ptr is not set!"));
2223 for (
unsigned int d = 0; d < dim; ++d)
2225 unit_point_ptr[point_index / stride][d], point_index % stride);
2231template <
int n_components_,
int dim,
int spacedim,
typename Number>
2236 return {0U, n_q_points};
2241template <
int n_components_,
int dim,
int spacedim,
typename Number>
2245 const unsigned int first_selected_component)
2249 first_selected_component)
2254template <
int n_components_,
int dim,
int spacedim,
typename Number>
2259 const unsigned int first_selected_component)
2264 first_selected_component)
2269template <
int n_components_,
int dim,
int spacedim,
typename Number>
2276 if (this->use_linear_path)
2277 this->
template do_reinit<false, true>();
2279 this->
template do_reinit<false, false>();
2284template <
int n_components_,
int dim,
int spacedim,
typename Number>
2291 AssertThrow(this->mapping_info_on_the_fly.get() !=
nullptr,
2294 this->mapping_info->reinit(cell, unit_points);
2295 this->must_reinitialize_pointers =
false;
2297 if (!this->fast_path)
2299 this->fe_values = std::make_shared<FEValues<dim, spacedim>>(
2303 std::vector<
Point<dim>>(unit_points.begin(), unit_points.end())),
2304 this->update_flags);
2305 this->fe_values->reinit(cell);
2308 if (this->use_linear_path)
2309 this->
template do_reinit<false, true>();
2311 this->
template do_reinit<false, false>();
2316template <
int n_components_,
int dim,
int spacedim,
typename Number>
2323 this->must_reinitialize_pointers =
false;
2325 if (this->use_linear_path)
2326 this->
template do_reinit<false, true>();
2328 this->
template do_reinit<false, false>();
2330 if (!this->fast_path)
2332 std::vector<Point<dim>> unit_points(this->n_q_points_scalar);
2334 for (
unsigned int v = 0; v < this->n_q_points_scalar; ++v)
2335 for (
unsigned int d = 0; d < dim; ++d)
2337 this->unit_point_ptr[v / n_lanes_internal][d][v % n_lanes_internal];
2339 this->fe_values = std::make_shared<FEValues<dim, spacedim>>(
2343 std::vector<
Point<dim>>(unit_points.begin(), unit_points.end())),
2344 this->update_flags);
2346 this->fe_values->reinit(
2347 this->mapping_info->get_cell_iterator(this->current_cell_index));
2353template <
int n_components_,
int dim,
int spacedim,
typename Number>
2354template <std::
size_t str
ide_view>
2360 if (this->must_reinitialize_pointers)
2363 if (this->n_q_points == 0)
2373 if (this->fast_path)
2375 if (this->use_linear_path)
2376 evaluate_fast<true>(solution_values, evaluation_flags);
2378 evaluate_fast<false>(solution_values, evaluation_flags);
2381 evaluate_slow(solution_values, evaluation_flags);
2386template <
int n_components_,
int dim,
int spacedim,
typename Number>
2393 solution_values.
size()),
2399template <
int n_components_,
int dim,
int spacedim,
typename Number>
2400template <std::
size_t str
ide_view>
2405 const bool sum_into_values)
2407 do_integrate<true>(solution_values, integration_flags, sum_into_values);
2412template <
int n_components_,
int dim,
int spacedim,
typename Number>
2417 const bool sum_into_values)
2420 solution_values.
size()),
2427template <
int n_components_,
int dim,
int spacedim,
typename Number>
2435 for (
const auto point_index : this->quadrature_point_indices())
2436 return_value += values[point_index] * this->JxW(point_index);
2438 return ETT::sum_value(return_value);
2443template <
int n_components_,
int dim,
int spacedim,
typename Number>
2450 "Calling this function only makes sense in fully vectorized mode."));
2451 if (q == n_q_batches - 1)
2453 const unsigned int n_filled_lanes =
2454 n_q_points_scalar & (n_lanes_user_interface - 1);
2455 if (n_filled_lanes == 0)
2456 return n_lanes_user_interface;
2458 return n_filled_lanes;
2461 return n_lanes_user_interface;
2466template <
int n_components_,
int dim,
int spacedim,
typename Number>
2467template <std::
size_t str
ide_view>
2472 const bool sum_into_values)
2474 do_integrate<false>(solution_values, integration_flags, sum_into_values);
2479template <
int n_components_,
int dim,
int spacedim,
typename Number>
2484 const bool sum_into_values)
2487 solution_values.
size()),
2494template <
int n_components_,
int dim,
int spacedim,
typename Number>
2495template <
bool is_linear, std::
size_t str
ide_view>
2500 const unsigned int dofs_per_comp =
2503 for (
unsigned int comp = 0; comp < n_components; ++comp)
2505 const std::size_t offset =
2506 (this->component_in_base_element + comp) * dofs_per_comp;
2508 if ((is_linear && n_components == 1) || this->renumber.empty())
2510 for (
unsigned int i = 0; i < dofs_per_comp; ++i)
2511 ETT::read_value(solution_values[i + offset],
2513 this->solution_renumbered[i]);
2517 const unsigned int *renumber_ptr = this->renumber.data() + offset;
2518 for (
unsigned int i = 0; i < dofs_per_comp; ++i)
2519 ETT::read_value(solution_values[renumber_ptr[i]],
2521 this->solution_renumbered[i]);
2528template <
int n_components_,
int dim,
int spacedim,
typename Number>
2529template <
bool is_linear, std::
size_t str
ide_view>
2534 const unsigned int n_shapes,
2535 const unsigned int qb,
2541 std::array<vectorized_value_type, dim + 1> result;
2542 if constexpr (is_linear)
2544 if constexpr (n_components == 1)
2551 stride_view>(solution_values.
data(), this->unit_point_ptr[qb]);
2555 this->solution_renumbered.data(), this->unit_point_ptr[qb]);
2563 false>(this->shapes.data() + qb * n_shapes,
2565 this->solution_renumbered.data());
2566 gradient[0] = result[0];
2568 gradient[1] = result[1];
2570 gradient[2] = result[2];
2571 value = result[dim];
2575 if constexpr (is_linear)
2577 if constexpr (n_components == 1)
2582 stride_view>(solution_values.
data(), this->unit_point_ptr[qb]);
2585 this->solution_renumbered.data(), this->unit_point_ptr[qb]);
2593 this->shapes.data() + qb * n_shapes,
2595 this->solution_renumbered.data());
2601template <
int n_components_,
int dim,
int spacedim,
typename Number>
2602template <
bool is_linear, std::
size_t str
ide_view>
2608 if (!(is_linear && n_components == 1))
2609 prepare_evaluate_fast<is_linear>(solution_values);
2612 const unsigned int n_shapes = is_linear ? 2 : this->poly.size();
2614 for (
unsigned int qb = 0; qb < this->n_q_batches; ++qb)
2619 compute_evaluate_fast<is_linear>(
2620 solution_values, evaluation_flags, n_shapes, qb, value, gradient);
2624 for (
unsigned int v = 0, offset = qb * stride;
2625 v < stride && (stride == 1 || offset < this->n_q_points_scalar);
2627 ETT::set_value(value, v, this->values[offset]);
2635 for (
unsigned int v = 0, offset = qb * stride;
2636 v < stride && (stride == 1 || offset < this->n_q_points_scalar);
2640 ETT::set_gradient(gradient, v, unit_gradient);
2641 this->gradients[offset] =
2645 this->inverse_jacobian_ptr[0].
transpose(), unit_gradient) :
2648 ->inverse_jacobian_ptr[this->cell_type <=
2650 GeometryType::affine ?
2662template <
int n_components_,
int dim,
int spacedim,
typename Number>
2663template <std::
size_t str
ide_view>
2670 Assert(this->fe_values.get() !=
nullptr,
2672 "Not initialized. Please call FEPointEvaluation::reinit()!"));
2674 const std::size_t n_points = this->fe_values->get_quadrature().size();
2678 this->values.resize(this->n_q_points);
2679 std::fill(this->values.begin(), this->values.end(),
value_type());
2680 for (
unsigned int i = 0; i < this->fe->n_dofs_per_cell(); ++i)
2683 for (
unsigned int d = 0; d < n_components; ++d)
2684 if (this->nonzero_shape_function_component[i][d] &&
2685 (this->fe->is_primitive(i) || this->fe->is_primitive()))
2686 for (
unsigned int qb = 0, q = 0; q < n_points;
2687 ++qb, q += n_lanes_user_interface)
2688 for (
unsigned int v = 0;
2689 v < n_lanes_user_interface && q + v < n_points;
2691 ETT::access(this->values[qb],
2694 this->fe_values->shape_value(i, q + v) * value);
2695 else if (this->nonzero_shape_function_component[i][d])
2696 for (
unsigned int qb = 0, q = 0; q < n_points;
2697 ++qb, q += n_lanes_user_interface)
2698 for (
unsigned int v = 0;
2699 v < n_lanes_user_interface && q + v < n_points;
2701 ETT::access(this->values[qb],
2704 this->fe_values->shape_value_component(i,
2713 this->gradients.resize(this->n_q_points);
2714 std::fill(this->gradients.begin(),
2715 this->gradients.end(),
2717 for (
unsigned int i = 0; i < this->fe->n_dofs_per_cell(); ++i)
2720 for (
unsigned int d = 0; d < n_components; ++d)
2721 if (this->nonzero_shape_function_component[i][d] &&
2722 (this->fe->is_primitive(i) || this->fe->is_primitive()))
2723 for (
unsigned int qb = 0, q = 0; q < n_points;
2724 ++qb, q += n_lanes_user_interface)
2725 for (
unsigned int v = 0;
2726 v < n_lanes_user_interface && q + v < n_points;
2728 ETT::access(this->gradients[qb],
2731 this->fe_values->shape_grad(i, q + v) * value);
2732 else if (this->nonzero_shape_function_component[i][d])
2733 for (
unsigned int qb = 0, q = 0; q < n_points;
2734 ++qb, q += n_lanes_user_interface)
2735 for (
unsigned int v = 0;
2736 v < n_lanes_user_interface && q + v < n_points;
2739 this->gradients[qb],
2742 this->fe_values->shape_grad_component(i, q + v, d) * value);
2749template <
int n_components_,
int dim,
int spacedim,
typename Number>
2750template <
bool is_linear>
2754 const unsigned int n_shapes,
2755 const unsigned int qb,
2770 solution_values_vectorized_linear :
2771 this->solution_renumbered_vectorized.data(),
2772 this->unit_point_ptr[qb],
2779 this->shapes.data() + qb * n_shapes,
2782 is_linear ? solution_values_vectorized_linear :
2783 this->solution_renumbered_vectorized.data(),
2784 this->unit_point_ptr[qb],
2790template <
int n_components_,
int dim,
int spacedim,
typename Number>
2791template <
bool is_linear, std::
size_t str
ide_view>
2796 const bool sum_into_values)
2798 if (!sum_into_values && this->fe->n_components() > n_components)
2799 for (
unsigned int i = 0; i < solution_values.
size(); ++i)
2800 solution_values[i] = 0;
2802 const unsigned int dofs_per_comp =
2805 for (
unsigned int comp = 0; comp < n_components; ++comp)
2807 const std::size_t offset =
2808 (this->component_in_base_element + comp) * dofs_per_comp;
2810 if (is_linear || this->renumber.empty())
2812 for (
unsigned int i = 0; i < dofs_per_comp; ++i)
2813 if (sum_into_values)
2814 solution_values[i + offset] +=
2815 ETT::sum_value(comp,
2817 *(solution_values_vectorized_linear + i) :
2818 this->solution_renumbered_vectorized[i]);
2820 solution_values[i + offset] =
2821 ETT::sum_value(comp,
2823 *(solution_values_vectorized_linear + i) :
2824 this->solution_renumbered_vectorized[i]);
2828 const unsigned int *renumber_ptr = this->renumber.
data() + offset;
2829 for (
unsigned int i = 0; i < dofs_per_comp; ++i)
2830 if (sum_into_values)
2831 solution_values[renumber_ptr[i]] +=
2832 ETT::sum_value(comp, this->solution_renumbered_vectorized[i]);
2834 solution_values[renumber_ptr[i]] =
2835 ETT::sum_value(comp, this->solution_renumbered_vectorized[i]);
2842template <
int n_components_,
int dim,
int spacedim,
typename Number>
2843template <
bool do_JxW,
bool is_linear, std::
size_t str
ide_view>
2848 const bool sum_into_values)
2851 if constexpr (stride == 1)
2852 if (
const unsigned int n_filled_lanes =
2853 this->n_q_points_scalar & (n_lanes_internal - 1);
2857 for (
unsigned int v = n_filled_lanes; v < n_lanes_internal; ++v)
2858 ETT::set_zero_value(this->values.back(), v);
2860 for (
unsigned int v = n_filled_lanes; v < n_lanes_internal; ++v)
2861 ETT::set_zero_gradient(this->gradients.back(), v);
2865 solution_values_vectorized_linear = {};
2868 const unsigned int n_shapes = is_linear ? 2 : this->poly.size();
2870 const bool cartesian_cell =
2872 const bool affine_cell =
2874 for (
unsigned int qb = 0; qb < this->n_q_batches; ++qb)
2880 for (
unsigned int v = 0, offset = qb * stride;
2881 v < stride && (stride == 1 || offset < this->n_q_points_scalar);
2883 ETT::get_value(value,
2885 do_JxW ? this->values[offset] * this->JxW_ptr[offset] :
2886 this->values[offset]);
2889 for (
unsigned int v = 0, offset = qb * stride;
2890 v < stride && (stride == 1 || offset < this->n_q_points_scalar);
2894 do_JxW ? this->gradients[offset] * this->JxW_ptr[offset] :
2895 this->gradients[offset];
2903 this->inverse_jacobian_ptr[affine_cell ? 0 : offset],
2907 compute_integrate_fast<is_linear>(
2913 solution_values_vectorized_linear.data());
2917 finish_integrate_fast<is_linear>(solution_values,
2918 solution_values_vectorized_linear.
data(),
2924template <
int n_components_,
int dim,
int spacedim,
typename Number>
2925template <
bool do_JxW, std::
size_t str
ide_view>
2930 const bool sum_into_values)
2933 Assert(this->fe_values.get() !=
nullptr,
2935 "Not initialized. Please call FEPointEvaluation::reinit()!"));
2936 if (!sum_into_values)
2937 for (
unsigned int i = 0; i < solution_values.
size(); ++i)
2938 solution_values[i] = 0;
2940 const std::size_t n_points = this->fe_values->get_quadrature().
size();
2945 for (
unsigned int i = 0; i < this->fe->n_dofs_per_cell(); ++i)
2947 for (
unsigned int d = 0; d < n_components; ++d)
2948 if (this->nonzero_shape_function_component[i][d] &&
2949 (this->fe->is_primitive(i) || this->fe->is_primitive()))
2950 for (
unsigned int qb = 0, q = 0; q < n_points;
2951 ++qb, q += n_lanes_user_interface)
2952 for (
unsigned int v = 0;
2953 v < n_lanes_user_interface && q + v < n_points;
2955 solution_values[i] +=
2956 this->fe_values->shape_value(i, q + v) *
2957 ETT::access(this->values[qb], v, d) *
2958 (do_JxW ? this->fe_values->JxW(q + v) : 1.);
2959 else if (this->nonzero_shape_function_component[i][d])
2960 for (
unsigned int qb = 0, q = 0; q < n_points;
2961 ++qb, q += n_lanes_user_interface)
2962 for (
unsigned int v = 0;
2963 v < n_lanes_user_interface && q + v < n_points;
2965 solution_values[i] +=
2966 this->fe_values->shape_value_component(i, q + v, d) *
2967 ETT::access(this->values[qb], v, d) *
2968 (do_JxW ? this->fe_values->JxW(q + v) : 1.);
2975 for (
unsigned int i = 0; i < this->fe->n_dofs_per_cell(); ++i)
2977 for (
unsigned int d = 0; d < n_components; ++d)
2978 if (this->nonzero_shape_function_component[i][d] &&
2979 (this->fe->is_primitive(i) || this->fe->is_primitive()))
2980 for (
unsigned int qb = 0, q = 0; q < n_points;
2981 ++qb, q += n_lanes_user_interface)
2982 for (
unsigned int v = 0;
2983 v < n_lanes_user_interface && q + v < n_points;
2985 solution_values[i] +=
2986 this->fe_values->shape_grad(i, q + v) *
2987 ETT::access(this->gradients[qb], v, d) *
2988 (do_JxW ? this->fe_values->JxW(q + v) : 1.);
2989 else if (this->nonzero_shape_function_component[i][d])
2990 for (
unsigned int qb = 0, q = 0; q < n_points;
2991 ++qb, q += n_lanes_user_interface)
2992 for (
unsigned int v = 0;
2993 v < n_lanes_user_interface && q + v < n_points;
2995 solution_values[i] +=
2996 this->fe_values->shape_grad_component(i, q + v, d) *
2997 ETT::access(this->gradients[qb], v, d) *
2998 (do_JxW ? this->fe_values->JxW(q + v) : 1.);
3005template <
int n_components_,
int dim,
int spacedim,
typename Number>
3006template <
bool do_JxW, std::
size_t str
ide_view>
3011 const bool sum_into_values)
3013 if (this->must_reinitialize_pointers)
3018 if (this->n_q_points == 0 ||
3020 (integration_flags &
3023 if (!sum_into_values)
3024 for (
unsigned int i = 0; i < solution_values.
size(); ++i)
3025 solution_values[i] = 0;
3030 !do_JxW || this->JxW_ptr !=
nullptr,
3032 "JxW pointer is not set! If you do not want to integrate() use test_and_sum()"));
3035 if (this->fast_path)
3037 if (this->use_linear_path)
3038 integrate_fast<do_JxW, true>(solution_values,
3042 integrate_fast<do_JxW, false>(solution_values,
3047 integrate_slow<do_JxW>(solution_values, integration_flags, sum_into_values);
3052template <
int n_components_,
int dim,
int spacedim,
typename Number>
3055 const unsigned int point_index)
const
3058 Assert(this->normal_ptr !=
nullptr,
3060 ExcFEPointEvaluationAccessToUninitializedMappingField(
3061 "update_normal_vectors"));
3062 if (this->is_interior)
3063 return this->normal_ptr[point_index];
3065 return -this->normal_ptr[point_index];
3070template <
int n_components_,
int dim,
int spacedim,
typename Number>
3075 const bool is_interior,
3076 const unsigned int first_selected_component)
3080 first_selected_component,
3086template <
int n_components_,
int dim,
int spacedim,
typename Number>
3090 const unsigned int face_number)
3093 this->current_face_number = face_number;
3094 this->must_reinitialize_pointers =
false;
3096 if (this->use_linear_path)
3097 this->
template do_reinit<true, true>();
3099 this->
template do_reinit<true, false>();
3104template <
int n_components_,
int dim,
int spacedim,
typename Number>
3107 const unsigned int face_index)
3109 this->current_cell_index = face_index;
3110 this->current_face_number =
3111 this->mapping_info->get_face_number(face_index, this->is_interior);
3112 this->must_reinitialize_pointers =
false;
3114 if (this->use_linear_path)
3115 this->
template do_reinit<true, true>();
3117 this->
template do_reinit<true, false>();
3122template <
int n_components_,
int dim,
int spacedim,
typename Number>
3123template <std::
size_t str
ide_view>
3129 Assert(!this->must_reinitialize_pointers,
3130 ExcMessage(
"Object has not been reinitialized!"));
3132 if (this->n_q_points == 0)
3143 if (this->use_linear_path)
3144 do_evaluate<true>(solution_values, evaluation_flags);
3146 do_evaluate<false>(solution_values, evaluation_flags);
3151template <
int n_components_,
int dim,
int spacedim,
typename Number>
3158 solution_values.
size()),
3164template <
int n_components_,
int dim,
int spacedim,
typename Number>
3165template <
bool is_linear, std::
size_t str
ide_view>
3171 const unsigned int dofs_per_comp =
3175 if (stride_view == 1 && this->component_in_base_element == 0 &&
3176 (is_linear || this->renumber.empty()))
3177 input = solution_values.
data();
3180 for (
unsigned int comp = 0; comp < n_components; ++comp)
3182 const std::size_t offset =
3183 (this->component_in_base_element + comp) * dofs_per_comp;
3185 if (is_linear || this->renumber.empty())
3187 for (
unsigned int i = 0; i < dofs_per_comp; ++i)
3188 this->scratch_data_scalar[i + comp * dofs_per_comp] =
3189 solution_values[i + offset];
3193 const unsigned int *renumber_ptr = this->renumber.
data() + offset;
3194 for (
unsigned int i = 0; i < dofs_per_comp; ++i)
3195 this->scratch_data_scalar[i + comp * dofs_per_comp] =
3196 solution_values[renumber_ptr[i]];
3199 input = this->scratch_data_scalar.
data();
3203 this->scratch_data_scalar.begin() + dofs_per_comp * n_components;
3206 template interpolate<true, false>(n_components,
3211 this->current_face_number);
3213 do_evaluate_in_face<is_linear, 1>(output, evaluation_flags);
3218template <
int n_components_,
int dim,
int spacedim,
typename Number>
3219template <std::
size_t str
ide_view>
3224 const bool sum_into_values)
3226 Assert(!this->must_reinitialize_pointers,
3227 ExcMessage(
"Object has not been reinitialized!"));
3231 if (this->n_q_points == 0 ||
3233 (integration_flags &
3236 if (!sum_into_values)
3237 for (
unsigned int i = 0; i < solution_values.
size(); ++i)
3238 solution_values[i] = 0;
3244 if (this->use_linear_path)
3245 do_integrate<true, true>(solution_values,
3249 do_integrate<true, false>(solution_values,
3256template <
int n_components_,
int dim,
int spacedim,
typename Number>
3261 const bool sum_into_values)
3264 solution_values.
size()),
3271template <
int n_components_,
int dim,
int spacedim,
typename Number>
3272template <std::
size_t str
ide_view>
3277 const bool sum_into_values)
3279 Assert(!this->must_reinitialize_pointers,
3280 ExcMessage(
"Object has not been reinitialized!"));
3284 if (this->n_q_points == 0 ||
3286 (integration_flags &
3289 if (!sum_into_values)
3290 for (
unsigned int i = 0; i < solution_values.
size(); ++i)
3291 solution_values[i] = 0;
3297 if (this->use_linear_path)
3298 do_integrate<false, true>(solution_values,
3302 do_integrate<false, false>(solution_values,
3309template <
int n_components_,
int dim,
int spacedim,
typename Number>
3314 const bool sum_into_values)
3317 solution_values.
size()),
3324template <
int n_components_,
int dim,
int spacedim,
typename Number>
3325template <
bool do_JxW,
bool is_linear, std::
size_t str
ide_view>
3330 const bool sum_into_values)
3332 if (!sum_into_values && this->fe->n_components() > n_components)
3333 for (
unsigned int i = 0; i < solution_values.
size(); ++i)
3334 solution_values[i] = 0;
3336 do_integrate_in_face<do_JxW, is_linear, 1>(this->scratch_data_scalar.begin(),
3340 ScalarNumber *input = this->scratch_data_scalar.begin();
3342 if (stride_view == 1 && this->component_in_base_element == 0 &&
3343 (is_linear || this->renumber.empty()))
3345 if (sum_into_values)
3347 FEFaceNormalEvaluationImpl<dim, is_linear ? 1 : -1,
ScalarNumber>::
3348 template interpolate<false, true>(n_components,
3352 solution_values.
data(),
3353 this->current_face_number);
3356 FEFaceNormalEvaluationImpl<dim, is_linear ? 1 : -1,
ScalarNumber>::
3357 template interpolate<false, false>(n_components,
3361 solution_values.
data(),
3362 this->current_face_number);
3366 const unsigned int dofs_per_comp_face =
3367 is_linear ?
Utilities::pow(2, dim - 1) : this->dofs_per_component_face;
3369 const unsigned int size_input = 3 * dofs_per_comp_face * n_components;
3373 FEFaceNormalEvaluationImpl<dim, is_linear ? 1 : -1,
ScalarNumber>::
3374 template interpolate<false, false>(n_components,
3379 this->current_face_number);
3381 const unsigned int dofs_per_comp =
3384 for (
unsigned int comp = 0; comp < n_components; ++comp)
3386 const std::size_t offset =
3387 (this->component_in_base_element + comp) * dofs_per_comp;
3389 if (is_linear || this->renumber.empty())
3391 for (
unsigned int i = 0; i < dofs_per_comp; ++i)
3392 if (sum_into_values)
3393 solution_values[i + offset] +=
3394 output[i + comp * dofs_per_comp];
3396 solution_values[i + offset] =
3397 output[i + comp * dofs_per_comp];
3401 const unsigned int *renumber_ptr = this->renumber.
data() + offset;
3402 for (
unsigned int i = 0; i < dofs_per_comp; ++i)
3403 if (sum_into_values)
3404 solution_values[renumber_ptr[i]] +=
3405 output[i + comp * dofs_per_comp];
3407 solution_values[renumber_ptr[i]] =
3408 output[i + comp * dofs_per_comp];
3416template <
int n_components_,
int dim,
int spacedim,
typename Number>
3417template <
int str
ide_face_dof>
3423 if (this->use_linear_path)
3424 do_evaluate_in_face<true, stride_face_dof>(face_dof_values,
3427 do_evaluate_in_face<false, stride_face_dof>(face_dof_values,
3433template <
int n_components_,
int dim,
int spacedim,
typename Number>
3434template <
bool is_linear,
int str
ide_face_dof>
3441 if constexpr (n_components == 1)
3442 face_dof_values_ptr = face_dof_values;
3445 const unsigned int dofs_per_comp_face =
3446 is_linear ?
Utilities::pow(2, dim - 1) : this->dofs_per_component_face;
3447 for (
unsigned int comp = 0; comp < n_components; ++comp)
3448 for (
unsigned int i = 0; i < 2 * dofs_per_comp_face; ++i)
3449 ETT::read_value(face_dof_values[(i + comp * 3 * dofs_per_comp_face) *
3452 this->solution_renumbered[i]);
3454 face_dof_values_ptr = this->solution_renumbered.data();
3457 constexpr int stride_face_dof_actual =
3458 n_components == 1 ? stride_face_dof : 1;
3461 const unsigned int n_shapes = is_linear ? 2 : this->poly.size();
3463 for (
unsigned int qb = 0; qb < this->n_q_batches; ++qb)
3470 const std::array<vectorized_value_type, dim + 1> interpolated_value =
3477 stride_face_dof_actual>(face_dof_values_ptr,
3478 this->unit_point_faces_ptr[qb]) :
3485 stride_face_dof_actual>(this->shapes_faces.data() +
3488 face_dof_values_ptr);
3490 value = interpolated_value[dim - 1];
3493 if (this->current_face_number / 2 == 0)
3495 gradient[0] = interpolated_value[dim];
3497 gradient[1] = interpolated_value[0];
3499 gradient[2] = interpolated_value[1];
3501 else if (this->current_face_number / 2 == 1)
3504 gradient[1] = interpolated_value[dim];
3507 gradient[0] = interpolated_value[1];
3508 gradient[2] = interpolated_value[0];
3511 gradient[0] = interpolated_value[0];
3515 else if (this->current_face_number / 2 == 2)
3519 gradient[0] = interpolated_value[0];
3520 gradient[1] = interpolated_value[1];
3521 gradient[2] = interpolated_value[dim];
3536 stride_face_dof_actual>(face_dof_values_ptr,
3537 this->unit_point_faces_ptr[qb]) :
3543 stride_face_dof_actual>(this->shapes_faces.data() +
3546 face_dof_values_ptr);
3551 for (
unsigned int v = 0, offset = qb * stride;
3552 v < stride && (stride == 1 || offset < this->n_q_points_scalar);
3554 ETT::set_value(value, v, this->values[offset]);
3562 for (
unsigned int v = 0, offset = qb * stride;
3563 v < stride && (stride == 1 || offset < this->n_q_points_scalar);
3567 ETT::set_gradient(gradient, v, unit_gradient);
3568 this->gradients[offset] =
3572 this->inverse_jacobian_ptr[0].
transpose(), unit_gradient) :
3575 ->inverse_jacobian_ptr[this->cell_type <=
3577 GeometryType::affine ?
3589template <
int n_components_,
int dim,
int spacedim,
typename Number>
3590template <
int str
ide_face_dof>
3595 const bool sum_into_values)
3597 if (this->use_linear_path)
3598 do_integrate_in_face<true, true, stride_face_dof>(face_dof_values,
3602 do_integrate_in_face<true, false, stride_face_dof>(face_dof_values,
3609template <
int n_components_,
int dim,
int spacedim,
typename Number>
3610template <
bool do_JxW,
bool is_linear,
int str
ide_face_dof>
3616 const bool sum_into_values)
3619 if constexpr (stride == 1)
3620 if (
const unsigned int n_filled_lanes =
3621 this->n_q_points_scalar & (n_lanes_internal - 1);
3625 for (
unsigned int v = n_filled_lanes; v < n_lanes_internal; ++v)
3626 ETT::set_zero_value(this->values.back(), v);
3628 for (
unsigned int v = n_filled_lanes; v < n_lanes_internal; ++v)
3629 ETT::set_zero_gradient(this->gradients.back(), v);
3634 solution_values_vectorized_linear = {};
3637 const unsigned int n_shapes = is_linear ? 2 : this->poly.size();
3639 const bool cartesian_cell =
3641 const bool affine_cell =
3643 for (
unsigned int qb = 0; qb < this->n_q_batches; ++qb)
3649 for (
unsigned int v = 0, offset = qb * stride;
3650 v < stride && (stride == 1 || offset < this->n_q_points_scalar);
3652 ETT::get_value(value,
3654 do_JxW ? this->values[offset] * this->JxW_ptr[offset] :
3655 this->values[offset]);
3658 for (
unsigned int v = 0, offset = qb * stride;
3659 v < stride && (stride == 1 || offset < this->n_q_points_scalar);
3663 do_JxW ? this->gradients[offset] * this->JxW_ptr[offset] :
3664 this->gradients[offset];
3672 this->inverse_jacobian_ptr[affine_cell ? 0 : offset],
3678 std::array<vectorized_value_type, 2> value_face = {};
3681 value_face[0] = value;
3684 if (this->current_face_number / 2 == 0)
3686 value_face[1] = gradient[0];
3688 gradient_in_face[0] = gradient[1];
3690 gradient_in_face[1] = gradient[2];
3692 else if (this->current_face_number / 2 == 1)
3695 value_face[1] = gradient[1];
3698 gradient_in_face[0] = gradient[2];
3699 gradient_in_face[1] = gradient[0];
3702 gradient_in_face[0] = gradient[0];
3706 else if (this->current_face_number / 2 == 2)
3710 value_face[1] = gradient[2];
3711 gradient_in_face[0] = gradient[0];
3712 gradient_in_face[1] = gradient[1];
3725 2>(this->shapes_faces.data() + qb * n_shapes,
3729 is_linear ? solution_values_vectorized_linear.data() :
3730 this->solution_renumbered_vectorized.data(),
3731 this->unit_point_faces_ptr[qb],
3739 this->shapes_faces.data() + qb * n_shapes,
3742 is_linear ? solution_values_vectorized_linear.data() :
3743 this->solution_renumbered_vectorized.data(),
3744 this->unit_point_faces_ptr[qb],
3748 const unsigned int dofs_per_comp_face =
3749 is_linear ?
Utilities::pow(2, dim - 1) : this->dofs_per_component_face;
3751 for (
unsigned int comp = 0; comp < n_components; ++comp)
3752 for (
unsigned int i = 0; i < 2 * dofs_per_comp_face; ++i)
3753 if (sum_into_values)
3754 face_dof_values[(i + comp * 3 * dofs_per_comp_face) *
3756 ETT::sum_value(comp,
3758 *(solution_values_vectorized_linear.data() + i) :
3759 this->solution_renumbered_vectorized[i]);
3761 face_dof_values[(i + comp * 3 * dofs_per_comp_face) * stride_face_dof] =
3762 ETT::sum_value(comp,
3764 *(solution_values_vectorized_linear.data() + i) :
3765 this->solution_renumbered_vectorized[i]);
3770template <
int n_components_,
int dim,
int spacedim,
typename Number>
3773 const unsigned int point_index)
const
3776 Assert(this->normal_ptr !=
nullptr,
3778 ExcFEPointEvaluationAccessToUninitializedMappingField(
3779 "update_normal_vectors"));
3783 for (
unsigned int d = 0; d < dim; ++d)
3787 if (this->is_interior)
3794 if (this->is_interior)
3795 return this->normal_ptr[point_index];
3797 return -(this->normal_ptr[point_index]);
value_type * data() const noexcept
typename ETT::vectorized_value_type vectorized_value_type
static constexpr std::size_t n_lanes_internal
void do_integrate_in_face(ScalarNumber *face_dof_values, const EvaluationFlags::EvaluationFlags &integration_flags, const bool sum_into_values)
void integrate_in_face(ScalarNumber *face_dof_values, const EvaluationFlags::EvaluationFlags &integration_flags, const bool sum_into_values=false)
typename ETT::scalar_value_type scalar_value_type
typename internal::VectorizedArrayTrait< Number >::value_type ScalarNumber
void evaluate(const StridedArrayView< const ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &evaluation_flags)
void do_evaluate_in_face(const ScalarNumber *face_dof_values, const EvaluationFlags::EvaluationFlags &evaluation_flags)
typename internal::FEPointEvaluation::EvaluatorTypeTraits< dim, spacedim, n_components, Number > ETT
static constexpr std::size_t stride
typename ETT::interface_vectorized_unit_gradient_type interface_vectorized_unit_gradient_type
void do_evaluate(const StridedArrayView< const ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &evaluation_flags)
static constexpr unsigned int n_components
static constexpr std::size_t n_lanes_user_interface
typename ETT::real_gradient_type gradient_type
void evaluate_in_face(const ScalarNumber *face_dof_values, const EvaluationFlags::EvaluationFlags &evaluation_flags)
void reinit(const unsigned int cell_index, const unsigned int face_number)
void test_and_sum(const StridedArrayView< ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &integration_flags, const bool sum_into_values=false)
FEFacePointEvaluation(NonMatching::MappingInfo< dim, spacedim, Number > &mapping_info, const FiniteElement< dim, spacedim > &fe, const bool is_interior=true, const unsigned int first_selected_component=0)
typename ETT::unit_gradient_type unit_gradient_type
void do_integrate(const StridedArrayView< ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &integration_flags, const bool sum_into_values)
void integrate(const StridedArrayView< ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &integration_flags, const bool sum_into_values=false)
static constexpr unsigned int dimension
Tensor< 1, spacedim, Number > normal_vector(const unsigned int point_index) const
typename ETT::value_type value_type
typename ::internal::VectorizedArrayTrait< Number >::vectorized_value_type VectorizedArrayType
const DerivativeForm< 1, dim, spacedim, Number > * jacobian_ptr
std::unique_ptr< NonMatching::MappingInfo< dim, spacedim, Number > > mapping_info_on_the_fly
std::vector< gradient_type > gradients
unsigned int dofs_per_component
typename ETT::interface_vectorized_unit_gradient_type interface_vectorized_unit_gradient_type
unsigned int dofs_per_component_face
Number JxW(const unsigned int point_index) const
const UpdateFlags update_flags
static constexpr std::size_t n_lanes_user_interface
static constexpr std::size_t stride
internal::MatrixFreeFunctions::GeometryType cell_type
std::vector< Polynomials::Polynomial< double > > poly
Point< spacedim, Number > real_point(const unsigned int point_index) const
const unsigned int n_q_points_scalar
const Point< dim, VectorizedArrayType > * unit_point_ptr
FEPointEvaluationBase(FEPointEvaluationBase &&other) noexcept
AlignedVector< ScalarNumber > scratch_data_scalar
std_cxx20::ranges::iota_view< unsigned int, unsigned int > quadrature_point_indices() const
const value_type & get_value(const unsigned int point_index) const
const Point< dim - 1, VectorizedArrayType > * unit_point_faces_ptr
std::vector< scalar_value_type > solution_renumbered
SmartPointer< NonMatching::MappingInfo< dim, spacedim, Number > > mapping_info
const unsigned int n_q_batches
std::vector< std::array< bool, n_components > > nonzero_shape_function_component
Point< spacedim, Number > quadrature_point(const unsigned int point_index) const
unsigned int n_active_entries_per_quadrature_batch(unsigned int q)
const gradient_type & get_gradient(const unsigned int point_index) const
std::shared_ptr< FEValues< dim, spacedim > > fe_values
FEPointEvaluationBase(const Mapping< dim, spacedim > &mapping, const FiniteElement< dim, spacedim > &fe, const UpdateFlags update_flags, const unsigned int first_selected_component=0)
SmartPointer< const FiniteElement< dim, spacedim > > fe
std::vector< unsigned int > renumber
std::vector< value_type > values
AlignedVector<::ndarray< VectorizedArrayType, 2, dim - 1 > > shapes_faces
Point< dim, Number > unit_point(const unsigned int point_index) const
const unsigned int n_q_points
bool must_reinitialize_pointers
const Tensor< 1, spacedim, Number > * normal_ptr
DerivativeForm< 1, spacedim, dim, Number > inverse_jacobian(const unsigned int point_index) const
AlignedVector< vectorized_value_type > solution_renumbered_vectorized
static constexpr std::size_t n_lanes_internal
const DerivativeForm< 1, spacedim, dim, Number > * inverse_jacobian_ptr
AlignedVector<::ndarray< VectorizedArrayType, 2, dim > > shapes
typename ETT::value_type value_type
unsigned int current_cell_index
scalar_value_type integrate_value() const
void submit_gradient(const gradient_type &, const unsigned int point_index)
void setup(const unsigned int first_selected_component)
FEPointEvaluationBase(NonMatching::MappingInfo< dim, spacedim, Number > &mapping_info, const FiniteElement< dim, spacedim > &fe, const unsigned int first_selected_component=0, const bool is_interior=true)
typename ETT::scalar_value_type scalar_value_type
static constexpr unsigned int dimension
typename ::internal::VectorizedArrayTrait< Number >::vectorized_value_type VectorizedArrayType
typename ETT::vectorized_value_type vectorized_value_type
static constexpr unsigned int n_components
typename internal::FEPointEvaluation::EvaluatorTypeTraits< dim, spacedim, n_components, Number > ETT
unsigned int current_face_number
FEPointEvaluationBase(FEPointEvaluationBase &other) noexcept
DerivativeForm< 1, dim, spacedim, Number > jacobian(const unsigned int point_index) const
typename ETT::real_gradient_type gradient_type
const Point< spacedim, Number > * real_point_ptr
unsigned int component_in_base_element
SmartPointer< const Mapping< dim, spacedim > > mapping
internal::MatrixFreeFunctions::ShapeInfo< ScalarNumber > shape_info
void submit_value(const value_type &value, const unsigned int point_index)
typename internal::VectorizedArrayTrait< Number >::value_type ScalarNumber
static constexpr std::size_t stride
void integrate_slow(const StridedArrayView< ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &integration_flags, const bool sum_into_values)
static constexpr unsigned int dimension
typename ETT::value_type value_type
void do_integrate(const StridedArrayView< ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &integration_flags, const bool sum_into_values)
void evaluate_fast(const StridedArrayView< const ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &evaluation_flags)
typename ETT::scalar_value_type scalar_value_type
typename ETT::unit_gradient_type unit_gradient_type
void evaluate(const StridedArrayView< const ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &evaluation_flags)
void prepare_evaluate_fast(const StridedArrayView< const ScalarNumber, stride_view > &solution_values)
void test_and_sum(const StridedArrayView< ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &integration_flags, const bool sum_into_values=false)
void integrate(const StridedArrayView< ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &integration_flags, const bool sum_into_values=false)
typename internal::VectorizedArrayTrait< Number >::value_type ScalarNumber
typename ETT::vectorized_value_type vectorized_value_type
void compute_integrate_fast(const EvaluationFlags::EvaluationFlags &integration_flags, const unsigned int n_shapes, const unsigned int qb, const vectorized_value_type value, const interface_vectorized_unit_gradient_type gradient, vectorized_value_type *solution_values_vectorized_linear)
typename ::internal::VectorizedArrayTrait< Number >::vectorized_value_type VectorizedArrayType
typename ETT::real_gradient_type gradient_type
FEPointEvaluation(const Mapping< dim, spacedim > &mapping, const FiniteElement< dim, spacedim > &fe, const UpdateFlags update_flags, const unsigned int first_selected_component=0)
void evaluate_slow(const StridedArrayView< const ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &evaluation_flags)
static constexpr std::size_t n_lanes_internal
static constexpr unsigned int n_components
void finish_integrate_fast(const StridedArrayView< ScalarNumber, stride_view > &solution_values, vectorized_value_type *solution_values_vectorized_linear, const bool sum_into_values)
typename internal::FEPointEvaluation::EvaluatorTypeTraits< dim, spacedim, n_components, Number > ETT
void compute_evaluate_fast(const StridedArrayView< const ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &evaluation_flags, const unsigned int n_shapes, const unsigned int qb, vectorized_value_type &value, interface_vectorized_unit_gradient_type &gradient)
void integrate_fast(const StridedArrayView< ScalarNumber, stride_view > &solution_values, const EvaluationFlags::EvaluationFlags &integration_flags, const bool sum_into_values)
static constexpr std::size_t n_lanes_user_interface
typename ETT::interface_vectorized_unit_gradient_type interface_vectorized_unit_gradient_type
Tensor< 1, spacedim, Number > normal_vector(const unsigned int point_index) const
Abstract base class for mapping classes.
value_type * data() const noexcept
Tensor< rank, dim, Number > sum(const Tensor< rank, dim, Number > &local, const MPI_Comm mpi_communicator)
#define DEAL_II_NAMESPACE_OPEN
#define DEAL_II_NAMESPACE_CLOSE
static ::ExceptionBase & ExcNotImplemented()
#define Assert(cond, exc)
#define AssertDimension(dim1, dim2)
static ::ExceptionBase & ExcFEPointEvaluationAccessToUninitializedMappingField(std::string arg1)
#define AssertIndexRange(index, range)
static ::ExceptionBase & ExcNotInitialized()
#define DeclException1(Exception1, type1, outsequence)
static ::ExceptionBase & ExcMessage(std::string arg1)
#define AssertThrow(cond, exc)
@ update_values
Shape function values.
@ update_normal_vectors
Normal vectors.
@ update_JxW_values
Transformed quadrature weights.
@ update_jacobians
Volume element.
@ update_inverse_jacobians
Volume element.
@ update_gradients
Shape function gradients.
@ update_quadrature_points
Transformed quadrature points.
#define DEAL_II_ASSERT_UNREACHABLE()
EvaluationFlags
The EvaluationFlags enum.
constexpr T pow(const T base, const int iexp)
std::vector< Polynomials::Polynomial< double > > get_polynomial_space(const FiniteElement< dim, spacedim > &fe)
bool is_fast_path_supported(const FiniteElement< dim, spacedim > &fe, const unsigned int base_element_number)
std::array< typename ProductTypeNoPoint< Number, Number2 >::type, dim+n_values > evaluate_tensor_product_value_and_gradient_shapes(const ::ndarray< Number2, 2, dim > *shapes, const int n_shapes, const Number *values, const std::vector< unsigned int > &renumber={})
void integrate_tensor_product_value_and_gradient(const ::ndarray< Number, 2, dim > *shapes, const unsigned int n_shapes, const Number2 *value, const Tensor< 1, dim, Number2 > &gradient, Number2 *values, const Point< dim, Number > &p, const bool do_add)
void compute_values_of_array_in_pairs(::ndarray< Number, 2, dim > *shapes, const std::vector< Polynomials::Polynomial< double > > &poly, const Point< dim, Number > &p0, const Point< dim, Number > &p1)
ProductTypeNoPoint< Number, Number2 >::type evaluate_tensor_product_value_shapes(const ::ndarray< Number2, 2, dim > *shapes, const int n_shapes, const Number *values, const std::vector< unsigned int > &renumber={})
void compute_values_of_array(::ndarray< Number, 2, dim > *shapes, const std::vector< Polynomials::Polynomial< double > > &poly, const Point< dim, Number > &p, const unsigned int derivative=1)
ProductTypeNoPoint< Number, Number2 >::type evaluate_tensor_product_value_linear(const Number *values, const Point< dim, Number2 > &p)
std::array< typename ProductTypeNoPoint< Number, Number2 >::type, dim+n_values > evaluate_tensor_product_value_and_gradient_linear(const Number *values, const Point< dim, Number2 > &p)
void integrate_tensor_product_value(const ::ndarray< Number, 2, dim > *shapes, const unsigned int n_shapes, const Number2 &value, Number2 *values, const Point< dim, Number > &p, const bool do_add)
static const unsigned int invalid_unsigned_int
boost::integer_range< IncrementableType > iota_view
typename internal::ndarray::HelperArray< T, Ns... >::type ndarray
static void set_zero_gradient(unit_gradient_type &value, const unsigned int vector_lane)
static void access(value_type &value, const unsigned int vector_lane, const unsigned int component, const ScalarNumber &shape_value)
static void set_value(const vectorized_value_type &value, const unsigned int vector_lane, scalar_value_type &result)
static Tensor< 1, dim, ScalarNumber > access(const real_gradient_type &value, const unsigned int vector_lane, const unsigned int component)
static void get_value(vectorized_value_type &value, const unsigned int, const vectorized_value_type &result)
static void set_zero_value(value_type &value, const unsigned int vector_lane)
static void set_gradient(const interface_vectorized_unit_gradient_type &value, const unsigned int vector_lane, unit_gradient_type &result)
static void read_value(const ScalarNumber vector_entry, const unsigned int component, scalar_value_type &result)
static void access(real_gradient_type &value, const unsigned int vector_lane, const unsigned int component, const Tensor< 1, dim, ScalarNumber > &shape_gradient)
static scalar_value_type sum_value(const vectorized_value_type &result)
static scalar_value_type sum_value(const scalar_value_type &result)
static ScalarNumber sum_value(const unsigned int component, const vectorized_value_type &result)
static ScalarNumber access(const value_type &value, const unsigned int vector_lane, const unsigned int component)
static void get_value(vectorized_value_type &value, const unsigned int vector_lane, const scalar_value_type &result)
typename ::internal::VectorizedArrayTrait< Number >::vectorized_value_type VectorizedArrayType
static void get_gradient(interface_vectorized_unit_gradient_type &value, const unsigned int vector_lane, const unit_gradient_type &result)
static void set_value(const vectorized_value_type &value, const unsigned int, vectorized_value_type &result)
typename internal::VectorizedArrayTrait< Number >::value_type ScalarNumber
static ScalarNumber access(const value_type &value, const unsigned int vector_lane, const unsigned int)
static void get_gradient(vectorized_unit_gradient_type &value, const unsigned int, const vectorized_unit_gradient_type &result)
static scalar_value_type sum_value(const scalar_value_type &result)
static void get_value(vectorized_value_type &value, const unsigned int, const vectorized_value_type &result)
static void set_gradient(const vectorized_unit_gradient_type &value, const unsigned int vector_lane, scalar_unit_gradient_type &result)
static void set_zero_value(value_type &value, const unsigned int vector_lane)
static Tensor< 1, spacedim, ScalarNumber > access(const real_gradient_type &value, const unsigned int vector_lane, const unsigned int)
static void set_value(const vectorized_value_type &value, const unsigned int, vectorized_value_type &result)
VectorizedArrayType vectorized_value_type
typename internal::VectorizedArrayTrait< Number >::value_type ScalarNumber
static void get_value(vectorized_value_type &value, const unsigned int vector_lane, const scalar_value_type &result)
static scalar_value_type sum_value(const vectorized_value_type &result)
static void access(real_gradient_type &value, const unsigned int vector_lane, const unsigned int, const Tensor< 1, spacedim, ScalarNumber > &shape_gradient)
static void set_gradient(const vectorized_unit_gradient_type &value, const unsigned int, vectorized_unit_gradient_type &result)
ScalarNumber scalar_value_type
static void set_value(const vectorized_value_type &value, const unsigned int vector_lane, scalar_value_type &result)
static void set_zero_gradient(real_gradient_type &value, const unsigned int vector_lane)
static void access(value_type &value, const unsigned int vector_lane, const unsigned int, const ScalarNumber &shape_value)
static void get_gradient(vectorized_unit_gradient_type &value, const unsigned int vector_lane, const scalar_unit_gradient_type &result)
static ScalarNumber sum_value(const unsigned int, const vectorized_value_type &result)
static void read_value(const ScalarNumber vector_entry, const unsigned int, scalar_value_type &result)
typename ::internal::VectorizedArrayTrait< Number >::vectorized_value_type VectorizedArrayType
static Tensor< 1, spacedim, ScalarNumber > access(const real_gradient_type &value, const unsigned int vector_lane, const unsigned int component)
static void get_gradient(interface_vectorized_unit_gradient_type &value, const unsigned int vector_lane, const DerivativeForm< 1, dim, n_components, Number > &result)
static void get_value(vectorized_value_type &value, const unsigned int, const vectorized_value_type &result)
static void get_value(vectorized_value_type &value, const unsigned int vector_lane, const scalar_value_type &result)
static void set_value(const vectorized_value_type &value, const unsigned int, vectorized_value_type &result)
static scalar_value_type sum_value(const scalar_value_type &result)
typename ::internal::VectorizedArrayTrait< Number >::vectorized_value_type VectorizedArrayType
static scalar_value_type sum_value(const vectorized_value_type &result)
static void read_value(const ScalarNumber vector_entry, const unsigned int component, scalar_value_type &result)
Tensor< 1, n_components, ScalarNumber > scalar_value_type
static void set_value(const vectorized_value_type &value, const unsigned int vector_lane, scalar_value_type &result)
static ScalarNumber access(const value_type &value, const unsigned int vector_lane, const unsigned int component)
static ScalarNumber sum_value(const unsigned int component, const vectorized_value_type &result)
Tensor< 1, n_components, Tensor< 1, dim, VectorizedArrayType > > vectorized_unit_gradient_type
static void set_zero_value(value_type &value, const unsigned int vector_lane)
static void set_gradient(const interface_vectorized_unit_gradient_type &value, const unsigned int vector_lane, unit_gradient_type &result)
static void set_zero_gradient(real_gradient_type &value, const unsigned int vector_lane)
typename internal::VectorizedArrayTrait< Number >::value_type ScalarNumber
static void get_gradient(interface_vectorized_unit_gradient_type &value, const unsigned int vector_lane, const unit_gradient_type &result)
std::conditional_t< n_components==spacedim, Tensor< 2, spacedim, Number >, Tensor< 1, n_components, Tensor< 1, spacedim, Number > > > real_gradient_type
Tensor< 1, n_components, VectorizedArrayType > vectorized_value_type
static void access(real_gradient_type &value, const unsigned int vector_lane, const unsigned int component, const Tensor< 1, spacedim, ScalarNumber > &shape_gradient)
Tensor< 1, n_components, Tensor< 1, dim, Number > > unit_gradient_type
static void access(value_type &value, const unsigned int vector_lane, const unsigned int component, const ScalarNumber &shape_value)
static constexpr std::size_t width()
static constexpr std::size_t stride()
static value_type & get(value_type &value, unsigned int c)