Comment #4 on issue 3602 by [email protected]: AssertionError while
factoring noncommutative symbols.
http://code.google.com/p/sympy/issues/detail?id=3602
1) If factor() can't factor an expression, it should just return it
unchanged
agree (and if it didn't introduce any new factors it seems to me the
original should be returned, too, rather than the expanded form)
Regarding factor not working...powsimp should work but apparently this is
another area where noncommutative handling is incomplete:
powsimp(_)
x*y*(x*y)**k
factor(_.subs({x:a,y:b}))
a*a**k*b*b**k
powsimp(_)
(a*b)**(k + 1)
But powsimp also doesn't work on the non-fully expanded version even if it
is commutative:
factor(expand( (x*y)**(k + 1)))
x*y*(x*y)**k
powsimp(_.subs({x:a,y:b}))
a*b*(a*b)**k
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
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/sympy-issues?hl=en.
