hi, in sagemath cloud i multiply a inequality with -1. i expected that the operator change from > to <. but it dit not!
my input:
reset();var(x)
ie = (x>1); show(ie)
show(solve(ie,x))
ie = ie*(-1); show(ie)
show(solve(ie,x))
i dit the solve() to see that the multiplication with -1 results in another solution, which is wrong.