MathGroup Archive 2007

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

Search the Archive

Re: Weird result in Mathematica 6


Hi,

because you have not given an domain. But

Reduce[(z - a)/(1 - a\[Conjugate] z) == w && a a\[Conjugate] < 1 &&
   w w\[Conjugate] < 1, z, Complexes]

does this.

Regards
   Jens

Sebastian Meznaric wrote:
> I was playing around with Mathematica 6 a bit and ran this command to
> solve for the inverse of the Moebius transformation
> 
> FullSimplify[
>  Reduce[(z - a)/(1 - a\[Conjugate] z) == w && a a\[Conjugate] < 1 &&
>    w w\[Conjugate] < 1, z]]
> 
> This is what I got as a result:
> -1 < w < 1 && -1 < a < 1 && z == (a + w)/(1 + w Conjugate[a])
> 
> Why is Mathematica assuming a and w are real? The Moebius
> transformation is invertible in the unit disc regardless of whether a
> and w are real or not. Any thoughts?
> 
> 


  • Prev by Date: Evaluation Question
  • Next by Date: Re: Simplify (-1)^((-1)^n)
  • Previous by thread: Re: Weird result in Mathematica 6
  • Next by thread: Re: Weird result in Mathematica 6