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