Re: Help needed: How to add constraints into FullSimplify
- To: mathgroup at smc.vnet.net
- Subject: [mg22372] Re: Help needed: How to add constraints into FullSimplify
- From: "Allan Hayes" <hay at haystack.demon.co.uk>
- Date: Sat, 26 Feb 2000 22:04:59 -0500 (EST)
- References: <897dgc$5p6@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
Ilya:
expr = x1^2 + x5^2 + x7^2;
Simplify[expr x^2 + 2 expr x + 3, {expr == 1}]
3 + 2*x + x^2
FullSimplify[expr x^2 + 2 expr x + 3, {expr == 1}]
3 + x*(2 + x)
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
"Ilya Zavorin" <iaz at cs.umd.edu> wrote in message
news:897dgc$5p6 at smc.vnet.net...
> Hi!
>
> I am trying to simplify a complicated expression F[x1,x2,...] using
> FullSimplify. What I know is that the variables involved satisfy
> certain conditions. For instance, I know that
>
> x1^2 + x5^2 + x7^2 = 1.
>
> How can I supply this information into FullSimplify so that it
> processes input further?
>
> Thanks,
>
> Ilya
>