When I was improving "simplifyExp", I met this problem:
(a^b)^n can get simplified into a^(b*n), when n is Integer. but in package TRMANIP(R,F), where F has FunctionSpace R, but F does not have RetractableTo Integer. So for (a^b)^f, there's no way to tell if (simplifyExp f) is Integer or not. But in FunctionSpace, there is isMult : % -> Union(Record(coef:Z, var:K),"failed") I think this function can be used to effectively test if a value can be retracted to Integer. So, my question is, should FunctionSpace export RetractableTo Integer under some circumstances? - Qian -- 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/7429e8a6-9903-4928-b179-56442e40d2d3%40gmail.com.
