PARI/GP Bug report logs - #1525
nfsubfields() tough case

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

Reported by: Igor Schein <igorschein@gmail.com>

Date: Tue, 28 Jan 2014 19:03:02 UTC

Severity: wishlist

Done: Aurel Page <aurel.page@normalesup.org>

Bug is archived. No further changes may be made.

Full log

🔗 View this message in rfc822 format

X-Loop: allomber@math.u-bordeaux.fr
Subject: Bug#1525: nfsubfields() tough case
Reply-To: Igor Schein <igorschein@gmail.com>, 1525@pari.math.u-bordeaux.fr
Resent-From: Igor Schein <igorschein@gmail.com>
Resent-To: bug-submit-list@pari.math.u-bordeaux.fr
Resent-CC: Karim Belabas <Karim.Belabas@math.u-bordeaux.fr>
X-Loop: allomber@math.u-bordeaux.fr
Resent-Date: Wed, 16 Oct 2019 20:48:01 +0000
Resent-Message-ID: <handler.1525.B1525.157125818730580@pari.math.u-bordeaux.fr>
Resent-Sender: allomber@math.u-bordeaux.fr
X-PARI/GP-PR-Message: followup 1525
X-PARI/GP-PR-Package: pari
X-PARI/GP-PR-Keywords: 
References: <CAJ-x-UjDBNQ75eBm1DNUU0KthD9GXT4iZ=k9jG86O3EQNOwbdA@mail.gmail.com> <20140205105419.GB6730@pari.math.u-bordeaux1.fr> <CAJ-x-UgZH_PgNgH+WK-COHTi=yGOqWUqZ05Rp07dx=tDkSMHpA@mail.gmail.com> <20140206183115.GB7058@math.u-bordeaux1.fr> <CAJ-x-Uji0aJo7UtZkz4R3P_DemvCL3rSPPmF9Q914e2QfqDwHQ@mail.gmail.com> <20140212142703.GB9013@math.u-bordeaux1.fr> <CAJ-x-UjDBNQ75eBm1DNUU0KthD9GXT4iZ=k9jG86O3EQNOwbdA@mail.gmail.com>
Received: via spool by 1525-submit@pari.math.u-bordeaux.fr id=B1525.157125818730580
          (code B ref 1525); Wed, 16 Oct 2019 20:48:01 +0000
Received: (at 1525) by pari.math.u-bordeaux.fr; 16 Oct 2019 20:36:27 +0000
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
	pari.math.u-bordeaux.fr
X-Spam-Level: 
X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,
	DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE,
	RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,URIBL_BLOCKED
	autolearn=no autolearn_force=no version=3.4.2
Received: from mail-qt1-f181.google.com ([209.85.160.181])
	by pari.math.u-bordeaux.fr with esmtp (Exim 4.89)
	(envelope-from <igorschein@gmail.com>)
	id 1iKq1z-0007xA-Cj
	for 1525@pari.math.u-bordeaux.fr; Wed, 16 Oct 2019 22:36:27 +0200
Received: by mail-qt1-f181.google.com with SMTP id u40so18694qth.11
        for <1525@pari.math.u-bordeaux.fr>; Wed, 16 Oct 2019 13:36:27 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=mime-version:references:in-reply-to:from:date:message-id:subject:to
         :cc;
        bh=IyOqgLyU+lmkFWyALCW8A5JWpbd4TurC6wC2GcJsEVA=;
        b=FktKAYQqbHbsfWGChrE4cyfYOrxb/fwJPmf4CCuFmt8gdmZF7xBgSwauRp91Yd6f50
         bFZaMHVsWwCgvGUWvCBjWw47fRQZRFtaBmTp0m2D8QTs1Kt5GwkforNUqRy3jGM1iC3Y
         iT17maZz5zq8GBvDeJ7+s6gZ80ifm5IxoPPLEo/YgADSBBYBhPz/5S5EMlRtW+PeAMxW
         GHKeS7eFV7XUp1iUGigwirMp1Z6xyukzChL5Fy6ePpVjNHOjWptMvg30ZHxQjC6QeTSX
         FJpWcF2cwabt/S/WEhnGwDs1tmsf3O8PJGaaA9ZKtjhHppPm3b4dWKpx+g2FI9hKNZsC
         MMaw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:references:in-reply-to:from:date
         :message-id:subject:to:cc;
        bh=IyOqgLyU+lmkFWyALCW8A5JWpbd4TurC6wC2GcJsEVA=;
        b=okXbnEjt+Os6rHNQR3ssTvdldpWQXv9yrUgyxF8MT32u2YZVhi4NH1DoBeo+c+mEUR
         NZMIPVnHW05pVPAL0FBVNYMTP9CIVCdj7B3gh/NCWBTBVEc9o7HIipluE0UQYDdx2q/i
         3g+Q6a9YgNe4SfXg/lMsTau8jYABl1zL4uTZ2qDGEiIs8l8fLUnjuoM/xas3wufV4n97
         oNeaTFKE8imgT962J3N6UfrNkNX2AGv8eSqld039BdowQWuf/E3PG2IP4Yiu2BP2Xo+O
         waziYjo/ysettPU9XfjrF/Kfk7Rpv5q267GsKtwqocFZJRyej7nUcK8C47YkoYyfd+fj
         6iRQ==
X-Gm-Message-State: APjAAAVqIn+zFN43cG4gK1PgZnwjAdaX+G6uouSNRUd1EaFBeuMDM8QE
	SR8uW1G2AvaTppEG+2iabkx6/BPiswmmgc6D/9A=
X-Google-Smtp-Source: APXvYqwLD5ombspIc8+Z04oxSdJE5KZYOiL280/i8q85Z5KErfHLZ5vDoK4hPWjHpTwBX84xrpMfXs3d9M0ZZDUaors=
X-Received: by 2002:ac8:942:: with SMTP id z2mr47229108qth.280.1571258186224;
 Wed, 16 Oct 2019 13:36:26 -0700 (PDT)
MIME-Version: 1.0
In-Reply-To: <20140212142703.GB9013@math.u-bordeaux1.fr>
From: Igor Schein <igorschein@gmail.com>
Date: Wed, 16 Oct 2019 15:36:15 -0500
Message-ID: <CAJ-x-UjrJg_psByidqEC0eg5TZQis5zUxgyimCigTxvHgycM1A@mail.gmail.com>
To: Karim Belabas <Karim.Belabas@math.u-bordeaux.fr>
Cc: 1525@pari.math.u-bordeaux.fr
Content-Type: multipart/alternative; boundary="0000000000000a58bb05950d0e9e"

[Message part 1 (text/plain, inline)]
On Wed, Feb 12, 2014 at 8:27 AM Karim Belabas <
Karim.Belabas@math.u-bordeaux.fr> wrote:

> * Igor Schein [2014-02-10 18:52]:
> > On Thu, Feb 6, 2014 at 1:31 PM, Karim Belabas <
> > Karim.Belabas@math.u-bordeaux.fr> wrote:
> >
> > > * Igor Schein [2014-02-06 19:03]:
> > > > On Wed, Feb 5, 2014 at 5:54 AM, Bill Allombert <
> > > > Bill.Allombert@math.u-bordeaux1.fr> wrote:
> > > >
> > > > > On Tue, Jan 28, 2014 at 01:47:20PM -0500, Igor Schein wrote:
> > > > > > Package: pari
> > > > > > Version: 2.6.2 (development 16105-120d04c)
> > > > > >
> > > > > > The following command never finishes:
> > > > > >
> > > > > >
> > > > >
> > >
> nfsubfields(x^32-152*x^30+9592*x^28-329344*x^26+6791636*x^24-87823728*x^22+723817584*x^20-3802250784*x^18+12604302140*x^16-26054878368*x^14+33346127520*x^12-26066364480*x^10+12062323568*x^8-3111766784*x^6+403544704*x^4-21688960*x^2+364816);
> > > > >
> > > > > Hello Igor,
> > > > > As far as I see, the command will finish eventually.
> > > > > However it will be very slow, because we are unlucky: the d-1 test
> is
> > > > > failing for
> > > > > all tests, and nfsubfields does not have a fast fallback code like
> > > > > nfgaloisconj
> > > > > does.
> > > > >
> > > > > Cheers,
> > > > > Bill.
> > > > >
> > > >
> > > > Thanks.  Can nfsubfields() be improved in cases like this?
> > >
> > > Yes, the Klueners / van Hoeij algorithm is easy to implement. Will work
> > > on this once 2.7 is out.
> > >
> > > > It'd be nice to have a mechanism (similar to ulimit in bash) to
> impose
> > > > runtime limit on individual function calls - it would also be an
> adequate
> > > > solution for me.  I've had this on my mind for at least 15 years,
> but I
> > > > don't recall if I ever brought it up.
> > >
> > > ?? alarm
> > >
> > > :-)
> > >
> > > Cheers,
> > >
> > >     K.B.
> > >
> > Thanks Karim.  Should priority of this bug be changed to wishlist to
> > reflect your plans?
>
> Yes, please :-)
>
>
Hi Karim,

Are you still planning to work on this bug?

Thanks

Igor

[Message part 2 (text/html, inline)]

Send a report that this bug log contains spam.

Bill Allombert <allomber@math.u-bordeaux.fr>. Last modified: Sat Aug 26 18:27:32 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.