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


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

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...