00001 #ifndef UPOL_TRAITS_HH 00002 #define UPOL_TRAITS_HH 00003 00004 #include <synaps/init.h> 00005 #include <synaps/base/type.h> 00006 00007 __BEGIN_NAMESPACE_SYNAPS 00008 00009 template<class C> struct ispolynomial { typedef type::false_t T; }; 00010 template<class C, class R > struct ispolynomial< UPolDse<C,R> > { typedef type::true_t T; }; 00011 //template<class C> struct base_ring 00012 00013 __END_NAMESPACE_SYNAPS 00014 00015 #endif
|