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 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] `