embedding -- gives the embedding of Cartan subalgebras of one Lie algebra into another

Usage:

embedding(g,h)
Inputs:
- g, an instance of the type LieAlgebra,
- h, an instance of the type LieAlgebra,

Description

i1 : h=simpleLieAlgebra("F",4)

o1 = h

o1 : simple LieAlgebra

i2 : g=subLieAlgebra(h,{0,1}); describe g

o3 = 𝔞
      2

i4 : embedding(g,h)

o4 = | -2 1 |
     | -3 0 |
     | -2 0 |
     | -1 0 |

              4       2
o4 : Matrix ZZ  <-- ZZ

i5 : embedding(subLieAlgebra(h,"principal"),h)

o5 = | 22 |
     | 42 |
     | 30 |
     | 16 |

              4       1
o5 : Matrix ZZ  <-- ZZ

The source of this document is in LieAlgebraRepresentations/documentation.m2:361:0.