Get True solutions

[Former user]

Hi,

I'm asking again about a previous question: I'm running the next code: IExpr exp = util.evaluate("Solve(2*x/y==x/z,x)"); And get the solution: x->0.

This result is wrong, cause the right solution is for every x. So I suppose the "exp" should be True or something else that will represent this state.

[Axel Kramer]

In this case the system "indirectly assumes" that y and z are unequal zero.

So x->0 is as solution.

[Axel Kramer]

Please use the Github issue tracker to open a new issue if this issue shouldn't be closed Github issues