multiplication -1 with a inequality
hi, in sagemath cloud i multiply a inequality with -1. i expected that the operator change from > to <. but it dit not!
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.