Advanced Search

Question: Maple 2020 What's New example gives incorrect result

Question:Maple 2020 What's New example gives incorrect result

djc 571 Maple 2020
assuming
March 18 2020
0

Hello,

I have installed Maple 2020 and I tried some examples of the new capabilities of command is:

restart;
is(0 <= (a - b)^2 + (c - d)^2) assuming real;

It gives FAIL instead of true,

Similarly the simpler example

is(x = 0) assuming (0 < abs(x));

also gives FAIL incorrectly.

Perhaps, does this problem relate to a problem with calling SMTLIB package?

Best Regards,
Please Wait...