As of Sage 9.7, this causes an assertion failure:

sage: E = EllipticCurve(GF(487^2), [311,205])
sage: G = E.abelian_group().torsion_subgroup(42)
sage: P, Q = G.torsion_subgroup(6).gens()
sage: G.discrete_log(2*P + 3*Q, [P, Q])

The reason is that the p-power part of the group generated by P and Q is trivial for some prime(s) p dividing the group order of G, which throws off _discrete_log_pgroup(). Easy fix.

Component: group theory

Author: Lorenz Panny

Branch/Commit: 93dc05c

Reviewer: Kwankyu Lee

Issue created by migration from https://trac.sagemath.org/ticket/34716