1 | initial version |
Further factorization can be done by :
opt2=[u.factor() for u in opt1]
More interesting :
show(opt2[2].subs([u.rhs()==u.lhs() for u in opt2[:2]]))
Since you used non-ASCII symbols such as α and β, which are not accepted by the default LaTeX compiler in Sage (and possibly not by the peculiar Mathjax engine used in the present site), I can't show you the result. See for yourself.
BTW : since you do not reuse the paramu
tuple, I wonder what't's the point of not using the standard `var("alpha, beta") (which BTW does print the relevant greek letters...).
HTH,