Hsosprogram Test

You might also like

Download as pdf or txt
Download as pdf or txt
You are on page 1of 10

>

>

(1)

>
"This is a symmetric polynomial!"

1
1
"====================================================================
================================================================="
"Tap hop mau thuc"

"====================================================================
================================================================="
"====================================================================
=========================================="

"====================================================================
=========================================="

false
false
"====================================================================
=========================================="

"====================================================================
=========================================="

"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 ] "
"=========="

"=========="
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
"====================================================================
=========================================="

"====================================================================
=========================================="

"This is a cyclic 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 ] "
"=========="

"=========="

1
1
(6)
(6)

>

(7)

>
"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
(8)

>

(9)

>
"This is a cyclic symmetric polynomial!"

1
1
"====================================================================
================================================================="
"Tap hop mau thuc"

"====================================================================
================================================================="
"====================================================================
=========================================="

"====================================================================
=========================================="

1
1
1
1
1
false
false
"====================================================================
=========================================="

"====================================================================
=========================================="

"This is a cyclic 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 ] "
"=========="

"=========="

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"
"====================================================================
================================================================="
"====================================================================
=========================================="

"====================================================================
=========================================="

"This is a cyclic 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 ] "
"=========="

"=========="

"====================================================================
=========================================="

"====================================================================
=========================================="

"This is a cyclic 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 ] "
"=========="

"=========="
1
1
(14)
>
>
(15)
>
This is a circle symmetric polynomial!
This inequality is true! Try to solving:

Can't give a solution - solve02


Can't give a solution - solve03
Can't give a solution - solve04
(16)

>
(17)
>
This is a circle symmetric polynomial!
This inequality is true! Try to solving:

Can't give a solution - solve02


Can't give a solution - solve03
Can't give a solution - solve04
(18)

>
(19)
>
This is a symmetric polynomial!
This inequality is true! Try to solving:

Can't give a solution - solve02


Can't give a solution - solve03
Can't give a solution - solve04
(20)
(20)

>

You might also like