Hello list, I notice that the ate_pairing implementation in Sage raises an exception if either point is the identity.
For example: p = 7549; A = 0; B = 1; n = 157; k = 6; t = 14 F = GF(p); E = EllipticCurve(F, [A, B]) R.<x> = F[]; K.<a> = GF(p^k, modulus=x^k+2) EK = E.base_extend(K) P = EK(3050, 5371) P.ate_pairing(EK(0), n, k, t) gives ValueError: Point (0 : 1 : 0) not in Ker(pi - q) This looks like a bug: surely it ought to return 1? Cheers, Alec -- You received this message because you are subscribed to the Google Groups "sage-nt" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send an email to [email protected]. Visit this group at http://groups.google.com/group/sage-nt. For more options, visit https://groups.google.com/d/optout.
