<< gliealg.m

GFLA[5, {1, 1}] 

     (* 
      Define the graded Lie algebra, 
generated from X[1], X[2] with grade 1, 
maximum degree is 5.  *)

PRODUCTS

Map[getAtomForm, PRODUCTS]

BRACKETS

Map[getAtomForm, BRACKETS]

B[Y[1], Y[2]]
B[Y[1] + Y[3], Y[5] - 2*Y[2]]

x = P[EXP[Y[1]], EXP[Y[2]]]
 (* 
      we start with the product of 2 exponentials *)

y = LOGOMX[X[0] - x]

getAtomForm[y]