Join GitHub today
Different result of limit after simplify #11526
I just stumbled over the surprising result that the limit function
The second result (after applying the simplification) is correct.
The same phenomenon is visible in this part of the computation (where
The reason for the difference in the leading terms is this line
If some of the leading terms in a sum cancel each other, it is necessary to consider higher order terms.