Professional Documents
Culture Documents
Hsosprogram Test
Hsosprogram Test
Hsosprogram Test
>
(1)
>
"This is a symmetric polynomial!"
1
1
"====================================================================
================================================================="
"Tap hop mau thuc"
"====================================================================
================================================================="
"====================================================================
=========================================="
"====================================================================
=========================================="
false
false
"====================================================================
=========================================="
"====================================================================
=========================================="
1
"If [ aO=bO=c], just need to prove [ SaO=0, SbO=0, ScO=0 ] or [ SbO=0 , SbCSaO=0,
SbCScO=0 ] or [ SaO=0 , ScO=0 , SaC2*SbO=0 , ScC2*SbO=0 ] or [ ScO=0 ,
SaO=0 , a^2*SbCb^2*SaO=0 ]"
"If SaCSbCScO=0, just need to prove [ Sa*SbCSb*ScCSc*SaO=0 ] "
"=========="
"=========="
1
1
(2)
>
(3)
>
"This is a symmetric polynomial!"
"========================================================="
"========================================================="
false
"========================================================="
"========================================================="
"If [ aO=bO=c], just need to prove [ SaO=0, SbO=0, ScO=0 ] or [ SbO=0 , SbCSaO=0,
SbCScO=0 ] or [ SaO=0 , ScO=0 , SaC2*SbO=0 , ScC2*SbO=0 ] or [ ScO=0 ,
SaO=0 , a^2*SbCb^2*SaO=0 ]"
"If SaCSbCScO=0, just need to prove [ Sa*SbCSb*ScCSc*SaO=0 ] "
"======================================="
"======================================="
"Since the number of negative coefficients of the output result is limited, if there is no output
result 2 times, try to execute the command several times or change the value of the input
parameter"
1
1
(4)
>
(5)
>
"This is a cyclic symmetric polynomial!"
1
1
"====================================================================
================================================================="
"Tap hop mau thuc"
"====================================================================
================================================================="
"====================================================================
=========================================="
"====================================================================
=========================================="
false
false
"====================================================================
=========================================="
"====================================================================
=========================================="
1
"If [ aO=bO=c], just need to prove [ SaO=0, SbO=0, ScO=0 ] or [ SbO=0 , SbCSaO=0,
SbCScO=0 ] or [ SaO=0 , ScO=0 , SaC2*SbO=0 , ScC2*SbO=0 ] or [ ScO=0 ,
SaO=0 , a^2*SbCb^2*SaO=0 ]"
"If SaCSbCScO=0, just need to prove [ Sa*SbCSb*ScCSc*SaO=0 ] "
"=========="
"=========="
1
1
(6)
(6)
>
(7)
>
"This is a symmetric polynomial!"
1
1
"====================================================================
================================================================="
"Tap hop mau thuc"
"====================================================================
================================================================="
"====================================================================
=========================================="
"====================================================================
=========================================="
1
"If [ aO=bO=c], just need to prove [ SaO=0, SbO=0, ScO=0 ] or [ SbO=0 , SbCSaO=0,
SbCScO=0 ] or [ SaO=0 , ScO=0 , SaC2*SbO=0 , ScC2*SbO=0 ] or [ ScO=0 ,
SaO=0 , a^2*SbCb^2*SaO=0 ]"
"If SaCSbCScO=0, just need to prove [ Sa*SbCSb*ScCSc*SaO=0 ] "
"=========="
"=========="
"====================================================================
=========================================="
"====================================================================
=========================================="
false
false
1
1
(8)
>
(9)
>
"This is a cyclic symmetric polynomial!"
1
1
"====================================================================
================================================================="
"Tap hop mau thuc"
"====================================================================
================================================================="
"====================================================================
=========================================="
"====================================================================
=========================================="
1
1
1
1
1
false
false
"====================================================================
=========================================="
"====================================================================
=========================================="
1
"If [ aO=bO=c], just need to prove [ SaO=0, SbO=0, ScO=0 ] or [ SbO=0 , SbCSaO=0,
SbCScO=0 ] or [ SaO=0 , ScO=0 , SaC2*SbO=0 , ScC2*SbO=0 ] or [ ScO=0 ,
SaO=0 , a^2*SbCb^2*SaO=0 ]"
"If SaCSbCScO=0, just need to prove [ Sa*SbCSb*ScCSc*SaO=0 ] "
"=========="
"=========="
1
1
(10)
>
(11)
>
"This is a symmetric polynomial!"
1
1
"====================================================================
================================================================="
"Tap hop mau thuc"
"====================================================================
================================================================="
"====================================================================
=========================================="
"====================================================================
=========================================="
"This is a symmetric polynomial!"
1
"If [ aO=bO=c], just need to prove [ SaO=0, SbO=0, ScO=0 ] or [ SbO=0 , SbCSaO=0,
SbCScO=0 ] or [ SaO=0 , ScO=0 , SaC2*SbO=0 , ScC2*SbO=0 ] or [ ScO=0 ,
SaO=0 , a^2*SbCb^2*SaO=0 ]"
"If SaCSbCScO=0, just need to prove [ Sa*SbCSb*ScCSc*SaO=0 ] "
"=========="
"=========="
"====================================================================
=========================================="
"====================================================================
=========================================="
false
false
1
1
(12)
>
(13)
>
"This is a cyclic symmetric polynomial!"
1
1
"====================================================================
================================================================="
"Tap hop mau thuc"
"====================================================================
================================================================="
"====================================================================
=========================================="
"====================================================================
=========================================="
1
"If [ aO=bO=c], just need to prove [ SaO=0, SbO=0, ScO=0 ] or [ SbO=0 , SbCSaO=0,
SbCScO=0 ] or [ SaO=0 , ScO=0 , SaC2*SbO=0 , ScC2*SbO=0 ] or [ ScO=0 ,
SaO=0 , a^2*SbCb^2*SaO=0 ]"
"If SaCSbCScO=0, just need to prove [ Sa*SbCSb*ScCSc*SaO=0 ] "
"=========="
"=========="
"====================================================================
=========================================="
"====================================================================
=========================================="
1
"If [ aO=bO=c], just need to prove [ SaO=0, SbO=0, ScO=0 ] or [ SbO=0 , SbCSaO=0,
SbCScO=0 ] or [ SaO=0 , ScO=0 , SaC2*SbO=0 , ScC2*SbO=0 ] or [ ScO=0 ,
SaO=0 , a^2*SbCb^2*SaO=0 ]"
"If SaCSbCScO=0, just need to prove [ Sa*SbCSb*ScCSc*SaO=0 ] "
"=========="
"=========="
1
1
(14)
>
>
(15)
>
This is a circle symmetric polynomial!
This inequality is true! Try to solving:
>
(17)
>
This is a circle symmetric polynomial!
This inequality is true! Try to solving:
>
(19)
>
This is a symmetric polynomial!
This inequality is true! Try to solving:
>