What is this?
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.
It's not a bug. The point is that y might be complex.
See how this works:
assume(y,real);
is(y<infinity);
true
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