Re: factor(3*x) = x ?!!

Markus Grassl on Fri, 14 Jun 2024 11:08:58 +0200

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

Re: factor(3*x) = x ?!!

To: pari-users@pari.math.u-bordeaux.fr
Subject: Re: factor(3*x) = x ?!!
From: Markus Grassl <markus.grassl@ug.edu.pl>
Date: Fri, 14 Jun 2024 11:08:49 +0200
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ug.edu.pl; dmarc=pass action=none header.from=ug.edu.pl; dkim=pass header.d=ug.edu.pl; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=e1wohqrFGlWu+W02SQAN3wF1wqcMd84q8Aw59KKupPM=; b=IXAvPbCEnqEnw8DimpjrQqzUpEWZGTHPWrC+zOcqYjyqjc35lkeP3b5s2YLjwHHX7vLoQFDpGoNSnZ/hWxKIeEX5PLz4gtio2zNzYPm3lVj+P8E2zhBWI4msKRzw74L9NdDj+iC5vNGHvpt4+XTKS9XsbNdAEOJ6ABQXopTXyMnoW0L1I+vSkNWEeedtOSH1RrAcD9QMWE2wraFE0DJHqfhC1aAaw46IH7la0OMJWW6olutRjcX13qjG0s2/fQyIKbPC0vFjO9YoOOHMYNv5wgrjyE6QKuQv6VX9/St9xjwMCemA6gXcmnKFBJU3CQADsocZe3ElvvPiMAjPN9sLLw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Mwd22pL2AFcOIUOWoxkMHUD09nUijYeTFMozjd4wNL0JR51/SybNH6bAiUifUEqLlckgFLd4u3vJxhJhOapEjrXvujHkaLK/bRRsxuH0rPNDFIFuyNmEZd7Cyf8GV7MplYtmJY3nTTcTAvZ2vpH3AUQe4x9tYeA1DkDUpinVlPvTHgAoH9GRZlXKdZZTaJM91E50KIKttg6M3D0/5r4gRJYDd0FDirouvuZYiaAUskfCzP1ziP+Po5/f9Otyi6h5+tJ7brgiWaRatOKnKBMHl0I37S0Y3V9gQAFUPiLzxM41O0GCWOEYhNMo9NX41wJsLkXbbbJAuJUqjo5QkjoB/A==
Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=ug.edu.pl;
Delivery-date: Fri, 14 Jun 2024 11:08:58 +0200
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=studugedu.onmicrosoft.com; s=selector2-studugedu-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=e1wohqrFGlWu+W02SQAN3wF1wqcMd84q8Aw59KKupPM=; b=jL7FYyWx7QbH3OAjgCflwbTsNKpZf49pWMg4ctO+PzleYpvNXbP1xamyRVG6L+Fzy3vd/lGicAJZEXzyfxM7GOnKvPl4TaIwBegSG7fLrotD5jnIN/NK2dfdaHVBPdtsMT2/UCmOvXwK4gP2Il+X86RNhCT/R3c04vt2nM2yyds=
In-reply-to: <CAMLkfFT4ontj5TaA77VV9H+OKVmSUYrfOFZbhCx15zVrdx6LVQ@mail.gmail.com>
Organization: International Centre for Theory of Quantum Technologies
References: <1086403087.795235.1718350530458@wlpnf0203.sys.meshcore.net> <CAMLkfFT4ontj5TaA77VV9H+OKVmSUYrfOFZbhCx15zVrdx6LVQ@mail.gmail.com>
User-agent: Mozilla Thunderbird

Is there a data type for polynomials with integer coefficients?
Also, is there a way to obtain the unit that is omitted in the list of factors?

Best

Markus

Am 14/06/2024 um 10:37 schrieb Loïc Grenié:

Le ven. 14 juin 2024 à 09:35, <tony.reix@laposte.net> a écrit :

‌Hello,

Is that a bug or a feature ?

(done on Web-GP just now - v2.15.5.28239."6c020b568b". Same on paridroid on my Android smartphone - v2.15.3.2.3. Same on Linux - v2.13.3. Same on Windows - v2.15.4).

? factor(x)
%2 = Mat([x, 1])

? factor(3)
%3 = Mat([3, 1])

? factor(3*x)
%4 = Mat([x, 1])

???

    It's a feature. The polynomial is factored in Q[x], and in Q[x] 3 is invertible.

           Hope this helps,

                 Loïc

Follow-Ups:
- Re: factor(3*x) = x ?!!
  - From: Charles Greathouse <crgreathouse@gmail.com>

References:
- Re: factor(3*x) = x ?!!
  - From: Loïc Grenié <loic.grenie@gmail.com>

Prev by Date: Re: factor(3*x) = x ?!!
Next by Date: Re: factor(3*x) = x ?!!
Previous by thread: Re: factor(3*x) = x ?!!
Next by thread: Re: factor(3*x) = x ?!!
Index(es):
- Date
- Thread