Hi sage-devel, I was using symbolic inequalities because I was lazy to do them by hand. It works well for multiplication and addition :
sage: 10 * (x > 100) 10*x > 1000 sage: 10 + (x > 100) x + 10 > 110 But not for multiplication by a negative number : sage: - (x > 100) -x > -100 Do you consider this to be a bug? I would prefer the answer "-x < -100" to preserve the space of solutions. Do you? Similarly, but I don't know what should be the result (0=0?) : sage: 0 * (x > 100) 0 > 0 Sébastien -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
