On Thu, Dec 21, 2023 at 06:19:01PM +0800, Qian Yun wrote:
> While writing patches for https://github.com/fricas/fricas/issues/149,
> I found 2 other bugs in simplifyExp.
>
> First is 'height' needs recalculation because 'simplifyExp' may cancel
> kernels.
>
> However, for 'newK', shall we use 'kernel' here to prevent evaluation
> or use 'elt' to do evaluation?
I think that for consistency we should use 'kernel'. Namely,
currently transformations try to be independent and 'kernel'
avoids extra transformations. OTOH it is debatable if we
should keep this independence. And there could be cases where
blindly using 'kernel' could produce strange things (say
'exp(0)'). But IMO this is bigger topic.
> Second is to recurse 'simplifyExp' on the first argument of '%power'.
Thanks, please commit.
--
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/ZYSRR-254Z0SABH1%40fricas.org.
