Mathematica 9 is now available
Student Support Forum
Student Support Forum: 'Simplifying non trivial expression with conditi...' topicStudent Support Forum > General > Archives > "Simplifying non trivial expression with conditi..."

Help | Reply To Topic
Author Comment/Response
01/07/13 6:11pm

Good day,dear friends.
I want to simplify some big expression in M9 in case that all Sqrt[_] expressions must be real (or, as equal, all expr in Sqrt[expr] must be nonnegative) and all (a,b,c) must also be real.I use ForAll as second parameter in FullSimplify, but it doesn't work. The same time,the condition above reduces to a+b+c=0,otherwise the big Sqrt in denominator becomes not real (look at attachment) and when I use FullSimplify with a+b+c==0, it workes fine. Is it possible to force Mathematica consider all Sqrt[_] in expressions to be reals and complete simplification?

Attachment: Simplification.nb, URL: ,
Help | Reply To Topic