Three variable SOS

asked 11 years ago

sedddd gravatar image

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 (ab)2Sc+(bc)2Sa+(ca)2Sb where Sa is some expression in a,b,c and Sb, Sc are obtained by cyclic permutations. For example ab+c+bc+a+ca+b32 has SOS form (ab)22(b+c)(c+a)+(bc)22(c+a)(a+b)+(ca)22(a+b)(b+c)

Preview: (hide)