MathGroup Archive 2000

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Manipulating Equations

  • To: mathgroup at smc.vnet.net
  • Subject: [mg25142] Re: [mg25064] Manipulating Equations
  • From: BobHanlon at aol.com
  • Date: Sun, 10 Sep 2000 03:15:00 -0400 (EDT)
  • Sender: owner-wri-mathgroup at wolfram.com

In a message dated 9/7/2000 10:48:48 PM, chusseau at univ-montp2.fr writes:

>I have to simultaneously solve equations corresponding to a physical
>problem. Therefore most of my variables have a meaning only if they are
>real
>and positive. How can I say to Mathematica that it has to reject solutions
>not corresponding to these cases, and furthermore how to declare these
>variables so that their particular nature is used by Simplify or
>FullSimplify.
>

var = {x, y, z};

eqn = {(x + y)*z^2 == 1, x^2 == 3, y^2 == 3}; 

For real, positive variables the conditions are

cond = And @@ Join[Im[#] == 0 & /@ var, # > 0 & /@ var];

soln = Solve[eqn, var]

{{x -> -Sqrt[3], y -> -Sqrt[3], 
   z -> -(I/(Sqrt[2]*3^(1/4)))}, {x -> -Sqrt[3], 
   y -> -Sqrt[3], z -> I/(Sqrt[2]*3^(1/4))}, 
  {x -> Sqrt[3], y -> Sqrt[3], z -> -(1/(Sqrt[2]*3^(1/4)))}, 
  {x -> Sqrt[3], y -> Sqrt[3], z -> 1/(Sqrt[2]*3^(1/4))}}

Select[soln, cond /. # &]

{{x -> Sqrt[3], y -> Sqrt[3], z -> 1/(Sqrt[2]*3^(1/4))}}

Whenever you want to apply the conditions use

Simplify[expr, cond]

FullSimplify[expr, cond]

or define functions 

mySimplify[expr_] := Simplify[expr, cond];

myFullSimplify[expr_] := FullSimplify[expr, cond];


Bob Hanlon


  • Prev by Date: Re: Rounding Numbers in for output in GridBox
  • Next by Date: Re: Plot... Import...
  • Previous by thread: Re: Manipulating Equations
  • Next by thread: Re: Manipulating Equations