By the way, my circa 1994 Macsyma 2.2 also makes O(n^2) calls to great to add a list of n distinct mapatoms. Barton