theoretica/complex__types_8h_source.html

#ifndef THEORETICA_COMPLEX_TYPES_H

#define THEORETICA_COMPLEX_TYPES_H


#include <type_traits>

#include "../core/core_traits.h"

#include "../core/constants.h"

#include "./complex.h"


namespace theoretica {


    template<typename Type = real>

    using bicomplex = complex<complex<Type>>;


    template<typename T>

    struct is_complex_type : std::false_type {};


    template<typename T>

    struct is_complex_type<complex<T>> : std::true_type {};


    template<typename Structure>

    using has_complex_elements = is_complex_type<vector_element_t<Structure>>;


    template<typename Structure, typename T = bool>

    using enable_complex = std::enable_if_t<is_complex_type<Structure>::value, T>;


}


#endif

theoretica::complex
Complex number in algebraic form .
Definition complex.h:26

complex.h
Complex number class.

theoretica
Main namespace of the library which contains all functions and objects.
Definition algebra.h:27

theoretica::has_complex_elements
is_complex_type< vector_element_t< Structure > > has_complex_elements
Type trait to check whether a container has complex elements.
Definition complex_types.h:38

theoretica::bicomplex
complex< complex< Type > > bicomplex
A bi-complex number.
Definition complex_types.h:20

theoretica::vector_element_t
std::remove_reference_t< decltype(std::declval< Structure >()[0])> vector_element_t
Extract the type of a vector (or any indexable container) from its operator[].
Definition core_traits.h:134

theoretica::enable_complex
std::enable_if_t< is_complex_type< Structure >::value, T > enable_complex
Enable a function overload if the template typename is considerable a complex number.
Definition complex_types.h:45

theoretica::is_complex_type
Type trait to check whether the given type is a specialization of the complex number class or not,...
Definition complex_types.h:27