Revision history [back]

When I try to solve the following with the assumption z is nonzero solve still outputs the solution with z=0:

assume(z!=0)
solve([x,y*z],x,y,z,solution_dict=True)

Output:

[{x: 0, y: r79, z: 0}, {x: 0, y: 0, z: r80}]