starange "limit" behaviour



>>>>> "Stavros" == Stavros Macrakis <macrakis@gmail.com> writes:

    Stavros> limit does handle a^x/b^x correctly (with questions), so the 7^x/8^x
    Stavros> case is not a deep problem, but some sort of coding error.

Can you give an example where this works?  I tried it and answered
"positive" to all of the questions, and it returned the limit
expression.

    Stavros> Similarly, 

    >> taylor(7^(n*n)/8^n, n, inf, 1) =>  - LOG(8) n + 1 + . . .

    Stavros> appears to be a shallow bug, since taylor(x^2+x+1,x,inf,1) gives all
    Stavros> three terms.  And taylor(7^(n^2)...,n,inf,2) gives them as well.

Gives what?  You mean that it has powers of n^2, and n?  Yes, this
seems like a shallow bug.

    Stavros> But even if they're shallow, someone has to find the problem in the code....

Isn't that what makes it so much fun? :-(

Ray