Question: is with and without simplify

Perhaps the following behavior is to be expected? would someone explain to me why Maple doesn't automatically apply the simplification needed to ascertain the equality and "erroneously" returns false?

 

newsysnonlinear := simplify(newsys-newsystaylor):
> is( newsysnonlinear = newsys-newsystaylor );
> is( newsysnonlinear = simplify(newsys-newsystaylor) );

                                false


                                 true
newsysnonlinear := newsys-newsystaylor:
> is( newsysnonlinear = newsys-newsystaylor );
> is( newsysnonlinear = simplify(newsys-newsystaylor) );

                                 true


                                false

Please Wait...