On Mon, Jan 15, 2024 at 06:20:45PM +0800, Qian Yun wrote:
> sqrt(1/x) no longer simplifies to 1/sqrt(x) after the
> "Disable splitting of roots" commit.
Well, this was blocked around 2006. Consider x = -1/2 (example
from bug6357.input). After such transform principal branch
rule gives different root.
> But sqrt(1/x) and sqrt(x) are algebraically dependent kernels, right?
>
> So it should be a good idea to do the simplification, to lower the
> chance of introducing algebraically dependent kernels.
Such things (and more) should be handled in 'normalize'. Currently
'normalize' is quite weak when dealing with algebraic kernels,
but this is going to change.
--
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/ZaUdH9haTMM5Izob%40fricas.org.
