Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches

Table 2

Result table.

Cycle no.	Polynomial	Result
Cycle1	𝑚1[0],𝑚2[0],𝑚3[0]−1	𝑟𝑒𝑡=0
Cycle2	𝑚1[1],𝑚2[1]−1,𝑚3[1]	𝑟𝑒𝑡≠0, 𝑚1[1] fails
Cycle3	𝑚1[2],𝑚2[2]−1,𝑚3[2]−1	Stop