Hullo Sympifiers, I've created (programmatically) a situation that boils down to something like:
*x, y = symbols( 'x,y' )* *And( x < y, y < oo )* This currently results in a sympification error, I gather on the boolean that the *y < oo* becomes. I'm not clear on why, however. In this case, couldn't the *And* recognize the True value as superfluous and simply return the *x < y* expression? And similarly, if it were False, couldn't it simply return False? Thanks, Kevin -- You received this message because you are subscribed to the Google Groups "sympy" group. To view this discussion on the web visit https://groups.google.com/d/msg/sympy/-/2NYaOPB-1UoJ. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.