Mathematica 9 is now available
Services & Resources / Wolfram Forums / MathGroup Archive

MathGroup Archive 2010

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

Search the Archive

Re: What's wrong with this assuming?

  • To: mathgroup at
  • Subject: [mg111113] Re: What's wrong with this assuming?
  • From: Bob Hanlon <hanlonr at>
  • Date: Tue, 20 Jul 2010 07:55:43 -0400 (EDT)
  • Reply-to: hanlonr at

Use the assumption directly in Simplify or FullSimplify

Simplify[(x^2 + x)^2 + h, x^2 + x == h]

h (h+1)

FullSimplify[(x^2 + x)^2 + h, x^2 + x == h]

h (h+1)

Or put Simplify or FullSimplify within the scope of the Assuming construct

Assuming[x^2 + x == h, Simplify[(x^2 + x)^2 + h]]

h (h+1)

Assuming[x^2 + x == h, FullSimplify[(x^2 + x)^2 + h]]

h (h+1)

Bob Hanlon

---- Sam Takoy <sam.takoy at> wrote: 


I have a situation where I have to simplify an expression that contains 
x and h, but x is given implicitly by h, so I can't explicitly eliminate 
it. So here's a simpler example that I'm trying and it does nothing:

Assuming[x^2 + x == h, (x^2 + x)^2+h] // FullSimplify

Is there a way to make this work?



Bob Hanlon

  • Prev by Date: Brillouin function for a Ferromagnet
  • Next by Date: Re: Scoping constructs Block, Module, ModuleBlock violate principle of
  • Previous by thread: What's wrong with this assuming?
  • Next by thread: Re: What's wrong with this assuming?