Karim BELABAS on Mon, 5 Aug 2002 11:11:38 +0200 (MEST) |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Tamagawa number Bug in PARI 2.2.3 (fwd) |
Hi, I received the following bug report, and corrected the code as suggested. I had introduced this typo when cleaning up that piece of code in 2.2.3. Karim. -- Karim Belabas Tel: (+33) (0)1 69 15 57 48 Dép. de Mathematiques, Bat. 425 Fax: (+33) (0)1 69 15 60 19 Université Paris-Sud Email: Karim.Belabas@math.u-psud.fr F-91405 Orsay (France) http://www.math.u-psud.fr/~belabas/ -- PARI/GP Home Page: http://www.parigp-home.de/ ---------- Forwarded message ---------- Date: Fri, 19 Jul 2002 11:22:38 -0400 (EDT) From: Mark J Watkins <watkins@math.psu.edu> To: Karim BELABAS <Karim.Belabas@math.u-psud.fr> Subject: Tamagawa number Bug in PARI 2.2.3 PARI 2.2.3 incorrectly computes the local Tamagawa number at 2 for many curves of Kodaira type III, saying that it is 3 when it should be 1. An example is [0,0,0,-420446056,-3318283885363] The problem seems to be a copying error in recoding the routine. In the function localred_carac_23, the new code has: /* III */ if (smodis((GEN)e[8], p3)) { if (smodis((GEN)e[8], (p==2)? 8: 27) == p2) c = 3; else c = 1; return localred_result(nudelta - 2, 4, c, v); } while the old code had a 32 in place of the 8: /* III */ /* PARI 2.1.0 */ if (!divise((GEN)e[8], p3)) { if (smodis((GEN)e[8], (p==2)? 32: 27) == p*p) c = 3; else c = 1; return localreduction_result(av, nudelta - 2, 4, c, v); } === Mark Watkins watkins@math.psu.edu