FullSimplify does not get rid of the z factor in the following expression:

FullSimplify[(E^(-I x) y z + (1 + E^(I y)) (x + y) z)/z, z != 0]

Upon removing a single piece of the expression, such as the first y factor or the 1+ in the brackets, the simplification suddenly succeeds. As far as I can tell it is only this special combination of variables that fails.

Is there any obvious problem with simplifying this?
Is there a way to tweak the FullSimplify function to make it succeed? (this is just a part of a longer expression - and I want to avoid looking for such problems manually).

I'm using Mathematica version on Win7 64 bit.

  • 1
    $\begingroup$ How about Simplify[(E^(-I x) y z + (1 + E^(I y)) (x + y) z)/z // Factor] ? $\endgroup$ – b.gates.you.know.what Jan 27 '13 at 16:04
  • $\begingroup$ Maybe FullSimplify[Expand@(E^(-I x) y z + (1 + E^(I y)) (x + y) z)/z, z != 0]? $\endgroup$ – user1066 Jan 27 '13 at 16:37
  • 3
    $\begingroup$ Or FullSimplify[Cancel[(E^(-I x) y z + (1 + E^(I y)) (x + y) z)/z], z != 0]. What I find interesting is that if you use e.g. (x+a) instead of (x+y) in your original expression, it seems to work directly... $\endgroup$ – Pinguin Dirk Jan 27 '13 at 16:42
  • $\begingroup$ All these suggestions work. I'm not sure how to judge this, but the one involving Cancel seems like the most direct. As for an explanation for this strange behavior, I guess I shouldn't hold my breath. @PinguinDirk - do you want to turn your comment into an answer so I can accept it? $\endgroup$ – Joe Jan 28 '13 at 7:23

As in the comment above and requested by the OP as an answer, I can only offer a workaround:

FullSimplify[Cancel[(E^(-I x) y z + (1 + E^(I y)) (x + y) z)/z], z != 0]

Also, I'd like to note again that using e.g. (x+a) instead of (x+y) in the original expression seems to make it work, out of the box (without Cancel)

| improve this answer | |
  • 4
    $\begingroup$ (+1) Interesting observation about a. That seems to indicate that the culprit is the same as in this question $\endgroup$ – Jens Jan 28 '13 at 7:43
  • $\begingroup$ @Jens: ah, I wasn't aware of the question - interesting indeed. I did try various expressions instead of (x+y) there and couldn't figure out any pattern in Mathematica's behaviour. Interesting indeed. $\endgroup$ – Pinguin Dirk Jan 28 '13 at 7:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.