From: helmut.zeisel_at_[hidden]
Date: 2001-08-29 08:07:55
--- In boost_at_y..., scleary_at_j... wrote:
> > Why do you restrict by a BOOST_STATIC_ASSERT to integers only?
> >
> > The Euclidian algorithm works for every Euclidian
> > ring.
> > I do not see, why the specific implementation should not work
> > e.g. for polynomials.
>
> I think we should restrict it to integers, at least until we can
support
> BOOST_STATIC_ASSERT(::boost::numeric_traits::is_euclidian_ring<T,
> op>::value);
>
> :)
Then I would say that we need such traits
or, maybe
::boost::extensible_traits<is_euclidian_ring_tag, T>::value,
cf. http://groups.yahoo.com/group/boost/message/16610
IMHO, Euclidian ring and Euclidian algorithm are so closely
related that I would be very suprised if
the "Standard" Euclidian algorithm did not work
for my user defined Euclidian ring.
Helmut