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

Types whose operator== reflects mathematical equality. More...

#include <field_concepts_traits.hpp>

Concept definition

template<typename T>
concept ReliablyComparableType = FiniteFieldType<T> || std::is_same_v<T, Rationals<InfInt>> || SignedIntType<T>
CECCO::FiniteFieldType
Refines FieldType for finite fields 𝔽_{p^m}.
Definition field_concepts_traits.hpp:140
CECCO::ReliablyComparableType
Types whose operator== reflects mathematical equality.
Definition field_concepts_traits.hpp:183
CECCO::SignedIntType
Standard signed integers or InfInt for arbitrary precision.
Definition field_concepts_traits.hpp:166

Detailed Description

Types whose operator== reflects mathematical equality.

Template Parameters
TCandidate type

Satisfied by FiniteFieldType, SignedIntType, and Rationals<InfInt>. Excludes double and std::complex<double> because rounding makes comparison unreliable. Used by algorithms that need stable equality (e.g. Hamming weight, structural matrix tests).

Definition at line 183 of file field_concepts_traits.hpp.