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 >