Motion P1788/M0009.01_ExactDotProduct YES
My vote is Yes.
Such a tool is useful for high-precision Taylor models, where the overall
remainder error is dominated by the least accurate coefficient, and it is thus
very advantageous to have all coefficients to the same accuracy. The resulting
TM arithmetic can then obtain enclosures of a sharpness commensurate with the
high-precision arithmetic even for non-small domains.
Furthermore, this may be one of the few items that appear not to be affected
by Walster's interval patents.
Martin Berz