       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

```

• Prev by Date: Re: Graphing Abnormalities of Functions
• Next by Date: Re: simple newbee questions
• Previous by thread: Equality question
• Next by thread: Re: Equality question