22/12/30 17:26:49.46 bjNnsn/s.net
>>129
⑤^2
= (ζ7 +ζ7^6)(ζ7 +ζ7^6)+ω^2(ζ7 +ζ7^6)(ζ7^3+ζ7^4)+ω (ζ7 +ζ7^6)(ζ7^2+ζ7^5)
+ω^2(ζ7^3+ζ7^4)(ζ7 +ζ7^6)+ω (ζ7^3+ζ7^4)(ζ7^3+ζ7^4)+ (ζ7^3+ζ7^4)(ζ7^2+ζ7^5)
+ω (ζ7^2+ζ7^5)(ζ7 +ζ7^6)+ (ζ7^2+ζ7^5)(ζ7^3+ζ7^4)+ω^2(ζ7^2+ζ7^5)(ζ7^2+ζ7^5)
= ((ζ7^2+ζ7^5+2) +(ζ7^5+ζ7^6+ζ7 +ζ7^2)+(ζ7^5+ζ7 +ζ7^6+ζ7^2))
+ω ((ζ7^3+ζ7 +ζ7^6+ζ7^4)+(ζ7^6+ζ7 +2 )+(ζ7^3+ζ7^6+ζ7 +ζ7^4))
+ω^2((ζ7^4+ζ7^2+ζ7^5+ζ7^3)+(ζ7^4+ζ7^5+ζ7^2+ζ7^3)+(ζ7^4+ζ7^3+2 ))
= (2+ζ7 +ζ7 +ζ7^2+ζ7^2 +ζ7^5+ζ7^5+ζ7^6+ζ7^6+ζ7^2+ζ7^5)
+ω (2+ζ7 +ζ7 +ζ7^3+ζ7^3+ζ7^4+ζ7^4 +ζ7^6+ζ7^6+ζ7 +ζ7^6)
+ω^2(2 +ζ7^2+ζ7^2+ζ7^3+ζ7^3+ζ7^4+ζ7^4+ζ7^5+ζ7^5 +ζ7^4+ζ7^3)
= (ζ7^2+ζ7^5-2*ζ7^4-2*ζ7^3)
+ω (ζ7 +ζ7^6-2*ζ7^2-2*ζ7^5)
+ω^2(ζ7^4+ζ7^3-2*ζ7 -2*ζ7^6)
=(ω-2ω^2)③