       Why doesn't mathematica evaluate this?

• To: mathgroup at smc.vnet.net
• Subject: [mg119818] Why doesn't mathematica evaluate this?
• From: Jacare Omoplata <walkeystalkey at gmail.com>
• Date: Fri, 24 Jun 2011 07:44:44 -0400 (EDT)

```Here's the output. Out lists the assumptions I've used. It
doesn't evaluate out, but the inequality from Out can be
arrived at by the inequalities In and In, each of which
evaluate to true by themselves.

If the L.H.S. of In is multiplied by the L.H.S. In, and the
R.H.S. of In is multiplied by the R.H.S. of In, then the
inequality at Out can be arrived at.

Is there a workaround?

-------------------------------------
output----------------------------------------------

In:= \$Assumptions

Out= {(x1 | x2 | t1 | t2 | u | c) \[Element] Reals, u < c, t1 <
t2, u > 0, x2 > x1, c t1 + x2 < c t2 + x1}

In:= dT

Out= -((t1 - (u x1)/c^2)/Sqrt[1 - u^2/c^2]) + ( t2 - (u x2)/c^2)/
Sqrt[1 - u^2/c^2]

In:= FullSimplify[dT > 0]

Out= c^2 t2 + u x1 > c^2 t1 + u x2

In:= FullSimplify[(u/c) < 1]

Out= True

In:= FullSimplify[((x2 - x1)/(c*(t2 - t1))) < 1]

Out= True

```

• Prev by Date: Re: pattern example
• Next by Date: Re: Export a Grid[] object without loosing it's format
• Previous by thread: Re: Replacement rules for large matrixes
• Next by thread: How can I concatenate elements