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::ComponentType Concept Reference

Admissible component type for CECCO::Vector and CECCO::Matrix. More...

#include <field_concepts_traits.hpp>

Concept definition

template<typename T>
concept ComponentType = CoefficientType<T> || PolynomialType<T>
CECCO::CoefficientType
Admissible coefficient type for CECCO::Polynomial (scalar-like types).
Definition field_concepts_traits.hpp:183
CECCO::ComponentType
Admissible component type for CECCO::Vector and CECCO::Matrix.
Definition field_concepts_traits.hpp:274
CECCO::PolynomialType
T is a Polynomial<C> over some CoefficientType C.
Definition field_concepts_traits.hpp:242

Detailed Description

Admissible component type for CECCO::Vector and CECCO::Matrix.

Template Parameters
TCandidate type

Extends CoefficientType by PolynomialType, so vectors and matrices can hold polynomial components (e.g. Matrix<Polynomial<Fp<2>>>). Polynomial coefficients remain restricted to CoefficientType, so nested polynomials such as Polynomial<Polynomial<Fp<2>>> stay unsupported by design.

Definition at line 274 of file field_concepts_traits.hpp.