Re: [boost] Math tools polynomial enhancements

Subject: Re: [boost] Math tools polynomial enhancements
From: Jeremy Murphy (jeremy.william.murphy_at_[hidden])
Date: 2015-11-02 07:52:46

Btw, for anyone else interested, the PR for run-time polynomial division is
open: https://github.com/boostorg/math/pull/17

I am a bit conflicted about the question of assert vs exception so wouldn't
mind hearing more points of view.

On 1 November 2015 at 19:57, John Maddock <jz.maddock_at_[hidden]> wrote:

>
>
> On 01/11/2015 00:57, Jeremy Murphy wrote:
>
>> On 30 October 2015 at 05:33, John Maddock <jz.maddock_at_[hidden]>
>> wrote:
>>
>> OK, lets give it a shot and see where it leads.
>>>
>>>
>>> At the moment it has led me to the question of how to disable division
>> when
>> the coefficients are not a field? And, ideally, provide a useful compiler
>> error message along the way.
>>
>> I don't expect to actually be able to determine which types are fields
>> (that kind of concept-checking is still a dream) so I'm thinking that I'll
>> just disable it for integral types and rely on documentation for the rest.
>>
>
> We have enough traits to get amazingly close to concepts, however, in this
> case it's the semantics of say operator / which determine "ring-ness", so
> yes by all means check for integer types (you may need both is_integral and
> numeric_limits<>::is_integer to catch them all).
>
>
> John.
>
> _______________________________________________
> Unsubscribe & other changes:
> http://lists.boost.org/mailman/listinfo.cgi/boost
>