Question: Incorrect result of is with abs and infinity

Hello!

I have just found this incorrect behaviour of is  (Maple 12):

restart;

is(abs(y)<infinity); # It's not OK.
                                 true

is(y<infinity); # it's OK.
                                false

I'll submit it. 

 

Please Wait...