Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::algebra::IsFieldElement Concept Referenceexport
module dedekind.algebra

A bona fide element of a field is a 1D vector space over itself. More...

Concept definition

template<typename F>
concept dedekind::algebra::IsFieldElement = IsVectorSpace<F, F>
dedekind::algebra::IsFieldElement
A bona fide element of a field is a 1D vector space over itself.
Definition vectorspace.cppm:100
dedekind::algebra::IsVectorSpace
The Gold Standard: A Module where the Scalar is a Field.
Definition vectorspace.cppm:90

Detailed Description

A bona fide element of a field is a 1D vector space over itself.

Tightening IsScalar when division is available: F is its own 1D vector space, with F as the scalar field.