| // Boost.Units - A C++ library for zero-overhead dimensional analysis and |
| // unit/quantity manipulation and conversion |
| // |
| // Copyright (C) 2003-2008 Matthias Christian Schabel |
| // Copyright (C) 2008 Steven Watanabe |
| // |
| // 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) |
| |
| /** |
| \file |
| |
| \brief dimension.cpp |
| |
| \details |
| Test dimension list manipulation. |
| |
| Output: |
| @verbatim |
| |
| //[dimension_output |
| length_dimension = list<dim<length_base_dimension, static_rational<1l, 1l> >, dimensionless_type> |
| mass_dimension = list<dim<mass_base_dimension, static_rational<1l, 1l> >, dimensionless_type> |
| time_dimension = list<dim<time_base_dimension, static_rational<1l, 1l> >, dimensionless_type> |
| energy_dimension = list<dim<length_base_dimension, static_rational<2l, 1l> >, list<dim<mass_base_dimension, static_rational<1l, 1l> >, list<dim<time_base_dimension, static_rational<-2l, 1l> >, dimensionless_type> > > |
| LM_type = list<dim<length_base_dimension, static_rational<1l, 1l> >, list<dim<mass_base_dimension, static_rational<1l, 1l> >, dimensionless_type> > |
| L_T_type = list<dim<length_base_dimension, static_rational<1l, 1l> >, list<dim<time_base_dimension, static_rational<-1l, 1l> >, dimensionless_type> > |
| V_type = list<dim<length_base_dimension, static_rational<1l, 1l> >, list<dim<time_base_dimension, static_rational<-1l, 1l> >, dimensionless_type> > |
| //] |
| |
| @endverbatim |
| **/ |
| |
| #include <boost/type_traits/is_same.hpp> |
| #include <boost/mpl/assert.hpp> |
| |
| #include <iostream> |
| |
| #include <boost/units/detail/utility.hpp> |
| |
| #include "test_system.hpp" |
| |
| namespace mpl = boost::mpl; |
| |
| int main(void) |
| { |
| using namespace boost::units; |
| |
| BOOST_MPL_ASSERT((boost::is_same< |
| length_dimension, |
| mpl::push_front< |
| dimensionless_type, |
| dim<length_base_dimension, static_rational<1L, 1L> > |
| >::type |
| >)); |
| BOOST_MPL_ASSERT((boost::is_same< |
| mass_dimension, |
| mpl::push_front< |
| dimensionless_type, |
| dim<mass_base_dimension, static_rational<1L, 1L> > |
| >::type |
| >)); |
| BOOST_MPL_ASSERT((boost::is_same<energy_dimension, |
| mpl::push_front< |
| mpl::push_front< |
| mpl::push_front< |
| dimensionless_type, |
| dim<time_base_dimension, static_rational<-2L, 1L> > >::type, |
| dim<mass_base_dimension, static_rational<1L, 1L> > >::type, |
| dim<length_base_dimension, static_rational<2L, 1L> > >::type>)); |
| |
| std::cout << "length_dimension = " |
| << simplify_typename(length_dimension()) << std::endl |
| << "mass_dimension = " |
| << simplify_typename(mass_dimension()) << std::endl |
| << "time_dimension = " |
| << simplify_typename(time_dimension()) << std::endl |
| << "energy_dimension = " |
| << simplify_typename(energy_dimension()) << std::endl; |
| |
| //[dimension_snippet_1 |
| typedef mpl::times<length_dimension,mass_dimension>::type LM_type; |
| typedef mpl::divides<length_dimension,time_dimension>::type L_T_type; |
| typedef static_root< |
| mpl::divides<energy_dimension,mass_dimension>::type, |
| static_rational<2> |
| >::type V_type; |
| //] |
| |
| BOOST_MPL_ASSERT((boost::is_same<LM_type, |
| mpl::push_front< |
| mpl::push_front< |
| dimensionless_type, |
| dim<mass_base_dimension, static_rational<1L, 1L> > >::type, |
| dim<length_base_dimension, static_rational<1L, 1L> > >::type>)); |
| |
| BOOST_MPL_ASSERT((boost::is_same<L_T_type, |
| mpl::push_front< |
| mpl::push_front< |
| dimensionless_type, |
| dim<time_base_dimension, static_rational<-1L, 1L> > >::type, |
| dim<length_base_dimension, static_rational<1L, 1L> > >::type>)); |
| |
| BOOST_MPL_ASSERT((boost::is_same<V_type, |
| mpl::push_front< |
| mpl::push_front< |
| dimensionless_type, |
| dim<time_base_dimension, static_rational<-1L, 1L> > >::type, |
| dim<length_base_dimension, static_rational<1L, 1L> > >::type>)); |
| |
| std::cout << "LM_type = " << simplify_typename(LM_type()) << std::endl |
| << "L_T_type = " << simplify_typename(L_T_type()) << std::endl |
| << "V_type = " << simplify_typename(V_type()) << std::endl; |
| |
| return 0; |
| } |