14 Mar
2004
14 Mar
'04
1:14 p.m.
The problem is that those current functions take 5 parameters, making specialization nearly impossible for the rational and fixed templates as you'd have to account for when the 3rd, 4th, 5th, etc parameters are not passed (and so the default integral 0 is used). That can't be easily done (at least I don't see how) without having to specialize each condition separately (one for 3 rational types, one for 4 rational types, etc ).
Scratch that, it can just call a specialized version of a 2 parameter operation like the one I suggested later in the post, but still, all of the other problems remain (when types are different).