Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Please give suggestions about soft to make symbolic computations with NON-commutative variables.

Typical examples I am interesting - Capelli identities http://en.wikipedia.org/wiki/Capelli's_identity

For example let 2x2 matrix X be defined:

$(x_{11}~~~ x_{12})$

$(x_{21}~~~ x_{22})$

and D is defined:

$(\partial_{x_{11}}~~~ \partial_{x_{12}})$

$(\partial_{x_{21}}~~~ \partial_{x_{22}})$

Then there is identity: $det^{column}(XD^t+diag(1,0)) = det(X)det(D)$

Question Is there soft which can easily check it ?

The ideal would be if some one can provide example of code checking this thing. (I mean it is true, of course, just to understand how code such things).

More general things I would like to do - some computations in universal enveloping of Lie algebras - like check two expressions commute. e.g. check that ef+h^2+h is Casimir for sl(2).


I am familiar with MatLab and Mathematica - but it seems they cannot do this. May be I am wrong ?

I know that MatLab can differentiate Diff( p,x) - will give symbolic derivative of symbolic function "p" in x. But it seems MatLab cannot do things like d*x-x*d =1...

I have heard that Macaulay2 can do such things - but once I had trouble just installing it, so I am quite afraid of it... May be I am wrong ? Does it have some graphic interface ?

share|improve this question

1 Answer 1

up vote 1 down vote accepted

There is a boat-load of mathematica packages for Lie Algebra computations. Some examples are:

SuperLie

Quantum Mathematica.

share|improve this answer
    
Thank You very much. SuperLie seems powerful - 223 pages doc and little long :) But may be it is what I want... –  Alexander Chervov Jan 11 '12 at 11:19

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.