Re: Decorated interval operations: still a problem

[Arnold Neumaier <Arnold.Neumaier@xxxxxxxxxxxx>]

John Pryce wrote:
> I recall this made me uneasy when we originally discussed Motion 8, but I didn't put my finger on the cause of my unease at the time:
>
> > 2.4. An arithmetic operation on bare intervals is obtained by promoting the bare intervals to decorated intervals whose decorations are all-0 and then performing the operation with the resulting decorated intervals.

As you noticed, this was intended for an arithmetic operation
involving a bare and a decorated interval. Sorry for having been
imprecise. In my new decoration model, all-0 must be replaced by
''worst compatible'' (i.e., 4 if empty, 2 if nonempty).

For an arithmetic operation involving a bare interval and a bare
decoration, the rule is that the bare interval is promoted to
the wirst compatible bare decoration.


Arnold Neumaier