definition.h

 
//          Copyright John McFarlane 2019.
// Distributed under the Boost Software License, Version 1.0.
//    (See accompanying file ../LICENSE_1_0.txt or copy at
//          http://www.boost.org/LICENSE_1_0.txt)
 
#if !defined(CNL_IMPL_SCALED_DEFINITION_H)
#define CNL_IMPL_SCALED_DEFINITION_H
 
#include "declaration.h"
 
#include <algorithm>
 
namespace cnl {
 
    template<int Exponent, int Radix>
    struct power {
        static_assert(Radix >= 2, "Radix must be two or greater");
 
        // constants
 
        constexpr static int exponent = Exponent;
 
        constexpr static int radix = Radix;
 
        // types
 
        using identity = power<0, Radix>;
    };
 
 
    template<int LhsExponent, int RhsExponent, int Radix>
    [[nodiscard]] constexpr auto operator+(power<LhsExponent, Radix>, power<RhsExponent, Radix>)
            -> power<std::min(LhsExponent, RhsExponent), Radix>
    {
        return power<std::min(LhsExponent, RhsExponent), Radix>{};
    }
 
    template<int LhsExponent, int RhsExponent, int Radix>
    [[nodiscard]] constexpr auto operator-(power<LhsExponent, Radix>, power<RhsExponent, Radix>)
            -> power<std::min(LhsExponent, RhsExponent), Radix>
    {
        return power<std::min(LhsExponent, RhsExponent), Radix>{};
    }
 
    template<int LhsExponent, int RhsExponent, int Radix>
    [[nodiscard]] constexpr auto operator*(power<LhsExponent, Radix>, power<RhsExponent, Radix>)
            -> power<LhsExponent + RhsExponent, Radix>
    {
        return power<LhsExponent + RhsExponent, Radix>{};
    }
 
    template<int LhsExponent, int RhsExponent, int Radix>
    [[nodiscard]] constexpr auto operator/(power<LhsExponent, Radix>, power<RhsExponent, Radix>)
            -> power<LhsExponent - RhsExponent, Radix>
    {
        return power<LhsExponent - RhsExponent, Radix>{};
    }
 
    template<int LhsExponent, int RhsExponent, int Radix>
    [[nodiscard]] constexpr auto operator%(power<LhsExponent, Radix>, power<RhsExponent, Radix>)
            -> power<LhsExponent, Radix>
    {
        return power<LhsExponent, Radix>{};
    }
 
    template<int LhsExponent, int RhsExponent, int Radix>
    [[nodiscard]] constexpr auto operator&(power<LhsExponent, Radix>, power<RhsExponent, Radix>)
            -> power<std::min(LhsExponent, RhsExponent), Radix>
    {
        return power<std::min(LhsExponent, RhsExponent), Radix>{};
    }
 
    template<int LhsExponent, int RhsExponent, int Radix>
    [[nodiscard]] constexpr auto operator|(power<LhsExponent, Radix>, power<RhsExponent, Radix>)
            -> power<std::min(LhsExponent, RhsExponent), Radix>
    {
        return power<std::min(LhsExponent, RhsExponent), Radix>{};
    }
 
    template<int LhsExponent, int RhsExponent, int Radix>
    [[nodiscard]] constexpr auto operator^(power<LhsExponent, Radix>, power<RhsExponent, Radix>)
            -> power<std::min(LhsExponent, RhsExponent), Radix>
    {
        return power<std::min(LhsExponent, RhsExponent), Radix>{};
    }
}
 
#endif  // CNL_IMPL_SCALED_DEFINITION_H