dedekind::morphologies::IsCyclicInteger Concept Reference

Cyclic-ℤ-shape integer: integer surface + abelian-group-cyclic under +. SignedExtensionalCardinal<> (sign-magnitude ℤ/2^{N*64}ℤ) is the canonical witness via IsCyclicGroup<SignedExtensionalCardinal<>, std::plus<>> pinned in :sets:cardinality. More...

Concept definition

template<typename T>
concept dedekind::morphologies::IsCyclicInteger = 
    IsInteger<T> && dedekind::category::IsCyclicGroup<T, std::plus<T>>

Detailed Description

Cyclic-ℤ-shape integer: integer surface + abelian-group-cyclic under +. SignedExtensionalCardinal<> (sign-magnitude ℤ/2^{N*64}ℤ) is the canonical witness via IsCyclicGroup<SignedExtensionalCardinal<>, std::plus<>> pinned in :sets:cardinality.