## 571 Reputation

16 years, 101 days
Technical professional in industry or government
Budapest, Hungary

## Maple 2020 What's New example gives inco...

Maple 2020

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,

## strange error when using expand...

Maple 15

I have no idea what happens here:

restart;(a+3)^17;expand(%);

s=05189CFC, invalid INTPOS

Error, (in Typeset:-Tdisplay[true]) object at address is invalid
Typesetting:-mi("` `")
Error, unexpected result from Typesetting

I have Maple 15.

## simplifying argument of arctan...

Maple

Hello,

I have an expression y, it comes from a calculation. I would like to simplify the argument of arctan in the expression using Maple. (This can be a part of a complicated expression, so I 'd like to automatize this procedure).

Assumptions: s0>0, w>0

y:=cos(w*t-arctan(2*s0^3*w, -s0^2*(-s0^2+w^2)));

## inverse Fourier trasnform error...

Maple

Hello,

I  would like to perform inverse Fourier transformation, but I get an error message::

Error, (in gcd/gcdchrem1) input polynomials have too large a degree

I have Maple 13.

## imaginary unit and typset...

Maple

Hello,

I 'd like to use j as imaginary unit, and I want to display it in the title of a plot using typeset, but it doesn't work (in the expression F):

restart ;interface(imaginaryunit=j);sqrt(-1);
F:=2*sin(w)/w*exp(-j*w*2);F;
plot(abs(eval(F,w=2*Pi*f)),f=0..10,title=typeset('F(j*w)'=F));