<html>
<head>
<style>
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
FONT-SIZE: 10pt;
FONT-FAMILY:Tahoma
}
</style>
</head>
<body class='hmmessage'>Mika corrected my proposed implementation of set_compare.<BR>
<BR>
I had it right for <= and >= but wrong for < and >.<BR>
< and > need to check if the sets are equal, in which case return false.<BR>
My confidence here wasn't particularly high, I intend(ed) to test a bunch, once it works at all, and it doesn't yet.<BR>
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...<BR>
<BR>
- Jay<BR><BR>[snip -- the below is wrong]<BR>
<BLOCKQUOTE>
<DIV>
<BLOCKQUOTE><SPAN class=EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate">
<DIV class=EC_hmmessage style="FONT-SIZE: 10pt; FONT-FAMILY: Tahoma">
<BLOCKQUOTE>
<DIV>
<BLOCKQUOTE><SPAN class=EC_EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate">
<DIV class=EC_EC_hmmessage style="FONT-SIZE: 10pt; FONT-FAMILY: Tahoma"><FONT face="" size=2> <BR>I believe it should be:<BR> <BR>a < b => (a & b) == a<BR>a <= b => (a & b) == a (same as <=)</FONT></DIV></SPAN></BLOCKQUOTE>
<BLOCKQUOTE><SPAN class=EC_EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate">
<DIV class=EC_EC_hmmessage style="FONT-SIZE: 10pt; FONT-FAMILY: Tahoma"><FONT face="" size=2>a > b => (a & b) == b<BR>a >= b => (a & b) == b (same as >)</FONT></DIV></SPAN></BLOCKQUOTE></DIV></BLOCKQUOTE></DIV></SPAN></BLOCKQUOTE></DIV></BLOCKQUOTE></body>
</html>