-----maxima-admin at math.utexas.edu wrote: -----
>Perhaps $set ought to be added to the official
>bags -- perhaps it ought to be a user-visible
>list bag_operators -- and perhaps outermap should
>use mbagp.
Generally (maybe always) when Maxima maps a function
over a mbag (lists, matrices, equations), Maxima assumes
that the bag doesn't need to be simplified. I guess
this is always the case for current mbags, but it's
not for sets. So if sets are declared to be bags,
we need to find every instance of mapping a function
over a bag and make sure the result is simplified. We
can't allow diff(set(x,x+1),x) --> set(1,1). But
diff([x,x+1],x) --> [1,1] is OK.
It's been a few years, but I think Stavros warned me
about this when I proposed making sets mbags.
Barton