From mboxrd@z Thu Jan 1 00:00:00 1970 From: John Richard Moser Subject: Re: Group ordering and comparison Date: Thu, 15 Jun 2006 00:55:21 -0400 Message-ID: <4490E839.1060202@comcast.net> References: <44909ED0.3060402@comcast.net> Mime-Version: 1.0 Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <44909ED0.3060402@comcast.net> Sender: linux-c-programming-owner@vger.kernel.org List-Id: Content-Type: text/plain; charset="us-ascii" To: John Richard Moser Cc: linux-kernel@vger.kernel.org, linux-c-programming -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 John Richard Moser wrote: > I need a little help proving a conjecture I've come up with in relation > to ordering and sorting.. not sure where else to go with this but since > I'm using it in kernel code I might as well ask. > [...] I asked #math, apparently it works. I still can't figure out how to deal with the swap code.. I guess I'll try to write other useful code and coerce someone else into writing that part for me later so I can get it hooked up. - -- All content of all messages exchanged herein are left in the Public Domain, unless otherwise explicitly stated. Creative brains are a valuable, limited resource. They shouldn't be wasted on re-inventing the wheel when there are so many fascinating new problems waiting out there. -- Eric Steven Raymond We will enslave their women, eat their children and rape their cattle! -- Bosc, Evil alien overlord from the fifth dimension -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2.2 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iQIVAwUBRJDoNws1xW0HCTEFAQKPPw/9Fxa/m8HdRIGzjVDz2MvH3Y0aVorr0r4Q N8JorcvdNWE2GhrCsbF0usSui3+00G5HzYXqgIVTv6jNveiPzDajh1ttKXZHqhRu zDEtxIn+xEMcIoWIp5187CfSULodnsSL4yqdVo7u1jXvfy8G7tq1Q9o3df6vhD// U2gzRDdny8mOLK3W2qH/TnyvLY5/8ktx/0Xa+wGWa6HLsvz5EO8yVPpzC32B+WT8 B2GivC/n1sDspHL7bz/KsHhXtMfV3mxm3gWjBjahPyy67TwUhYMvtvXvE0i89aBk lvuwHFvc8V3/eNxj6oHtiwn7vWpHftWsItvtbu811fe3OTRbF3qct3nQSLjF7nPw RHkdryYrQeDOkeMVmPG6lx+DYTaqfvFEnXqliPWzVUYTTPLwM7eXrWLa0Uzb6FhR NmMC2olOlxmoNheLYnjARbskU0yeuQTKYepgM3PcgSm2kZYrXwNfyW52y8SF9A4s p85l6B6QgSfZJQ6VGWZPuljaARR3koW4HtE9oltsnwJmEJbU/mvy7BmFTBX2MIB9 Q9/k9ZOwSZfTnjvVXKGgeHTUea0a1yU2xNk9lTMFzUFDzK93RnPXPltoIRe4y+LR Y+yLFQK25e1QloEjD1FZgsXKRwGCt6OOjWKctyAlRxnPgArTu9Wsw5POJTUntEoi ZCozaLijf5w= =ejo3 -----END PGP SIGNATURE-----