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. 

 

y might not be real

It's not a bug. The point is that y might be complex.

See how this works:

assume(y,real);

is(y<infinity);

 true

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.
}