texp_rationalof.hpp

Go to the documentation of this file.

#ifndef realroot_ARITHM_TRAITS_RATIONALOF_H
#define realroot_ARITHM_TRAITS_RATIONALOF_H
#include <realroot/texp_integerof.hpp>

namespace mmx {

namespace texp
{
  template<class X> struct rationalof_  { typedef null_t T; };
  //  { typedef mpq_class T; };
  //  { Rational< typename integerof<X>::T > T;  };
  template<class K, class X, class extended> struct kernel_rationalof;
  template<class K, class X> struct kernel_rationalof<K,X,true_t> { typedef typename K::extended_rational T; };
  template<class K, class X> struct kernel_rationalof<K,X,false_t> { typedef typename K::rational T; };
  template<class X, class extended>
  struct kernel_rationalof<null_t,X,extended> { typedef typename rationalof_<X>::T T; };
  template<class X>
  struct rationalof
  {
    typedef typename ucstref<X>::T _X;
    typedef typename kernel_rationalof< typename kernelof<X>::T, _X, typename is_extended<X>::T  >::T T;
  };
};

}// end namespace mmx

#endif