Motion 26: NO

["Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>]

I reiterate my NO vote with a few reasons I did not mention earlier:

   -- Only the linear quality order
           ndf < con < def < dac < ein
of decorations implied by (15) of motion 26 is actually required to
*compute* decorations reliably (note the decorations in (15) are roughly the
same definitions given in withdrawn motions 25 and 27).

   -- I agree with Dominique the "containment order" of decorations given
in (8) is overlapping with the order (15), but that with appropriate
definitions order (8) is unnecessary to verify the computed results.

   -- Order (8) seems to imply that interval comparison relations will
depend on the decorations and not just the interval (particularly the
bounded decoration, which I think is unnecessary).

   -- Bare decorations should promote to Empty, not Entire.

I'm still left really unconviced about P1788 not providing decorated
intersection and union operations on the premise the semantics of these two
operations should come from taking intersection or union of real numbers and
not sets.

Nate Hayes
Sunfish Studio, LLC