]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /////////////////////////////////////////////////////////////////////////////// |
2 | // Copyright 2013 John Maddock. Distributed under the Boost | |
3 | // Software License, Version 1.0. (See accompanying file | |
4 | // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
5 | ||
6 | #ifndef BOOST_MP_UBLAS_HPP | |
7 | #define BOOST_MP_UBLAS_HPP | |
8 | ||
9 | namespace boost { namespace numeric { namespace ublas { | |
10 | ||
11 | template<class V> | |
12 | class sparse_vector_element; | |
13 | ||
14 | template <class V, class Backend, multiprecision::expression_template_option ExpressionTemplates> | |
15 | inline bool operator == (const sparse_vector_element<V>& a, const ::boost::multiprecision::number<Backend, ExpressionTemplates>& b) | |
16 | { | |
17 | typedef typename sparse_vector_element<V>::const_reference ref_type; | |
18 | return static_cast<ref_type>(a) == b; | |
19 | } | |
20 | ||
21 | template<class X, class Y> | |
22 | struct promote_traits; | |
23 | ||
24 | template <class Backend1, boost::multiprecision::expression_template_option ExpressionTemplates1, class Backend2, boost::multiprecision::expression_template_option ExpressionTemplates2> | |
25 | struct promote_traits<boost::multiprecision::number<Backend1, ExpressionTemplates1>, boost::multiprecision::number<Backend2, ExpressionTemplates2> > | |
26 | { | |
27 | typedef boost::multiprecision::number<Backend1, ExpressionTemplates1> number1_t; | |
28 | typedef boost::multiprecision::number<Backend2, ExpressionTemplates2> number2_t; | |
29 | typedef typename mpl::if_c< | |
30 | is_convertible<number1_t, number2_t>::value && !is_convertible<number2_t, number1_t>::value, | |
31 | number2_t, number1_t | |
32 | >::type promote_type; | |
33 | }; | |
34 | ||
35 | template <class Backend1, boost::multiprecision::expression_template_option ExpressionTemplates1, class Arithmetic> | |
36 | struct promote_traits<boost::multiprecision::number<Backend1, ExpressionTemplates1>, Arithmetic> | |
37 | { | |
38 | typedef boost::multiprecision::number<Backend1, ExpressionTemplates1> promote_type; | |
39 | }; | |
40 | ||
41 | template <class Arithmetic, class Backend1, boost::multiprecision::expression_template_option ExpressionTemplates1> | |
42 | struct promote_traits<Arithmetic, boost::multiprecision::number<Backend1, ExpressionTemplates1> > | |
43 | { | |
44 | typedef boost::multiprecision::number<Backend1, ExpressionTemplates1> promote_type; | |
45 | }; | |
46 | ||
47 | template <class Backend1, boost::multiprecision::expression_template_option ExpressionTemplates1, class tag, class Arg1, class Arg2, class Arg3, class Arg4> | |
48 | struct promote_traits<boost::multiprecision::number<Backend1, ExpressionTemplates1>, boost::multiprecision::detail::expression<tag, Arg1, Arg2, Arg3, Arg4> > | |
49 | { | |
50 | typedef boost::multiprecision::number<Backend1, ExpressionTemplates1> number1_t; | |
51 | typedef boost::multiprecision::detail::expression<tag, Arg1, Arg2, Arg3, Arg4> expression_type; | |
52 | typedef typename expression_type::result_type number2_t; | |
53 | typedef typename promote_traits<number1_t, number2_t>::promote_type promote_type; | |
54 | }; | |
55 | ||
56 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class Backend1, boost::multiprecision::expression_template_option ExpressionTemplates1> | |
57 | struct promote_traits<boost::multiprecision::detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, boost::multiprecision::number<Backend1, ExpressionTemplates1> > | |
58 | { | |
59 | typedef boost::multiprecision::number<Backend1, ExpressionTemplates1> number1_t; | |
60 | typedef boost::multiprecision::detail::expression<tag, Arg1, Arg2, Arg3, Arg4> expression_type; | |
61 | typedef typename expression_type::result_type number2_t; | |
62 | typedef typename promote_traits<number1_t, number2_t>::promote_type promote_type; | |
63 | }; | |
64 | ||
65 | template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class tagb, class Arg1b, class Arg2b, class Arg3b, class Arg4b> | |
66 | struct promote_traits<boost::multiprecision::detail::expression<tag, Arg1, Arg2, Arg3, Arg4>, boost::multiprecision::detail::expression<tagb, Arg1b, Arg2b, Arg3b, Arg4b> > | |
67 | { | |
68 | typedef boost::multiprecision::detail::expression<tag, Arg1, Arg2, Arg3, Arg4> expression1_t; | |
69 | typedef typename expression1_t::result_type number1_t; | |
70 | typedef boost::multiprecision::detail::expression<tagb, Arg1b, Arg2b, Arg3b, Arg4b> expression2_t; | |
71 | typedef typename expression2_t::result_type number2_t; | |
72 | }; | |
73 | ||
74 | }}} // namespace | |
75 | ||
76 | #endif | |
77 |