Question: Bug in coulditbe with abs?

Hello!

The command coulditbe works incorrectly with abs:

restart;

coulditbe(t,infinity);

                                 true
 It is OK.

 

coulditbe(abs(t),infinity);
                                 FAIL

But this is not OK.

Please Wait...