texp_hasfunction.hpp

Go to the documentation of this file.

#ifndef realroot_ARITHM_TRAITS_HASFUNCTION_H
#define realroot_ARITHM_TRAITS_HASFUNCTION_H


namespace mmx {

#define simple_trait(name,default)\
template< typename X > struct name##_ { typedef default T; };\
template< typename X > struct name { typedef typename name##_< typename texp::ucstref<X>::T >::T T; };\

namespace texp {
  
  simple_trait(hasgcd,false_t);
  simple_trait(hassqrt,false_t);
  simple_trait(hasisqrt,false_t);

  template< typename X >
    struct hasfunction
    {
      typedef typename hasgcd  < typename texp::ucstref<X>::T >::T  gcd;
      typedef typename hassqrt < typename texp::ucstref<X>::T >::T  sqrt;
      typedef typename hasisqrt< typename texp::ucstref<X>::T >::T isqrt;
    }; 
}

}// end namespace mmx

#endif