Karim Belabas on Fri, 14 Feb 2014 13:42:44 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

ellnonsingularmultiple ?

Hi pari-dev,
  I just implemented a function that takes as input an elliptic curve E/Q
(more precisely, a model defined over Q of a curve) and a rational point
P in E(Q), and returns the pair [R,n], where

  n is the least positive integer such that R := [n]P has good reduction at
  every prime. More precisely, its image in a minimal model is everywhere

(This is needed in our implementation of Bernadette Perrin-Riou's
algorithms for p-adic heights.)

1) Is the above definition clear ?

2) What would be a good GP name for that function ?

  [R,n] = ellnonsingularmultiple(E, P)

is tolerable, but has anyone a better idea ?


Karim Belabas, IMB (UMR 5251)  Tel: (+33) (0)5 40 00 26 17
Universite Bordeaux 1          Fax: (+33) (0)5 40 00 69 50
351, cours de la Liberation    http://www.math.u-bordeaux1.fr/~kbelabas/
F-33405 Talence (France)       http://pari.math.u-bordeaux1.fr/  [PARI/GP]