| Sort the array triples and return the reorganised array. A new array may be returned
or the existing array reorganised in-place. The result array may have a different
size from the original; the requirement is just that a query using the result must
deliver the same results as one using the original. We hope, of course, that the
performance of the query is improved ...
|