[M3devel] small set comparisons understood, now just to understand the front end code..

[Jay]

Mika corrected my proposed implementation of set_compare.
 
I had it right for <= and >= but wrong for < and >.
< and > need to check if the sets are equal, in which case return false.
My confidence here wasn't particularly high, I intend(ed) to test a bunch, once it works at all, and it doesn't yet.
Should also 1) check the history; I suspect it never worked 2) as a stopgap if really desparate can probably omit the optimization and just use the functions but that's lame.. well, for < and >, the inline code might be kind of large actually.. could write helpers just for int-sized sets...
 
 - Jay[snip -- the below is wrong]







 I believe it should be: a < b => (a & b) == aa <= b => (a & b) == a (same as <=)

a > b => (a & b) == ba >= b => (a & b) == b (same as >)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20080414/546b17aa/attachment-0002.html>