Re: message question
- To: mathgroup at smc.vnet.net
- Subject: [mg70952] Re: [mg70918] message question
- From: "Chris Chiasson" <chris at chiasson.name>
- Date: Thu, 2 Nov 2006 06:48:46 -0500 (EST)
- References: <200611010856.DAA01601@smc.vnet.net>
in some other posts on MG, I have heard people say that N can be used
to prove two expressions are not equal
my guess is that it only tries to numerically prove the expression is
false if it can't directly prove the expression is true
with the fullsimplify command, some kind of rearrangement must happen
that makes the equality more obvious
On 11/1/06, dimitris <dimmechan at yahoo.com> wrote:
> Consider the following
>
> sols = Solve[x^3 + 2*x^2 - 1 == 0]
> {{x -> -1}, {x -> (1/2)*(-1 - Sqrt[5])}, {x -> (1/2)*(-1 + Sqrt[5])}}
>
> Why do they appear the warning messages in the following command?
>
> x^3 + 2*x^2 - 1 == 0 /. sols
> N::meprec: Internal precision limit $MaxExtraPrecision =
> 49.99999999999999` \
> reached while evaluating \!\(\(-1\) + 1\/2\ \((\(-1\) - \@5)\)\^2 +
> 1\/8\ \(\(\((\(-1\) - \
> \@5)\)\^3\)\(.\)\)\)
> N::meprec: Internal precision limit $MaxExtraPrecision =
> 49.99999999999999` \
> reached while evaluating \!\(\(-1\) + 1\/2\ \((\(-1\) - \@5)\)\^2 +
> 1\/8\ \(\(\((\(-1\) - \
> \@5)\)\^3\)\(.\)\)\)
> {True, -1 + (1/2)*(-1 - Sqrt[5])^2 + (1/8)*(-1 - Sqrt[5])^3 == 0, -1 +
> (1/2)*(-1 + Sqrt[5])^2 + (1/8)*(-1 + Sqrt[5])^3 == 0}
>
> which they don't avoid the verification
>
> FullSimplify[%]
> {True,True,True}
>
> Is it a way to avoid the messages (apart from turn off the message)?
>
> The following seems not to help.
>
> Block[{$MaxExtraPrecision = 1000}, x^3 + 2*x^2 - 1 == 0 /. sols]
>
> Thanks a lot
>
>
--
http://chris.chiasson.name/
- References:
- message question
- From: "dimitris" <dimmechan@yahoo.com>
- message question