Re: Limit question

*To*: mathgroup at smc.vnet.net*Subject*: [mg31568] Re: Limit question*From*: "David W. Cantrell" <DWCantrell at sigmaxi.org>*Date*: Wed, 14 Nov 2001 03:41:43 -0500 (EST)*References*: <9sge8a$935$1@smc.vnet.net>*Sender*: owner-wri-mathgroup at wolfram.com

Otto Linsuain <linsuain at andrew.cmu.edu> wrote: [snip] > Mathematica outputs ComplexInfinity when it encounters a divergence with > unclear phase. But what about the cases where the limits depend on the > direction but are not divergent, like it is 0 from the left, 1 from the > right, 1/2 from above, etc? What should the output be then? All questions, with the exception of the above, seem to have been well discussed in this thread. Here's my answer for what the output should be in such a case: Interval[{0,0},{1/2,1/2},{1,1},etc.] Before reacting too strongly against this suggestion, please consider that it is based on the same idea (good, in my opinion) which allows Mathematica to give Interval[{-1,1}] for Limit[Sin[x],x->Infinity]. Consider then Limit[Floor[Sin[x]],x->Infinity]. By the same logic, Mathematica should (but doesn't) give Interval[{-1,-1},{0,0},{1,1}] or something equivalent to it. Regards, David Cantrell