From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S932129AbWFOFCJ (ORCPT ); Thu, 15 Jun 2006 01:02:09 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1750829AbWFOFCJ (ORCPT ); Thu, 15 Jun 2006 01:02:09 -0400 Received: from rwcrmhc12.comcast.net ([204.127.192.82]:44441 "EHLO rwcrmhc12.comcast.net") by vger.kernel.org with ESMTP id S1750795AbWFOFCH (ORCPT ); Thu, 15 Jun 2006 01:02:07 -0400 Message-ID: <4490E839.1060202@comcast.net> Date: Thu, 15 Jun 2006 00:55:21 -0400 From: John Richard Moser User-Agent: Thunderbird 1.5.0.4 (X11/20060612) MIME-Version: 1.0 To: John Richard Moser CC: linux-kernel@vger.kernel.org, linux-c-programming Subject: Re: Group ordering and comparison References: <44909ED0.3060402@comcast.net> In-Reply-To: <44909ED0.3060402@comcast.net> X-Enigmail-Version: 0.94.0.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org -----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-----