FYI, it can be correctly solved by "mrv_limit" which uses Gruntz
algorithm. However I don't know why this code path is not enabled
for this function. (see "is_exp_log" in limitps.spad).
- Qian
(1) -> )expose MrvLimitPackage
MrvLimitPackage is now explicitly exposed in frame frame1
(1) -> f := D(log(tan(%pi/2*tanh(x))), x);
Type:
Expression(Integer)
(2) -> mrv_limit(f, x=%plusInfinity)
(2) 2
On 11/21/22 02:34, 'Martin R' via FriCAS - computer algebra system wrote:
Apparently, the following should give 2:
(1) -> f := D(log(tan(%pi/2*tanh(x))), x)
(2) -> limit(f, x=%plusInfinity)
(2) "failed"
see https://trac.sagemath.org/ticket/34757
Best wishes,
Martin
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/8e78be18-7f75-b430-35c8-02e6b0515c0e%40gmail.com.
