On Mon, Nov 20, 2023 at 08:48:30AM +0800, Qian Yun wrote:
>
>
> On 11/20/23 02:19, Waldek Hebisch wrote:
> >
> > "atan doubling" makes thing harder (increases degrees) and after
> > doubling Rioboo was failing. Doubling may happen both before
> > irexpand and after.
> >
>
> What is "atan doubling"?
instead of
log(u)
one can take
(1/2)*log(u^2)
as integration result. This tends to happen for logs that will
be later converted to atans. It seems that it may happen that
u is irrational, u^2 is rational and atan produced from u
has rational argument. If u is rational then factoring
argument to log should simplify it. But if u is irrational,
then things are more tricky.
> > There are several changes in 'mapleok.input'. Did you look
> > that they all are improvements?
> >
>
> I'll take some time to do more testing and report back.
I looked at them and they seem good.
--
Waldek Hebisch
--
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/ZVrB2k0nhY80lv1g%40fricas.org.
