Re: Group ordering and comparison

[John Richard Moser]

-----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-----
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/