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

Re: Motion P1788/M0002.01_ProcessStructure NO



On 2009-03-19 13:33:18 +0200, Evgenija D. Popova wrote:
> I vote NO on motion 2.
> 
> I would vote "yes" if in the position paper P1788/PP008
> 
> lines 10+ to 12+ on page 2, saying:
> "The levels framework, here proposed, does not give much help to 
> discussing modal or Kaucher intervals, 
> because these are more than "plain sets" (of numbers); but with minor 
> changes it supports discussing 
> Kahan-style wraparound intervals, which are plain sets."
> 
> and the sentence "It does not include Kaucher and modal intervals.", 
> lines 5-,6-  on page 7.
> 
> are removed.

The motion text says:

  The P1788 Working Group adopts the principles set out in
  sections 1 and 2 of Position Paper PP008, "A proposed structure
  ^^^^^^^^^^^^^^^^
  for the process of constructing the P1788 standard".

and the rationale says:

  Note that this is a vote on principles, NOT on the detail in the
                                          ^^^^^^^^^^^^^^^^^^^^^^^^
  following section 3 and appendix. P1788 members may see various
  ^^^^^^^^^^^^^^^^^^^
  defects of commission or omission in those, and are asked to
  point them out, as a separate issue from this motion.

Evgenija, the sentence "It does not include Kaucher and modal
intervals." you're quoting is from Section 3. If I understand
correctly, this section is not part of the motion we are voting
on. Can anyone confirm?

Also, I don't think that Sections 1 and 2 of PP008 reject Kaucher
and modal intervals, since they just propose a structure, but
don't really define anything.

Any comment?

(I'd like to have more information before voting. Indeed I don't think
Kaucher and modal intervals should be rejected before any discussion
about them.)

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