next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
GradedLieAlgebras :: LieElement

LieElement -- a Type for elements in Lie algebras

Description

This Type represents elements in Lie algebras. Each Lie algebra L is also a type and elements in L belong also to the type LieElement, which is the parent of L. Internally a LieElement is a BasicList of two basic lists, the first is a list of coefficients and the second is a list of basic lists of numbered generators which 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

Methods that use an object of class LieElement :

For the programmer

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