       Re: SameQ to check for simplified radical expressions... doesn't work

• To: mathgroup at smc.vnet.net
• Subject: [mg120976] Re: SameQ to check for simplified radical expressions... doesn't work
• From: DrMajorBob <btreat1 at austin.rr.com>
• Date: Sat, 20 Aug 2011 06:15:57 -0400 (EDT)
• Delivered-to: l-mathgroup@mail-archive0.wolfram.com

```Here are your three expressions:

{Simplify[Sqrt], Sqrt, Hold[6*Sqrt]}

{6 Sqrt, 6 Sqrt, Hold[6 Sqrt]}

As you can see, the first two are identical, and the third is not.

So the "problem" is that Simplify isn't doing anything.

Now consider:

FullForm@Sqrt
Times[6,Power[10,Rational[1,2]]]

Now imagine this one with 360 in place of 10:

FullForm@Sqrt
Power[10,Rational[1,2]]

LeafCount /@ {Sqrt, Sqrt}

{7, 5}

ByteCount /@ {Sqrt, Sqrt}

{264, 184}

The second is obviously simpler, hence Sqrt is simpler than 6
Sqrt.

But Mathematica doesn't see it that way, and apparently, neither do you.

Bobby

On Fri, 19 Aug 2011 05:33:06 -0500, Roy Simpson <roy at mathemaddicts.com>
wrote:

> Hello,
>
> I have what appears to be a simple issue, but I cannot for the life of
> me figure it out.  I will have a randomized number, a, and I am going to
> simplify the square root of this.  Then I want to compare this to a
> radical expression that a student enters, say b.  Thus, the idea should
> be something like
>
> Simplify[Sqrt[a]] === Sqrt[b]
>
> For sake of this example, let's suppose the number I want to consider is
> the square root of 360.  I only want the statement to return TRUE if the
> rhs of this SameQ is exactly 6*Sqrt.
>
> Unfortunately,
>
> Simplify[Sqrt] === Sqrt
> returns TRUE.
>
> I tried a few variations with Hold, but they always return false if the
> student enters the correct answer.  For example, if the student entered
> 6*Sqrt, then
>
> Simplify[Sqrt] === Hold[6*Sqrt]
> returns FALSE
>
> What am I doing wrong?  Any help would be appreciated.
>

--
DrMajorBob at yahoo.com

```

• Prev by Date: Re: Memory when reding in data
• Next by Date: Re: Memory when reding in data
• Previous by thread: Re: SameQ to check for simplified radical expressions... doesn't work
• Next by thread: Re: SameQ to check for simplified radical expressions... doesn't work