simplification_add.py File Reference

Namespaces
	simplification_add

Functions
def	simplification_add.simp_add_mul (expr_simp, expr)
	@expr_simp is the current expression simplifier instance (for recursive simplifications) @expr is the expression to (perhaps) simplify More...

Variables
	simplification_add.a = m2_expr.ExprId('a', 32)
	simplification_add.base_expr = a + a + a