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
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]>
>> 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
>> 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).
> Unsubscribe & other changes:
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk