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<details::coefficient_of_t<T>> || std::same_as<details::coefficient_of_t<T>, Rationals<InfInt>> ||
SignedIntType<details::coefficient_of_t<T>>
CECCO::Rationals
Field of rational numbers ℚ = { p/q : p, q ∈ ℤ, q ≠ 0 } with selectable precision.
Definition fields.hpp:470
CECCO::FiniteFieldType
Refines FieldType for finite fields 𝔽_{p^m}.
Definition field_concepts_traits.hpp:141
CECCO::ReliablyComparableType
Types whose operator== reflects mathematical equality.
Definition field_concepts_traits.hpp:258
CECCO::SignedIntType
Standard signed integers or InfInt for arbitrary precision.
Definition field_concepts_traits.hpp:167

Detailed Description

Types whose operator== reflects mathematical equality.

Template Parameters
TCandidate type

Satisfied by FiniteFieldType, SignedIntType, Rationals<InfInt>, and by Polynomial<C> exactly when C is itself reliably comparable (polynomials are kept in canonical pruned form, so coefficient-wise comparison is mathematical equality). Excludes double and std::complex<double> (and polynomials over them) because rounding makes comparison unreliable. Used by algorithms that need stable equality (e.g. Hamming weight, structural matrix tests).

Definition at line 258 of file field_concepts_traits.hpp.