Advanced Search
All Posts : Product Tips & Techniques
Using Maple 12 I have the following behaviour, which I find odd:


1. 'evalb' is correct, 'is' turns out to be false (by example):

  eq:=1/2*I*(-z+ln(exp(z)))/Pi = -1/2*I*(z+ln(exp(-z)))/Pi;

  evalb(eq);
                                false
  is(eq);

                                 true

  # choose an example value
  eval(eq, z = I*Pi);

                                0 = 1


2. 'evalb' is false, 'is' turns out to be correct after simplification
   (1/exp(w) = exp(-w), since exp(1) is real): 

  eq:= 1/2*I*(ln(exp(w))+ln(1/exp(w)))/Pi = 1/2*I*(ln(exp(w))+ln(exp(-w)))/Pi;

  evalb(eq);

                                false
  is(eq);

                                 true
  simplify(lhs(eq) - rhs(eq));

                                  0
example

Please Wait...