Services & ResourcesWolfram ForumsMathGroup Archive

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

Simplification with constraints

• To: mathgroup at smc.vnet.net
• Subject: [mg72040] Simplification with constraints
• From: "Vladimir" <vladimir347 at yahoo.com>
• Date: Sat, 9 Dec 2006 06:09:48 -0500 (EST)

Suppose we have a constraint:

a*a+b*b+c*c+d*d==1

What is the most elegant and general way to simplify any expression
considering above constraint for simplification?

For (just a simple) example:

In[]:=simplify[b*b+c*c+d*d]

should give:

Out[]=1-a*a

--
thanks in advance,
Vladimir

• Follow-Ups:
  • Re: Simplification with constraints
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>