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

Re: Exact vs correctly-rounded dot product



On Wed, November 18, 2009 16:09, Michel Hack wrote:
> (I assume voting is over...)


No. Still a full working day in the US and a long night in Europe) to
collect all missing No votes.

Those who didn't vote yet should remember that failing to vote twice in a
row implies losing the voting rights.

Arnold Neumaier