PARI/GP Bug report logs - #1374
isprime fails with Bus Error

Package: pari; Maintainer for pari is Aurel Page <aurel.page@normalesup.org>; Source for pari is src:pari.

Reported by: Charles Greathouse <charles.greathouse@case.edu>

Date: Tue, 13 Nov 2012 23:33:03 UTC

Severity: normal

Done: Karim Belabas <Karim.Belabas@math.u-bordeaux1.fr>

Bug is archived. No further changes may be made.

Full log


🔗 View this message in rfc822 format

X-Loop: allomber@math.u-bordeaux.fr
From: allomber@math.u-bordeaux.fr (PARI/GP Bug Tracking System)
To: Karim Belabas <Karim.Belabas@math.u-bordeaux1.fr>
Cc: Karim.Belabas@math.u-bordeaux.fr
Subject: Bug#1374: marked as done (isprime fails with Bus Error)
Message-ID: <handler.1374.D1374.135285524431723.ackdone@pari.math.u-bordeaux.fr>
In-Reply-To: <20121114010716.GA19135@math.u-bordeaux1.fr>
References: <20121114010716.GA19135@math.u-bordeaux1.fr> <CAAkfSGKZUc-Ppm5=MkRXLFNgKwYnMum05ukKrcn6XOnp9CMO5w@mail.gmail.com>
Precedence: bulk
X-PARI/GP-PR-Message: closed 1374
X-PARI/GP-PR-Package: pari
X-PARI/GP-PR-Keywords: 
Your message dated Wed, 14 Nov 2012 02:07:16 +0100
with message-id <20121114010716.GA19135@math.u-bordeaux1.fr>
and subject line Bug#1374: isprime fails with Bus Error
has caused the attached Bug report to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Bill Allombert
(administrator, PARI/GP bugs database)

--------------------------------------
Received: (at submit) by pari.math.u-bordeaux.fr; 13 Nov 2012 23:22:15 +0000
From cxg118@case.edu Wed Nov 14 00:22:15 2012
Received: from mpv2.tis.cwru.edu ([129.22.105.37])
	by pari.math.u-bordeaux1.fr with esmtp (Exim 4.72)
	(envelope-from <cxg118@case.edu>)
	id 1TYPo6-000806-Uu
	for submit@pari.math.u-bordeaux.fr; Wed, 14 Nov 2012 00:22:15 +0100
Received: from mpv5.tis.CWRU.Edu (EHLO mpv5.cwru.edu) ([129.22.105.51])
	by mpv2.tis.cwru.edu (MOS 4.3.5-GA FastPath queued)
	with ESMTP id ABM48684;
	Tue, 13 Nov 2012 18:22:08 -0500 (EST)
Received: from mail-qc0-f199.google.com (EHLO mail-qc0-f199.google.com) ([209.85.216.199])
	by mpv5.cwru.edu (MOS 4.3.3-GA FastPath queued)
	with ESMTP id BFC46292;
	Tue, 13 Nov 2012 18:22:08 -0500 (EST)
Received: by mail-qc0-f199.google.com with SMTP id b40so14177829qcq.2
        for <submit@pari.math.u-bordeaux.fr>; Tue, 13 Nov 2012 15:22:08 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=google.com; s=20120113;
        h=mime-version:from:date:message-id:subject:to:content-type
         :x-gm-message-state;
        bh=gGqkIofJ6+Bd6G3dAF53e8ES/DdfhgE29S65fMbr/yQ=;
        b=iqLde26r4G+b6czT5d+sPwpS2Z6aPbgTXjkIL8nESBMywbMklF3IkOMCFu0ULCIQRw
         ryoMxGNqAF5i/HNuwlpDpVrfR/ytOaBl6mOxt4AUln1JdjTSxERiujrSdTfwkQ9w76PU
         o0cXOY6wYfrf5EZpg7DEM1hRL9QYBInFqWAkZXUW5kds2JS9LfYZyl3SkhjM5esC+6LP
         SW9hZ9yA1nHsqAd2G6xD/x4sJe2/vnyzizHG36Bq+5oVTtw+ttFCevhuwfn3Sc/tm+ao
         bgICxgOF7kqoXchzdTpv/mrXlGu+JAo3pwCT3WK/h0dfN6umK4w6j3+zTve4mYn8Ryre
         N/Ug==
Received: by 10.220.226.67 with SMTP id iv3mr8625270vcb.57.1352848927923;
        Tue, 13 Nov 2012 15:22:07 -0800 (PST)
Received: by 10.220.226.67 with SMTP id iv3mr8625255vcb.57.1352848927720; Tue,
 13 Nov 2012 15:22:07 -0800 (PST)
MIME-Version: 1.0
Received: by 10.220.249.130 with HTTP; Tue, 13 Nov 2012 15:21:37 -0800 (PST)
From: Charles Greathouse <charles.greathouse@case.edu>
Date: Tue, 13 Nov 2012 18:21:37 -0500
Message-ID: <CAAkfSGKZUc-Ppm5=MkRXLFNgKwYnMum05ukKrcn6XOnp9CMO5w@mail.gmail.com>
Subject: isprime fails with Bus Error
To: submit@pari.math.u-bordeaux.fr
Content-Type: multipart/alternative; boundary=14dae9cdc76bc5860d04ce68af2c
X-Gm-Message-State: ALoCoQmkap3/diHwfc0Wa6sc2gc9L6GvXE6Vfbn5jiFaloTWvi5vM6Ix1+0uxbbwnU5he8fZdCL7YNmjnN22/Px04Nuns0b3ZbpVLdzcnAX/cEOXri7OqEks0hsxeTcQLo+tQTm6WqUNXRkfG59/ljj8Om2BllohUdQRmArwIP78ZEvMx25hyyo=
X-Junkmail-Whitelist: YES (by domain whitelist at mpv2.tis.cwru.edu)

--14dae9cdc76bc5860d04ce68af2c
Content-Type: text/plain; charset=ISO-8859-1

Package: pari
Version: 2.6.0 git-460e83a

> N = 4309513411435775833571;
> ispseudoprime(N)
%1 = 1
> isprime(N)
  ***   at top-level: isprime(N)
  ***                 ^----------
  *** isprime: bug in PARI/GP (Bus Error), please report.
  ***   Break loop: type 'break' to go back to GP prompt

Charles Greathouse
Analyst/Programmer
Case Western Reserve University

--14dae9cdc76bc5860d04ce68af2c
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Package: pari<br>Version: 2.6.0 git-460e83a<br><br>&gt; N =3D 4309513411435=
775833571;<br>&gt; ispseudoprime(N)<br>%1 =3D 1<br>&gt; isprime(N)<br>=A0 *=
**=A0=A0 at top-level: isprime(N)<br>=A0 ***=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0 ^----------<br>=A0 *** isprime: bug in PARI/GP (Bus Erro=
r), please report.<br>

=A0 ***=A0=A0 Break loop: type &#39;break&#39; to go back to GP prompt<br><=
br clear=3D"all">Charles Greathouse<br>Analyst/Programmer<br>Case Western R=
eserve University<br>

--14dae9cdc76bc5860d04ce68af2c--


---------------------------------------
Received: (at 1374-close) by pari.math.u-bordeaux.fr; 14 Nov 2012 01:07:24 +0000
From Karim.Belabas@math.u-bordeaux1.fr Wed Nov 14 02:07:24 2012
Received: from smail.math.u-bordeaux1.fr ([147.210.16.22])
	by pari.math.u-bordeaux1.fr with esmtp (Exim 4.72)
	(envelope-from <Karim.Belabas@math.u-bordeaux1.fr>)
	id 1TYRRs-0008Fc-9x
	for 1374-close@pari.math.u-bordeaux.fr; Wed, 14 Nov 2012 02:07:24 +0100
Received: from localhost (localhost.localdomain [127.0.0.1])
	by smail.math.u-bordeaux1.fr (Postfix) with ESMTP id 48DB06FF43
	for <1374-close@pari.math.u-bordeaux.fr>; Wed, 14 Nov 2012 02:07:19 +0100 (CET)
X-Virus-Scanned: amavisd-new at math.u-bordeaux1.fr
X-Spam-Flag: NO
X-Spam-Score: 0.821
X-Spam-Level: 
X-Spam-Status: No, score=0.821 required=6 tests=[BAYES_50=0.8,
	RCVD_IN_PBL=0.01, RCVD_IN_SORBS_DUL=0.001, RDNS_DYNAMIC=0.01]
	autolearn=disabled
Received: from smail.math.u-bordeaux1.fr ([127.0.0.1])
	by localhost (smail.math.u-bordeaux1.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id XsXWVSWSZ6EI; Wed, 14 Nov 2012 02:07:18 +0100 (CET)
Received: from colibri.math.u-bordeaux1.fr (tal33-1-82-226-197-154.fbx.proxad.net [82.226.197.154])
	(using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits))
	(No client certificate requested)
	by smail.math.u-bordeaux1.fr (Postfix) with ESMTP id 6377A6FF31;
	Wed, 14 Nov 2012 02:07:18 +0100 (CET)
Received: from kb by colibri.math.u-bordeaux1.fr with local (Exim 4.80)
	(envelope-from <Karim.Belabas@math.u-bordeaux1.fr>)
	id 1TYRRk-00056g-J6; Wed, 14 Nov 2012 02:07:16 +0100
Date: Wed, 14 Nov 2012 02:07:16 +0100
From: Karim Belabas <Karim.Belabas@math.u-bordeaux1.fr>
To: Charles Greathouse <charles.greathouse@case.edu>,
	1374-close@pari.math.u-bordeaux.fr
Subject: Re: Bug#1374: isprime fails with Bus Error
Message-ID: <20121114010716.GA19135@math.u-bordeaux1.fr>
References: <CAAkfSGKZUc-Ppm5=MkRXLFNgKwYnMum05ukKrcn6XOnp9CMO5w@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAAkfSGKZUc-Ppm5=MkRXLFNgKwYnMum05ukKrcn6XOnp9CMO5w@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)

* Charles Greathouse [2012-11-14 00:41]:
> > N = 4309513411435775833571;
> > ispseudoprime(N)
> %1 = 1
> > isprime(N)
>   ***   at top-level: isprime(N)
>   ***                 ^----------
>   *** isprime: bug in PARI/GP (Bus Error), please report.
>   ***   Break loop: type 'break' to go back to GP prompt

Obscure bug introduced in 28e1f18b. Fixed in master:

  commit b6eefc625299e25f7d4feb1f95e43cf8bc1a4e9f
  Author: Karim Belabas <Karim.Belabas@math.u-bordeaux1.fr>
  Date:   Wed Nov 14 02:04:12 2012 +0100

      pass around pC length instead of abusing lg() [#1374]
      
      introduced in 28e1f18b: isprime(4309513411435775833571) -> SEGV

Thanks for your report !

    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/~belabas/
F-33405 Talence (France)       http://pari.math.u-bordeaux1.fr/  [PARI/GP]
`


Send a report that this bug log contains spam.


Bill Allombert <allomber@math.u-bordeaux.fr>. Last modified: Sat Aug 26 16:39:36 2023; Machine Name: pari

PARI/GP Bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.