Mathematica 9 is now available
Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2012

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

Search the Archive

The domain parameter of Reduce[]

  • To: mathgroup at smc.vnet.net
  • Subject: [mg124129] The domain parameter of Reduce[]
  • From: Szabolcs <szhorvat at gmail.com>
  • Date: Tue, 10 Jan 2012 05:59:18 -0500 (EST)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com
  • Reply-to: comp.soft-sys.math.mathematica at googlegroups.com

My question if motivated by http://stackoverflow.com/questions/8780068/mathematica-finding-the-conditions-for-the-real-part-of-a-complex-number-to-be

It seems that 

Reduce[{ComplexExpand@Re[-1 - Sqrt[a - b] ] < 0, a > 0, b > 0}, {a, b}, Complexes]

will return a different result from

Reduce[{ComplexExpand@Re[-1 - Sqrt[a - b] ] < 0, a > 0, b > 0}, {a, b}]

Also the result of this latter calculation seems incorrect (I didn't expect 'b' to be restricted to be less than 'a')

How does the domain parameter of Reduce work?  Isn't Complexes the default domain?  What changes if we specify Complexes explicitly?  Also, if the result of the second example incorrect (a bug)?



  • Prev by Date: Lack of 3D plot rotation handles ?
  • Next by Date: Re: more plotting peculiarities
  • Previous by thread: Re: Lack of 3D plot rotation handles ?
  • Next by thread: Re: The domain parameter of Reduce[]