I’m using the Symbolics package. Suppose I’ve got an expression in several real variables, let’s call it expr, and I equate it with zero, e.g. expr ~ false. I’d like some simple automatic simplifications of that equation. For example:

Why is zero equivalent to false? Are you working with Boolean algebra?

There is the simplify function that uses some predefined rewriting rules, but I’m not sure it handles Boolean variables (I guess not). If you are just using “standard” algebra, then it might suit your needs.

Ah yeah, looks like simplify only considers a term, not equations. Would be interesting to know if there is a way to simplify the whole equation though…