ellnonsingularmultiple ?

[Karim Belabas <Karim.Belabas@math.u-bordeaux.fr>]

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
  non-singular.

(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 ?


Cheers,

    K.B.
--
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]
`