William Stein on Mon, 11 Dec 2006 10:36:15 +0100 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
pari bug |
Hello, I found a bug in PARI's polynomial factorization over finite fields in pari-2.3.1 and in pari-2.4.0.alpha:? f = Mod(Mod(1, 100003), Mod(1, 100003)*a^2 + Mod(78244, 100003)*a + Mod(99957, 100003))*x^2 + Mod(Mod(92725, 100003)*a + Mod(69647, 100003), Mod(1, 100003)*a^2 + Mod(78244, 100003)*a + Mod(99957, 100003))*x + Mod(Mod(80881, 100003)*a + Mod(93268, 100003), Mod(1, 100003)*a^2 + Mod(78244, 100003)*a + Mod(99957, 100003)) %1 = Mod(Mod(1, 100003), Mod(1, 100003)*a^2 + Mod(78244, 100003)*a + Mod(99957, 100003))*x^2 + Mod(Mod(92725, 100003)*a + Mod(69647, 100003), Mod(1, 100003)*a^2 + Mod(78244, 100003)*a + Mod(99957, 100003))*x + Mod(Mod(80881, 100003)*a + Mod(93268, 100003), Mod(1, 100003)*a^2 + Mod(78244, 100003)*a + Mod(99957, 100003))
? ? factor(f) Program received signal EXC_BAD_ACCESS, Could not access memory. Reason: KERN_PROTECTION_FAILURE at address: 0x00000005 modii (x=0x11402b8, y=0x29) at ../src/kernel/none/mp_indep.c:417 417 ../src/kernel/none/mp_indep.c: No such file or directory. in ../src/kernel/none/mp_indep.c (gdb) bt #0 modii (x=0x11402b8, y=0x29) at ../src/kernel/none/mp_indep.c:417 #1 0x007d5480 in ?? () Previous frame inner to this frame (corrupt stack?) (gdb) ---------I see this bug on an Intel OS X Mac and an Intel core duo Linux 32-bit machine.
The bug does not appear on a 64-bit opteron Linux machine. All builds of PARI mentioned above are against gmp-4.2.1. William