A convergent series. Necessary condition (the engineer's obligation to respect): summable ⇒ a_n → 0. The runtime numerical hooks ratio_test_converges, root_test_converges, comparison_test_converges, and converges_series_partial_sums (below) are the operational counterparts that decide summability for concrete float carriers. More...

Concept definition

template<typename Seq>

concept dedekind::sequences::IsSummable = IsSeries<Seq> && is_summable_v<Seq>

dedekind::sequences::IsSeries

A sequence whose Codomain carries the additive structure needed to form partial sums .

Definition convergence.cppm:246

dedekind::sequences::IsSummable

A convergent series. Necessary condition (the engineer's obligation to respect): summable ⇒ a_n → 0....

Definition convergence.cppm:266

dedekind::sequences::is_summable_v

constexpr bool is_summable_v

Opt-in: the series is summable — its partial-sum sequence converges. The actual convergence (and the...

Definition convergence.cppm:255

Detailed Description

A convergent series. Necessary condition (the engineer's obligation to respect): summable ⇒ a_n → 0. The runtime numerical hooks ratio_test_converges, root_test_converges, comparison_test_converges, and converges_series_partial_sums (below) are the operational counterparts that decide summability for concrete float carriers.