Contents 1 Notation 2 The algorithm 3 Implementations
Notation Assume that all the coefficients of the equation of the curve lie in a complete discrete valuation ring R with perfect residue field and maximal ideal generated by a prime π. The elliptic curve is given by the equation
Implementations The algorithm is implemented for algebraic number fields in the PARI/GP computer algebra system, available through the function elllocalred. (引用終り) 以上