First time here? Check out the FAQ!
answered 2017-08-05 09:38:02 +0100
var('t1', 't2', 't3', 'a', 'b') expr1 = ((t1 + t2 + t3 - 1)*a)/b equ = t1 + t2 + t3 == 1 expr1.subs(solve(equ,t1))