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.
