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,

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.

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)));
 

Thank you for your help in advance.

Hello,

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

restart;Fs:=75e6;Ts:=1/Fs;:g:=add(Dirac(t-k*Ts-6*Ts),k=1..4);G:=inttrans[fourier](g,t,w);
 

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

I have Maple 13.

Thanks four your help in advance.

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));

Thanks for help in advance.