|
Ruud H.G. van Tol on Tue, 05 Dec 2023 16:58:28 +0100
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
Re: Normalization of rational functions
|
- To: pari-dev@pari.math.u-bordeaux.fr
- Subject: Re: Normalization of rational functions
- From: "Ruud H.G. van Tol" <rvtol@isolution.nl>
- Date: Tue, 5 Dec 2023 15:03:28 +0100
- Delivery-date: Tue, 05 Dec 2023 16:58:28 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=simple/simple; d=isolution.nl; s=soverin; t=1701785013; bh=srDEhwnI2pSrdhGnjGXCrfHPclWX4gC9b7vLWIXp5aM=; h=Date:Subject:To:References:From:In-Reply-To:From; b=VOMi02Zfufyraysc6boi69lInLb1Uw4ddQaf8d1lWEl/oJBR/7kc4zOPZY3UQeQom W+//gOeSPQ8FxUgFj8EmCmy68IGJwHNKzSjyuAv6jne30tL68SCSbWKmrwJX7j8yA/ Ffw5oeL/5fly4IZdFchwLqViSYZ+uaSfVgg/7ahJULAxUl1m1cqATAgmAfqqDep75m kfs82/WVueMLzTG1cNBITUeZo2Izs2ma0YBrwxrCVmwQCDtD2x90PdlXqL30LKGb3E JZEAy2CmgkboJYRq+kegXBQZ/+Xb8976nksWg4qOT6pNkEZICSf8xDaEqQuMXqZwgr Moe83U+xKCgiQ==
- In-reply-to: <ZW1J5P1xoZbnr8/S@login.math.berkeley.edu>
- References: <ZW1J5P1xoZbnr8/S@login.math.berkeley.edu>
On 2023-12-04 04:39, Ilya Zakharevich wrote:
I thought this has been fixed some time ago:
(19:36) gp > t; (-t0*t^2 + 2*t - t0)/(-t^2 - 1)
%1 = (-t0*t^2 + 2*t - t0)/(-t^2 - 1)
Should not the normalization choose the positive sign for the
leading(?) coefficient of the denominator? (Or at least the
numerator?)
On my 2.15.4 gp-terminal:
? (-t0*t^2 + 2*t - t0)/(-t^2 - 1)
%1 = t0 + 2*t/(-t^2 - 1)
? t=x
%2 = x
? (-t0*t^2 + 2*t - t0)/(-t^2 - 1)
%3 = (-t0*x^2 + 2*x - t0)/(-x^2 - 1)
-- Ruud