|
Georgi Guninski on Fri, 29 Dec 2023 16:12:09 +0100
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
bug in x1=Mod(x+X,X^2+1)^2?
|
- To: pari-dev@pari.math.u-bordeaux.fr
- Subject: bug in x1=Mod(x+X,X^2+1)^2?
- From: Georgi Guninski <gguninski@gmail.com>
- Date: Fri, 29 Dec 2023 17:11:47 +0200
- Delivery-date: Fri, 29 Dec 2023 16:12:09 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1703862726; x=1704467526; darn=pari.math.u-bordeaux.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=JjiThoytmRntdOg1v/CTdSJtfrlOGU0uSO/IZheSlTo=; b=mO8L+DiLEa8PJqJWEwrbrBveTD+el3pDy7L3zJQth+kCYdMj7ip6GLCji6NWXzcKm7 fRvVNP1pXcZ1Mg1lSxHS2IvW/DQRME9k2dcxS27dfHr0+32VLcenjV+eACff0uZl+p3G +XEuvs/eED0JpAJqx7upRj95sEz+nPA2jxje8Ql7jAQp65TgLhDLLeS7ktQkwRbmpTxM /C39DydoJ0wuyqq/vKHiR0GBMXyWA2oLxAQsBdojuyr7oCzGimFEtzmjpxCd9K3STWR3 l9usraPYvjYwI60cCIQYS/jyos5QXB6cOj6zsNFy7JXQKvy3qsTtku9NeU7JqTrdg+wa fQPA==
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).