para sumar, hay que pasarle un primo?
O esa, estamos trabajando en E(Fp), no?
Por ahora lo tengo implementado sin ese primo, por lo que (creo) estoy trabajando sobre E(Z), es asi? Eso es un grupo? porque estoy teniendo que p+q=p+p, con q!=p y eso en un grupo no deberia pasar...
A mi no me queda muy claro tampoco, me sumo a la duda.
Saludos,
Octavio
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