1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Mathematica is being silly

  1. Aug 11, 2009 #1
    Anyone have an explanation for this? It can simplify the first one but not the second...

    Attached Files:

  2. jcsd
  3. Aug 11, 2009 #2
    And what about this:

    FullSimplify[Abs[(x*y)]^2, x > 0 && y > 0]

    the result is still Abs[x*y]^2

    But there is no trouble doing this one

    FullSimplify[Abs[(x/y)]^2, x > 0 && y > 0]

    is simply returns x^2/y^2...
  4. Aug 19, 2009 #3
    I had similar problems and asked tech support about it - they recommend as a workaround e.g.

    PiecewiseExpand[Abs[(x*y)]^2, Reals]
  5. Aug 19, 2009 #4
    x > 0 && y > 0
    Well, if this was an equals sign rather than >, it would need to be a double equqals "==". Not sure what the expression would be for >
  6. Aug 19, 2009 #5
    For the top one, x and y could still be imaginary, giving a negative product. For division, a comlex number squared is real, making the Abs redundant.

    i'm assuming that Mathematica's assumes all vars can be complex. See if you can convince mathematica that x,y belong to reals

    Not quite what you wanted to do, but it's a starting place.

  7. Aug 20, 2009 #6


    User Avatar
    Science Advisor
    Homework Helper

    flatmaster, I don't understand your remarks about "==" ... it clearly says > doesn't it?

    Also, AFAIK Mathematica automatically assumes they are real when you use a comparison operator, i.e. "x > 0" implies "Element[x, Reals]"
  8. Aug 20, 2009 #7
    I see. When you want to assume that both x and y are real, you simply write ", Reals" ? Because this doesn't work for FullSimplify, e.g.

    FullSimplify[Abs[x/y]^2, Reals]

    is not the same as

    FullSimplify[Abs[x/y]^2, _ \[Element] Reals]
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook