(1) -> f:=differentiate(complexNormalize(log(tan(%pi/2*tanh(x,x);
Type:
Expression(Integer)
(2) -> output lines(formatExpression(f)$Format1D).1
(-8*%pi*(%e^x)^2*%e^((%pi*sqrt(-1)*(%e^x)^2+(-%pi)*sqrt(-1))/((%e^x)^2+1)))/(
On Wed, Nov 23, 2022 at 05:21:42PM +0800, Qian Yun wrote:
> 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
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
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 -