dedekind::sequences::TailEquivalent< T > Class Template Reference

The tail-equivalence relation on Path<T>: agreement on a sampled tail window [start, start+span). More...

Public Member Functions
constexpr bool	operator() (const Path< T > &s, const Path< T > &t) const

Public Attributes
std::size_t	window_start = 0
std::size_t	window_span = 64

Detailed Description

template<typename T>
class dedekind::sequences::TailEquivalent< T >

The tail-equivalence relation on Path<T>: agreement on a sampled tail window [start, start+span).

Callable as a binary relation (Path<T>, Path<T>) → bool, so it satisfies dedekind::category::IsBinaryRelation. The sampled window is the operational reading of the (undecidable) full relation ∃N ∀n≥N. s(n)=t(n); see the partition's tail__Honesty_Obligation note. Reflexive, symmetric and transitive on the window (and as the full relation), and a congruence w.r.t. pointwise + — registered below.

---

The documentation for this class was generated from the following file:

• src/main/modules/dedekind/sequences/tail_equivalence.cppm