|
Bill Allombert on Fri, 29 Dec 2023 16:28:54 +0100
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
Re: bug in x1=Mod(x+X,X^2+1)^2?
|
- To: pari-dev@pari.math.u-bordeaux.fr
- Subject: Re: bug in x1=Mod(x+X,X^2+1)^2?
- From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
- Date: Fri, 29 Dec 2023 16:28:50 +0100
- Arc-authentication-results: i=1; smail; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1703863731; c=relaxed/relaxed; bh=ynI3wwFxKSosNrixanf7RauRJqo9kePd5hzSx4oVrBg=; h=DKIM-Signature:Date:From:To:Subject:Message-ID:Mail-Followup-To: References:MIME-Version:Content-Type:Content-Disposition: In-Reply-To; b=YuAWERk3PUjbo/HnuXEaFE7eXLz2gyHrzRCtLj06a3defNppnxPRchqHyNnAwe0Xfi48H0NsC1Tfu6re7qSVpkJ2FY6j3FPxx4JBaMhfkMmt/L6yLJHZuOtHiKW4nOBgLaQRevjAsqZLSFflVlbi9RKOdtjk4sDHqFBLy9itZohEExqS3aKgNGqs9mkkqF5wVaXJiElltiawGQrF1gHXSQCpaBCHS6hQ9vxJiCNg5WoPSYjpYa9rb74oWqT8uuZ4exxk5XB+YP4xrUgvQFcPFlolq4HvIeFhgIEVXB26UoQQxXq4SmCU7FPsV77p5i51Z5sqQRo6KHXFOW+I9uRkcC7CbjcdtilXjaLwf2Kc05FkB1CnH9CeQ0TnI90sSYykko64A7b22XT2J8AyHVBLIa/W7/vVv3iEW4JLGvv5koK1hF15sGu2/58ywEnDaxFCpJo0bmiHN3NMvhA9d345U0v7ufvsBRS7/fykNTN0lOibLQfCQy3i8DzWmVZu/bOwngwn9M5Bc6g+bu1nhpVqCaKAcvybeb9rtbY34ZZxG4A3n7sAgXn9m5SDif1xG5ct2Omk7NcOjuEIk73NZvqLlRaZrwaxq4rrstkpcShc3UJavUD9E3AgdQPk1jbKm4n3HFHGWWzQmlWT/SvBSQwni++a6Ir6NnmXagVH/Rhvjfo=
- Arc-seal: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1703863731; cv=none; b=XJu/1eVFW9pIWK2FaUku1YPGSFhqGQnmwJVrdpgUhIruBHSlOBoa1fauoy2UoAEI3IDj7OYaaPFgue+jJWbkA6R0GpiQPzH0kGWcsWnYPKtqZC6XsHZ69Ch98eUeah6GBM2bvQglCEHudWcdMf/3THbm7NeFmVuzBmw/7g3txyWjSqM4XC9uEMCEjQgR2gEO4SmnToz8lok5v+qPQpcGRD+Y9ZfwLAPew5rU/IdfBvWW0K9rAf+Klq9OB03AL9tlRp3K7tuYJnXcl2RQoKIOXDmpwATCHnxBSFYgFIJ0E4/MGVr1KmEuWq81G7MereRHQIQ9NJPcJSnQdoTKuzL0gs/53AyrQiy71UEMqzPDrcKjVvSGDOpDOz00sbMNYx4GT4WrqkV2K0kXuvVXwImffMoHkB9LRBTQl8s6ZWk8koB2Su4UUjSrDMvd/5mjPovvCtUMdJ0mHD+pYLbdrMI/d4+tyIwzs/fsq3EFvaZPydHtASvI3cp4Rm9OYLJ84raKMZ+ns1nc35+rpUyYK8YP9uHtygNCbJ//nDHhCYlZNbtLMjR4+KVRl4NKTmSmVdowpgXcG0jLWL+X5WNGJpZZy+x6ARI4qhAh9T8GDB+2DseEAmdxTkyKSwa5o5bbiuLFDVwPNlfDcajF/ZKzJoNNCc2qzuyvbRvQioPWRqHXWho=
- Authentication-results: smail; arc=none
- Delivery-date: Fri, 29 Dec 2023 16:28:54 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=math.u-bordeaux.fr; s=2022; t=1703863731; bh=ynI3wwFxKSosNrixanf7RauRJqo9kePd5hzSx4oVrBg=; h=Date:From:To:Subject:References:In-Reply-To:From; b=kMl6F7/znS5M8ma6lq9kLIM7YYwpqCa2CMhWeE9SqTsNZlQRHEZTZdjiPYFFE2SPZ Jx9yvojNV6EyJlGY9maTjSfmchVUctZD/quh4c6W6D2jVrh4VIRhkfnJYHDRNzLv1m pF4oj/vopk4hErl3b+mWV93we8uLyIESq+XxoYENsLgvx0b5bHDj0f0dZQTTWg7eLa yXZamoDnc8UE+pROXkIy77UP4isAaTY0GETorXvmdC0MVqmPpmjs63px6vslt9Hg5+ BMbQ40rQdIbDwEmHLvD15bi3tHB+3nffAlp+qRceWIFEPR4o52GSZDScVc5ubWMBu7 jM3yqcO88zVXswLGL94pGQnwAKFixjMM1LbRZ5M/xLd8JOabb9LY5pyutEkQvPJ5+3 ISn3IS73AFC5ZOL0sin/eyTMVBfgEmvvJvO79PwKDUxzHuo6Ff/AMDDjTgAicJZqpE Nxip1T+SHOQJS9zQBRwPsEEDb1rJibunrYkqNxHFXQt/7x05T73KpF/H333qNYhqN9 2RC7SfALpi3ICH/9kRnhCyBrDR9Mp8lJBq5PaHp/2pxLq5k/ADf0PVAk9M1m+D9OuV xPPXKv0fJEqNHfl6lVvzI0C6/83dNVCXWPtIblaBw4uEPmNOya3nnl4KX08x0TRsuV qoasdx6rD13ZNet/unqO3vII=
- In-reply-to: <CAGUWgD9o8nHWB_n53Kj7NHOuNqcJtPCXdS=F+MPPErMwtAU3NQ@mail.gmail.com>
- Mail-followup-to: pari-dev@pari.math.u-bordeaux.fr
- References: <CAGUWgD9o8nHWB_n53Kj7NHOuNqcJtPCXdS=F+MPPErMwtAU3NQ@mail.gmail.com>
On Fri, Dec 29, 2023 at 05:11:47PM +0200, Georgi Guninski wrote:
> Is this a bug?
>
> ? x1=Mod(x+X,X^2+1)^2
> %11 = Mod(1, X^2 + 1)*x^2 + Mod(2*X, X^2 + 1)*x + Mod(-1, X^2 + 1)
> ? x2=Mod(X+x,x^2+1)^2
> %12 = Mod(2*X*x + (X^2 - 1), x^2 + 1)
> ? norm(x2)
> %13 = X^4 + 2*X^2 + 1
> ? norm(x1)
> *** at top-level: norm(x1)
> *** ^--------
> *** norm: incorrect type in greal/gimag (t_POLMOD).
Yes, x1 is a polynomial and not a POLMOD, due to variable priority.
This explains why %11 and %12 are displayed differently.
Cheers,
Bill