81 lines
2.3 KiB
C++
81 lines
2.3 KiB
C++
/*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*
|
|
* Copyright 2014-2015 Danny Robson <danny@nerdcruft.net>
|
|
*/
|
|
|
|
#ifndef __UTIL_RATIONAL_HPP
|
|
#define __UTIL_RATIONAL_HPP
|
|
|
|
#include <type_traits>
|
|
#include <iosfwd>
|
|
|
|
namespace util {
|
|
template <typename T>
|
|
struct rational {
|
|
static_assert (std::is_integral<T>::value, "only defined for integer types");
|
|
|
|
rational (const rational&) = default;
|
|
rational (T n, T d);
|
|
explicit rational (T);
|
|
|
|
bool operator== (rational) const;
|
|
bool operator!= (rational) const;
|
|
bool operator< (rational) const;
|
|
bool operator>= (rational) const;
|
|
|
|
explicit operator float (void) const;
|
|
explicit operator double (void) const;
|
|
explicit operator int (void) const;
|
|
|
|
rational<T> reduced (void) const;
|
|
|
|
rational<T> inverse (void) const;
|
|
rational<T>& invert (void);
|
|
|
|
rational<T> operator+ (T) const;
|
|
rational<T> operator- (T) const;
|
|
rational<T> operator* (T) const;
|
|
rational<T> operator/ (T) const;
|
|
|
|
T n;
|
|
T d;
|
|
};
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////
|
|
template <typename T, typename U>
|
|
rational<typename std::common_type<T,U>::type>
|
|
operator/ (U lhs, rational<T> rhs)
|
|
{
|
|
return rhs.inverse () * lhs;
|
|
}
|
|
|
|
|
|
//-------------------------------------------------------------------------
|
|
template <typename T, typename U>
|
|
rational<typename std::common_type<T,U>::type>
|
|
operator* (U lhs, rational<T> rhs)
|
|
{
|
|
return rhs * lhs;
|
|
}
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////
|
|
template <typename ValueT>
|
|
std::ostream& operator<< (std::ostream&, rational<ValueT>);
|
|
};
|
|
|
|
|
|
#endif
|