DirectSum

DirectSum[ideal1, ..., idealn]
is a special symbol for the Direct Sum, , between two or more ideals of a Lie Algebra.
  • The ideali can be any symbol. Specifically, in the context of the theory of Lie algebras, they can be lists of differential operators representing a base which spans a Lie algebra, semi-direct sums of ideals or, using the symbolic representation of a Lie Algebra included in the Lie Algebra's database.
In[1]:=
Click for copyable input
A purely symbolic direct sum:
In[2]:=
Click for copyable input
Out[2]=
 
In[1]:=
Click for copyable input
A direct sum between two known Lie Algebras:
In[2]:=
Click for copyable input
Out[2]=
 
In[1]:=
Click for copyable input
A direct sum between two ideals given by a representation using diferential operators:
In[2]:=
Click for copyable input
Out[2]=
 
In[1]:=
Click for copyable input
A direct sum including a semi-direct one:
In[2]:=
Click for copyable input
Out[2]=
 
In[1]:=
Click for copyable input
Any combination of the above choices is also possible:
In[2]:=
Click for copyable input
Out[2]=