2014-07-02 15:49:27 +10:00
|
|
|
/*
|
2018-08-04 15:14:06 +10:00
|
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
2014-07-02 15:49:27 +10:00
|
|
|
*
|
2015-09-21 16:35:31 +10:00
|
|
|
* Copyright 2014-2015 Danny Robson <danny@nerdcruft.net>
|
2014-07-02 15:49:27 +10:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef __UTIL_RATIONAL_HPP
|
|
|
|
#define __UTIL_RATIONAL_HPP
|
|
|
|
|
2015-07-13 16:27:07 +10:00
|
|
|
#include <type_traits>
|
2018-04-16 15:54:51 +10:00
|
|
|
#include <iosfwd>
|
2015-07-13 16:27:07 +10:00
|
|
|
|
2018-08-05 14:42:02 +10:00
|
|
|
namespace cruft {
|
2014-07-02 15:49:27 +10:00
|
|
|
template <typename T>
|
|
|
|
struct rational {
|
2015-07-13 16:27:07 +10:00
|
|
|
static_assert (std::is_integral<T>::value, "only defined for integer types");
|
|
|
|
|
2016-05-12 17:55:20 +10:00
|
|
|
rational (const rational&) = default;
|
2015-07-13 16:27:07 +10:00
|
|
|
rational (T n, T d);
|
|
|
|
explicit rational (T);
|
2014-07-02 15:49:27 +10:00
|
|
|
|
2015-07-13 16:27:07 +10:00
|
|
|
bool operator== (rational) const;
|
|
|
|
bool operator!= (rational) const;
|
|
|
|
bool operator< (rational) const;
|
|
|
|
bool operator>= (rational) const;
|
2014-07-02 15:49:27 +10:00
|
|
|
|
|
|
|
explicit operator float (void) const;
|
|
|
|
explicit operator double (void) const;
|
2015-09-21 16:35:31 +10:00
|
|
|
explicit operator int (void) const;
|
2015-07-13 16:27:07 +10:00
|
|
|
|
|
|
|
rational<T> reduced (void) const;
|
2014-10-20 12:56:28 +11:00
|
|
|
|
|
|
|
rational<T> inverse (void) const;
|
|
|
|
rational<T>& invert (void);
|
|
|
|
|
2015-07-13 16:27:07 +10:00
|
|
|
rational<T> operator+ (T) const;
|
|
|
|
rational<T> operator- (T) const;
|
|
|
|
rational<T> operator* (T) const;
|
|
|
|
rational<T> operator/ (T) const;
|
2014-07-02 15:49:27 +10:00
|
|
|
|
|
|
|
T n;
|
|
|
|
T d;
|
|
|
|
};
|
2014-10-20 12:56:28 +11:00
|
|
|
|
2018-02-28 11:49:13 +11:00
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////
|
2015-09-21 16:35:48 +10:00
|
|
|
template <typename T, typename U>
|
|
|
|
rational<typename std::common_type<T,U>::type>
|
2018-02-28 11:49:13 +11:00
|
|
|
operator/ (U lhs, rational<T> rhs)
|
|
|
|
{
|
|
|
|
return rhs.inverse () * lhs;
|
|
|
|
}
|
|
|
|
|
2015-09-21 16:35:48 +10:00
|
|
|
|
2018-02-28 11:49:13 +11:00
|
|
|
//-------------------------------------------------------------------------
|
2015-09-21 16:35:48 +10:00
|
|
|
template <typename T, typename U>
|
|
|
|
rational<typename std::common_type<T,U>::type>
|
2018-02-28 11:49:13 +11:00
|
|
|
operator* (U lhs, rational<T> rhs)
|
|
|
|
{
|
|
|
|
return rhs * lhs;
|
|
|
|
}
|
2018-04-16 15:54:51 +10:00
|
|
|
|
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////
|
|
|
|
template <typename ValueT>
|
|
|
|
std::ostream& operator<< (std::ostream&, rational<ValueT>);
|
2018-02-28 11:49:13 +11:00
|
|
|
};
|
2014-07-02 15:49:27 +10:00
|
|
|
|
2015-09-21 16:35:48 +10:00
|
|
|
|
2014-07-02 15:49:27 +10:00
|
|
|
#endif
|