Re: Review Request: dlw_gcd.zip

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