[Date Index]
[Thread Index]
[Author Index]
Re: Reduce bug?
*To*: mathgroup at smc.vnet.net
*Subject*: [mg63196] Re: Reduce bug?
*From*: Jean-Marc Gulliet <jeanmarc.gulliet at gmail.com>
*Date*: Sat, 17 Dec 2005 03:46:39 -0500 (EST)
*Organization*: The Open University, Milton Keynes, UK
*References*: <dnv49q$ocp$1@smc.vnet.net>
*Sender*: owner-wri-mathgroup at wolfram.com
FranÃ§ois Wirion wrote:
> In[22]:=$Version
> Out[22]=5.2 for Microsoft Windows (June 20, 2005)
>
> Trying to reduce the following simple non-algebraic equation, I get the
> following:
> In[7]:=
> Reduce[4^n*(n - 1)*(n - 2) == 0, n]
> Out[7]=
> True
>
> This is of course a bit odd since e.g. when n = 0,
> In[23]:=
> 4^n*(n - 1)*(n - 2) == 0 /. n -> 0
> Out[23]=
> False
>
> It seems that this problem occurs not only with 4^n in the equation but
> more generally for even integers other than -2, 0 and 2. I had a look
> through the archives but could not find a related entry on a first
> glance.
>
Hi Francois,
I use the same version as yours and have got various warning/error
messages using *Reduce*. *Solve*, however, works fine. These difference
of of behavior could be explained by the internal use of different set
of algorithms.
Table[{p, Reduce[p^n*(n - 1)*(n - 2) == 0, n, Integers]}, {p, -10, 10}]
Reduce::nsmet: This system cannot be solved with the methods available to \
Reduce
Reduce::ztest: Unable to decide whether numeric quantities {-2 Log[3] + \
Log[9]} are equal to zero. Assuming they are.
\!\({{\(-10\), n â?? Integers ||
n == 1 || n == 2}, {\(-9\), Reduce[\((\(-9\))\)\^n\ \((\(-2\) +
n)\)\ \
\((\(-1\) +
n)\) == 0, n, Integers]}, {\(-8\), n â?? Integers || n ==
1 || n == 2}, {\(-7\), n == 1 || n ==
2}, {\(-6\), n â?? Integers || n ==
1 || n == 2}, {\(-5\), n == 1 || n ==
2}, {\(-4\), n â??
Integers || n == 1 || n == 2}, {\(-3\), n ==
1 || n == 2}, {\(-2\), n == 1 || n == 2}, {\(-1\), n ==
1 || n == 2}, {0, n â?? Integers && n â?¥ 1}, {
1, n == 1 || n == 2}, {2, n == 1 || n == 2}, {3, n == 1 || n == 2}, {
4, n â?? Integers || n == 1 || n == 2}, {5, n == 1 || n ==
2}, {6, n â?? Integers || n == 1 || n == 2}, {7, n == 1 || n == 2}, {8,
n â?? Integers || n == 1 || n == 2}, {
9, Reduce[9\^n\ \((\(-2\) + n)\)\ \((\(-1\) + n)\) == 0,
n, Integers]}, {10, n â?? Integers || n == 1 || n == 2}}\)
In[2]:=
Solve[4^n*(n - 1)*(n - 2) == 0, n]
Out[2]=
{{n -> 1}, {n -> 2}}
Best regards,
/J.M.
Prev by Date:
**Re: Re: Solve Limitations**
Next by Date:
**Re: EUREKA Re: Types in Mathematica, a practical example**
Previous by thread:
**Reduce bug?**
Next by thread:
**Gray's Differential Geometry error?**
| |