Mathematica 9 is now available
Student Support Forum
-----
Student Support Forum: 'problem with assumptions' topicStudent Support Forum > General > "problem with assumptions"

Next Comment >Help | Reply To Topic
Author Comment/Response
yga
07/05/12 06:32am

Hi, I don't understand the output of mathematica to the following input

Assuming[r > 0 &&
Subscript[\[Sigma], AA] + Subscript[\[Sigma], pr] > 0 &&
Subscript[\[Mu], A] > (1 + r) (Subscript[H, p] + Subscript[p, 0]) &&
Subscript[\[Mu], p] > Subscript[\[Mu],
A] && (1 + r) (Subscript[H, p] + Subscript[p, 0]) > 0,
FullSimplify[
Subscript[\[Mu], p] Subscript[\[Sigma], AA] +
Subscript[\[Mu], A] Subscript[\[Sigma],
pr] >= (1 + r) (Subscript[H, p] + Subscript[p,
0]) (Subscript[\[Sigma], AA] + Subscript[\[Sigma], pr])]]

Indeed, it returns the same expression without simplification, i.e.

Subscript[\[Mu], p] Subscript[\[Sigma], AA] +
Subscript[\[Mu], A] Subscript[\[Sigma],
pr] >= (1 + r) (Subscript[H, p] + Subscript[p,
0]) (Subscript[\[Sigma], AA] + Subscript[\[Sigma], pr])

while it should return True, in my optinion. Does anyone have an explanation?

URL: ,

Subject (listing for 'problem with assumptions')
Author Date Posted
problem with assumptions yga 07/05/12 06:32am
Re: problem with assumptions Bill Simpson 07/05/12 10:55pm
Next Comment >Help | Reply To Topic