Comment #20 on issue 2039 by asmeurer: Mul.eval_subs problems
http://code.google.com/p/sympy/issues/detail?id=2039
Yes, you are right (I didn't notice d there). That is a multiplication
table, so a*b = b, b*a = f, a**2 = e, b**2 = e, etc (I might have it
backwards, but it doesn't matter). The main diagonal are the only elements
that are squares, and hence have square-roots, so, for example, there is no
square-root of a because there is no element x such that x**2 = a.
sqrt(-1**2) == sqrt(1) == 1 != -1.
But yes, if someone types sqrt(A) without any further structure, then we
have to assume that the element A has a square-root. And since the
definition of square-root in the non-commutative case will be purely
algebraic, then you can do whatever power manipulation you want.
--
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.
