wraithx on Mon, 02 Jan 2023 22:32:14 +0100

 Question on using eval...

• To: pari-users@pari.math.u-bordeaux.fr
• Subject: Question on using eval...
• From: wraithx@morpheus.net
• Date: Mon, 02 Jan 2023 15:31:00 -0600
• Delivery-date: Mon, 02 Jan 2023 22:32:14 +0100
• Dkim-signature: v=1; a=rsa-sha256; c=simple/simple; d=morpheus.net; s=mail; t=1672695067; bh=twTTH1JzW4d8Gjg9PszO1hplIkm/hllFXrouZx5iUGs=; h=Date:From:To:Subject:From; b=cxehYQPlqsmgKiJOk5rGkQefjdSZ0aq/zKMvbVZN8N4p/Io7zHs01Dc/Or4cT+9fC 3HTD1cUOCYcx3vdheAsWJurcclQmWB/RU+/e2kyr6KqZJpo9Fv4y4vKE36oXesznQl sPB2QpqpiiBxbv+g6QiUf3E6r3w2AZAUWoGOF0vE=
• User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0

```Hello,

```
I've run into an issue using the "eval" function. I'm trying to check two expressions for symbolic equality. But, I run into a problem when I use the exponent operator. Is this a valid use for the eval function? Is there another way to check if two expressions are equal? Thank you for any help you can provide!
```
gp > a
%1 = a
gp > b
%2 = b
gp > c
%3 = c
gp > eval("(a/b)+c == (a-b)+c")
%4 = 0
gp > eval("(c-b)+a == (a-b)+c")
%5 = 1
gp > eval("(a^b)+c == (a-b)+c")
***   at top-level: eval("(a^b)+c == (a-b)+c")
***                 ^--------------------------
***   in function eval: (a^b)+c==(a-b)+c
***                       ^--------------
*** _^_: domain error in gpow [irrational exponent]: valuation != 0

-David C.

```