1. P.<x> = GF(11)[]
  2. K.<i> = GF(11^2, modulus=x^2 + 1)
  3. E_ = EllipticCurve(K, [3,0])
  4. Q  = E_([10, 9*i])
  5. Q_ = E_([6, 6])
  6. Q + Q_