Re: Re: Limits: Is there something I'm missing Here?

• To: mathgroup at smc.vnet.net
• Subject: [mg39409] Re: [mg39390] Re: Limits: Is there something I'm missing Here?
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Fri, 14 Feb 2003 03:19:39 -0500 (EST)
• Sender: owner-wri-mathgroup at wolfram.com

```I once argued rather fervently the same point in the same forum but a
message from Daniel Lichblau persuaded me I was wrong.
Briefly, the point is that Mathematica is a practical tool whose
purpose is to what is computationally useful. It may give one a warm
feeling of satisfaction when it returns an answer one knows already to
be true (or quite often agrees with one's preferred mathematical
interpretation) but if it serves no further useful purpose (meaning
letting you compute something you did not know before you started) then
it is better not to bother to implement it. By the way, if you load in
the Calculus`Limit` package and evaluate the same limit you will get
the answer you want. This feels nice, but the problem is, however, that
it is difficult to think of how this answer could be really useful.

In the case of limits, omnidirectional limits are, in most cases when
they can be computed at all, much more reliably computed using Series.
Limit is mostly in precisely the cases when Series can't be used.

However, we also agreed then that the fact that Limit assumes a default
direction definitely ought to be documented. At that time version 4.1
was still the current one so I take it that this was simply forgotten.

Andrzje Kozlowski

>
> And it's unfortunate IMO that Mathematica's Limit, in absence of a
> specified Direction, doesn't give the omnidirectional limit. For the
> problem at hand: If we deal with the projective extension of the
> complexes,
> the omnidirectional limit of 1/x as x -> 0 is, truly is,
> ComplexInfinity.
>
> David Cantrell
>
>
>
Andrzej Kozlowski
Yokohama, Japan
http://www.mimuw.edu.pl/~akoz/
http://platon.c.u-tokyo.ac.jp/andrzej/

```

• Prev by Date: AW: Problems evaluating Grad
• Next by Date: Re: Simple List question. HELP.
• Previous by thread: Re: Limits: Is there something I'm missing Here?
• Next by thread: Yet another incorrect integral