dedekind/conceptdedekind_1_1geometry_1_1HasJacobianAt.html

template<typename Map>

concept dedekind::geometry::HasJacobianAt =  requires {

  typename Map::scalar_type;

  typename Map::Domain;

  typename Map::Codomain;

  typename Map::Jacobian;

  { Map::domain_dimension } -> std::convertible_to<std::size_t>;

  { Map::codomain_dimension } -> std::convertible_to<std::size_t>;

  requires IsMatrixScalar<typename Map::scalar_type>;

  requires std::same_as<typename Map::Domain, Vector<typename Map::scalar_type,

                                                     Map::domain_dimension>>;

  requires std::same_as<

      typename Map::Codomain,

      Vector<typename Map::scalar_type, Map::codomain_dimension>>;

  requires std::same_as<

      typename Map::Jacobian,

      LinearMap<typename Map::scalar_type, Map::codomain_dimension,

                Map::domain_dimension>>;

} && requires(const Map& map, const typename Map::Domain& x) {

  { map(x) } -> std::same_as<typename Map::Codomain>;

  { map.jacobian_at(x) } -> std::same_as<typename Map::Jacobian>;

}

dedekind::geometry::HasJacobianAt
Map-like object exposing a finite-dimensional LinearMap Jacobian.
Definition linear_map.cppm:439