Ruud H.G. van Tol on Sat, 22 Oct 2022 17:00:48 +0200

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

 expression normalization

• To: pari-users@pari.math.u-bordeaux.fr
• Subject: expression normalization
• From: "Ruud H.G. van Tol" <rvtol@isolution.nl>
• Date: Sat, 22 Oct 2022 16:59:44 +0200
• Delivery-date: Sat, 22 Oct 2022 17:00:48 +0200
• Dkim-signature: v=1; a=rsa-sha256; c=simple/simple; d=isolution.nl; s=soverin; t=1666450786; bh=ek1ie2OcW4EcihM5c4S9tz+YaPJJNjDuQ42QjdVxlWg=; h=Date:To:From:Subject:From; b=pGGOSFL37qh1Fmx/ek6XYSbFCfglhpGNO7I50PoVTJpbjydLoB+rdaaOgNEAhM92c xGiaUcRAWT1kGDOEQNOkLwTJkE2UeVoqDGlbpDKWDRRPX0mDajlZTP/iZoRGZQ+ZYh Y0Ls3iuBaItr87UE68mkHbMMFKF7xEQ58FYzf3B+FFHSplWqt3jAbHoobyCN+53wow Blgi6PpqpKzuPlMoWyTEsbXk6fyyabcv/U528MFnrcq7lDMvADNbpbPbBy4LO0Xr9W 7VVxYOMvGNgBvxh3AJxhUmHi38dgeDyA7v31wY3m8RmtaPthwQaB0cfzxWXzT+zRwJ 5pkFVIZot2nSw==

? (a-b)/(c-d)
%1 = 1/(c - d)*a - 1/(c - d)*b
? ((a-b)/(c-d))
%2 = 1/(c - d)*a - 1/(c - d)*b

? (b-a)/(d-c)
%3 = -1/(-c + d)*a + 1/(-c + d)*b
? ((b-a)/(d-c))
%4 = -1/(-c + d)*a + 1/(-c + d)*b

I wondered why these don't all "normalize"
to the same internal (?) format.

And if there is no special reason for that:
if it is worth the effort to make it so.

-- Ruud

? a/b-c/d
%5 = 1/b*a - 1/d*c
? b/a-c/d
%6 = (c*a - d*b)/(-d*a)
? b/a-d/c
%7 = (-d*a + c*b)/(c*a)