Re: You need not say too much, was: Re: Verifying Chipmunk intervals
Dan
On 6 Sep 2011, at 18:39, Dan Zuras Intervals wrote:
>> And could I run tests to check the following, which is IMO an important
>> property of a representation?
>> ss=w(xx) implies xx=r(ss),
>> whence distinct internal intervals xx have distinct representations ss.
>>
>> Seeking your opinions.
>
> This may be an example where, by specifying too much,
> we get ourselves into trouble with other standards.
>
> How about saying "It shall be possible" to interconvert
> such that the above is true & leave it at that?
But the provider of an exotic interval type might be deceitful, or have failed to notice a bug. I think Michel has diagnosed my worries correctly.
John