MathGroup Archive 2010

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

Search the Archive

Re: More /.{I->-1} craziness

  • To: mathgroup at
  • Subject: [mg106317] Re: More /.{I->-1} craziness
  • From: Richard Fateman <fateman at>
  • Date: Fri, 8 Jan 2010 04:15:33 -0500 (EST)
  • References: <> <hhhmn8$o9t$> <hi42mv$nct$>

Noqsi wrote:

> Mathematica has a tool that can do what you want here:
> Reduce[a == Exp[I x] - Exp[-I x] && Exp[I x] == s, {a}, {x}]
> s != 0 && a == (-1 + s^2)/s
> It's a bit fussier than perhaps you'd like, but that's mathematics for
> you ;-)
Reduce is a really neat program in Mathematica, one that I especially 
admire since it was improved to work on more than polynomials.
Unfortunately, it won't work for I->-I, maybe because that is based on a 
decision involving constants represented differently from expressions 
that construct them.  (David Bailey already pointed this out.  Do people 
get instantaneous unfiltered feed from this newsgroup??)

but also..
Bill Rowe said ...
  "Again, the choice is either understand this behavior and live
   with it or find different software. There isn't any other
   productive choice."

Well, reporting something as a bug and hoping it will be fixed is 
another choice.
And writing a version of the facility that does the right thing is
another choice. (Any takers?)

Either of these could be "productive".

Are Mathematica design decisions sacred or something?


  • Prev by Date: Re: Function Name Info Demonstration Attempt
  • Next by Date: Re: algebraic numbers
  • Previous by thread: Re: More /.{I->-1} craziness
  • Next by thread: Re: More /.{I->-1} craziness