1 files changed, 85 insertions, 0 deletions
diff --git a/boost/qvm/deduce_vec.hpp b/boost/qvm/deduce_vec.hpp
new file mode 100644
index 0000000000..e15cf0eec3
--- /dev/null
+++ b/boost/qvm/deduce_vec.hpp
@@ -0,0 +1,85 @@
+//Copyright (c) 2008-2016 Emil Dotchevski and Reverge Studios, Inc.
+
+//Distributed under 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)
+
+#ifndef UUID_7E7AB138196311E0907B246CDFD72085
+#define UUID_7E7AB138196311E0907B246CDFD72085
+
+#include <boost/qvm/deduce_scalar.hpp>
+#include <boost/qvm/vec_traits.hpp>
+#include <boost/qvm/static_assert.hpp>
+
+namespace
+boost
+    {
+    namespace
+    qvm
+        {
+        template <class T,int D>
+        struct vec;
+
+        namespace
+        qvm_detail
+            {
+            template <class V,int D,
+                int VD=vec_traits<V>::dim>
+            struct
+            deduce_vec_default
+                {
+                typedef vec<typename vec_traits<V>::scalar_type,D> type;
+                };
+
+            template <class V,int D>
+            struct
+            deduce_vec_default<V,D,D>
+                {
+                typedef V type;
+                };
+            }
+
+        template <class V,int Dim=vec_traits<V>::dim>
+        struct
+        deduce_vec
+            {
+            BOOST_QVM_STATIC_ASSERT(is_vec<V>::value);
+            typedef typename qvm_detail::deduce_vec_default<V,Dim>::type type;
+            };
+
+        namespace
+        qvm_detail
+            {
+            template <class A,class B,int D,
+                bool VA=is_vec<A>::value,
+                bool VB=is_vec<B>::value,
+                int AD=vec_traits<A>::dim,
+                int BD=vec_traits<B>::dim>
+            struct
+            deduce_v2_default
+                {
+                typedef vec<
+                    typename deduce_scalar<
+                        typename scalar<A>::type,
+                        typename scalar<B>::type>::type,
+                    D> type;
+                };
+
+            template <class V,int D>
+            struct
+            deduce_v2_default<V,V,D,true,true,D,D>
+                {
+                typedef V type;
+                };
+            }
+
+        template <class A,class B,int D>
+        struct
+        deduce_vec2
+            {
+            BOOST_QVM_STATIC_ASSERT(is_vec<A>::value || is_vec<B>::value);
+            typedef typename qvm_detail::deduce_v2_default<A,B,D>::type type;
+            };
+        }
+    }
+
+#endif