From: Gennaro Prota (gennaro_prota_at_[hidden])
Date: 2003-03-27 12:44:22
On Thu, 27 Mar 2003 18:34:05 +0100, Gennaro Prota
<gennaro_prota_at_[hidden]> wrote:
>David Abrahams<dave_at_[hidden]> wrote:
>
>>lexicographic?
>
>Indeed. We have an order relation < in X, and use what mathematicians
>call lexicographic order induced in X^n by <.
Yup! I should have looked better at the code. It's actually much more
general than that :-)
Genny.