| Functions on this page are joint work with Hamid Mohammadzadeh, and implemented by him. | 
| LieCoveringHomomorphism(L)Inputs a finite dimensional Lie algebra L over a field, and returns a surjective Lie homomorphism phi : C→ L where: 
 | 
| LeibnizQuasiCoveringHomomorphism(L)Inputs a finite dimensional Lie algebra L over a field, and returns a surjective homomorphism phi : C→ L of Leibniz algebras where: 
 | 
| LieEpiCentre(L)Inputs a finite dimensional Lie algebra L over a field, and returns an ideal Z^∗(L) of the centre of L. The ideal Z^∗(L) is trivial if and only if L is isomorphic to a quotient L=E/Z(E) of some Lie algebra E by the centre of E. | 
| LieExteriorSquare(L) Inputs a finite dimensional Lie algebra L over a field. It returns a record E with the following components. 
 | 
| LieTensorSquare(L) Inputs a finite dimensional Lie algebra L over a field and returns a record T with the following components. 
 | 
| LieTensorCentre(L) Inputs a finite dimensional Lie algebra L over a field and returns the largest ideal N such that the induced homomorphism of nonabelian tensor squares (L ⊗ L) ⟶ (L/N ⊗ L/N) is an isomorphism. | 
generated by GAPDoc2HTML