MathGroup Archive 2007

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: How to Eliminate

  • To: mathgroup at smc.vnet.net
  • Subject: [mg75076] Re: How to Eliminate
  • From: "dimitris" <dimmechan at yahoo.com>
  • Date: Mon, 16 Apr 2007 20:10:27 -0400 (EDT)
  • References: <evsr25$14h$1@smc.vnet.net>

Note that returning the results as a list of rules is a very useful
setting of Solve for
further actions. I don't see many reasons why someone would not want
it.

E g

In[20]:=
Solve[x^4 + a^4 == 0, x]
x^4 + a^4 /. %

Out[20]=
{{x -> (-(-1)^(1/4))*a}, {x -> (-1)^(1/4)*a}, {x -> (-(-1)^(3/4))*a},
{x -> (-1)^(3/4)*a}}
Out[21]=
{0, 0, 0, 0}

Anyway...you can define your function that will use Solve in order to
get the solutions
and in turn returning the results as you want.

In[21]:=
norulSolve[eq_Equal, x_] := Solve[eq, {x}] /. {a_ -> b_} :> b

An example follows now

In[24]:=
norulSolve[(x^4 + x^2 + x)*(x^3 + a^3) == 0, x]

Out[24]=
{0, -(2/(3*(-9 + Sqrt[93])))^(1/3) + ((1/2)*(-9 + Sqrt[93]))^(1/3)/
3^(2/3),
  -(((1 + I*Sqrt[3])*((1/2)*(-9 + Sqrt[93]))^(1/3))/(2*3^(2/3))) + (1
- I*Sqrt[3])/(2^(2/3)*(3*(-9 + Sqrt[93]))^(1/3)),
  -(((1 - I*Sqrt[3])*((1/2)*(-9 + Sqrt[93]))^(1/3))/(2*3^(2/3))) + (1
+ I*Sqrt[3])/(2^(2/3)*(3*(-9 + Sqrt[93]))^(1/3)), -a,
  (-1)^(1/3)*a, (-(-1)^(2/3))*a}

And here is a nice example of application

In[32]:=
norulSolve[x^4 + 16 == 0, x]
Factor[1/(x^4 + 16), Extension -> %]
Apart[%]

Out[32]=
{-2*(-1)^(1/4), 2*(-1)^(1/4), -2*(-1)^(3/4), 2*(-1)^(3/4)}

Out[33]=
1/((2*(-1)^(1/4) - x)*(2*(-1)^(3/4) - x)*(2*(-1)^(1/4) +
x)*(2*(-1)^(3/4) + x))

Out[34]=
(-1)^(1/4)/(32*(2*(-1)^(1/4) - x)) + (-1)^(3/4)/(32*(2*(-1)^(3/4) -
x)) + (-1)^(1/4)/(32*(2*(-1)^(1/4) + x)) +
  (-1)^(3/4)/(32*(2*(-1)^(3/4) + x))


Regards
Dimitris

=CF/=C7 JikaiRF at aol.com =DD=E3=F1=E1=F8=E5:
> Dear Members:
> When I use "Solve" in order to solve polynomials with high orders, its
> solutions are usually reterned in terms of a pair of nested braces,
> like {{x -> 0.1}, {x -> 0.5}}. In this situation, I would like to
> obtain a pair of braces such as {0.1, 0.5}.  In other words, I would
> like to know how to eliminate x ->.
> How can I obtain my result?
>
>       Sincerely
>       F. Takata.



  • Prev by Date: Re: differentiate a function of a function
  • Next by Date: Re: differentiate a function of a function
  • Previous by thread: Re: How to Eliminate
  • Next by thread: Re: How to Eliminate