Re: Bare decorations (was ...level 2 datums) - level 2 versus level 3

[Arnold Neumaier <Arnold.Neumaier@xxxxxxxxxxxx>]

Michel Hack wrote:
> I think Dan Zuras found the missing piece in Nate's argument:
> >  And how will you know that an exception has occured
> >  on a bare interval?
>
> The discussion of this seems to have started, but just barely...

Nate Hayes had explained it already how it can be done:

Bare interval operations are executed by promoting the bare intervals
to decorated intervals; after the execution, either the decoration or
the interval is discarded, depending on a switching mode.

If the decoration is discarded, this gives the intended bare interval,
since it doesn't depend on the decoration.

If the interval is discarded, the bare decoration comes out correctly
if the promotion procedure uses the worst compatible decoration, as
mentioned in Section 2.4 of Motion 8.

The only thing not yet discussed is when/how to switch.
This will be done soon, after we explored the needs.


Arnold Neumaier