This Type represents graded 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.
i1 : L = lieAlgebra{a,b} o1 = L o1 : LieAlgebra |
i2 : a o2 = a o2 : L |
i3 : class L o3 = LieAlgebra o3 : Type |
i4 : parent L o4 = LieElement o4 : Type |
The object LieAlgebra is a type, with ancestor classes MutableHashTable < HashTable < Thing.