       Re: Manipulating Equations

• To: mathgroup at smc.vnet.net
• Subject: [mg25096] Re: Manipulating Equations
• From: "Allan Hayes" <hay at haystack.demon.co.uk>
• Date: Fri, 8 Sep 2000 03:00:42 -0400 (EDT)
• References: <8p9jfa\$1gm@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

```Laurent,

For polynomial equations with rational or integral coefficients we can use

sol = InequalitySolve[{x^2 - y^2 == 1, x y == 1, x > 0, y > 0}, {x, y}]

x == Root[-1 - #1^2 + #1^4 & , 2] &&
y == Root[-1 + #1^2 + #1^4 & , 2]

x == Sqrt[1/2 + Sqrt/2] && y == Sqrt[-1/2 + Sqrt/2]

{{x -> Sqrt[1/2 + Sqrt/2],
y -> Sqrt[-1/2 + Sqrt/2]}}

If sol cannot be expressed in radicals we can get numerical values

N[sol]

x == 1.272019649514069 && y == 0.7861513777574233

If the coefficients are symbolic then the problem is much harder.

Assumptions with Simplify and FullSimplify are dealt with in the Help
Browser. But note that if you have several simultaneous assumptions then
they must be in a list  {a>0, b>0} or logically combined a>0&&b>0.

--
Allan
---------------------
Allan Hayes
Mathematica Training and Consulting
Leicester UK
www.haystack.demon.co.uk
hay at haystack.demon.co.uk
Voice: +44 (0)116 271 4198
Fax: +44 (0)870 164 0565

"Laurent CHUSSEAU" <chusseau at univ-montp2.fr> wrote in message
news:8p9jfa\$1gm at smc.vnet.net...
> First excuse my question which is probably easy to answer for the
high-level
> Mathematica users that you are.
> 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.
> Thanks in advance
>
>

```

• Prev by Date: Re: Square Roots mod n (n composite)
• Next by Date: Re: Assumptions ignored?
• Previous by thread: Manipulating Equations
• Next by thread: Re: Manipulating Equations