Hey Sebastien, 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? > > The result is not what I would expect. However, I will let someone more versed with the symbolic ring officially call it a bug.
It's also not just negation, but honest multiplication: sage: (-1)*(x > 100) -x > -100 sage: ZZ(-1)*(x > 100) -x > -100 sage: SR(-1)*SR(x > 100) -x > -100 Best, Travis -- 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.
