]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /////////////////////////////////////////////////////////////// |
2 | // Copyright 2012 John Maddock. Distributed under the Boost | |
3 | // Software License, Version 1.0. (See accompanying file | |
92f5a8d4 | 4 | // LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt |
7c673cae | 5 | |
7c673cae FG |
6 | #include <boost/multiprecision/cpp_int.hpp> |
7 | ||
8 | #include "test_arithmetic.hpp" | |
9 | ||
1e59de90 TL |
10 | template <std::size_t MinBits, std::size_t MaxBits, boost::multiprecision::cpp_integer_type SignType, class Allocator, boost::multiprecision::expression_template_option ExpressionTemplates> |
11 | struct is_twos_complement_integer<boost::multiprecision::number<boost::multiprecision::cpp_int_backend<MinBits, MaxBits, SignType, boost::multiprecision::checked, Allocator>, ExpressionTemplates> > : public std::integral_constant<bool, false> | |
92f5a8d4 | 12 | {}; |
7c673cae FG |
13 | |
14 | template <> | |
15 | struct related_type<boost::multiprecision::cpp_int> | |
16 | { | |
17 | typedef boost::multiprecision::int256_t type; | |
18 | }; | |
1e59de90 TL |
19 | template <> |
20 | struct related_type<boost::multiprecision::cpp_rational> | |
21 | { | |
22 | typedef boost::multiprecision::cpp_int type; | |
23 | }; | |
24 | template <std::size_t MinBits, std::size_t MaxBits, boost::multiprecision::cpp_integer_type SignType, boost::multiprecision::cpp_int_check_type Checked, class Allocator, boost::multiprecision::expression_template_option ET> | |
7c673cae FG |
25 | struct related_type<boost::multiprecision::number<boost::multiprecision::cpp_int_backend<MinBits, MaxBits, SignType, Checked, Allocator>, ET> > |
26 | { | |
92f5a8d4 | 27 | typedef boost::multiprecision::number<boost::multiprecision::cpp_int_backend<MinBits / 2, MaxBits / 2, SignType, Checked, Allocator>, ET> type; |
7c673cae FG |
28 | }; |
29 | ||
30 | int main() | |
31 | { | |
32 | test<boost::multiprecision::cpp_rational>(); | |
33 | return boost::report_errors(); | |
34 | } |