xref: /dports/math/reduce/Reduce-svn5758-src/xmpl/2012-11-08-solve-wrong-with-abs.tst

% The following two calls to solve used to return the wrong result
% {x=1,x=-1}

solve(abs(x)=-1,x);

solve(sqrt(x^2)=-1,x);

end;