RE: M0020.01 Comparing comparisons NO
I vote NO, for the same reason.
-----Original Message-----
From: stds-1788@xxxxxxxx [mailto:stds-1788@xxxxxxxx] On Behalf Of John Pryce
Sent: Monday, September 20, 2010 3:36 AM
To: stds-1788
Subject: M0020.01 Comparing comparisons NO
I forgot to give my reasons to vote NO on Dominique Lohez's "frameWorkForComparisonRelations" paper.
As a pure mathematician, I like its contents a lot. As a mathematician trying to do software engineering, I think it goes beyond what anyone writing practical interval software needs.
- Arnold says he only ever needed 3 comparisons.
- Baker concurs, though admitting his applications were similar to Arnold's.
- Someone said the Kulisch <= is used in branch-and-bound to rank candidates: that makes 4.
No one else has offered evidence of uses in actual interval code. So for sake of KISS I vote against.
John Pryce