ratio.hpp

// Copyright (C) 2013, Ennio Barbaro.
//
// Use, modification, and distribution is subject to 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)
//
// See http://sbabbi.github.io/tinympl for documentation.
//
// You are welcome to contact the author at:
//  enniobarbaro@gmail.com
//

#ifndef TINYMPL_RATIO_HPP
#define TINYMPL_RATIO_HPP

#include <cstdint>
#include <ratio>
#include <tinympl/functional.hpp>

namespace tinympl
{

namespace detail
{
//Construct a rational number by forcing a coprime representation
template<std::intmax_t Num, std::intmax_t Den> struct make_rational
{
    typedef std::ratio<Num,Den> ratio_t;
    typedef std::ratio<
        ratio_t::num,
        ratio_t::den> type;
};
}

template<std::intmax_t Num,std::intmax_t Den> using rational = typename detail::make_rational<Num,Den>::type;

template<std::intmax_t Num1,std::intmax_t Den1,
        std::intmax_t Num2,std::intmax_t Den2> struct plus<
            std::ratio<Num1,Den1>,
            std::ratio<Num2,Den2> > : std::ratio_add<std::ratio<Num1,Den1>, std::ratio<Num2,Den2> > {};

template<std::intmax_t Num1,std::intmax_t Den1,
        std::intmax_t Num2,std::intmax_t Den2> struct minus<
            std::ratio<Num1,Den1>,
            std::ratio<Num2,Den2> > : std::ratio_subtract<std::ratio<Num1,Den1>, std::ratio<Num2,Den2> > {};


template<std::intmax_t Num1,std::intmax_t Den1,
        std::intmax_t Num2,std::intmax_t Den2> struct multiplies<
            std::ratio<Num1,Den1>,
            std::ratio<Num2,Den2> > : std::ratio_multiply<std::ratio<Num1,Den1>, std::ratio<Num2,Den2> > {};

template<std::intmax_t Num1,std::intmax_t Den1,
        std::intmax_t Num2,std::intmax_t Den2> struct divides<
            std::ratio<Num1,Den1>,
            std::ratio<Num2,Den2> > : std::ratio_divide<std::ratio<Num1,Den1>, std::ratio<Num2,Den2> > {};

template<std::intmax_t Num,std::intmax_t Den> struct negate<std::ratio<Num,Den> >
{
    typedef std::ratio<-Num,Den> type;
};

template<std::intmax_t Num1,std::intmax_t Den1,
        std::intmax_t Num2,std::intmax_t Den2> struct equal_to<
            std::ratio<Num1,Den1>,
            std::ratio<Num2,Den2> > :
    std::integral_constant<bool,
        std::ratio<Num1,Den1>::num == std::ratio<Num2,Den2>::num &&
        std::ratio<Num1,Den1>::den == std::ratio<Num2,Den2>::den> {};

template<std::intmax_t Num1,std::intmax_t Den1,
        std::intmax_t Num2,std::intmax_t Den2> struct less<
            std::ratio<Num1,Den1>,
            std::ratio<Num2,Den2> > : std::ratio_less<std::ratio<Num1,Den1>, std::ratio<Num2,Den2> > {};

}

#endif // TINYMPL_RATIO_HPP