Question: Problem with assume and additionally

Could you please look at the following piace of code:

>assume(d::complex):
>z:=t=a/d:
>additionally(d≠0):
>z:=z*d;

The result of last command is

z:=d~t=d~*a/d~

that is not z:=d~t=a.

If I skip the command additionally(d≠0): then everything is good. However I need this command. Could you help to handle this problem?

Please Wait...