3 boost/numeric/odeint/algebra/vector_space_algebra.hpp
6 An algebra for types which have vector space semantics, hence types on which the operators +,-,* are well defined.
9 Copyright 2010-2012 Karsten Ahnert
10 Copyright 2010-2013 Mario Mulansky
12 Distributed under the Boost Software License, Version 1.0.
13 (See accompanying file LICENSE_1_0.txt or
14 copy at http://www.boost.org/LICENSE_1_0.txt)
18 #ifndef BOOST_NUMERIC_ODEINT_ALGEBRA_VECTOR_SPACE_ALGEBRA_HPP_INCLUDED
19 #define BOOST_NUMERIC_ODEINT_ALGEBRA_VECTOR_SPACE_ALGEBRA_HPP_INCLUDED
23 #include <boost/type_traits/remove_reference.hpp>
31 * This class template has to be overload in order to call vector_space_algebra::norm_inf
33 template< class State > struct vector_space_norm_inf;
36 * Example: instantiation for sole doubles and complex
39 struct vector_space_norm_inf< double >
41 typedef double result_type;
42 double operator()( double x ) const
50 struct vector_space_norm_inf< float >
52 typedef float result_type;
53 result_type operator()( float x ) const
60 template< typename T >
61 struct vector_space_norm_inf< std::complex<T> >
63 typedef T result_type;
64 result_type operator()( std::complex<T> x ) const
71 struct vector_space_algebra
73 template< class S1 , class Op >
74 static void for_each1( S1 &s1 , Op op )
76 // ToDo : build checks, that the +-*/ operators are well defined
80 template< class S1 , class S2 , class Op >
81 static void for_each2( S1 &s1 , S2 &s2 , Op op )
86 template< class S1 , class S2 , class S3 , class Op >
87 static void for_each3( S1 &s1 , S2 &s2 , S3 &s3 , Op op )
92 template< class S1 , class S2 , class S3 , class S4 , class Op >
93 static void for_each4( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , Op op )
95 op( s1 , s2 , s3 , s4 );
98 template< class S1 , class S2 , class S3 , class S4 , class S5 , class Op >
99 static void for_each5( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , Op op )
101 op( s1 , s2 , s3 , s4 , s5 );
104 template< class S1 , class S2 , class S3 , class S4 , class S5 , class S6 , class Op >
105 static void for_each6( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , S6 &s6 , Op op )
107 op( s1 , s2 , s3 , s4 , s5 , s6 );
110 template< class S1 , class S2 , class S3 , class S4 , class S5 , class S6 ,class S7 , class Op >
111 static void for_each7( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , S6 &s6 , S7 &s7 , Op op )
113 op( s1 , s2 , s3 , s4 , s5 , s6 , s7 );
116 template< class S1 , class S2 , class S3 , class S4 , class S5 , class S6 ,class S7 , class S8 , class Op >
117 static void for_each8( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , S6 &s6 , S7 &s7 , S8 &s8 , Op op )
119 op( s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 );
122 template< class S1 , class S2 , class S3 , class S4 , class S5 , class S6 ,class S7 , class S8 , class S9 , class Op >
123 static void for_each9( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , S6 &s6 , S7 &s7 , S8 &s8 , S9 &s9 , Op op )
125 op( s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 );
128 template< class S1 , class S2 , class S3 , class S4 , class S5 , class S6 ,class S7 , class S8 , class S9 , class S10 , class Op >
129 static void for_each10( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , S6 &s6 , S7 &s7 , S8 &s8 , S9 &s9 , S10 &s10 , Op op )
131 op( s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 , s10 );
134 template< class S1 , class S2 , class S3 , class S4 , class S5 , class S6 ,class S7 , class S8 , class S9 , class S10 , class S11 , class Op >
135 static void for_each11( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , S6 &s6 , S7 &s7 , S8 &s8 , S9 &s9 , S10 &s10 , S11 &s11 , Op op )
137 op( s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 , s10 , s11 );
140 template< class S1 , class S2 , class S3 , class S4 , class S5 , class S6 ,class S7 , class S8 , class S9 , class S10 , class S11 , class S12 , class Op >
141 static void for_each12( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , S6 &s6 , S7 &s7 , S8 &s8 , S9 &s9 , S10 &s10 , S11 &s11 , S12 &s12 , Op op )
143 op( s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 , s10 , s11 , s12 );
146 template< class S1 , class S2 , class S3 , class S4 , class S5 , class S6 ,class S7 , class S8 , class S9 , class S10 , class S11 , class S12 , class S13 , class Op >
147 static void for_each13( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , S6 &s6 , S7 &s7 , S8 &s8 , S9 &s9 , S10 &s10 , S11 &s11 , S12 &s12 , S13 &s13 , Op op )
149 op( s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 , s10 , s11 , s12 , s13 );
152 template< class S1 , class S2 , class S3 , class S4 , class S5 , class S6 ,class S7 , class S8 , class S9 , class S10 , class S11 , class S12 , class S13 , class S14 , class Op >
153 static void for_each14( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , S6 &s6 , S7 &s7 , S8 &s8 , S9 &s9 , S10 &s10 , S11 &s11 , S12 &s12 , S13 &s13 , S14 &s14 , Op op )
155 op( s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 , s10 , s11 , s12 , s13 , s14 );
158 template< class S1 , class S2 , class S3 , class S4 , class S5 , class S6 ,class S7 , class S8 , class S9 , class S10 , class S11 , class S12 , class S13 , class S14 , class S15 , class Op >
159 static void for_each15( S1 &s1 , S2 &s2 , S3 &s3 , S4 &s4 , S5 &s5 , S6 &s6 , S7 &s7 , S8 &s8 , S9 &s9 , S10 &s10 , S11 &s11 , S12 &s12 , S13 &s13 , S14 &s14 , S15 &s15 , Op op )
161 op( s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 , s10 , s11 , s12 , s13 , s14 , s15 );
165 static typename boost::numeric::odeint::vector_space_norm_inf< S >::result_type norm_inf( const S &s )
167 boost::numeric::odeint::vector_space_norm_inf< S > n;
178 #endif // BOOST_NUMERIC_ODEINT_ALGEBRA_VECTOR_SPACE_ALGEBRA_HPP_INCLUDED