On Wed, 7 Sep 2011, Allin Cottrell wrote:
Never mind, I have a test case and clearly it's a bug in
calculation of the
memory needed. I should have a fix after band practice tonight.
Now fixed in CVS. (Summary: trying to subtract list B with
duplicated elements from list A you could get a spurious "out
of memory" error.)
Allin