> But there is still the fact that
> (%i3) %solve(abs(x)=1,x);
> (%o3) %union([x = - 1], [x = 1])
> puts %c1 in the facts database, but the user doesn't know this. Am I
> correct in thinking that these could safely be removed without affecting
> what the user might later do with the solution ?
Yes, removing the fact about %c1 is harmless (and would be a good thing too). Maybe the
vestigial %c1 is due to silly code, I don't know.
--Barton