Frobenius endomorphism含脚本验证

《Pairings for beginners》,Example 2.2.5, If E is defined over Fq, then the Frobenius endomorphism π is defined as π : E → E, (x, y) |→ (xq, yq)

clear;

Fq:=GF(67);
Fq2:=ExtensionField;
Fq3:=ExtensionField;

E:=EllipticCurve([Fq|4,3]);
pi:=FrobeniusMap(E);
pi2:=FrobeniusMap(E,2);
pi3:=FrobeniusMap(E,3);

P1:=E![15,50];
P2:=E(Fq2)![2*u + 16, 30*u + 39];
P3:=E(Fq3)![15*v^2 + 4*v + 8 , 44*v^2 + 30*v + 21];

P1; pi(P1);  

P2; pi(P2); pi2(P2); 

P3; pi(P3); pi2(P3); pi3(P3);

运行结果为：

(15 : 50 : 1)
(15 : 50 : 1)
(2*u + 16 : 30*u + 39 : 1)
(65*u + 16 : 37*u + 39 : 1)
(2*u + 16 : 30*u + 39 : 1)
(15*v^2 + 4*v + 8 : 44*v^2 + 30*v + 21 : 1)
(33*v^2 + 14*v + 8 : 3*v^2 + 38*v + 21 : 1)
(19*v^2 + 49*v + 8 : 20*v^2 + 66*v + 21 : 1)
(15*v^2 + 4*v + 8 : 44*v^2 + 30*v + 21 : 1)