Ask Your Question

Revision history [back]

At least you can use the interface to GAP:

sage: MS = MatrixSpace(QQ, 2)
sage: m1 = MS([[0, -1], [1, 0]])
sage: m2 = MS([[-1, 4], [3, 2]])
sage: mats = [m1, m2]
sage: gap_L = gap.LieAlgebra(QQ, mats)
sage: gap.Dimension(gap_L)
4
sage: gap.SemiSimpleType(gap_L)
fail

Simple example:

sage: MS = MatrixSpace(QQ, 2)
sage: e = MS([[0, 1], [0, 0]])
sage: f = MS([[0, 0], [1, 0]])
sage: h = MS([[1, 0], [0, -1]])
sage: mats = [e, f, h]
sage: gap_L = gap.LieAlgebra(QQ, mats)
sage: gap.Dimension(gap_L)
3
sage: gap.SemiSimpleType(gap_L)
A1