A sequence whose Codomain carries the additive structure needed to form partial sums \(S_n = \sum_{k\le n} a_k\). More...

Concept definition

template<typename Seq>
concept dedekind::sequences::IsSeries =  IsSequence<Seq> && requires(typename Seq::Codomain a) {
  { a + a } -> std::convertible_to<typename Seq::Codomain>;
}

Detailed Description

A sequence whose Codomain carries the additive structure needed to form partial sums \(S_n = \sum_{k\le n} a_k\).

The load-bearing structural gate: a carrier with no + cannot host a series and is honestly rejected. IsSummable / IsAbsolutelyConvergent refine this with opt-in traits. See partial_sums for the partial-sum materialisation.