I think it's a bug; "=" for sets should be defined in terms of "=" for elements, so if elements are equivalent under "=", then so are the sets, I think. It appears that "=" for the sets is not punting to "=" for the elements as I would expect. I don't know how that would happen -- I seem to recall ALIKE1 for nonatomic expressions calls ALIKE1 for the operator and for each pair of arguments. I haven't looked at ALIKE1 for some time and I haven't further investigated this bug, so I may be wildly mistaken...
Pretty printer display extent incorrect for multiple subscripts
algsys fails due to 0 resolvent
Eric, thanks for following up. I've marked this ticket as "not a bug" as you suggested.
For the record, the aforementioned defint/limit bug is now known as: https://sourceforge.net/p/maxima/bugs/200/
Tracing KILL2 seems to show that it is calling itself recursively. Something about F(%phi, constant) makes KILL2 think that recursion is needed -- what is going on there? I notice that the presence of %phi seems to be key -- if it's foo, then the error is avoided. About refusing to forget facts in the context global, I think I'm OK with removing those, and instead fixing up the documentation to say that built-in assertions in global can be forgotten. In general Maxima doesn't apply the same operations...
draw() does not work on new debian 13 installation
I've marked this ticket as "closed". I agree w/ Leo B. that the problem is the undeclared dependency of GCL on GCC, which is beyond the scope of Maxima.