You need not say too much, was: Re: Verifying Chipmunk intervals (was: Level 2 query, number 2)
> From: John Pryce <j.d.pryce@xxxxxxxxxxxx>
> Subject: Re: Level 2 query, number 2
> Date: Tue, 6 Sep 2011 16:44:49 +0100
> To: stds-1788 <stds-1788@xxxxxxxxxxxxxxxxx>
>
> Michel, P1788
>
> On 5 Sep 2011, at 14:03, Michel Hack 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.
>
> John Pryce
Folks,
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?
Dan