Services & Resources / Wolfram Forums / MathGroup Archive

MathGroup Archive 2013

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

Search the Archive

Re: inconsistent refinement behavior

  • To: mathgroup at
  • Subject: [mg131466] Re: inconsistent refinement behavior
  • From: Helen Read <readhpr at>
  • Date: Thu, 11 Jul 2013 02:02:48 -0400 (EDT)
  • Delivered-to:
  • Delivered-to:
  • Delivered-to:
  • Delivered-to:
  • References: <krj23l$1jf$>

There is nothing inconsistent about this. When you include the 
assumption x>0 or x>=0, you are implicitly assuming that x is an element 
of the Reals, so with either of these assumptions the result will be 
Infinity rather than ComplexInfinity.

Recall that there is no ordering in the complex numbers.

On 7/10/2013 3:22 AM, Alex Krasnov wrote:
> The following behavior appears to be inconsistent:
> In:	Assuming[x==0, Refine[Infinity/x]]
> Out:	ComplexInfinity
> In:	Assuming[x>0, Refine[Infinity/x]]
> Out:	Infinity
> In:	Assuming[x>=0, Refine[Infinity/x]]
> Out:	Infinity
> The third example should return unrefined given the first two examples. Is
> there an explanation?
> Alex

  • Prev by Date: Re: Arrow on arc using Circle
  • Next by Date: How to pass Jacobian to IDA via NDSolve
  • Previous by thread: inconsistent refinement behavior
  • Next by thread: Re: inconsistent refinement behavior