Macaulay2 » Documentation
Packages » GradedLieAlgebras :: LieElement
next | previous | forward | backward | up | index | toc

LieElement -- the class of all Lie algebra elements


This type represents elements in Lie algebras. Each object of type LieAlgebra is itself a type L, and elements in L belong also to the type LieElement, which is the parent of L. Internally an element of type LieElement is of type BasicList consisting of two basic lists. The first is a list of coefficients and the second is a list of basic lists of numbered generators that correspond to iterated Lie products of generators.

i1 : L = lieAlgebra{a,b,c}

o1 = L

o1 : LieAlgebra
i2 : showStructure L

o2 = Thing : BasicList : LieElement : L

o2 : Descent
i3 : x = a a b - 3 c b a

o3 =  - (a b a) - 3 (c b a)

o3 : L
i4 : x#0

o4 = BasicList{-1, -3}

o4 : BasicList
i5 : x#1

o5 = BasicList{BasicList{0, 1, 0}, BasicList{2, 1, 0}}

o5 : BasicList

See also

Functions and methods returning an object of class LieElement :

Methods that use an object of class LieElement :

For the programmer

The object LieElement is a type, with ancestor classes BasicList < Thing.