Open
Description
Try this:
sage: solve(sqrt(x^3)!=0, x)
#0: solve_rat_ineq(ineq=sqrt(_SAGE_VAR_x^3) # 0)
[[x != 0]]
What's that? (tested on 7.5.beta4)
Component: symbolics
Keywords: solve, sage_var, inequality
Issue created by migration from https://trac.sagemath.org/ticket/22018