On Fri, Feb 09, 2024 at 10:11:07PM +0800, Qian Yun wrote:
> OK, so let's leave FunctionSpace alone and focus on my original
> problem with simplifyExp:
>
> In COMBF, "ipow" is conditionally defined depends on RetractableTo
> Integer.
>
> So is it a good idea to check for RetractableTo Integer conditionally
> in "simplifyExp"?
If you need this yes. AFAICS main use of 'simplifyExp' is in
case when we have RetractableTo Integer.
--
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/ZcZCPDLn6jnBZjbK%40fricas.org.