C(++)ECCO
C++ Error Control COding: a header-only library for ECC simulations and experiments, modeling complete coding systems across arbitrary finite fields and complex inter-field relationships - Christian Senger <senger@inue.uni-stuttgart.de>
Loading...
Searching...
No Matches
CECCO::ExtensionOf Concept Reference

Inverse of SubfieldOf: ExtensionOf<S, E> iff SubfieldOf<E, S>. More...

#include <field_concepts_traits.hpp>

Concept definition

template<typename S, typename E>
concept ExtensionOf = SubfieldOf<E, S>
CECCO::ExtensionOf
Inverse of SubfieldOf: ExtensionOf<S, E> iff SubfieldOf<E, S>.
Definition field_concepts_traits.hpp:414
CECCO::SubfieldOf
SUBFIELD ⊆ SUPERFIELD as constructed in this library (Iso paths included).
Definition field_concepts_traits.hpp:402

Detailed Description

Inverse of SubfieldOf: ExtensionOf<S, E> iff SubfieldOf<E, S>.

Template Parameters
SSmaller (base) field
ECandidate larger field

Same construction-vs-mathematical caveat as SubfieldOf. Reflexive.

Definition at line 414 of file field_concepts_traits.hpp.