No, even that I would leave alone. I was saying that basically the only exceptions should be if a literal is in the expression, like True | x or True & x. This is similar to the approach taken in many other parts of SymPy (there the "literals" are numbers like 3 or pi).
I think this strikes a good balance between avoiding automatic simplification that is difficult or impossible to have not happen, and requiring the user to type simplify() just to get the most trivial evaluations to happen. By the way, what automatic simplifications are currently happening? The only one I know of, aside from ones involving boolean literals, is the conversion of xor. It looks like things like x | ~x and x & ~x are being left alone. Aaron Meurer On Fri, Jul 27, 2012 at 12:53 AM, Alex <[email protected]> wrote: > Seems good to me. I'm just a little unsure about what counts as a "most > trivial simplification". > Do you count A | ~A <=> True as a trivial simplification the constructor > should do? Isn't that potentially > going to confuse the user? To me, a boolean expression as inputed, and its > simplified form are potentially > both worth keeping. Somebody might need the unsimplified form whatsoever (?) > > -- > 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/-/kkrkJ89koBkJ. > > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
