Re: Solve bug !!
- To: mathgroup at smc.vnet.net
- Subject: [mg31220] Re: [mg31196] Solve bug !!
- From: Tomas Garza <tgarza01 at prodigy.net.mx>
- Date: Fri, 19 Oct 2001 03:12:16 -0400 (EDT)
- References: <200110170935.FAA19667@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
It looks as a bug, but in fact the trouble is that *Solve deals primarily
with linear and polynomial equations* (see Help browser). What seems to be
happening here is that there are zeros which have not been detected by
Solve, among them those which you correctly identify with the missing minus
sign. Indeed, we have that
In[1]:=
Simplify[(E^(-c))^2 - A/E^c + 1 /.
c -> -Log[(1/2)*(A + Sqrt[-4 + A^2])]]
Out[1]=
0
i.e., writing the missing minus sign results in a zero of your function. But
it turns out that
In[2]:=
Simplify[(E^(-c))^2 - A/E^c + 1 /.
c -> Log[(1/2)*(A + Sqrt[-4 + A^2])]]
Out[2]=
0
so that the result given by Solve with the missing minus sign is also a
zero. The conclusion is that using Solve with trascendental equations may
provide some, but not necessarily all, of the solutions. Not really a bug.
Tomas Garza
Mexico City
----- Original Message -----
From: "Marcel" <arzo at exp.uji.es>
To: mathgroup at smc.vnet.net
Subject: [mg31220] [mg31196] Solve bug !!
> Where is the minus sign whe must obtain in the second case??
>
> > Solve[(E^c)^2 - A*E^c + 1 == 0, c]
>
> {{c -> Log[(1/2)*(A - Sqrt[-4 + A^2])]},
> {c -> Log[(1/2)*(A + Sqrt[-4 + A^2])]}}
>
> > Solve[(E^(-c))^2 - A*E^(-c) + 1 == 0, c]
>
> {{c -> Log[(1/2)*(A - Sqrt[-4 + A^2])]},
> {c -> Log[(1/2)*(A + Sqrt[-4 + A^2])]}}
>
>
> Mathematica 4.1, Windows 2000 SP2, PII400.
>
> Marcel Aguilella
>
>
>
- References:
- Solve bug !!
- From: "Marcel" <arzo@exp.uji.es>
- Solve bug !!