Re: Equality question
- To: mathgroup at smc.vnet.net
- Subject: [mg29548] Re: [mg29539] Equality question
- From: BobHanlon at aol.com
- Date: Sun, 24 Jun 2001 02:01:01 -0400 (EDT)
- Sender: owner-wri-mathgroup at wolfram.com
In a message dated 2001/6/23 1:59:03 AM, gleam at flashmail.com writes: >Why doesn't Mathematica 4.1 yield True for this expression: > >TrueQ[(n - 1)^2 + n == n^2 - n + 1] > TrueQ[(n - 1)^2 + n == n^2 - n + 1] False "You can use TrueQ to 'assume' that a test fails when its outcome is not clear." Since Mathematica does not automatically simplify (it would be unbelievably slow if it used Simplify or FullSimplify liberally), it is not immediately apparent that the expression is true so it defaults to false. You can simplify first TrueQ[Simplify[(n - 1)^2 + n == n^2 - n + 1]] True Or just use Simplify Simplify[(n - 1)^2 + n == n^2 - n + 1] True Bob Hanlon Chantilly, VA USA