Bill Allombert on Sat, 04 Jul 2009 00:48:42 +0200


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

Re: Some bugs?


On Fri, Jul 03, 2009 at 05:54:01PM +0100, Jason Moxham wrote:
> ----- Original Message ----- From: "Bill Allombert" 
> <Bill.Allombert@math.u-bordeaux1.fr>
> To: <pari-dev@list.cr.yp.to>
> Sent: Friday, July 03, 2009 4:47 PM
> Subject: Re: Some bugs?
>
>
> and here is parisvn with MSVC32 no GMP
> break> bnfinit(x^2+105)
> Time disc. factorisation: 0
> Treating p^k = 2^2
> Time round4: 0
> get_red_G: starting LLL, prec = 4 (4 + 0)
> Time LLL basis: 0
> Time mult. table: 0
> Time matrices: 0
> Time nfinit & rootsof1: 0
> R1 = 0, R2 = 1
> D = 420
> LIMC = 20, LIMC2 = 20
> Time factor base: 0
> Time sub factorbase (3 elements): 0
> KCZ = 7, KC = 10, n = 15
> 1 2 3 4 5 6 7
> #### Looking for 15 relations (small norms)
>  ***   at top-level: bnfinit(x^2+105)
>  ***                 ^----------------
>  *** bnfinit: bug in PARI/GP (Segmentation Fault), please report
>  ***   Break loop: type <Return> three times, or Control-d, to go back to 
> GP)

So this is a problem with the function small_norm.
Maybe you could use debugger to pin-point it ?
(there is a definite possibility that small_norm has a bug which does
manifest itself on Linux).

Cheers,
Bill.