Symbolic computations with differential operators (universal envelopings i.e. non-commutative variables) ?

2012-01-11T10:37:30Z

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 ?

Answer by Igor Rivin for Symbolic computations with differential operators (universal envelopings i.e. non-commutative variables) ?

2012-01-11T10:48:23Z

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

SuperLie

Quantum Mathematica.

Symbolic computations with differential operators (universal envelopings i.e. non-commutative variables) ? - MathOverflow

Symbolic computations with differential operators (universal envelopings i.e. non-commutative variables) ?

Answer by Igor Rivin for Symbolic computations with differential operators (universal envelopings i.e. non-commutative variables) ?