I guess the problem is that currently Pynac do not process powers with symbolic exponents much. (x**a)**b, (x**b)**a and x**(a*b) won't match, but I guess that none of them is canonical. The only way to process (some of) them is through simplify() (and so through Maxima): sage: ((x^a)*(x^b)).simplify() x^(a + b) but: sage: ((x^a)^b).simplify() (x^a)^b So you have to do some tricks with subs() as ponted above.
Regards JP -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
