Suppose I have a elliptic curve over some finite field of characteristic $q$ and a point on that curve. How can I apply the FRobenius endomorphism $P= (x,y) \to (x^q, y^q) $ to that point.
For example:
sage: G.<x> = GF(7^2)
sage: TestCurve = EllipticCurve (G ,[4 ,1])
sage: P = TestCurve(5*x,6*x)
Now I would assume something like
P.frobenius()
But I can not find the proper function.