Para mi, implícitamente la curva E definidad como un tupla ya sabe su cuerpo de definición:
sage: p = 101; F = GF(p)
sage: E = [F(1),F(1),F(0),F(0),F(1)]
sage: a1 = E[0]
sage: parent(a1)
Finite Field of size 101
O sea que los coeficientes están definidos en el cuerpo, así que ya saben como hacer su propia aritmética.
Si lo quieren implementar tal que la función recibe un primo, eso también está bien.
Saludos,
Nathan