On Sat, 15 Dec 2001 13:38 +0000 (GMT Standard Time),
brangdon / cix.co.uk (Dave Harris) wrote:

>That the function's result should not depend on the order of its arguments 
>is, in my view, an important fact that should be made more explicit than 
>it currently is. We can deduce it from the function's implementation, or 
>from the function's name plus what we know about triangles, but I'm not 
>sure that is enough to satisfy the "Once" part of "Once and Only Once".

I'm not sure I understand your point. Are you saying that (a) the
result does not depend on the order of its arguments and (b) that fact
needs documentation?

Ronald E Jeffries
http://www.XProgramming.com
http://www.objectmentor.com