Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Motion P1788/M0043.01Div2Pair and 3-argument form of mulRev



On 2013-05-01 18:40:15 +0100, John Pryce wrote:
> Maybe I've missed some discussion, but it seems the motion doesn't
> handle the 3-argument form of mulRev, see draft 7.1§9.6.5, though
> Dmitry mentioned it (24 April 2013 02:48:07 GMT+01:00).

I thought that this wasn't needed in practice. The purpose of this
motion is for the interval Newton method, in particular, and AFAIK,
the 2-argument form of mulRev has been considered because it is
very similar to divPair. But do we really need more?

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)