Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::geometry::Vector< F, N > Class Template Referenceexport

An element of a Coordinate Space over a Field F. More...

Public Types

using scalar_type = F
using dimension_cardinality = FiniteDim

Public Member Functions

constexpr Vector (std::initializer_list< F > l)
constexpr F & operator[] (std::size_t i)
constexpr const F & operator[] (std::size_t i) const

Static Public Attributes

static constexpr std::size_t dimension = N

Friends

constexpr bool operator== (const Vector &lhs, const Vector &rhs)
constexpr Vector operator* (const Vector &v, const F &s)
constexpr Vector operator* (const F &s, const Vector &v)
constexpr Vector operator+ (const Vector &a, const Vector &b)
constexpr Vector operator- (const Vector &a, const Vector &b)
constexpr Vector operator- (const Vector &v)

Detailed Description

template<IsFloatingScalar F, std::size_t N>
class dedekind::geometry::Vector< F, N >

An element of a Coordinate Space over a Field F.

Template Parameters
FThe scalar field (Rational, Real, or Complex).
NThe dimension of the space.

◆ operator*

template<IsFloatingScalar F, std::size_t N>
Vector operator* ( const Vector< F, N > & v,
const F & s )
friend

◆ operator+

template<IsFloatingScalar F, std::size_t N>
Vector operator+ ( const Vector< F, N > & a,
const Vector< F, N > & b )
friend

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