MathGroup Archive 2000

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

Search the Archive

Re: Simplify for ca^2+sa^2==1

  • To: mathgroup at
  • Subject: [mg26352] Re: [mg26339] Simplify for ca^2+sa^2==1
  • From: Andrzej Kozlowski <andrzej at>
  • Date: Wed, 13 Dec 2000 02:41:14 -0500 (EST)
  • Sender: owner-wri-mathgroup at

I am frequently discouraged from even attempting to answer questions like
this one because they consist of generalities without any concrete example.
As it is I have to make a guess, whcih may not be right. Anyway,  do you
mean something like this:

Simplify[c^4*s^2 + 2c^2*s^4 + s^6 + c*s, {c^2 + s^2 == 1}]

s (c + s)


There are other ways to get equivalent answers, which may sometime be more
suitable than th eone given by SImplify. In the above case you could, for
example, do:

    c^4*s^2 + 2c^2*s^4 + s^6 + c*s, {c^2 + s^2 - 1}, {c, s}][[2]]

c s + s

Which is the same as before, or

    c^4*s^2 + 2c^2*s^4 + s^6 + c*s, {c^2 + s^2 - 1}, {s, c}][[2]]

1 - c  + c s

and there are other ways (all of them based on GroebnerBasis). I don't think
there is a single best approach, which one to choose will depend largely on
your example and what sort of output you are trying to get.

Andrzej Kozlowski
Toyama International University

on 12/12/00 4:54 PM, Adalbert Hanssen at hanssen at wrote:

> Hi, MathGroup,
> in a lengthy expression, I know, a lot
> of simplification can be done, if Simplify
> and the like would take into account that
> for varaibles ca and sa
> ca^2+sa^2==1
> I know, that I can set ca=Sqrt[1-sa^2] and
> deal with the branch cut by hand.
> The bad thing is, that these ca^2 and sa^2
> are expanded out in lenghty subexpressions
> involving lots of other symbols. So far, I
> have found no way (but would be glad, if
> someone could advise me one), to factor out
> (ca^2+sa^2). 
> Unfortunately, there are also terms, where
> (1+ca^2+sa^2) or (2*ca^2+2*sa^2) can be
> factored out, also others with (-ca^2-sa^2)
> and so on.
> Any general tip, how to best cope with such
> algebraic manipulations?
> kind regards
> Dipl.-Math. Adalbert Hanszen

  • Prev by Date: Second Opinion
  • Next by Date: Re: Graphics3D[Plot3D[]] vs. ParametricPlot3D[]
  • Previous by thread: RE: Simplify for ca^2+sa^2==1
  • Next by thread: Q: Postscript problem with braces "()" (now complete)