Suppose I have this expression:
$$\frac{a {\left(t_{1} + t_{2} + t_{3} - 1\right)}}{b} $$
This can be simplified to 0 if we assume $t_1 + t_2 + t_3 = 1$.
How can I accomplish this in Sage? I've tried:
var('t1', 't2', 't3', 'a', 'b')
expr1 = ((t1 + t2 + t3 - 1)*a)/b
expr1.full_simplify()
assume(t1 + t2 + t3 == 1)
expr1.full_simplify()
I expected the second call tofull_simplify() to return 0 but it returned the same result as the first call, which is $$\frac{a t_{1} + a t_{2} + a t_{3} - a}{b}$$
