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.

Reply via email to