ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Mon, 22 Jul 2013 05:00:22 -0500Three variable SOShttp://ask.sagemath.org/question/10373/three-variable-sos/Hi, suppose I have symmetric or cyclic expression in variables $a,b,c$ that is equal to $0$ when $a = b = c$. Can sage find the SOS form of the expression? I.e. write it in form $$(a - b)^2 \cdot S_c + (b - c)^2 \cdot S_a + (c - a)^2 \cdot S_b$$ where $S_a$ is some expression in $a,b,c$ and $S_b$, $S_c$ are obtained by cyclic permutations. For example $$\frac{a}{b + c} + \frac{b}{c + a} + \frac{c}{a + b} - \frac{3}{2}$$ has SOS form $$\frac{(a - b)^2}{2(b + c)(c + a)} + \frac{(b - c)^2}{2(c + a)(a + b)} + \frac{(c - a)^2}{2(a + b)(b + c)}$$Mon, 22 Jul 2013 05:00:22 -0500http://ask.sagemath.org/question/10373/three-variable-sos/