]> www.ginac.de Git - ginac.git/search
"(x+1).subs(x==x-1)" now returns the correct result "x" instead of "x-1"