Advanced Search

Question: Possible Bug in Maple

Question:Possible Bug in Maple

Honigmelone 102 Maple 18
alias assume
February 26 2016
0

Hey,

I think I found a bug concerning the useage of assume and alias:

> 

restart:
> 

alias(a=a(t),b=b(t));

a, b

 (1)
> 

assume(a(t),real);
> 

getassumptions(a(t));

{((a(t))(t))::real}

 (2)
> 

assume(b(t),real);
> 

getassumptions(a(t));

{((b(t))(t))::real}

 (3)
> 

getassumptions(b(t));

{((b(t))(t))::real}

 (4)
> 

 

> 

 

> 

 

Commenting out the alias command produces correct results. I am on linux with build 922027.

alias_bug.mw
Please Wait...