Re: Motion 31: V04.2 Revision of proposed Level 1 text: Dot Product
John Pryce wrote:
> Ulrich: on reflection I agree with Vincent. However useful the dot product
> is, it is essentially more complicated than +, -, *, /. I think calling
> it "basic" will cause more disagreement than agreement, so I have removed
> it from those lists.
Two things.
(1) I seem to recall that the PAR mentions "dependable computing"
as well as "Interval Arithmetic", and
(2) didn't Motion 9 -- which passed -- require inclusion of Exact Dot Product?
So it has to mentioned somewhere. But it is definitely a Level 2 issue,
because at Level 1 everything is Exact (if it is defined at all). Perhaps
a Note with a forwards reference?
Michel.
---Sent: 2012-02-07 16:40:26 UTC