limits at infinity Re: Maple bug the long liver, 1992--2007--? (limit)

On Jun 14, 4:39 pm, Vladimir Bondarenko <v...@xxxxxxxxxxxxxxx> wrote:
.................................................................
BUG # XXXXX limit (1-D): INVALID undefined

REGRESSION: NO

REPRODUCIBLE: ALWAYS

BUG HISTORY:

PRESENT Maple 11.00,IBM INTEL NT, Feb 16 2007 Build ID 277223
[...]

DESCRIPTION: During 15+ years Maple cannot calculate a trivial
limit.

TEST CASE: limit(z*(sin(z)^2+cos(z)^2), z= infinity);

ACTUAL: undefined

EXPECTED: infinity
[...]

Vladimir Bondarenko
[...]
VM and GEMM architect
Co-founder, CEO, Mathematical Director

I see nothing to suggest triviality.

There is some well understood algorithmic body for handling limits
involving compositions of real powers, logs, and exponentials.
Throwing oscillatory terms such as trigs into the mix is mostly
uncharted territory.

Claiming this example to be trivial because a human can do it is a far
cry from providing an algorithm to handle such limits in a general
way.

Daniel Lichtblau
Wolfram Research

.