MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

Typical examples I am interesting - Capelli identities'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|cite|improve this question
up vote 1 down vote accepted

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


Quantum Mathematica.

share|cite|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


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.