texp_kernelof.hpp

Go to the documentation of this file.

#ifndef realroot_ARITHM_TRAITS_KERNELOF_H
#define realroot_ARITHM_TRAITS_KERNELOF_H
#include <realroot/texp.hpp>

namespace mmx {

template<class K> struct algebraic;

namespace texp {

  using namespace texp;

  template<class mplib, typename _ieee_ = double >
  struct kernel
    {
      typedef typename mplib::integer  integer;
      typedef typename mplib::rational rational;
      typedef typename mplib::floating floating;
      typedef _ieee_                   ieee;
    };
  
  template<class X>
  struct kernelof_ { typedef null_t T; };
  template<class K>
  struct kernelof_< algebraic<K> > { typedef K T; };

  template<class X>
  struct kernelof { typedef typename kernelof_< typename ucstref<X>::T >::T T; };
  template<class X>
  struct haskernel { typedef typename tnot< typename equal< null_t, typename kernelof<X>::T >::T >::T T; };
  

};

}// end namespace mmx

#endif