in reply to Re^5: getting rid of special features
in thread getting rid of costly special features

> However, sort order is different from "range order"...

So what?

  DB<125>  sort 1..12
 => (1, 10, 11, 12, 2, 3, 4, 5, 6, 7, 8, 9)

[download]

Lexicographic sort is always different!

Cheers Rolf

Replies are listed 'Best First'.
Re^7: getting rid of special features
by Anonymous Monk on Feb 18, 2013 at 00:31 UTC

    Laxtiviographic sort is always different!

    There, I fixed it for you :D

[reply]

In Section Meditations