A real-parameter indexed morphism family. More...

Concept definition

template<typename C>
concept dedekind::sequences::IsCurve =  IsIndexedMorphismFamily<C> &&
                  std::floating_point<typename std::remove_cvref_t<C>::Domain>

Detailed Description

A real-parameter indexed morphism family.