dedekind::geometry::FunctionalVector< F, Fn > Class Template Reference

A vector-like object defined by coordinate evaluation x[i]. More...

Public Types
using	scalar_type = F
using	dimension_cardinality = CountablyInfiniteDim

Public Member Functions
constexpr	FunctionalVector (Fn fn)
constexpr F	operator[] (std::size_t i) const

Static Public Attributes
static constexpr std::size_t	dimension

Detailed Description

template<IsFloatingScalar F, typename Fn>
requires requires(const Fn& fn, std::size_t i) { { fn(i) } -> std::convertible_to<F>; }
class dedekind::geometry::FunctionalVector< F, Fn >

A vector-like object defined by coordinate evaluation x[i].

This supports function-based vectors, including potentially infinite-dimensional vectors where coordinates are computed lazily.

The only required operation is indexed evaluation.

Member Data Documentation

dimension

template<IsFloatingScalar F, typename Fn>

std::size_t dedekind::geometry::FunctionalVector< F, Fn >::dimension

staticconstexpr

Initial value:

=
      std::numeric_limits<std::size_t>::max()

---

The documentation for this class was generated from the following file:

• src/main/modules/dedekind/geometry/affine.cppm