On Fri, 3 Sep 2004, David Roundy wrote:
Hello,
I was wondering if the list diff operator \\ takes advantage of situations
where the list data type is in class Ord, besides being in Eq. If it is
only in Eq, then \\ must be O(n^2), while if it is in Ord, a O(nlogn) \\
can be written.
Is
On 03-Sep-2004, David Roundy [EMAIL PROTECTED] wrote:
I was wondering if the list diff operator \\ takes advantage of situations
where the list data type is in class Ord, besides being in Eq.
No, it cannot, at least not in the general case.
The interface for \\ says that it only depends on the